分布式实时UNIX调度策略自动测试系统模型

提出基于分布式实时ＵＮＩＸ系统的调度策略自动测试系统的形式化模型,并研究了该系统核心部分的算法,给出了该自动测试系统模型的软件结构图,结果表明研究的ＵＮＩＸ实时调度策略全自动测试系统模型具有一定的通用性,根据该模型很容易设计出各种软件自动测试系统。     

UNIX 实时 I/O 调度策略调试器的设计

分析了在实现ＵＮＩＸ的实时Ｉ／Ｏ调度策略时遇到的难点,阐述了一种在ＵＮＩＸ核心外进行调试的方法,并设计了用于在ＵＮＩＸ核心外调试实时Ｉ／Ｏ策略的调试器．在这种调试器的帮助下,很容易设计实现ＵＮＩＸ的多种实时Ｉ／Ｏ调度策略．     

UNIX实时I／O调度策略调试器的设计

分析了在实现ＵＮＩＸ的实时Ｉ／Ｏ调度策略时遇到的难点，阐述了一种在ＵＮＩＸ核心外进行调试的方法，并设计了用于在ＵＮＩＸ核心外调试实时Ｉ／Ｏ策略的调试器。在这种调试器的帮助下，很容易设计实现ＵＮＩＸ的多种实时Ｉ／Ｏ调度策略。     

操作系统UNIXSVR4_0周期进程的设计与实现

针对ＵＮＩＸ ＳＶＲ４．０不支持实时进程的周期性执行，本文阐述了在ＵＮＩＸ ＳＶＲ４．０上实现周期进程的方法，这是对ＵＮＩＸ ＳＶＲ４．０进行的实时性改造。     

7号信令系统定时服务器设计

在电信领域，尤其在７号信令系统应用中，定时器有决定性的重要影响．以ＴＵＰ为对象，剖析７号信令系统定时特点，分析定时服务器的服务对象和设计需求．基于ＵＮＩＸ和ＶＭＥｅｘｅｃ实时操作系统平台，扩展了标准的ＵＮＩＸ定时服务，提供了一个实时、高分辨率定时处理机制，并从设计方案、实现算法及性能等方面进行了讨论     

FASTBUS总线服务器

本文介绍将客户－服务者模型的概念用于紧耦合多处理机系统，实现的一个用于大型数据采集系统的多用户ＦＡＳＴＢＵＳ系统服务器．服务器为具有固化程序的、以６８０３０ＣＰＵ工作的ＶＭＥ处理机．客户为具有满足ＮＩＭ标准定义的ＦＡＳＴＢＵＳ子程序库的、在实时ＵＮＩＸ操作系统下工作的各种工作站．     

UNIX SVR4.2网络链路流机制的实时化改造

对ＵＮＩＸ ＳＶＲ４．２网络链路流机制的实时性能进行了分析，找出了流驱动机制对于实时通信的支持的不足之处，针对这些不足之处对其进行了实时化改造并给出了新的算法。结果表明，改造方案具有可行性，能有效地满足实时通信要求，从技术上为进一步改造ＵＮＩＸ系统提供了参考。     

7号信令系统定时服务器设计

在电信领域，尤其在７号信令系统应用中，定时器有决定性的重要影响。以ＴＵＰ为对象，剖析７号信令系统定时特点，分析定时服务器对象和设计需求，基于ＵＮＩＸ和ＶＭＥｅｘｅｃ实时操作系统平台，扩展了标准的ＵＮＩＸ定时服务，提供了一个实时、高分辨率定时处理机制，并从设计方案、实现算法以及性能等方面进行了讨论。     

UNIX工作站对远程ORACLE FOR NETWARE数据库的访问

研究了ＵＮＩＸ与ＴＣＰ／ＩＰ系统以及ＩＰ地址命名规则、ＮＯＶＥＬＬ的开放式互联接口，提出ＵＮＩＸ工作站同时访问ＵＮＩＸ宿主机和ＯＲＡＣＬＥＦＯＲＮＥＴＷＡＲＥ的方案及有关实现技术，可实现跨平台数据库的互访．     

多机容错系统中文件系统保存与恢复的设计

