Tuple calculus: Formal definition and conversion from first-order calculus

In classical database theory, relational calculus has long been used in expressing query formulae and integrity constraints. In fact, relational calculus formulae are much easier to deal with than first-order formulae when evaluating queries and validating database updates in the database environment. In deductive databases, however, first-order calculus is preferred because it is convenient when proof procedures are involved. Since both situations should coexist in advanced information systems, it is very desirable to devise a conversion procedure between relational calculus and first-order calculus. In this paper, interpretation of first-order formulae in the database environment is discussed first, then tuple calculus, an extension of relational calculus, is presented. This extension enables us to describe query formulae and general rules necessary in advanced information systems, in particular, dealing with complex objects. Finally, a conversion algorithm from first-order formulae into tuple calculus formulae is presented. Several application issues are also included.     

Residual Stress in Siliceous Glass Between Mullite Crystals

A birefringence of siliceous glass, which is coexisting with mullite crystals, was studied by an optical polarizing microscope. The cause of the birefringence was assumed to be the residual stress induced by a large contraction difference between the mullite and glass on cooling. The stress has been evaluated to be as high as—0.3 GPa, and to correspond to the elastic one which began to develop at the glass transition point.     

Plasma developable photoresist containing electronic excitation energy quenching system

A dry developable negative working resist composition comprised of poly(methyl isopropenyl ketone) (PMIPK) and 4-methyl-2,6-di(4′-azido-benzylidene) cyclohexanone-1 was examined. The main photochemical product formed in the resist pattern was found to be a secondary amine which crosslinks PMIPK. Post-annealing forms a hydrogen-bonded product which shows a powerful electronic excitation energy quenching effect. The quencher is more powerful than the aromatic compound arising from the azide by post-annealing only. The residual resist thickness of the negative pattern is about 80 percent of the initial thickness of the coating in spite of all the azide compound remaining in the resist coating. The obtained dry developed resist pattern has a high dry etch resistance. Etchings of Si and SiO₂ were performed by plasma and reactive ion etching, respectively.     

XPS Characterization of reduced LaCoO3 perovskite

Three samples of LaCoO₃ were prepared by two different methods and calcined at 800 or 1000 °C. They had BET areas of 1, 12, and 16 m²/g and all of them showed pure perovskite X-ray diffraction patterns with identical unit cell dimensions. In a series of experiments the oxide, having larger surface area, was stepwise reduced in hydrogen at temperatures between 60 and 500 °C. The XPS spectra, taken at room temperature after evacuation at 400 °C at each reduction level, showed that the surface concentration of Co° was very low up to 300 °C but increased sharply between 300 and 350 °C (9–75%). This concentration further increased to 100% after 10 min reduction at 450 °C, but upon heating in hydrogen for an additional 10 min at 500 °C it decreased again to 75%. In another series of experiments the mixed oxide was reoxidized after each reduction. A fresh sample was reduced to 350 and 400 °C by contacting with hydrogen for 1 hr and evacuated at temperatures between 400 and 500 °C. Both high evacuation temperatures and reduction at 400 °C during 1 hr produced a sharp decrease in Co° surface concentration. These results are consistent with the catalytic behavior of this perovskite reported earlier by E. A. Lombardo et al. (4–7). A model is proposed to interpret the reduction of LaCoO₃.     

β-phase transformation and thermoelectric power in FeSi2 and Fe2Si5 based alloys containing small amounts of Cu

The effects of Cu addition on the β phase formation rate and the thermoelectric power in various FeSi₂ and Fe₂Si₅ based alloys was examined. The peritectoid reaction (a+→β) in FeSi₂ alloys was initially enhanced by the addition of Cu but it became slower for longer annealing times. The retained metallic ε was harmful for the thermoelectric power. The inherent thermoelectric properties of (FeSi₂)_99−XMn₁Cu_X (X=0–1.O at.%), (FeSi₂)_99−X Co₁Cu_X (X=0–1.0 at.%) alloys were attained after the elimination of ε. In the case of eutectoid reaction (→β+Si). Differential thermal analysis, X-ray diffraction and microscopic observation clearly confirmed that the eutectoid reaction rate was drastically enhanced by the addition of a small amount of Cu and its rate decreased with decreasing Cu content. The rate also depends on the annealing temperature and reached a maximum at about 1073 K for most alloys. The addition of only 0.1 at.% Cu was still very effective even in Mn or Co doped alloys. The thermoelectric power of these alloys increased very quickly with annealing time. Their final values decreased with Cu content and saturated at 0.2 at.% Cu. The value of the 0.1 at.% Cu added alloy was higher than that of both the conventional p- and a-type FeSi₂ based alloys. These results suggest that the Fe₂Si₅ alloys with a small amount of Cu may be attractive as new thermoelectric materials.     

Crystallite size distribution and the lattice distortions in highly γ-irradiated linear polyethylene

Crystallite size distributions and lattice distortions have been analysed for highly-irradiated linear polyethylene in the direction normal to 1 1 0 and 0 0 1 lattice planes through X-ray line profile analysis. It has been found that the lateral crystallite size is little affected irradiation greater than 1000 Mrad, whereas that in the chain direction decreases almost linearly with the dose of irradiation. A minor difference in the crystallite size between irradiation atmospheres, i.e. irradiation in air or in vacuum, has been disclosed at a very high dose of irradiation. The above degradation behaviour of crystallites and the change in lattice distortions have proved that radiation cross-links are mainly formed in the amorphous region near the lamellar surface of polyethylene.     

