基于边缘智能设备的滚装电梯载客异常检测方法及实验系统

目前常见的基于服务器架构的滚装电梯载客异常检测系统存在通信时延且成本较高问题,本文提出了一种基于边缘智能的滚装电梯载客异常检测方法.该方法采用YOLO v3推理速度优化后的网络YOLO v3-R作为目标检测算法,具体工作内容分为离线与在线2部分:离线部分包括硬件选型、YOLO v3-R网络训练与部署等;在线部分包括视频采集、载客异常目标检测与判决.在此基础上,制作了基于Jetson Nano硬件平台的滚装电梯载客异常检测实验系统,该系统无需网络通信、可靠性高、成本低,实时推理速度可达到1.96帧/s.

一类受控Petri网的控制器设计(英文)

通过挖掘Petri网的内在的结构特性 ,获得了一种新的解决禁止状态避免问题的控制器设计方法 .这种设计方法适用于一类具有特殊结构的受控Petri网 (即所有前向路径子网是状态机 )的状态反馈控制器设计 .在非并发的假设条件下 ,所综合的控制器是最大允许 .

基于双树结构的无线HART调度策略

为了解决全局网络调度过程中的网络通信资源调度和维护复杂性的问题,根据无线可寻址远程传感器高速通道(HART)数据流特点,将原始网络拓扑结构简化表达为双树结构,基于此提出一种适用于规模已知而且最大深度确定的无线HART网络的调度策略.其核心思想是当网络拓扑发生变化时,根据双树结构搜索拓扑变化区域,仅针对该变化区域进行调度,而不影响双树结构中其他未发生变化的区域.测试和分析表明:该策略不仅能够有效地进行动态局部区域调度,而且能够保证网络通信的可靠性、流畅性以及网络数据的较小延时.

字节全加器及其在无线电测控系统中的应用

对全加器概念进行了推广 ,并在此基础上给出了使用字节全加器网络的无线电抗干扰算法。通过在实际的无线电测控系统中的应用 。

基于工作流的安全库所替换网特性研究

基于Petri网的替换运算,提出基于工作流网的库所替换规则,并定义工作流安全库所替换网,进而研究基于稳固工作流的安全库所替换网系统对替换前的Petri网系统特性的保持性问题,研究表明:用稳固工作流网对原Petri网系统的安全库所进行替换之后,得到的替换网系统能保持原网系统的活性、有界性、可回复性;同时,若原Petri网系统是安全的,则替换网系统是有界的,但是由于工作流网本身不具备公平性、持续性等性质,替换网系统不能保持原Petri网系统的公平性和持续性.

基于MIP的顺序资源共享分配系统的虹吸寻找方法

研究了S4PR(systems of sequential systems with shared resources)网的虹吸寻找问题.S4PR网是一类典型的用于建模顺序资源共享分配系统的Petri网模型.在S4PR网中,虹吸的不充分标识会导致死锁.现有的虹吸寻找算法得到的虹吸集合中,存在着不需要进行控制的冗余虹吸,对其添加控制器将会导致控制的冗余和受控系统行为允许度的降低.提出了一种基于混合整数规划(MIP)的虹吸寻找方法,并证明了当该方法没有合适的解时,网系统是活的.与现有的其他算法相比,这一方法能直接获取一个极小的虹吸,并剔除一些并不需要控制的虹吸,因此能用于设计更高允许度的虹吸控制器.应用实例说明了其用于死锁预防策略的可行性和有效性.

一类含T-图环结构受控网显式控制器设计

定义并研究了T-图工作流网的结构和相关性质,提出一种基于T-图工作流网的替换规则,在此基础上,根据树Ⅰ型和树Ⅱ型的结构特点,构造2种新类型的Petri网子类,即T-图工作流—树Ⅰ型和T-图工作流—树Ⅱ型的Petri网.利用T-图工作流子网替换前后原网系统和替换网系统对同名库所权矢量的界保持不变的替换特性,给出一种适用于前向子网为T-图工作流—树I型或者T-图工作流—树Ⅱ型的受控Petri网显式控制器设计方法,应用示例表明:所提出的方法适用于一类最大不可控子网含T-图环结构时的受控Petri网显式控制器设计.

