进程互启模型的设计

在对定时器、注册表读写、系统快照及进程创建等技术的综合研究的基础上，设计并建立了进程组互启模型，实现进程组中进程的自身安全，从而解决反安全软件对部分计算机安全检测进程的克制问题。     

基于进程网系统的Petri网性质分析

Petri网的进程网系统是为了描述Petri网特别是无界Petri网的进程行为而提出的一个重要概念。一个Petri网的进程网系统是以其基本进程段的集合为新的变迁集，以各个基本进程段集的输入和输出库所集的并集为新的库所集，以原网系统的初始标识为初始标识而得到的一个新的网系统。本文在借助进程网系统的概念，讨论了一个Petri网同它的进程网系统在可达性、有界性、公平性、活性等方面的对应关系。     

监控系统中获取进程信息的算法实现

在现代空管系统中进行网络管理时，监视、统计各席位主机进程信息至关重要．因此，作者在网络监控中加入了获取进程信息的功能，在一定时间间隔收集被管主机的所有进程信息，以达到性能管理的目的．介绍了算法实现所需的一些基本概念，然后着重阐述进程信息获取算法及实现．算法中充分考虑了Unix系统特有的虚拟文件系统特点，以及进程状态的动态性．监测结果表明，算法具有较强的透明性和鲁棒性，获取数据误差小．     

区间值进程演算的可加模型

进程演算是研究并行计算和分布式计算的一个重要语义模型．引入区间值进程演算的可加模型（简称AICCS），以解决在并发通讯系统中产生的不确定性．在该模型中，前缀进程、并行进程以及和进程都赋以区间值．作者给出了AICCS的语法及可加的操作语义，引入了进程的量化这一概念，在此基础上引入强互模拟和μ-强互模拟的概念，并且讨论了其相关性质．     

多处理机操作系统结构分析

文章首先分析了操作系统中进程及其载体、进程数据类型、系统功能调用和文件系统，论证了文件作为进程载体的合理性，提出了采用消息机制处理系统功能调用的方法，最后讨论了根据分析得出的一个多处理机操作系统的模型。     

UNIX系统的进程控制与其代码分析

讨论了控制进程上下文的系统调用的使用和实现，并分析了相关的应用实例和源代码。     

全透明检查点系统Epckpt的改进分析

设置检查点是保存和恢复进程运行状态的一种重要技术，是实现容错、卷回调试和进程迁移的重要手段，研究了全透明检查点系统Epckpt在检查点技术的实现方法和机制上的局限性，给出了有效的改进方案，该方案可以实现进程号的恢复和对用户文件的检查点设置，同时采用检查点写复制缓冲机器提高了原有的检查点算法的性能。     

工作流运行和调度算法研究

先进的进程调度思想，建立了OA系统工作流模型的数据定义，并提供了工作流运行和调度算法。     

机械传动系统可靠性设计模型（I）——考虑应力相关性的设计

以齿轮减速器为例，分析了典型机械传动系统的各组成元素．采用FMEA方法，依照各元素对系统可靠性影响的大小，对系统进行可靠性设计时的组成进行了简化，建立了减速器系统可靠性计算模型——串联系统模型．根据条件概率理论，建立了系统元素间失效完全相关的判据并给出实用表达式．在此基础上，针对系统中各零件在同一个力源作用下的事实，给出了机械传动系统可靠性设计考虑应力相关性的设计模型和计算方法，得到的模型和方法可推广应用到其他机械传动系统可靠性设计计算中．     

利用管道技术实现分布式系统

分布式系统作为一种流向是现代计算机技术发展的产物．与传统的集中式系统相比，分布式系统拥有经济性、速度、固有的分布性、可靠性、可扩展性的优势．分派到不同机器上的进程通过管道技术连接起来协同工作展现了分布式系统的灵活性和更强的计算能力．无名管道只允许同一台机器上的进程进行通信，Windows NT4．0以上版本开始支持有名管道．本文的实例采用visual C 6．0编码。通过Windows API调用实现两台机器上的服务器端进程和客户端进程对管道的读写操作．     

一种分布式过程模型及实例的优化方法

