基于Petri网的信息流安全属性的分析与验证*

信息流安全属性的定义均基于不同的语义模型,很难作出比较,以Petri网作为描述安全系统的统一模型,在Petri网上定义四种常见的安全属性,并分析它们之间的逻辑关系。在信息流安全属性验证方面,传统的方法称为展开方法,该方法适用于确定型系统,而对于非确定型系统,该方法是可靠的,但不完备。进一步对Petri网上已经定义的四种属性给出可靠完备的验证算法,并开发出相应的验证工具。最后通过实例说明了验证方法在搜索隐通道方面的应用。     

医疗电气设备的接地

针对手术室等重要医疗场所的接地这一技术问题,从防止微电击,以及防止雷电等高频干扰多方面进行了详尽的分析。提出了在一点接地等电位联接的前提下进行局部多点接地等电位联接的建议。     

TH-PPM UWB通信系统多址性能研究

介绍了TH-PPM UWB信号,在AWGN信道和多用户干扰条件下对系统的性能进行了分析,包括误码率分析和系统所能接入的最大用户数,对其误码率进行了仿真.结果表明,随着接入用户数目的增加,系统误码率也增加,而增大重复码长度和脉冲重复时间则可降低系统误码率,但增加脉冲重复时间会降低信息传输速率.     

空时分组码系统中WL-Kalman均衡算法*

根据空时分组码(STBC)系统的编码特点,提出了一种低复杂度的基于宽线性(WL)处理的Kalman均衡算法。该算法针对STBC系统,利用宽线性处理的思想,采用Kalman均衡算法对接收信号及其复共轭联合进行处理,有效地减轻了由频率选择性衰落信道引起的码间干扰(ISI)。对所提出的均衡算法在不同环境下进行了仿真验证。结果表明,与传统的线性均衡器相比,该算法明显提高了系统的性能,具有实际应用价值。     

差动放大电路共模干扰抑制能力的研究

电磁流量计输出的流速信号非常微弱,且常叠加共模干扰,经信号调理电路放大后,会导致信噪比很低,甚至淹没有用信号．针对这问题提出了利用前置放大电路有效抑制共模干扰,对其进行定性、定量分析,给出实际可行的提高差动放大电路输入阻抗的设计,并进行分析、推导和对比计算,证明其可以很大限度抑制共模干扰,提高测量准确度．     

某矿区防雷改造措施分析

针对某矿区220kV线路根据雷电分布图采取的差异性防雷措施效果不理想的问题,分析了风速对线路绕击性能的影响;并结合风速风向和雷电分布图,对该矿区采取以下防雷改造措施:在与风向垂直的线路区的背风侧安装线路避雷器防绕击;对属于危险区域且线路与季风垂直的区域,采用防低接地电阻和安装线路避雷器防反击和绕击;对属于危险区域但受季风影响不是很大的区域,降低杆塔接地电阻防反击。实际运行效果表明,采取防雷改造措施后该矿区线路取得了较好的防雷效果。     

空中预警机三维图像物体检测模型仿真

在当前的空中预警机三维视觉检测中,在进行高空深层视觉检测中,自然环境中会出现大量的检测物,对需要进行三维视觉建模检测的物体形成阴影遮挡干扰.提出了一种新的空中预警机三维图像物体检测方法.把检测过程中遮挡干扰当成一种噪声因素,根据因式分解的相关理论,建立空中预警机三维视觉模型.根据不同遮挡干扰特征点在空中预警机三维视觉建模过程中所占的比率不同,根据非线性滤波原理,设置空中预警机三维视觉对象图像的像素,构建非线性滤波窗口构成的序列,对该空中预警机三维视觉模型进行滤波处理,去除遮挡干扰.实验结果表明,该算法进行空中预警机三维视觉检测,精度达到要求,有一定的实际应用价值.     

基于树搜索算法的多用户MIMO系统的自由度分配

针对最大化多用户MIMO系统的和速率的问题,提出了将迭代式干扰对齐技术（Iterative Interference Alignment：ⅡA）和系统自由度（DoF）分配策略相结合的一种算法.系统的DoF分配是通过树搜索算法（Tree search）来实现的.理论分析及实验仿真结果表明,该算法获得的系统容量,接近遍历法（exhausting search：EX）的结果,但是在算法复杂性及收敛时间上明显优于遍历法.     

室内可见光通信中的分数间隔均衡技术

本文对室内可见光通信的分数间隔均衡技术进行研究,研究表明,均衡技术对室内可见光通信中"多径效应"对通信质量的干扰有较好的抑制效果。     

Sliding mode disturbance observer-based backstepping control for a transport aircraft

This paper presents a novel control method by integrating the sliding mode disturbance observer- based control and the backstepping control technique, and successfully applies it to a flight control system for heavy cargo airdrop operations. The super-twisting second order sliding mode disturbance observer （SOSMDO） is employed to estimate bounded but otherwise arbitrary disturbances, thus ensuring asymptotic convergence of the estimation error to zero in a finite time. Besides, the integrated controller can significantly improve the robustness of the flight control system to modeling uncertainty and external disturbance in the presence of state/control constraints. The closed-loop stability is guaranteed in the sense of Lyapunov. In addition, the proposed approach can considerably reduce design cycles. The performance of the proposed control method is demonstrated in a very low altitude extraction airdrop simulation with a high-fidelity six-degree-of-freedom transport aircraft model.