对实验仪器设备及实验技术队伍管理之意见

提出了高校实验仪器设备管理中存在的主要问题。对仪器设备的维修管理以及稳定实验室技术队伍提出了一些可操作的措施。     

图形LOTOS和Petri同模型在PC机上的实现

在ＰＣ机上建立了一个由ＤＯＳ系统支持的图形ＬＯＴＯＳ（ＧＬＯＴＯＳ）软件工具．用这个工具，用户可以设计，显示一个ＧＬＯＴＯＳ说明，也可以把它转换成Ｐｅｔｒｉ网．该系统分为三个模块：ＤＲＡＷ，ＲＥＣＯＶＥＲ和ＴＲＡＮＳＦＥＲ．根据ＧＬＯＴＯＳ模型，模块ＤＲＡＷ给出了一个交互式的菜单系统，用这个系统，用户可以在图形窗口的任何位置画出ＧＬＯＴＯＳ的任一成分；模块ＲＥＣＯＶＥＲ可以自动恢复以前画好的ＧＬＯＴＯＳ模型；根据Ｐｅｔｒｉ网的表示，模块ＲＥＣＯＶＥＲ提供了从ＧＬＯＴＯＳ自动转换到Ｐｅｔｒｉ网的功能．     

ZX7-400S型晶闸管逆变焊机的研制

根据交流等效电路论述了晶闸管串联半桥式逆变器的工作原理,并讨论了其输出功率的影响因素,在此基础上研制出了一种ZX7- 400S型晶闸管逆变焊机.这种焊机的电路设计中有延时电路、反馈控制电路、晶闸管保护电路及电压、电流增长率抑制电路.焊机重量轻、高效节能,有较好的工艺性能.     

基于通信顺序进程的计算机网络通信协议形式化描述

描述和设计计算机网络通信协议时，使用抽象的同步通信机制最为方便。但在实际中，使用异步通信机制将不可避免。基于霍尔的“通信顺序进程”和其他对通信协议描述与设计的理论研究结果，本文提出一个形式化方法，这个方法在不论使用何种实现通信机制的情况下都将保证通信协议的正确性     

基于三角均分模糊推理的电力设备故障诊断

电力设备的故障诊断具有不确定性。应用三角均分模推理系统的能够利用实际故障诊断数据，吸收专家诊断经验，获取与完备故障诊断规则知识，从而有效地诊断电力设备的故障。     

用户界面模型与形式规格说明研究

在讨论人机交互方式和界面控制与通信的基础上，描述用户界面抽象模型及形式规格说明方法和技术方面的研究和进展。主要强调图形用户界面的模型和描述问题。     

高校仪器设备管理的TNPM思想

论述了TNPM管理思想及在高校仪器设备管理中的应用背景，提出了TNPM管理的具体内容及保障措施，从而使高校仪器设备管理更加规范有效，更好地为教学科研服务。     

基于Petri网的TCP协议异常检测模型

从面向连接的角度出发，以Petri网为工具，建立了TCP协议异常检测模型．该模型以TCP协议的状态变迁图为基础，并根据协议规范可对传输报文的标志位进行系统的分析，从而识别出标志位非法组合构成的畸形报文（FIN—RST报文）．模型中规定了各种状态下可接收的标志位集合，同时还细化了各状态下的超时异常，据此可准确地检测出各种异常，以抵御已知和未知的非法行为．利用该模型不仅可发现已知异常事件，还可对未知漏洞进行防范．通过实验发现，网络中的错误标志位报文、端口扫描以及DOS攻击产生的异常流量将占到总流量的10%以上．     

煤矿机械齿轮失效的原因及对策

齿轮失效在机械设备中较为常见,特别是煤矿设备因负荷大、易超载、工作环境差等,齿轮失效最为突出。通过对齿轮失效原因的分析,提出了若干可行的预防措施。     

石太线接触网综合大修可行性研究

石太线电气化铁路作为山西省主要运煤通道,其陈旧的电气化铁路设备已远远不能满足太原市经济快速发展的需要。根据多年的工作经验及现场实际,对石太线电气化铁路接触网设备改造的必要性及可行性进行了分析和探讨,并提出了相应的建议。