A logical approach to program analysis

This paper describesMicroScope, a framework for developing analysis tools for Lisp programs. MicroScope uses a knowledge-intensive approach for program representation and analysis. The analysis tools share a common object oriented program database, and a common Prolog inference engine. The use of Prolog and a declarative representation for programs permits sharing of information, and provides high bandwidth communication between diverse analysis tools. It also supports program specification and debugging activities in the same framework. Extensions to Prolog to support analysis are described, and two tools, theCritic and theExpector, are presented.This work supported in part by Hewlett-Packard Company, the National Science foundation Under Grant Number MCS81-21750 and the Defense Advanced Research Projects Agency under contract number DAAK11-84-K-0017.     

Formaldehyde content of milk in goats fed formaldehyde-treated soybean oil-meal

Formaldehyde is used in ruminant feeding for different purposes including the protection of dietary proteins from ruminal degradation. The formaldehyde content of milk of goats fed various levels of formaldehyde-treated soybean oil-meal has been determined by using a sensitive HPLC method. Results showed a significant linear correlation between ingested formaldehyde and formaldehyde concentration in milk. About 0.02% of ingested formaldehyde was excreted in milk, as free formaldehyde.     

On mass transfer effect due to electrolytically evolved gas

Based on the Ibl penetration model mass transfer equations for gas-evolving electrodes were derived and compared to the effect of forced convection. Experimental studies were conducted in a rectangular flow channel with the working electrode facing downward. The variables were linear bubble velocity, linear electrolyte velocity, nature of the gas and electrode position. Up to bubble velocities (U_x) of 2 and 6 cm s⁻¹ for O₂ and H₂ gases respectively, the thickness of the Nernst diffusion layer (δ_av) was described well by the equation δ_av = [Dd_eL/(U_x)_av]^1/3. Intermediate slopes between − 1/3 and − 1 were observed for O₂ bubble velocities between 2 and 6 cm s⁻¹. A theoretical derivation suggests that in the absence of bubble coalescence, the mass transfer effect due to laminar flow induced by electrolytically evolved gas exceeds that due to forced external laminar flow for all practical channel designs.     

Metalloporphyrins in Oxidative Catalysis. Oxygen Transfer Reactions of Oxochromium Porphyrins

The oxidation of chloro-5-10,15,20-tetramesitylporphyrinotoiron(III) with peroxyacids affords a reactive oxoiron(IV)-porphyrin cation radical species 2. The characterization of 2 and its oxochromium analogs 3, 4 and 5 are reviewed. The nature of reactive oxochromium species derived from chromyl reagents is also reviewed. The oxidation of triphenylphosphine by CrOTPP (11), CrOTTP (13) and CrOTMP (14) is described. Variations in the rate constants indicate that steric factors affect the rate of oxygen atom transfer. Activation parameters for the oxidation of triphenylphosphine by 14 are ΔH^≠ = 6.96 kcal/mol and ΔS^≠ = −39 eu. The oxidation of t-butylphenylcarbinol (18) by CrOTPP gave predominantly benzaldehyde via carbon—carbon bond cleavage while the chromium(III) porphyrin-catalyzed oxidation of 18 by iodosylbenzene afforded t-butylphenylketone.     

Acrylonitrile-based copolymers: Synthesis,characterization, and formation of ultrafiltration membranes utilized for the immobilization of proteins

Various high molecular weight copolymers of acrylonitrile and a vinyl comonomer containing an aryl amine, a pyridine, or an aliphatic hydroxyl group were synthesized via slurry polymerization techniques so as to contain from 1 to 15 mol % functional comonomer. The comonomer content was quantitated by ultraviolet absorbance, base titration of acid polymer salts, and/or relative chemical reactivity with trichloro-s-triazine. Thin films were cast from copolymer solutions, coagulated into unsupported ultrafiltration membrances, and characterized with respect to both water permeability and pore size distribution. Analysis by size exclusion chromatography of the membrane permeate of a pool of dextran fractions yielded a continuous distribution curve for membrane pore size over the range 1.5 to 70 nm. The ultrafiltration membranes were used for protein immobilization after appropriate chemical activation. The three distinct types of functional copolymers gave comparable results for α-chymotrypsin, with protein weight loadings of 6–12% and 40–65% retention of enzymatic specific activity.     

