工业锅炉计算机控制技术

工业锅炉的计算机控制是近年来发展起来的一项新技术，根据山西焦煤集团屯兰矿SHL35型蒸汽锅炉的计算机控制系统改造，阐述了锅炉实行计算机控制的先进性，并对各种方案进行了对比分析。     

实时系统开发与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”和安全性问题．对功能正确性和安全性的折中方案，亦有详细的分析，最后还提出将软件开发的折中技术融入软件工程以取得实际的效果．     

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

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