可编程控制器PLC及分布式控制系统简介

结合太钢１＃转炉生产操作实践,简要介绍了可编程控制器ＰＬＣ与分布式控制系统在电气自动化系统及防止误操作的软件编制逻辑图的应用     

嵌入式系统前端开发工具的设计与实现

主要介绍了为更好地对嵌入式系统中硬件环境作形式化描述而开发的ＥＨＤＬ语言,首先介绍了ＨＥＤＬ语言的设计模型和程序结构,然后介绍ＥＨＤＬ语言编译器的主要实现技术。     

基于领域复用的软插件库应用研究

目的研究基于领域复用的软插件的原理和实现模型。方法 结合基于领域复用的基本原则,对构造基于领域复用的软插件库的方法进行讨论,并以商用ＰＯＳ机软插件库有组织构造为例进行了具体说明。结果与结论基于领域复用的软插件比传统方法更有利于软件复用。     

论机床专用夹具定位误差的本质

根据机床专用夹具定位误差的定义,论述了定位误差的来源、本质、特点和常用分析计算方法。     

结构化面向对象形式规格说明语言OOZS——设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然．本文讨论了Ｚ规格说明语言的应用限制,并在Ｚ语言的基础上介绍了结构化面向对象形式规格说明语言——ＯＯＺＳ的设计方法．该语言吸收了面向对象程序设计语言ＳｍａｌＴａｌｋ、Ｃ＋＋以及形式规格说明语言ＶＤＭ、Ｚｃ、Ｚ．Ｓ等的优点,引入了类、继承、入口、出口、Ｐｒｅ谓词、Ｐｏｓｔ谓词等机制,并对Ｚ语言的符号进行结构化处理,提高了形式规格说明的层次性和模块化能力,可用于大型面向对象软件系统需求规格说明的编写     

蜗杆式振动珩齿珩磨啮合纹路研究

研究和分析了蜗杆式振动珩齿时,被珩齿轮齿面上的珩磨啮合轨迹,以及在不同珩磨运动参数下,齿面上珩磨啮合纹路的形式。     

海底电缆铺设系统中监控软件及通讯系统的设计研究

介绍了微机实时监控系统中主机与多台可编程控制器间一种可靠的数据方案,讨论了其通讯接口、通讯格格式和通讯软件,并设计了实时监控软件,该系统具有结构简单,调试方便、工作可靠等优点,已在现场成功应用。     

系统可视性动态模拟软件平台的研究

对适用于社会经济系统可视性动态模拟的通用型软件平台进行了研究,提出了采用系统对象模型的建模方法。为了实现通用的可视化能力,文中对典型的计算机图形进行了抽象和分类,并介绍了自行设计的软件平台原型,包括语法协议、语法解释器流程和工作流程。     

基于Petri网的车间控制器平台研究

着重于车间控制器的开放性提出了车间控制器平台的体系结构.车间控制器平台的核心是运控Petri网.该文给出了运控Petri网的定义.和一般的Petri网相比,运控Petri网主要增加了控制规则以及和外部信息进行交互的接口.实现外部接口的技术方案是车间控制器平台的关键技术,这些接口包括控制设备的虚拟制造设备(VMD)接口、数据库访问接口以及文件访问接口,通过这些外部接口为车间调度提供了全面的车间信息.     

科技进步统计监测软件系统的设计与实现

河北省科技进步统计监测软件系统以科技进步统计监测评价需求为指导,进行了合理的总体结构设计、系统功能设计、数据库设计、输入输出设计、存储设计,并在河北省大中型工业企业的科技进步统计监测评价中得到了应用。