Stability studies on methyl and ethyl fatty acid esters of sunflowerseed oil

Fatty acid esters, high in linoleic acid, were prepared and stored for long-term engine tests. Storage tests with these esters were undertaken to obtain more information on optimal storage requirements and general stability characteristics. Samples were kept at three temperature levels (20 C, 30 C and fluctuating around 50 C) for a 90-day period and were removed at regular intervals for chemical and physical analysis. The influence of air, temperature, light, TBHQ and contact with mild steel was evaluated by comparing the free fatty acid, peroxide, anisidine, ultraviolet absorption, viscosity and induction periods. A statistical model was used to evaluate the data and to reduce the large number of data points to comparable curves. Storage of esters in contact with air, especially at a temperature above 30 C, resulted in significant increases in peroxide, ultraviolet absorption, free fatty acid, viscosity and anisidine values. Exclusion of air retarded oxidation at all temperature levels. A direct relationship between viscosity increases and oxidation parameters was evident. Exposure to light caused a small increase in the oxidation parameters of esters stored at the highest temperature level. Addition of TBHQ prevented oxidation of samples stored under moderate conditions. Under unfavorable storage conditions the anti-oxidant was no longer effective. Mild steel had very little effect on the oxidation parameters. Only the anisidine values of samples stored at the highest temperature level were slightly increased. Methyl esters performed slightly better than ethyl esters during the storage test. The following practical guidelines for storage of fatty acid ester fuels are: (i) airtight containers should be used; (ii) the storage temperature should be <30 C; (iii) mild steel (rust free) containers may be used, and (iv) TBHQ has a beneficial effect on oxidation stability.     

Performance of combined cobalt—nickel—zirconia and HZSM-5 catalyst systems for carbon monoxide hydrogenation

The synthesis of hydrocarbons via hydrogenation of carbon monoxide was investigated over cobalt—nickel—zirconia catalysts of various compositions in combination with zeolite HZSM-5 in “mixed bed” and “follow bed” arrangements. These combinations resulted in the formation of aromatics in amounts as high as 30-35 wt% under relatively mild operating conditions (1 atm, 250–280°C). Although the olefinicity of C₂ and C₃ fractions in the product stream was higher in the mixed bed compared to the follow bed arrangement, the selectivities to aromatics were comparable in the two bed arrangements. The aromatic selectivity was found to be sensitive to operating conditions. The formation of aromatics was favored at high HZSM-5/metal catalyst ratios, low space velocities and high reaction temperatures. The product distributions obtained using various metal/zeolite bifunctional catalysts have been discussed.     

Purification of Ellagic Acid by UF Membranes

Ellagic acid (2, 3, 7, 8‐tetrahydroxy(1)benzopyrano(5, 4, 3‐cde)(1)benzopyran‐5, 10‐dione) was selected as a model pollutant which is present in the tannic fraction of cork processing wastewater. The ultrafiltration of aqueous ellagic acid solutions through three membranes was studied in tangential UF laboratory equipment. Two of the membranes were polyethersulfone (Biomax10K and Biomax5K, with MWCO of 10000 and 5000 Da, respectively), and the third made of regenerated cellulose (Ultracel5K, with MWCO of 5000 Da). The water hydraulic permeability was evaluated for each membrane. The evolution of the permeate flow rate with processing time was followed, and the influence of the main operating variables (feed flow rate, trans‐membrane pressure and nature of the membranes) on the permeate flux was also established. According to the hypothesis of the film theory, the intrinsic and apparent rejection coefficients, as well as the mass transfer coefficients, were also determined, and the values obtained were discussed as a function of the operating conditions used.