基于Petri网的PLC程序设计

随着生产过程复杂性的增加,对系统的控制也更加复杂.传统的PLC程序设计方法,已不适用于诸如协调、竞争等控制的设计.需要寻求新的程序设计方法来满足复杂的控制要求.本文介绍了基于Petri网的PLC程序设计.     

一类分式不等式溯源

1 第16届IMO第5题是:确定下列和式的范围s_1=(a/a+b+d)+(b/a+b+c)+(c/b+c+d)+(d/a+c+d)其中a,b,c,d是任意正实数。     

Effects of Substrate Temperature on Helium Content and Microstructure of Nanocrystalline Titanium Films

Helium-charged nanocrystalline titanium films have been deposited by HeAr magnetron co-sputtering. The effects of substrate temperature on the helium content and microstructure of the nanocrystalline titanium films have been studied. The results indicate that helium atoms with a high concentration are evenly incorporated in the deposited titanium films. When the substrate temperature increases from 60℃ to 350℃ while the other deposition＇parameters are fixed, the helium content decreases gradually from 38.6 at.% to 9.2at.%, which proves that nanocrystalline Ti films have a great helium storage capacity. The 20 angle of the Bragg peak of （002） crystal planes of the He-charged Ti film shifts to a lower angle and that of （100） crystal plane is unchanged as compared with that of the pure Ti film, which indicates that the lattice parameter c increases and a keeps at the primitive value. The grain refining and helium damage result in the diffraction peak broadening.     

活动标形及其在点啮合齿轮传动误差分析中的应用

活动标形法的论述首推苏步青译，佐佐木重夫著《微分几何学》，还有的著作从外微分形式引入活动标形,本文论证取曲面的正交曲率网为参数网时，曲面论的基本公式就是活动标形的微分形式，并用其分析了点啮合齿轮传动误差．     

引射式射流风机结构参数的研究

根据地下通风工程以较小的能耗获得较大风量的需要，运用流体力学的基本理论和模型试验研究方法，系统研究了引射式射流风的通风原理和结构参数，为引射式射流风机的设计提供依据。     

“阳”加速器钼丝X-pinch初步实验研究

 在“阳”加速器上进行了直径分别为10, 15, 20 μm, 交叉角为32°,45°,60°的钼（Mo）丝X-pinch实验。“阳”加速器产生的电流峰值约520 kA，上升时间80 ns。实验中通过X射线功率谱仪和纳秒分幅相机等仪器对Mo丝X-pinch辐射特性进行了诊断。实验表明：Mo丝X-pinch过程中会出现多次X射线爆发，箍缩过程中产生的热点辐射出能量超过3 keV的X射线，探测到的最小热点直径小于30 μm。     

An Economical Magnetocardiogram System Based on High-To SQUIDs

An economical magnetocardiogram （MCG） system is built in our laboratory. It mainly consists of a MCG data acquisition stage equipped with two high-To superconducting quantum interference device （SQUID） magnetometers, a data processing stage with digital filtering and a one-layer μ-metal magnetically shielded room in conjunction with a high-Tc SQUID based active compensation. Experimental results show that a noise level of pico-tesla in MCG profiles, which is necessary for clinical applications, may be achieved with the system. Moreover, stable and convenient operations of the system are demonstrated with simulating MCG measurements.     

一种新的小波变换及其性质——弱收敛意义下微分方程和对应积分方程的等价性

利用一种新的连续小波变换讨论微分方程和积分方程之间的关系,并且当h是对称小波时,能够把一类微分方程利用新的小波变换变换成等价的积分方程.它们在弱收敛意义下是等价的,从而将微分方程的讨论与积分方程的讨论联系起来,使得连续小波变换在讨论微分方程和积分方程的过程中得到应用.