ADEPT模型具有分布式对称控制结构, 可以对控制流、数据流建模. 但由于ADEPT模型未被形式化描述, 所以无法判断过程模型及其实例的正确性.对ADEPT模型进行了形式化定义, 并结合实例状态机给出了过程实例的形式化描述; 在此基础上提出了用于验证过程模型正确性及过程实例一致性的优化方法.     

System Dependence Graph Construction for Aspect Oriented C＋＋

This paper proposes an extended system dependence graph called AspectSDG to represent control and data dependences for AspeetC＋＋ programs, and presents an approach for the construction of AspectSDG. This approach decomposes aspect-oriented programs into three parts： component codes, aspect codes, and weaving codes. It constructs program dependence graphs （PDGs） for each part, and then connects the PDGs at call sites to form the complete AspectSDG. The AspectSDG can deal with advice precedence correctly, and represent the additional dependences caused by aspect codes. Based on this model, we introduce how to compute a static slice of an AspectC＋ ＋ program.     

80C51构建的温度数据采集系统分析

数据采集是单片机应用中最普遍的应用之一，数据采集的对象可以是压力、流量、温度等物理量，数控采集系统可以是控制系统的一部分，也可以作为配备打印、显示输出的独立系统．介绍了曲80C51构建的温度数据采集系统．     

改进的基于逆向流分析的C程序切片算法

为解决切片算法时空开销太大的问题, 提出一种改进的基于逆向流的静态切片算法。只需通过分析控制依赖, 获得程序整体框架, 再从切片点开始基于逆向控制流从里向外扩张式扫描,在扫描中不断获得只与切片相关的数据依赖, 以此得到程序切片。该算法减少了计算控制流的工作量, 避免计算谓词依赖集的过程, 减少了存储资源开销, 提高了切片的效率。     

间冷式电冰箱系统的动态过程

间冷式电冰箱的制冷量通过空气强迫对流流动进行分配,热力参数是时间和位置的函数,而且参数间相互耦合．由于实际装置的复杂性,需要对间冷式冰箱装置进行深入细致的分析研究,方可建立既能描述动态过程,又具有仿真计算可行性的模型．将间冷式电冰箱分解为主动系统与被动系统,在对两系统进行详细的关联性分析后,建立了间冷式电冰箱系统的仿真计算模型．计算结果与实验结果的比较表明,仿真计算模型能较好地描述间冷式电冰箱的动态过程     

一种基于服务体/执行流的新型操作系统构造模型

在分析进程/线程模型内在缺陷的基础上,提出了一种新的操作系统构造模型--服务体/执行流模型.该模型以执行流为运行模型,以服务体为存储模型,两者相互分立,使得数据的计算独立于数据的存储,从而融合了单地址、多地址空间和单内核、微内核结构的优点,又摒弃了它们的缺点,并可有力支持分布式计算.实验数据验证了该模型的正确有效性.     

首钢中厚板轧机过程控制系统

针对首钢新建3500mm中厚板轧机,自主设计开发了完整的两级计算机控制系统·在过程控制系统中包括了数据通讯、数据管理、过程跟踪和模型计算等主要功能·数据通讯模块负责过程控制系统和其他系统的数据通讯;数据管理模块负责数据库的读写,为模型计算查询模型参数,记录每块轧机的实际工艺过程参数等;过程跟踪模块负责轧件加工过程位置和数据跟踪,并在不同的触发点调用其他功能模块,进行自动轧钢的轧件调度控制和轧制节奏控制;模型计算模块利用数学模型,进行轧机的轧制规程计算和控冷系统的控制参数计算·通过各功能模块的协作,可以实现轧机生产过程的模型自动设定和全自动轧钢控制·该系统已经在现场成功使用·     

多边界非恒定流控制、监视系统的研制与应用

应用计算机及其控制技术,解决多边界非恒定流物理模型试验中的控制问题,系统能对模型多个边界实现智能化控制,试验中各参数从数据采集,整理到输出均由计算机自动完成,减少了试验过程中的人为干扰因素,实际应用表明,该系统使用方便,运行可靠且控制精度高。     

计算机控制系统对象模型辩识的单位阶跃响应直接法

用阶跃响应法进行计算机控制系统对象模型辩识,提出了一种直接求取Ｚ传函的方法,省去了求Ｓ传函的中间步骤,用该方法可直接得到阶模型而不仅是一阶近似模。该方法简便,精度高。