Surface-collection efficiency of Nuclepore filters for nanoparticles

The flat surface of Nuclepore filters is suitable for observing collected particles with a scanning electron microscope (SEM). However, experimental data on surface-collection efficiency are limited because surface-collection efficiencies cannot be measured directly using aerosol measuring instruments. In this study, the surface-collection efficiencies of Nuclepore filters were determined by establishing the ratio of the number of particles deposited on the surface of the filter visually counted with an SEM to the number of inflow particles counted by a condensation particle counter, using monodispersed polystyrene latex particles (30–800 nm) and silver particles (15–30 nm). Because Nuclepore filters with smaller pore sizes would be expected to produce higher minimum surface-collection efficiency and a higher pressure-drop, 0.08 and 0.2 µm Nuclepore filters were chosen as the test filters in view of both collection efficiency and pressure drop. The results showed that the minimum surface-collection efficiencies of the 0.08 µm pores at face velocities of 1.9 and 8.4 cm·s^?1 were approximately 0.6 and 0.7, respectively, and those of the 0.2 µm pores at face velocities of 1.5 and 8.6 cm·s^?1 were approximately 0.8 and 0.6, respectively. Because the pressure drop of the 0.2 µm pore filter was lower than that of the 0.08 µm pore filter under the same flow-rate conditions, the 0.2 µm pore filter would be more suitable considering the pressure drop and collection efficiency. The obtained surface collection efficiencies were quantitatively inconsistent with theoretical surface-collection efficiencies calculated using conventional theoretical models developed to determine the collection efficiency of filters with larger pores.

© 2016 American Association for Aerosol Research     

Aerosol Particle Collection Efficiency of Holey Carbon Film-Coated TEM Grids

A simple sampling method to collect aerosol particles for transmission electron microscope (TEM) analysis was developed by R’mili and others in 2013. The method involves passing air through a holey carbon film-coated copper mesh TEM grid (holey carbon grid) and sampling particles by filtration. In this study, we proposed a modified calculation method to represent the collection efficiencies of holey carbon grids, taking into consideration the porosity of the copper mesh. We then evaluated the particle collection efficiencies of holey carbon grids both theoretically and experimentally. We tested the collection efficiency of two types of holey carbon grids, with nominal pore sizes of 1.2 and 0.6 μm, using particles of monodispersed polystyrene latex (PSL) and potassium chloride. The overall collection efficiency of each grid (E_grid) was determined by the downstream/upstream concentration ratio measured by condensation particle counters (CPCs). In addition, for PSL particles, the collection efficiency of the holey carbon film (E_film) was determined by the ratio of the number of particles on the film (counted on a scanning electron microscope) to the number of inflow particles (counted by a CPC). We compared model calculations against the experimental results obtained in this study and those reported by R’mili and others in 2013. These data showed that the calculated E_grid values were in reasonably good agreement with the experimental E_grid values. However, although the model calculation indicated that E_film ≈ E_grid, there was an inconsistency between the experimental E_film and E_grid, which requires further investigation in order to determine its cause.

Copyright 2014 American Association for Aerosol Research     

Pipe Heating System with Underground Water Tank for Snow Thawing and Ice Prevention on Roads and Bridge Decks

In order to prevent traffic accidents on snow-covered bridge decks, the writers developed a new pipe heating system that uses only groundwater stored in a large underground tank. The underground tank provides geothermal energy, i.e., groundwater of constant temperature, through heating pipes embedded in concrete pavements with no electric heater or fuel boiler. The pipe heating system was constructed at approximately 50% of the cost of comparable systems. In addition, there is a reduction of 10% in operating costs compared with the previous system. The present paper outlines its design and construction and provides fundamental data for the developed system. The piped heating system has kept the road conditions safe during the winter season by always removing the snow and ice from the heated road and bridge sections earlier than the surrounding roads. According to long-term temperature measurements, this system has prevented the road temperature from decreasing below 0°C, even through nighttime and morning periods. This report presents the system as an economical and effective solution for snow thawing and ice prevention.     

Quantitative source identification of dioxin-like PCBs in Yokohama, Japan, by temperature dependence of their atmospheric concentrations

The source and environmental behavior of dioxin-like polychlorinated biphenyls (PCBs) together with other PCBs and polychlorinated dibenzo-p-dioxins and dibenzofurans (PCDDs/PCDFs) were evaluated based on analysis of variations in their atmospheric concentrations in Yokohama, Japan. Potential factors responsible for variations in the atmospheric concentrations of the congeners were investigated by principal component analysis and multiple regression analysis of the data. Two major variations were seen: one had strong temperature dependence, while the other had no significant temperature dependence. A possible explanation for this difference is that the former is related to congeners released by volatilization (e.g., volatilization from commercial PCB products and past polluted environments), while the latter is related to congeners emitted from thermal processes. The relative contributions of dioxin-like PCBs released by volatilization and those emitted from thermal processes were estimated based on the temperature dependence of the atmospheric concentrations. The results suggest that both dioxin-like PCBs emitted from thermal processes and those released by volatilization are significant sources of air pollution in this area in terms of the toxic equivalent (TEQ) for dioxin-like PCBs. We demonstrated that the present approach based on variations in atmospheric concentrations can be useful in providing a qualitative as well as quantitative understanding of source information.