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

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

微机控制防盗监控报警系统

介绍微机控制防盗监控报警系统的工作原理，系统组成，控制软件，抗干扰措施及发展设想，运行结果表明该系统功能强，灵敏度高操作方便。     

一种 Hoare 逻辑软件复用部件的匹配描述

提出了一种基于Ｈｏａｒｅ逻辑的软件复用部件的匹配描述，它为建立复用部件库的检索机制以及软件的自动化生产提供了理论描述．     

屏幕显示法律保护的几个方面*

本文叙述了屏幕显示的法律保护问题，并提出用软件保护条例保护屏幕显示的方法。     

NSRL光电子能谱实验控制软件设计及其应用

介绍一种同步辐射光电子能谱实验的软件．软件对光束线的控制由罗兰圆模式改为ＤＲＡＧＯＮ模式［１］，光通过率提高２～３倍．软件不仅可以做以Ｘ射线枪为激发源的Ｘ射线激发谱（ＸＰＳ），还可以做以同步辐射光为激发源的能量分布曲线谱（ＥＤＣ）、固定终态谱（ＣＦＳ）和固定初态谱（ＣＩＳ）．软件使用图形的菜单界面，可视化操作，运行稳定，满足科学实验的要求     

软件系统中的主导对象

提出软件系统中的一个新概念，用以描述系统的周期模型．它是系统分析的一个重要因素     

SDS—1型教学用程控交换系统的开发与研制

作者在文中介绍重庆邮电学院开发研制的ＳＤＳ－１型教学用程控交换系统，阐述了该系统的组成结构，各个功能的实现方法，灵活的体系结构及其突出的新特点，它应用于程控教学与实验，提高了教学效果和实验水平。     

大模数齿轮数控加工程序与仿真软件设计

为了减少大模数齿轮在大型专用滚齿机加工中费用,采用大型普通的数控铣床加工。通过对大模数齿轮加工工艺分析,程序的数学模型建立,插补坐标计算,设计出大模数齿轮数控加工参数化自动编程软件。该软件具有虚拟制造的齿形设计、加工仿真,生成并保存G代码,与数控机床远程通信等功能。用户使用该软件在大型普通的数控铣床加工大模数齿轮可减少编程时间,提高生产率、优良品率和加工精度。     

埋地输油管道的防腐蚀检测分析

本文利用交流电流梯度法(PCM法)对埋地输油管道检测的数据建立了埋地管道防腐蚀分析的数据库,编制了检测数据库软件,分析了输油管漏点的特点,提出建立埋地管道防腐蚀检测的数据库将有利于管道的防腐蚀管理与分析。     

一种考虑数据截尾的非参数软件可靠性模型

通过分析数据截尾对软件可靠性模型的影响，建立了一种考虑数据截尾的非参数软件可靠性模型，为的是克服一般参数模型假设约束过紧的问题，并能在估计失效率的同时估计残存缺陷数．同时，提出了基于非参数统计的软件失效率单调下降性检验方法，在加权核函数估计中引入数据截尾率作为加权系数和优化参数，并用失效率单调下降约束下的加权核函数方法来估计失效率和残存缺陷数．模拟试验和实例分析表明，所提模型可以较好地处理截尾数据，给出残存缺陷数的合理估计，其失效率估计精度较高，不低于较好的传统模型．