本文讨论了ＵＮＩＸ系统中文件系统保存／恢复的实现技术,首先系统有关的数据结构及其相互关系及增加ＵＮＩＸ系统调用的方法,然后给出文件系统的保存与恢复的实现方法。     

嵌入式软件系统测试模型的研究与实现

指出嵌入式软件系统测试目前还存在测试需求没有规范化、测试用例执行效率低、测试平台不统一等问题.针对这些不足,通过对嵌入式软件测试技术的研究,以形式化的需求描述、基于数据域的测试用例生成等方法为基础,以系统测试环境为平台,建立了适合嵌入式软件系统测试的模型框架.然后针对模型的各个部分,提出了具体的实现方案.最终将该方案应用于某型号嵌入式软件的系统测试中,保证了测试用例设计的完整性、测试覆盖的全面性、测试度量的准确性,并且大大提高了测试的效率.帮助用户达到软件测试效率提高、成本降低、风险小、所开发的软件产品质量高的目的.     

LED图文显示自动生成系统的数据模型

利用电影脚本理论的基本思想,研究了ＬＥＤ（ＬｉｇｈｔＥｍｉｔｉｎｇＤｉｏｄｅ）图文显示自动生成系统的数据体系结构,并给出了基于该数据模型的ＬＥＤ图文实时显示系统的应用．     

露天矿卡车自动化实时调度优化决策系统的构成

根据露天矿调度工作的任务和目的以及实现自动化实时调度的功能要求,结合电铲－卡车工艺系统的特点,对调度系统的功能结构进行了分析设计,并指出了开发卡车自动化实时调度优化决策系统的关键技术。     

一个基于内嵌式数字控制系统的自动测试系统设计

本文主要针对的是这样一种自动测试系统 ,它基于给定信号、反馈信号均为数字量的内嵌式数字控制系统而设计。自动测试系统的测试目标是测试数字控制系统的各项控制指标。     

集中空调冷却水侧上位机控制器的实时控制

从集中空调冷却水侧基本自动控制系统的局部角度出发，设计了冷却塔风扇上位机控制器，对风扇风量和运行台数进行实时控制，并通过仿真试验分析了其对系统控制稳定性和系统能耗的影响．结果表明该上位机控制器具有较好的控制稳定性，并且比常规的风扇转速及台数控制方式更节能．     

面向过程的群集系统实时库生成技术研究与实现

给出面向过程的群集系统的过程参数与行为实时库成生技术，特别是基于关系数据库模型对实时数据对象进行时态标识，从而实现了实时数据处理。     

用VB实现与电厂的实时监控系统的通信

用VB实现电厂的实时监控系统与MIS系统的通信，该模块已应用到实时监控查询系统中。     

构建自动生产线图形信息系统

从AutoCAD矢量方式的静态网络图形出发，对自动生产线网络图形中的物流源、物流线路以及物流控制设备等进行识别、处理和转换，自动生成生产线图形信息系统的图形拓扑关系数据库，再与生产线实时信息进行合成，构建自动生产线图形信息系统，实践证明，这种自动生成方法，突破了人工描述拓扑关系的复杂困难的瓶颈，效率更高、速度更快，为自动化生产线信息系统的广泛实用化奠定了基础。     

复合模型实时耦合计算机控制系统

通过计算机控制系统将物理模型和数学模型两部分耦合在一起。该控制系统有两条控制回路，即流量控制回路和水位控制回路，其中流量控制回路实现了物模和数模在耦合边界处水位和流量的交换；水位控制回路实现了入海口潮汐水位的模拟。同时根据采样和控制的高精度要求，分别在软件和硬件中采取滤波措施。试验结果表明，计算机控制系统实现了物理模型和数学模型的实时耦合，试验精度达到工程要求。     

计算机图象技术在汽车仪表检验中的应用

计算机图象检验系统是为汽车组合仪表提供一套精度和自动化程度较高的检验系统而研制,该系统综合应用机械、电子、计算机、图象采集和处理、自动控制等技术,本文详细介绍了汽车组合仪表计算机图象检验系统的硬件组成和软件设计方法。