Inference rules using local contexts

We construct equivalent localized versions of a formula, adding assumptions simultaneously to various locations, where the particular location determines what is added. Inference rules that take advantage of localized formulas are presented for sequent calculi in which the left hand side of sequents can be used to accumulate the background assumptions (or contexts) of assertions. The intended application is to the automatic generation of tractable justifying lemmas for substitution operations for interactive proof development systems, especially those concerned with mathematical topics where manipulation of deeply embedded terms is desirable.     

A formal approach to specifying assembly operations

Experience has proved that exploiting robots for assembly tasks is much more difficult than manufacturing engineers had expected and many attempts at implementing robotic assembly have failed. Our research has led us to believe that a formal approach to specifying the steps required for assembly would be of great benefit in developing the required software for a specific task, and in adaptively controlling and monitoring the execution of robotic assembly steps. The US National Bureau of Standards has developed a formal system, called ABC (for Assembly By Constraints) for specifying the steps required for assembly. The system is based on the reduction in the degrees of freedom of objects as they are assembled. Using this basic concept, we have developed 14 primitive operations which can be used to completely specify assembly steps for a large class of problems. This paper initially outlines the historical development of the system, then describes two pieces of software developed to allow easy definition of assembly tasks using the ABC system, and finally presents two practical examples.     

Adsorption of dissolved organics from industrial effluents on to activated carbon

Industrial effluents usually include multicomponent organic solutes. The optimum pH for adsorption of a specific industrial effluent on activated carbon should be determined experimentally because, in general, more than one mechanism is involved. A series of experiments was conducted to establish the influence of the initial hydrogen ion concentration on carbon adsorption of organic solutes. For these studies, powdered activated carbon was used, and the water systems studied included both single component pure organic compounds as well as multicomponent organic wastes. Results indicate that the pH effect upon the effectiveness of carbon adsorption mainly depends upon the nature of the adsorbed substance. In general, the degree of ionisation is the controlling factor for adsorption of ionic organic solutes on activated carbon. Adsorption reaches a maximum at the point of least ionisation of the adsorbate. As the organic compounds become more complex (i.e. longer hydrocarbon chains, higher molecular weights, increased branching), the electrical adsorption forces between activated carbon and ionic organic solutes will govern. Anionic surfactants meet with decreased electronegative repulsive forces at low pH levels, which increase the effectiveness of carbon adsorption. However, the adsorption of a cationic surfactant is increased by an increase in the electronegative carbon surface at high pH levels. When ionic organic solutes become much more complex, like a polymer, the effects of both ionisation and electrical adsorption forces become less important. Instead, the adsorption rate will be controlled by the extent of hydrolysis caused by the pH adjustment. For non-ionic organic solutes, chemical reaction(s) between the adsorbate and the added chemical (acid or base) for pH adjustment is an important controlling factor. Again, hydrolysis is responsible for the breakdown of larger size molecules to smaller sizes. Then an increase in adsorption rate with decreasing molecular weight of adsorbate is expected.     

Silicon Nitride Derived from an Organometallic Polymeric Precursor: Preparation and Characterization

Partially crystalline Si₃N₄, with nanosized crystals and a specific surface area greater than 200 m²/g, is obtained by pyrolysis of a commercially available vinylic polysilane in a stream of anhydrous NH₃ to 1000°C. This polymer does not contain N initially. Crystallization to high-purity α-Si₃N₄ proceeds with additional heating above 1400°C under N₂. The changes in crystallinity, powder morphology, infrared spectra, and elemental compositions, for samples annealed from 1000° to 1600°C under N₂, are consistent with an amorphous-to-crystalline transformation. Although macroscopic consolidation and local densification occur at 1400°C, volatilization and accompanying weight loss limit bulk densification. The effect of temperature on specific surface area is examined and related to the sintering process. These results are applicable to pyrolysis, decomposition, and crystallization studies of ceramics synthesized by polymeric precursor routes.     

A CCD–ADI method for unsteady convection–diffusion equations

With a combined compact difference scheme for the spatial discretization and the Crank–Nicolson scheme for the temporal discretization, respectively, a high-order alternating direction implicit method (ADI) is proposed for solving unsteady two dimensional convection–diffusion equations. The method is sixth-order accurate in space and second-order accurate in time. The resulting matrix at each ADI computation step corresponds to a triple-tridiagonal system which can be effectively solved with a considerable saving in computing time. In practice, Richardson extrapolation is exploited to increase the temporal accuracy. The unconditional stability is proved by means of Fourier analysis for two dimensional convection–diffusion problems with periodic boundary conditions. Numerical experiments are conducted to demonstrate the efficiency of the proposed method. Moreover, the present method preserves the higher order accuracy for convection-dominated problems.     

