实时系统开发与PEARL语言

本文讨论了实时系统的特征、开发方法、设计工具、实现手段工具等开发过程中的主要问题,论述了实时系统开发语言PEARL及该语言的对实时系统的主要支持.     

利用ICAP／4仿真系统进行电子电路虚拟实验

以串联型稳压电源为例，介绍利用数／模混合电路仿真软件系统ICAP／4进行虚拟实验及故障诊断的方法，并给出仿真波形。     

极化子导电到能带导电的转变

采用交流法测量大功率商用钛酸钡(BT)陶瓷加热器的电阻和加热功率随温度的变化关系.结果显示,BT陶瓷的电导特性在80℃附近出现了明显的转变,从低温时的极化子跳跃导电转变为高温时的能带导电,此时,电阻出现极小值,而加热功率出现极大值.     

对求解非线性方程方法的探索

BaiCL在2001年提出了双曲函数法，并把解设成具体的双曲函数，即sinhw和coshw的线性组合．本文把解设成是由2个函数f(ξ)和g(ξ)组成的线性组合，它们可以有多种取法，从而使方程更直接、更有效．借助数学软件Maple，用改进后的方法和吴文俊消元法，求解Bai C L文中的一个例子，获得了包含Bai文结果在内的更为丰富、精确的行波解．     

Static extracting method of software intended behavior based on API functions invoking

The method of extracting and describing the intended behavior of software precisely has become one of the key points in the fields of software behavior＇s dynamic and trusted authentication. In this paper, the author proposes a specified measure of extracting SIBDS （software intended behaviors describing sets） statically from the binary executable using the software＇s API functions invoking, and also introduces the definition of the structure used to store the SIBDS in detail. Experimental results demonstrate that the extracting method and the storage structure definition offers three strong properties： （i） it can describe the software＇s intended behavior accurately; （ii） it demands a small storage expense; （iii） it provides strong capability to defend against mimicry attack.     

开源软件在网络教育中的应用

论述了在教育领域中使用开源软件的必要性,介绍了几种应用于网络教育的开源软件,主要包括服务器软件、工作站软件和课程管理系统。     

基于PLC现场数据采集与分析

介绍了PLC控制器的可行性分析,阐述了基于PROFIBUS工业以太网数据采集的研究,并提出了基于PLC现场数据采集与分析的方法。     

FAST ACCURATE PREDICTION OF BLANK SHAPE IN SHEET METAL FORMING

By using the Finite Element Inverse Approach based on the Hill quadratic anisotrop-ically yield criterion and the quadrilateral element, a fast analyzing software-FASTAMP for the sheet metal forming is developed. The blank shapes of three typical stampings are simulated and compared with numerical results given by the AUTOFORM software and experimental results, respectively. The comparison shows that the FASTAMP can predict blank shape and strain distribution of the stamping more precisely and quickly than those given by the traditional methods and the AUTOFORM.     

Reversible nonlinear conduction in high‐density polyethylene/acetylene carbon black composites at various ambient temperatures

The reversible nonlinear conduction (RNC) in of high‐density polyethylene/acetylene carbon black composites with different degrees of crosslinking was studied above room temperature and below the melting point of high‐density polyethylene (HDPE). The experimental current density‐electric field strength curves can be overlapped onto a master curve, suggesting that the microscopic mechanisms for the appearance of RNC exist regardless of the ambient temperature and the crosslinking degree of the HDPE matrix. The relationship between the crossover current density and the linear conductivity can be explained in the framework of the dynamic random‐resistor‐network model. According to these results, two electron‐tunneling models are suggested to interpret the microscopic conduction behavior. © 2004 Wiley Periodicals, Inc. J Polym Sci Part B: Polym Phys 42: 1212–1217, 2004     

Kinetic Parameters of Ion-Exchange Membrane in Amino Acid Solutions

Kinetic parameters of amino acid cations in an MK-40 ion-exchange membrane are calculated from the conductivity data. A theoretical quantum-chemical analysis of experimental activation energies for conduction suggests a mechanism of elementary act of transport of amino acid cations in the membrane.