诱导空间的分子网收敛特征

研究了诱导空间的分子网收敛理论,给出诱导空间的几个与分子网收敛有关的刻画,从本质上揭示了诱导空间分子网收敛的特征及与之相关的闭包运算的内部结构。另外,作为应用,解决了《L-fuzzy拓扑空间论》中提出的关于序列式空间的几个问题。     

信阳师院图书馆自动化管理系统实施方案分析

自动化管理是图书馆发展的必然趋势。本文借鉴有关高校图书馆自动化管理的经验教训,分析了以计算机管理为基础的自动化管理的三个阶段,从图书馆自动化系统应具备的功能出发,对系统模式、机型和软件进行了优化分析,最终确定了信阳师院图书馆自动化管理系统的实施方案。     

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

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

新型网壳节点的弹塑性分析及试验研究

简要介绍了一种广泛应用于各类意志支,双层网壳结构的新型承插式节点,在弹塑性理论分析的基础上,进行了一组单向拉,压试验研究,为今后在实际工程中推广这种新型节点提供了可靠依据。     

多线程Java程序的Petri网模型

Ｊａｖａ的多线程特性能有效地提高各种计算机资源的利用率．但是,多线程并行运行所造成的非确定性使得程序中潜在错误的定位和再现十分困难,这严重阻碍了Ｊａｖａ多线程机制的使用．提出了从Ｊａｖａ程序到Ｐｅｔｒｉ网的转化规则,利用所得的Ｐｅｔｒｉ网模型能有效地支持并行和分布式软件的分析．该模型在应用中取得了很好的效果．     

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

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

大型河工模型智能化采集与控制系统

介绍了大型河工物理模型智能化采集与控制系统的开发要点,包括系统的功能、硬件设计、系统的采集与控制、软件设计以及开发工具等。运行情况证明,该系统在大型河工物理模型中应用具有可靠、高效、操作方便等特点。     

灵山大佛精神测绘及质量控制

研究了一整套的测绘造型技术,主要包括微型控制网的建立、高精度近景摄影测量、数字化造型、投影基点导线等新方法及精度分析,并对造型中的质量较全面地实施监控,确保了灵山大佛修建的高质量完成了,本文研究方法有较好的应用价值。     

条斑紫菜半浮动筏冷藏网栽培技术初探

对1996—1997和1997—1998两个年度条斑紫菜半浮动筏生产性栽培试验情况进行了总结,证明冷藏网技术是防治条斑紫菜病烂和清除杂藻浒苔的一项有效措施,它在条斑紫菜栽培生产中的应用与常规网帘相比,不仅能获得相当或稍高的产量,而且质量也高,因此经济效益很显著.