开放式机房门禁系统的研制与实践

大学内的微机机房或正在朝着开放式 ,大型化方向发展。原有的单纯靠人来管理的方式已难以适应 ,如何适应新的发展 ,是每个机房管理人员都在考虑的问题。本文全面介绍了一个用计算机进行辅助管理的开放式机房门禁系统 。

基于ASK-CTL的有色Petri网模型检验算法研究

针对使用CPN Tools工具建立系统CPN(Colored Petri Net)模型并进行仿真所得到的状态空间报告中出现的死标识是否会影响系统的安全性和模型的正确性进行研究,提出基于ASK-CTL的有色Petri网模型检验算法及死标识合理性验证算法。算法描述了系统有色Petri网的建模与仿真过程,根据得到的状态空间报告判断是否存在死标识,对存在的死标识采用非标准状态空间查询法使用ML语言编辑相关功能函数以验证死标识的合理性,进而确保所建立CPN模型的正确性与系统的安全性。最后,以电梯门系统为例,证明了算法的有效性。

有色Petri网模型中死标志合理性分析与验证

针对使用CPN Tools对系统进行建模仿真得到的状态空间报告中出现的死标志是否会影响系统的安全性和模型的正确性进行了研究,提出了一种基于ASK-CTL及模型检验理论的死标志合理性验证算法。该算法采用模型检验技术通过ML语言编辑相关功能函数使用非标准状态空间查询法,进一步分析与研究CPN Tools仿真状态空间报告中出现的死标志,通过验证死标志存在的合理性来确保所建立CPN模型的准确性与系统的安全性。最后,以电梯门系统为例,使用CPN Tools建立电梯门系统的CPN模型,证明了算法的有效性。

基于Spin的地铁门控制系统建模与验证

针对地铁门控制系统(MDCS)安全问题,提出一种MDCS检测方法。通过分析MDCS的控制逻辑,使用Promela建立了基于Spin的MDCS系统模型,将MDCS中的地铁控制系统、地铁门控制系统及屏蔽门控制系统抽象为三个进程,并用线性时态逻辑公式描述待验证性质,运行Spin后即可判断MDCS是否存在安全隐患。实验结果表明,该检测方法可有效验证MDCS的安全性。

用DAO数据库访问技术实现门禁管理

先介绍DAO的概念 ,以及门禁管理系统的概况 ,然后叙述了如何用VisualC ++6 .0的MFCDAO数据库访问技术实现其中的员工考勤功能模块。

自动售检票系统自动检票机的选型及未来发展趋势

城市轨道交通自动售检票系统作为面向乘客的门户应用系统,终端设备的外观直接影响车站的装修效果,设备的选型及性能关系用户的使用体验,在建设期间需多方调研考究,使设备在相应项目中达到综合最优化。论文以城市轨道交通自动售检票系统中乘客使用频率最高的自动检票机进行相关分析、归纳、整理,以便各方在设备选型中进行参考。

汽车车门限位系统力学性能浅析

车门限位系统对车门的开闭有着极其重要的作用,随着对车门开闭要求的提高,对限位系统也提出了全新的设计要求。文章主要针对车门限位系统的力学性能研究,着重分析限位系统的各个零部件的受力情况、应力分布、应变分布、开关门换挡力,探寻最佳的结构设计和参数匹配。

综合医疗建筑电梯门禁系统的探讨

本文通过对综合医疗建筑电梯门禁系统分析,针对实际施工中,非电梯制造单位不能改变电梯原有线路,使电梯门禁系统无法施工的问题,提出合理化建议,解决了电梯门禁系统在实际施工中的难题,避免了设计功能浪费。