摘要：为了减少数据通信链路并提高预警事件数据上报的实时性和事件侦测的及时性,将视频事件检测识别与实时以太网通信在边缘控制端直接联系并融合。设计的从站控制器将识别的数据、相似度分数与实时采集的数字量、模拟量数据组包发送给监控主站,主站通过预设控制逻辑与从站控制器进行数据互通,与逻辑联动实现对象的远程控制和管理。此外,通过光模块通信方式级联组网实现超远距离通信,降低了现场布线复杂度与布线成本。

摘要：针对移动Ad Hoc网络节点移动和无线广播通信特征,引入移动算子和广播算子,扩展形式逻辑LS2,提出了建模和分析移动Ad Hoc网络安全系统的逻辑***2把网络模型化为不同位置上执行程序的线程复合,把攻击者模型化为与协议参与方并发运行的线程.ELS2中提出网络迹概念,描述网络节点内部计算和外部交互,以及节点移动导致的网络进化过程,并在网络迹上定义谓词公式和模态公式的语义,分析网络协议属性.ELS2证明系统中,设计了捕获程序行为直观属性的新公理.最后,在ELS2逻辑中建模并分析了移动IP注册协议正确性属性.

摘要：研究一类不确定时滞系统的鲁棒容错控制问题。针对既有状态滞后,又有控制输入滞后,且假定状态和控制输入的不确定项均是范数有界的线性系统,通过引入无记忆状态反馈控制器,基于Lyapunov稳定性理论和LMI方法,给出了一个在传感器完全失效或执行器完全失效故障情况下具有鲁棒容错性能的充分条件,并用求解线性矩阵不等式组方便地得到容错控制器设计结果。最后用算例验证了该设计方法的有效性和可行性。

摘要：分析了网络编码系统DCAR"编码+路由"发现过程存在的安全问题,提出了适用于编码感知安全路由协议的安全目标,设计了基于DCAR的编码感知安全路由协议DCASR,DCASR协议利用密码学机制保证可信路由建立和正确编码机会发现。为建模多跳无线网络特征和分析路由协议安全性,引入线程位置和线程位置相邻概念扩展安全系统逻辑LS2,提出了分析路由协议安全性的逻辑LS2-RP。LS2-RP用线程邻居集及邻居集的变化描述多跳无线网络的动态拓扑关系,用广播规则模型化多跳无线网络广播通信特征。最后,用LS2-RP协议编程语言描述了DCASR协议,用LS2-RP的谓词公式和模态公式描述DCASR协议的安全属性,用LS2-RP逻辑证明系统分析了DCASR协议的安全性,证明DCASR协议能够满足安全目标。

摘要：提高光伏器件的光电转换效率,同时降低成本是光伏器件走向大规模应用的关键.根据晶体硅太阳电池的基本结构,详细分析造成晶体硅太阳电池各项效率损失的物理因素和损失机理,并给出主要损失分布的定量结果.对光伏器件结构的设计、制造工艺技术的优化有重要指导意义.

摘要：针对永磁同步直线电机对于外界扰动以及系统参数变化敏感的特点,从能量的观点出发,采用基于状态误差的端口受控哈密顿(PCH)系统的永磁同步直线电机控制方法,设计永磁同步直线电机控制器,并在Matlab/Simulink环境中搭建仿真模型。实验结果表明该方法具有良好的动静态性能。

摘要：研究了一类线性不确定时滞系统的鲁棒容错控制问题。针对具有状态滞后,且假定状态和控制输入的不确定项均是范数有界的线性系统,基于Lyapunov稳定性理论和线性矩阵不等式方法,通过引入状态反馈和带时滞的状态反馈,得出了一个此类系统在对执行器失效或传感器失效两种情况下具有鲁棒容错性能的充分条件,并通过求解线性矩阵不等式组得到容错控制器设计结果。数值算例验证了这种控制器的设计方法的有效性和可行性。

摘要：随着计算机网络技术、数字通信技术的快速发展,电子商务得到了迅猛的发展,数字出版浪潮开始席卷全球,然而这种新技术也带来了一些新问题,电子商务中的信息安全问题严重影响电子商务快速发展。本文先分析电子商务中所面临的安全威胁及安全隐患,然后利用一种改进的LSB数字水印技术,设计了一种版权保护系统,并进行了分析。

摘要：无线光通信是指以光波作为载体在自由空间中传递信息的技术,具有带宽高、成本低和安全性高等优点。捕获、瞄准和跟踪(acquisition,pointing and tracking,APT)系统是建立无线光通信系统的前提,简单、可靠、动态性能好的APT系统可以克服由机械平台震动及外界环境变化对无线光通信系统的影响。因此,需要对APT系统进行较为深入的理论和实验研究,从而设计出一种适合无线光通信的捕获、瞄准和跟踪方法。本文分析了国内外在捕获、瞄准、跟踪方面的研究成果,同时介绍了西安理工大学在自动瞄准方面所做的工作,主要包括初始捕获系统、非共视轴控制系统、光束检测系统等方面的进展,以及1.3 km、5.2 km、10.2 km、100 km距离链路的外场实验,验证了APT系统的有效性。最后展望了无线光通信中APT的发展。