An introduction to Wu's method for mechanical theorem proving in geometry

Wu's algebraic method for mechanically proving geometry theorems is presented at a level as elementary as possible with sufficient examples for further understanding the complete method.The work reported here was supported by NSF Grant DCR-8503498.     

论校园文化和德育目标的一致性

中系统介绍了校园化和德育目标的关系，并找准两之间的结合点，通过分析两的一致性和辩证统一关系，达到育人目的。     

Changes in Aging Behavior and Defect Structure of Yttria-Fully-Stabilized ZrO2 with Sc2O3 Doping

Methods of suppressing decreased conductivity in 8 mol% Y₂O₃-stabilized–92 mol% ZrO₂ (8YSZ) with aging were investigated. Different amounts of Sc₂O₃ were doped into 8YSZ. The electrochemical properties of Sc₂O₃-doped 8YSZ were measured, and the microstructural and local structural changes were characterized. The present results indicate that an appropriate amount of Sc₂O₃ doping, 3 or 4 mol%, effectively suppresses decreased conductivity with aging in 8YSZ.     

The Problem of Estimating the Uncertainty of the Fixed Point Temperature Due to the Presence of Impurities

The main problems in estimating the uncertainty due to the presence of impurities in the material: the absence in the documents of a unique definition of the quantity being measured – the fixed point temperature, the lack of agreed methods of realizing the fixed points and the insufficient justification of the equations used for the estimate, are analyzed. The results of a measurement of the melting point of gallium are presented, which differ in the conditions in which they were realized – with one and two liquid-solid interfaces and different solidification conditions, are presented. The reasons for the considerable difference between the values of the temperatures obtained in these experiments are discussed.     

铜铟铋硫对Sn-Ag基无铅焊料性能的影响

研究了Cu、In、Bi、S元素对Sn-Ag基无铅焊料熔点和铺展性的影响。结果表明:Sn-Ag-Cu三元合金成分为95.5%Sn3.5%Ag1%Cu时具有较低熔点(215℃)和好的铺展性;加入适量的In可降低Sn-Ag合金的熔点和改善铺展性能;随w(Bi)的增加Sn-Ag-Bi三元合金的熔点降低、铺展性变好;Sn-Ag合金的熔点随w(S)的增加而升高,加入少量S能改善Sn-Ag合金的铺展性。     

工业层析洗梯液回收套用的一种方法

以生产甲胺基阿维菌素苯甲酸盐精品的工艺——工业层析产生的洗梯液回收套用的过程为例，说明利用二元恒沸物的组成随压力的变化而变化的规律，对生产洗梯液进行有效、简洁、合理分离及套用的方法。     

Partitioning multiple objective optimal solutions with applications in radiotherapy design

The optimal partition for linear programming is induced by any strictly complementary solution, and this partition is important because it characterizes the optimal set. However, constructing a strictly complementary solution in the presence of degeneracy was not practical until interior point algorithms became viable alternatives to the simplex algorithm. We develop analogs of the optimal partition for linear programming in the case of multiple objectives and show that these new partitions provide insight into the optimal set (both pareto optimality and lexicographic ordering are considered). Techniques to produce these optimal partitions are provided, and examples from the design of radiotherapy plans show that these new partitions are useful. A. Holder. Research conducted at Trinity University, TX, and The University of Mississippi, MS. This research was partially supported by ONR Grant N00014-01-1-0917.     

Procedure for the evaluation of the accumulation of defects in metallic structural materials under complex elastoplastic loading

Within framework of the continual fracture mechanics, we describe the engineering approach to the assessment of scattered microdamage accumulation kinetics in metallic materials under elastoplastic loading conditions in case of plane stressed state. Automatized experimental stand and the respective investigation technique are discussed. The stand has been developed based on modification of the UMé-10T electromechanic test machine. State-of-the-art computer technologies and microprocessing hardware are incorporated in the stand automation. We present the technique of experimental assessment of damage accumulation kinetics in metallic structural materials under complex elastoplastic loading conditions with account of two different fracture (cleavage and shear) processes, which technique is based on measuring the specific electric resistance of the specimen. __________ Translated from Problemy Prochnosti, No. 1, pp. 128–137, January–February, 2006.     

Preparation and properties of silicone‐containing poly(methyl methacrylate) gels

Poly(methyl methacrylate) (PMMA) gels with varying amounts of silicone and solvent and constant amounts of crosslinker were prepared by solution free radical crosslinking copolymerization of methyl methacrylate (MMA), ethylene glycol dimethacrylate (EGDM), tetraethoxysilane (TEOS) and vinyltriethoxysilane (VTES) comonomer systems. They were then studied in benzene at a total monomer concentration of 3.5 mol L^?1 and 70 °C. The conversion of monomer, volume swelling ratio, weight fraction and gel point were measured as a function of the reaction time, silicone concentration and benzene content up to the onset of macrogelation. Structural characteristics of the gels were examined by using equilibrium swelling in benzene, gel fraction and Fourier‐transform infrared (FTIR) analysis. The morphology of the copolymers was also investigated by SEM. Based on the obtained results, it was concluded that the FTIR data did not have the capacity to show the presence of the VTES or TEOS moiety in these kinds of copolymers. On the other hand, the variation of weight fraction of gel, W_g, and its equilibrium volume swelling ratio in benzene, q_v, exhibited the same behaviour as that of MMA/EGDM copolymers. Also, the dilution of the monomer mixture resulted in an increase in the gel point and swelling degree and a decrease in the percent of conversion and gel fraction. Finally, TEOS is not an ideal silicone compound for reaction in the MMA/EGDM copolymerization system, whereas VTES is a suitable silicone comonomer for this system and it has been proved useful. Copyright © 2005 Society of Chemical Industry     

VARIATIONS IN ALFALFA JUICE SOLUTE CONCENTRATIONS AS WATER IS EVAPORATED

Alfalfa juice was extracted from plants during the graving phases of the first and second crops. The alfalfa juice was dried and solute concentrations were measured periodically during the process using freezing point depression (FPD) as an indicator. Solute/solvent weight ratios were calculated from the freezing point depression of fresh unconcentrated 'uice extracted from both firsc and second crops. At the time of harvest, tie FPD was a function of this ratio. The first and second crops behaved distinctively different during the drying process, with the second having a larger soluce concentration and a greater FPD at a given moisture content. The appearance of preci itate during the drying process and the general1 large FPD makes this materiay a questionable product for drying vitg low temperature processes.