摘要：针对分布式系统在共享资源冲突和消解的复杂性问题,综合考虑时间、空间、约束条件等因素,在混合Petri网同时具备描述离散系统和连续系统的能力的基础上,加入时间约束条件、测试弧,从而形成一个能够描述更复杂分布式系统的Petri网模型。利用Petri网描述系统的基本思想,经过扩展得出新模型,变迁使能、变迁触发和变迁冲突检测的定义。结合实例,对模型进行了仿真分析,给出了实例中系统冲突的消解方案,表明了模型的可行性。

摘要：为保证SCADE软件开发的安全性,研究了SCADE形式化验证技术,指出其不足,提出了基于代码生成器的解决方法。该方法对安全特性属性引入了逻辑描述,并利用SCADE编辑器及代码生成器的特点,对SCADE形式化验证技术进行改进,降低了模型正确性确认时人为的主观性。通过实例阐述了应用该方法进行形式化验证的一般步骤,表明了该方法是有效可行的。

摘要：2018年,武汉大学历史学院考古系师生联合考古研究所(院)、博物馆、企业共同策划了两个临展,先后在武汉大学万林艺术博物馆、长沙市博物馆、香港北工22艺术中心展出。在展览筹划过程中,我们尝试将高校策展教学与博物馆展陈实践相结合,探索一条馆校所企多方合作的策展之路——考古所、博物馆提供展品,高校负责展览策划,博物馆提供展览场地和经费,企业负责文创产品的设计和制作。

摘要：国内水泥生产用煤煤质普遍偏低，提高分解炉对煤质的适应性成为当前预分解技术的一个十分迫切需要解决的问题。本文从理论与实践两方面对影响分解炉内煤粉燃烧的主要因素进行了必要的分析与讨论。认为强化煤粉在富氧含量气体中燃烧，适当提高炉温是改善煤质适应性的主要措施；根据煤质与分解炉燃烧条件选取合理的炉容是保证炉内煤粉燃烧时间的主要手段；2000t／d离线喷腾型预分解系统以三次风净空气作燃烧气体，在分解炉本体高热负荷条件下，以低质烟煤作燃料，熟料产量仍然超过设计指标，且系统运行稳定正常，证明这种离线分解炉系统具有较高的煤质适应性。

摘要：现有的电力巡检机器人自动化控制系统,存在着漏检率高的缺陷,为了解决上述问题,提出基于嵌入式Linux的电力巡检机器人自动化控制系统设计研究。电力巡检机器人自动化控制系统硬件设计为嵌入式Linux设计、电机驱动器设计与红外热成像仪测温计设计;软件设计为电机驱动器初始化、运动控制程序编写与中断定位及校准程序制定。通过系统硬件与软件的设计,实现了基于嵌入式Linux的电力巡检机器人自动化控制系统的运行。通过实验结果表明:与现有的电力巡检机器人自动化控制系统相比较,设计的电力巡检机器人自动化控制系统极大地降低了漏检率,充分说明设计的电力巡检机器人自动化控制系统具备更好的性能。

摘要：对变电站进行有效地维护是电力系统重要的常态化工作之一。为了解决变电站传统人工巡检方式存在的效率低、任务量大等问题,文中基于红外热像监测机器人设计了一种变电站无人巡检系统。该系统包括基于无线AP实现的通讯层、基于普朗克黑体辐射定律和激光无轨化导航策略实现的终端层及基于B/S结构构建的基站层,能够实现巡检、监测、红外测温、噪声识别等综合变电站检查功能。结合变电站的实际情况与工作需要,对各项功能进行验证、测试和完善。测试结果表明,该系统的红外测温误差不超过1℃,各项巡检操作也能正常、平稳地运行,为变电站无人巡检提供了一种解决方案。