Hardness of preorder checking for basic formalisms

We investigate the complexity of preorder checking when the specification is a flat finite-state system whereas the implementation is either a non-flat finite-state system or a standard timed automaton. In both cases, we show that simulation checking is Exptime-hard, and for the case of a non-flat implementation, the result holds even if there is no synchronization between the parallel components and their alphabets of actions are pairwise disjoint. Moreover, we show that the considered problems become Pspace-complete when the specification is assumed to be deterministic. Additionally, we establish that comparing a synchronous non-flat system with no hiding and a flat system is Pspace-hard for any relation between trace containment and bisimulation equivalence, even if the flat system is assumed to be fixed.     

InTouch在热风炉控制系统中的应用

介绍了InTouch在吉林建龙钢铁公司热风炉工程中的应用,论述了热风炉系统结构和信息通讯方式.应用表明设计合理,达到了实时监控的目的.     

单件小批量生产排产逆序递推法应用研究

针对单件小批量型生产企业,为了保证交货期和控制原材料、在制品库存,提出一种生产排产算法--逆序递推算法.本文在算法中考虑到了生产扰动对交货期的影响,并结合实例作出逆序递推排产甘特图来指导生产.     

基于差分蜂群算法的电力系统经济负荷分配

针对电力系统经济负荷分配问题,提出一种有效的差分蜂群算法．受差分进化算法的启发,该算法基于差分进化操作改进了雇佣蜂的搜索方式,提高了探索能力和收敛速度．此外,提出一种有效的修复机制以保证新个体的可行性．该算法在带有阀点效应和多燃料特征的典型电力系统经济负荷分配问题上进行了测试．仿真结果验证了所提算法的有效性．     

矿石微机检测控制系统

为了提高矿山生产的管理水平,微机被应用于坑口矿石检测控制.提出了一个矿石微机检测控制系统,实现矿石的自动检测.从微机、接口部件以及软件等方面,介绍了该系统的设计与实现.该系统已推广使用,取得很好的效果.     

基于ATMEGA16语音录放系统的设计与实现

介绍了具有较强通用性的语音告警系统。系统通过单片机ATMEGA16控制语音芯片ISD1790,实现了在不同情况下提供不同的语音提示告警,且提示语音可以自行录入。最后通过D类音频功率放大器TPA3101D2,实现了高音质大音量语音输出。     

浅谈RSA数字签名技术在综合船桥系统中的应用

随着Internet的快速发展,网络在综合船桥系统中得到了广泛的应用。在享受网络带来的便利的同时,它的各种弊端也日益显露,如网上数据传输的完整性等问题。为了很好地解决这一问题,将RSA数字签名和数字摘要应用于综合船桥系统中。在保证数据安全传输的同时,很好地验证了数据的完整性,同时完成了发送方的身份验证。     

油田污水处理站自控系统的优化设计

随着网络技术和多媒体技术的不断发展,传统的工业控制模式也需要不断引入新技术来满足当今社会对控制和管理的新要求.文中着重介绍了对新疆新港公司油田污水处理站监控系统的优化升级.其中采用了一体化控制理念,选用了将PLC控制、网络通讯、视频监控、数据存贮集成于一体的控制器,使控制系统的功能得到了增强.该系统已投入运行两年多,稳定可靠,具有良好的应用和推广价值.     

通用串行总线设备固件的设计

该文描述使用８ｘ９３０ａｘ微处理器开发通用串行总线设备固件的技术。     

基于模式转换的分布式多媒体系统的结构模型

对于分布式多媒体系统,创建合适的结构模型是其重要的研究课题之一。文章在基于模式转换的思想基础上,提出了一种分布式多媒体系统的结构模型,该模型可有效地支持多媒体对象的表现和通信。