Preparation of Silicon Carbide/Aluminum Nitride Ceramics Using Organometallic Precursors

Solid solutions of 2H -SiC/AlN can be prepared at temperatures less than 1600°C by rapid pyrolysis ("hot drop") of mixtures of [(Me₃Si)_0.80((CH₂=CH)MeSi)_1.0(MeHSi)_0.35] _n (VPS) or [MeHSiCH₂] _n (MPCS) with [R₂AlNH₂]₃, where R=Et, i -Bu or simply by slow pyrolysis of the precursor mixture in the case of [Et₂AlNH₂]₃. In contrast, slow pyrolysis of mixtures of VPS or MPCS with [ i -Bu₂AlNH₂]₃ yields a composite of 2 H -AlN and 3 C -SiC at 1600°C, which transforms into a single 2 H -SiC/AlN solid solution on heating to 2000°C. The influences of the nature of the precursor and processing conditions on the structure, composition, and purity of the SiC/AlN materials are discussed.     

Preparation of lot samples of nut meats for mycotoxin assay

A procedure has been devised for preparing lot samples of mycotoxin-contaminated nut meats so that a representative analytical sample may be removed. The sample is rapidly reduced to coarse size. A relatively large portion (about 1/10 of total sample) of subsample is then split out and further comminuted to a fine particle size with the aid of a fat solvent (meat-solvent, w/v, 3:2). The analytical sample is removed from this mixture. The procedure was tested with shelled almonds and shelled walnuts using radioactive nuts to simulate the mycotoxin contamination and provide a simple, precise measure of the contaminated nut meat distribution. The pooled coefficient of variation was 18% for the subsamples and 4.4% for the analytical samples. Considering the dilution factors used (1.50 and 2.14 contaminated nuts/10⁴ nuts) and the low degree of reliability of the lot sample, the sample preparation methods tested appear to be practical and reliable.     

Processing Dependence of Texture, and Critical Properties of YBa2Cu3O7−δ Films on RABiTS Substrates by a Non-Fluorine MOD Method

YBa₂Cu₃O_{7− δ} (YBCO or Y123) films on rolling-assisted biaxially textured substrates (RABiTS) were prepared via a fluorine-free metallorganic deposition (MOD) through spin coating, burnout, and high temperature anneal. The effects of substrate texture and surface energy of the CeO₂ cap layer were investigated. Except for the commonly accepted key factors, such as the textures of substrate and buffer layers, we found some other factors, for example, the deposition temperature of the cap layer, are also critical to the epitaxial growth of Y123 phase. With the CeO₂ cap layer deposited at relative high temperature of 700°C, a critical current density, J _c, over 1 MA/cm² has been demonstrated for the first time on Ni-RABiTS by a fluorine-free MOD method. Whereas for samples with CeO₂ cap layers deposited at a lower temperature of 600°C, even though XRD data showed a better texture on these buffer layers, texture degradations of YBCO grains under the optimized processing conditions were observed and a lower oxygen partial pressure around 40 ppm was necessary for the epitaxial growth of Y123 phase. As a result, J _c fell to 0.45 MA/cm² at 77 K. The observed phenomena points to the change of surface energy and reactivity of the CeO₂ cap layer with respect to the CeO₂ deposition temperature. In this paper, the YBCO phase diagram was also summarized.     

Chemical modification of hemp,sisal, jute,and kapok fibers by alkalization

Plant fibers are rich in cellulose and they are a cheap, easily renewable source of fibers with the potential for polymer reinforcement. The presence of surface impurities and the large amount of hydroxyl groups make plant fibers less attractive for reinforcement of polymeric materials. Hemp, sisal, jute, and kapok fibers were subjected to alkalization by using sodium hydroxide. The thermal characteristics, crystallinity index, reactivity, and surface morphology of untreated and chemically modified fibers have been studied using differential scanning calorimetry (DSC), X‐ray diffraction (WAXRD), Fourier transform infrared spectroscopy (FTIR), and scanning electron microscopy (SEM), respectively. Following alkalization the DSC showed a rapid degradation of the cellulose between 0.8 and 8% NaOH, beyond which degradation was found to be marginal. There was a marginal drop in the crystallinity index of hemp fiber while sisal, jute, and kapok fibers showed a slight increase in crystallinity at caustic soda concentration of 0.8–30%. FTIR showed that kapok fiber was found to be the most reactive followed by jute, sisal, and then hemp fiber. SEM showed a relatively smooth surface for all the untreated fibers; however, after alkalization, all the fibers showed uneven surfaces. These results show that alkalization modifies plant fibers promoting the development of fiber–resin adhesion, which then will result in increased interfacial energy and, hence, improvement in the mechanical and thermal stability of the composites. © 2002 Wiley Periodicals, Inc. J Appl Polym Sci 84: 2222–2234, 2002