实时系统开发与PEARL语言

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

采场人员可靠性模糊综合分析

针对采场人—机—环境可靠性系统中,人是最主要的也是最脆弱的这一特点,根据可靠性理论,应用模糊数学理论与层次分析法,建立了一种新型的系统可靠性模糊数学分析模型,对采场人员可靠性进行综合分析和评价。该分析方法能够对采场人员系统可靠性给以直观、定量的描述。最后,以某磷矿为例,验证了模型的合理性。     

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

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

Comparison of two models for managing reliability growth during product design

Relying on reliability growth testing to improve system designis neither usually effective nor efficient. Instead it is importantto design in reliability. This requires models to estimate reliabilitygrowth in the design that can be used to assess whether goalreliability will be achieved within the target timescale forthe design process. Many models have been developed for analysisof reliability growth on test, but there has been much lessattention given to reliability growth in design. This paperdescribes and compares two models: one motivated by the practicalengineering process; the other by extending the reasoning ofstatistical reliability growth modelling. Both models are referencedin the recently revised edition of international standard IEC61164. However, there has been no reported evaluation of theirproperties. Therefore, this paper explores the commonalitiesand differences between these models through an assessment oftheir logic and their application to an industrial example.Recommendations are given for the use of reliability growthmodels to aid management of the design process and to informproduct development.     

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

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.