针对有限禁止状态的Petri网控制器综合

针对基于Petri网的离散事件系统禁止状态问题,提出了一种控制器综合方法.该方法是建立在受控Petri网最大不可控子网为规范化序状Petri网基础之上的,当禁止状态有限时,可以将禁止状态问题转化为惟一可达解向量问题,即可达标识和状态方程的解向量之间存在惟一的对应关系,从而只须通过判断惟一可达解向量就能够得到相应的控制器.通过一个具体的例子验证了该方法在设计最大允许控制器中的应用,例证表明,针对有限禁止状态问题,该方法是可行的,并且简单、有效.

基于TSTWT网系统的显式控制器设计

在基于Petri网的离散事件系统监控理论中,显式控制器的设计具有非常重要的意义。当Petri网为无环网时,控制器设计可以通过线性整数规划法求解,当Petri网含环结构,目前而言,只有当Petri网的最大不可控子网中前向子网为STWT时可以求出其显式控制器,然而上述方法只是局限于库所层面的简化,而从另一个方向,即变迁层面的简化来扩展受控Petri网的显式控制器的设计,能够进一步解决最大不可控子网含环状结构后的显式控制器的求解难题。

基于抑制弧Petri网的离散事件系统的监控理论综述

利用Petri网的抑制弧实现离散事件系统的监控是离散事件系统监控理论的一个新进展.对抑制弧Petri网作了简单的介绍,并给出了该监控理论的基本原理.详细地回顾和总结了该理论的四种方法,即:结合自动机的字符串避免方法、抑制弧方法、基于抑制弧的状态避免控制器方法以及加权抑制弧方法,分别分析了这几种方法各自的利弊.最后对其可能的发展作了展望.

一类活性Petri网控制器的冗余检测及结构简化

S^4R(systems of sequential systems with shared resources)网是分析和解决柔性制造系统死锁现象常用的一种重要的Petri网子类模型,现有的基于S^4R网的死锁预防方法通常采用对部分或者全部严格极小信标添加控制库所来实现.此类方法的不足在于得到的活性S^4R控制器中往往存在冗余控制库所.针对已为网中每一个严格极小信标都逐一添加了控制库所和相关连接弧的活性S^4R控制器,本文提出并设计了一种基于整数规划技术的冗余检测及结构简化方法,由此得到结构更简单、行为允许度更高的活性S^4R控制器.该方法的核心思想是:如果网中已经存在一个P-不变式使得某个严格极小信标满足最大受控条件,那么为该严格极小信标添加的控制库所就是冗余的.由于该方法无需进行Petri网的可达性分析,避免了状态组合爆炸问题,因此具有较高的可行性和计算效率.最后用实验验证了本文方法的正确性和有效性.

离散事件系统的混合型Petri网控制器(英文)

考虑由具有不可控变迁的受控Petri网建模的DES的控制器综合问题 .提出了兼具DES的逻辑型和结构型二种控制器优点的混合型Petri网控制器 :在系统状态的获取和跟踪上具有结构型控制器的优点 ,而在控制作用的实施上则具有逻辑型控制器的优点 .全文通过实例说明了混合型Petri网控制器的设计方法 .

一种在非视距环境中的移动节点定位方法

在移动节点射频定位技术基础上,根据自主移动节点运动的特点,提出一种能够减轻非视距NLOS影响的定位算法nLAEL.该算法首先利用移动节点的速度信息,构造相对定位轨迹;然后通过相对定位轨迹和射频定位的比较实现对位置和方向的估计,获取定位结果;最后估计射频定位精度,区分出失真的射频定位结果,以减小NLOS的影响.本算法计算简单,是一种实用的移动节点定位方法.仿真实验结果证明了算法的有效性.

基于CDMA/GPRS/RADIO技术的无线环境监控终端设计

