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.     

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

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

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.     

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

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

Application of the blind source separation method to feature extraction of machine sound signals

As the result of vibration emission in air, a machine sound signal carries important information about the working condition of machinery. But in practice, the sound signal is typically received with a very low signal-to-noise ratio. To obtain features of the original sound signal, uncorrelated sound signals must be removed and the wavelet coefficients related to fault condition must be retrieved. In this paper, the blind source separation technique is used to recover the wavelet coefficients of a monitored source from complex observed signals. Since in the proposed blind source separation (BSS) algorithms it is generally assumed that the number of sources is known, the Gerschgorin disk estimator method is introduced to determine the number of sound sources before applying the BSS method. This method can estimate the number of sound sources under non-Gaussian and non-white noise conditions. Then, the partial singular value analysis method is used to select these significant observations for BSS analysis. This method ensures that signals are separated with the smallest distortion. Afterwards, the time-frequency separation algorithm, converted to a suitable BSS algorithm for the separation of a non-stationary signal, is introduced. The transfer channel between observations and sources and the wavelet coefficients of the source signals can be blindly identified via this algorithm. The reconstructed wavelet coefficients can be used for diagnosis. Finally, the separation results obtained from the observed signals recorded in a semi-anechoic chamber demonstrate the effectiveness of the presented methods .     

环缝错边容器的有限元分析与容限探讨

采用有限元方法对 1台封头与筒体具有较大错边量的容器进行了应力分析 ,得到了错边区域的应力分布状况 ,并对其进行应力强度评定。结果表明 ,该容器错边部位的应力是满足应力分析准则的。通过对存在不同错边量的容器进行应力分析 ,探讨了容器的错边容限 ,对含有错边缺陷在役容器是否合乎使用的判断具有一定指导意义     

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.     

Analysis of lightning surge propagation in wind farm

Wind power generation is expected to become more important in future distribution systems. Although several prospective reports such as IEC 61400‐24 and NREL SR‐500‐31115 indicate an insulation scheme and grounding design for lighting protection, there still seems to be too few investigations on the problems. This paper therefore discusses lightning surge analysis using a wind farm model with 2 or 10 ideal wind turbines. Changing parameters such as grounding resistance and lightning strike points, several cases were studied. As a result of the analysis using digital simulator ARENE, it is clear that the surge tends to propagate toward the end of a distribution line in a wind farm and there is the possibility of insulation accidents at the other wind turbines when lightning attacks a wind turbine. © 2007 Wiley Periodicals, Inc. Electr Eng Jpn, 162(2): 30– 38, 2008; Published online in Wiley InterScience ( www.interscience.wiley.com ). DOI 10.1002/eej.20364     

Fixed point theorems on fuzzy normed linear spaces

In this paper, definitions of strongly fuzzy convergent sequence, l-fuzzy weakly convergent sequence and l-fuzzy weakly compact set are given in a fuzzy normed linear space. The concepts of fuzzy normal structure, fuzzy non-expansive mapping, uniformly convex fuzzy normed linear space are introduced and fixed point theorems for fuzzy non-expansive mappings are proved.