一种简单的线程死锁检测方法及其VC++应用

分析了互斥锁的使用原则———临界区越小越好,基于此原则提出了一种简单、高效的线程死锁检测的方法,实现了一个VC++线程死锁检测器。     

柔性制造系统并行作业调度的状态反馈控制

应用位置互连受控Petri网的概念建立柔性制造系统（FMS）并行作业的调度模型，并由此提出FMS并行作业避免死锁的一种状态反馈控制方法,该方法通过监控共享设备在并行流水过程中的分配和释放，即可保持FMS稳定地无死锁的运行，并能满足FMS实时调度的快速响应和可靠性要求。     

新扩展强化非对称选择网的有界性与单调性

根据Petri网结构理论，讨论非对称选择网(AC)的一个子类：新扩展强化非对称选择网(NESAC)的有界性与活性单调性，判定NESAC网N结构有界的充分必要条件是，N被极小死锁簇覆盖，每个非空极小死锁H一定是个陷阱且满足|t^*∩|=|t^*∩H|=1，NESAC网仍然具有ESAC活性单调性的特征。     

基于Ant-agent 的自动化码头AGV 控制算法

为解决自动化码头水平运输区存在的自动导引车(AGV)路径冲突和道路死锁问题,提高运输效率,将AGV视为蚂蚁智能体(Ant-agent),设定其携带负反馈机制的信息素进入运输路网. 引入拥挤度及拥挤度阈值q ,建立新的状态转移规则;针对节点冲突和路径拥堵,构建解决机制;提出基于Ant-agent 的AGV控制算法,采用两阶段均匀设计试验法确定算法最优参数组合. 仿真结果表明,与传统动态路径规划算法对比,所提算法在各运输任务量下的避碰性能、解锁性能和运输效率均有较大提高,可有效地解决AGV路径冲突和道路死锁,提高运输效率.     

磁盘阵列(RAID)的可靠性

在需要多块硬盘才能满足收费数据存储要求的同时,数据存储完整性和系统的安全运行也受到了越来越大的影响。为了提高硬盘存储系统的可靠性,石安高速公路数据库服务器普     

MT8404硬盘录像机

MT8404硬盘录像机是青岛海信网络科技股份有限公司专门为公交车辆定制的车载硬盘录像机产品，能够帮助公交公司有效解决票款流失的难题，营造安全、有序的乘车环境，提高乘客服务质量。     

MV1004硬盘录像机

MV1004硬盘录像机是青岛海信网络科技股份有限公司专门为公交车辆定制的车载硬盘录像机产品，能够帮助公交公司有效解决票款流失的难题，营造安全、有序的乘车环境，提高乘客服务质量。     

数字化硬盘录像系统的软件技术研究

探讨硬盘录像系统的构建与程序设计技术，通过用Delphi设计一个金融保安硬盘录像系统的实例，讲述用图像摄取控件高效设计录像系统的面向对象的程序设计技术。     

公路养路费征稽所监控系统的发展

介绍了公路养路费征稽所监控系统从模拟方式、硬盘录像机方式到网络录像机模式的演变过程。     

站间微机化自动闭塞系统双机冗余系统设计

根据站间自动闭塞系统的高可靠性要求，设计了闭塞机热备冗余方案；针对可能出现的双主机状态，研究了安全控制锁的原理与机制．为了解系统的转换性能，用Petri网对系统进行了建模与分析．分析结果表明，设计的结构与切换机制合理，系统中各状态转换安全、完整，不存在死锁状态．