一种 Petri 网禁止状态控制器综合方法

针对含有不可控变迁Petri网的禁止状态问题,提出了一种基于整数线性规划的控制器综合方法,该方法适用于任意普通Petri网模型。首先,根据Petri网的结构特性构建所有不可控变迁应满足的约束条件集合,其次通过求解整数线性规划问题将给定的线性约束转换为允许线性约束;最后,利用库所不变量方法设计控制器将转换后的约束综合到Petri网中。以某零件加工系统为例进行实验,实验结果表明,提出的方法简单高效,对实际自动制造系统的禁止状态监控问题具有一定借鉴意义。     

基于WiFi的智能楼宇监控系统

针对传统智能楼宇可扩展性不足且无线采集终端高成本、高复杂度的缺点,提出一种无线楼宇温度报警与控制系统.对WiFi网络和WiFi嵌入式单芯片进行了研究.通过无线智能终端采集环境温度和工作设备的状态,并利用WiFi网络传给上位机.上位机的监控界面具有查看和控制设备的功能.实现了对室内温度和用电设备的远程监控.     

一种基于Petri网的无人机物流配送建模方法

针对传统物流配送操作流程繁琐、易受人为因素影响的问题,提出了将无人机引入物流进行配送的方法。首先,利用随机Petri网理论分别对传统物流配送系统以及无人机物流配送系统进行Petri网建模;其次,基于随机Petri网构建马尔科夫链,利用马尔科夫链对模型进行性能分析;再利用随机Petri网的化简规则对两个模型进行等效变换,计算一次配送业务流程的平均作业时间;最后,再对分析结果进行对比研究。研究对比结果表明,相比传统物流配送,利用无人机进行物流线路的再规划,在满足全线路由合理化的同时,时效履约提高了25.6%,由此可见,利用无人机进行物流配送可以明显缩短配送时间,有效提高配送效率,对实际物流问题具有一定理论借鉴意义。     

基于标签 Petri 网的自动制造系统初始资源配置优化

自动制造系统初始资源配置优化问题是指在使用最少初始资源成本的前提下,完成预设生产任务。 针对该问题,提出 了一种基于标签 Petri 网和整数线性规划的计算方法。 首先,根据标签 Petri 网的结构化特性给出拟执行任务与初始资源的约 束关系,将初始资源配置优化问题抽象为整数线性规划问题;其次,利用 Lingo 等软件求解该整数线性规划问题;最后,通过实 例对提出方法进行验证。 实验结果表明,提出的方法简单高效,对实际自动制造系统的初始资源配置具有一定借鉴意义。     

煤输送线高压静电收尘装置电源的信号采集及控制电路

本文阐述了采用霍尔元件互感器进行信号采集，控制电路对主回路全隔离的控制方法，提高了电路的可靠性，及煤输送线的无火化跟踪控制电路。     

基于STM32和LwIP协议栈的Web网页控制系统的设计与实现

为了降低基于嵌入式的Web网页智能家居控制系统的开发成本和整体系统的开发难度,介绍了以STM32单片机作为处理器,ENC28J60作为以太网通信芯片,在不使用操作系统的情况下,基于LwIP协议栈的Web网页智能家居控制系统的软、硬件的设计与实现.该方案不仅降低了开发成本,而且经过实际测验表明该方案性能可靠,使用方便,具有较高的应用价值.     

基于LabVIEW的嵌入式多参数无线健康监护系统

针对健康监护系统实际使用过程中智能性和便携性的要求,提出了一种基于LabVIEW的嵌入式WiFi无线健康监护系统。详细介绍了在WiFi网络基础上硬件结构的搭建以及LabVIEW软件平台的设计。无线智能传感器终端通过WiFi网络实时将采集的人体多项生理数据上传至服务器端软件平台进行处理分析。经过对监护对象血氧、体温、脉率3个重要生理参数的监测实验,表明该系统具有很好的实时性和可行性,有较高的实用价值。     

基于安卓系统的多参远程健康检测系统研究

传统家用体检设备交互界面过于简陋,且不能融合多种体检参数,给予更为准确的体检结果。提出将多传感器信息融合技术引入远程健康监护领域,在数据处理的初级和决策阶段,分别采用并实现了基于最优融合集和改进后D-S证据理论融合算法。在此基础上,针对移动智能终端日益普及的情况,设计了基于安卓的多参健康检测系统。实现了对体检果更加形象的显示和更加准确的体检结果判定。通过仿真测试,证实算法可行,且系统具有一定的实际应用价值。