实时系统开发与PEARL语言

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

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

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

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现场数据采集与分析的方法。     

安全性和正确性折中的软件系统开发方法

主要分析和研究如何在软件当前的现实下寻求功能正确性和安全性的折中策略，来解决商业软件长期以来带有“bug”和安全性问题．对功能正确性和安全性的折中方案，亦有详细的分析，最后还提出将软件开发的折中技术融入软件工程以取得实际的效果．     

管理系统的最经济控制问题

依据最经济控制问题的概念及其对无确定性数学模型系统分析存在的局限性，对现代管理系统最经济控制问题，提出了在满足系统基本要求前提下。实现控制功能及品质与控制成本比最佳或最划算的模型定义，并对管理系统的可靠性、ABC管理法、WSR方法论等方面的可靠性成本、运行成本和最佳收益等最经济控制问题进行了研究．     

发酵监控系统上位计算机软件编程研究

提出了利用上位机参与实时控制,综合分析在线参数、离线参数和间接参数,辅助发酵过程工艺研究和优化控制,并给出了上位机软件包的部分源程序及框图。该软件包对发酵工艺人员进一步了解菌种的遗传特性、细胞代谢调节和反应器工程特性方面有较大帮助。