针对传统环境监测系统不能实现跨通信平台、无线远程数据传输和控制,本文设计了以AVR AT-m ega128为核心部件,采用μC/OS-Ⅱ嵌入式实时操作系统的无线环境监控终端。该终端与环境监控中心通过CDMA/GPRS/RAD IO无线通信平台进行数据双向传输,突破了传统环境监控系统受地域范围的限制,实现了对环境的远程化、网络化、无人化监控。现场应用结果表明所设计的无线环境监控终端运行稳定,性能可靠。

一种基于DCT域的自适应块效应消除算法

在基于块编码的图像压缩技术中,低比特率下重建图像的块边界会出现块效应.本文提出了一种有效的基于DCT域的块效应消除算法.首先通过DCT系数块的分解和合并,直接从两个相邻的系数块获取相应的转移块.然后对图像块的活动性进行分类,对于低活动性邻接块所构成的转移块,采用改进的线性函数替代阶梯函数的方法消除块效应,同时更新邻接块.最后采用后滤波和量化约束技术对更新块和高活动性块进行后处理.实验结果表明,本算法不仅有效去除块效应,而且能够保护图像的纹理和边缘.

局域精确定位的工业移动机器人惯性导航方案

为解决工业移动机器人投入使用前需沿路密集布设地面磁条或激光反射点等外部装置的复杂性,以及因工作路线固定而缺少灵活性的问题,提出了基于惯性器件和超声波传感器的局域导航方案。操作人员事先通过遥控器训练机器人从一目标位置沿特定路线运动到另一目标位置,从而生成训练路线。机器人工作在非目标区域,即定位精度要求不高的区域时,按训练路线进行惯性导航;进入到目标区域,即包含目标位置、需精准定位的区域时,利用超声波进行导航。所提方案缩短了使用前的准备周期,同时方便更改工作路线。通过仿真实验,验证了局域范围使用惯性导航和超声波定位相结合的方案是合理可行的。

一类离散事件系统的监控器综合

前向无同步前向无冲突网是每个变迁有且只有一个输入库所并且每个库所最多有一个输入变迁的受限Petri网.针对不可控影响子网为前向无同步前向无冲突网的广义互斥约束,显式地给出了最大允许控制策略的计算方法.并用一个例子给予了说明.

自供电磁阻车辆检测节点设计

针对无线车辆信息采集系统寿命受制于节点功耗的问题,设计了一种基于各向异性磁阻传感器的自供电车辆检测节点。节点采用电源动态管理,设计了快速信号采集电路,结合低功耗芯片的选用以及执行睡眠等方法来控制节点功耗。为减少通信次数和保证可靠通信,针对应用定制了时分多址加跳频的无线通信协议。节点采用超级电容加充电锂电池的存储结构收集太阳能,通过软硬件协同设计实现了简单高效的能量管理方法,具有供电源自动切换和充电控制功能。实验测试的结果表明该节点能够胜任车流量检测应用,自供电能够满足节点可持续工作的需要。

基于位姿评估的无线传感器网络自主移动节点定位技术

本文在研究自主移动节点运动特性的基础上,提出一种基于位姿评估技术的自主移动节点定位算法.该算法适用于可以获取速度信息以及具有射频定位功能的移动节点.该算法利用移动节点速度信息计算相对定位轨迹;然后对相对定位轨迹进行平移,旋转变换,使变换后的相对定位轨迹与射频定位轨迹的结果差别最小来修正累积误差;最后从修正后相对定位轨迹上获取最终定位结果.仿真实验结果表明,所提出的算法在参数取值合理的条件下,能够有效地提高移动节点定位精度.

一类分段线性混杂系统的最优控制策略研究

针对连续模态驻留的时延是确定性的分段线性混杂系统最优控制问题 ,首先给出该类混杂系统模型 ,采用一种新方法 ,即混合动态规划方法来研究混杂系统的最优控制。然后利用 L yapunov方法证明采用这种控制策略时混杂系统的稳定性。最后通过一个数值例子来说明所提出方法的有效性。