一种改进的事件驱动系统框架

在给出事件驱动系统安全漏洞的基础上,指出了产生漏洞的根本原因是:系统忽视了输入系统的事件序列之间存在的相关性;系统无条件信任任何事件源产生的事件.针对这两个原因,相应提出了事件序列形式安全分析模型及基于事件源的可信度评估模型,依据这两个模型,构建了一种改进的事件驱动系统框架.     

LEMP模拟器空间场分布仿真研究

研究了雷电电磁脉冲信号在有界波模拟器中的传输特性。分别以谐波及双指数波作为激励源,采用矩量法结合快速多极子(FMM)数值计算方法,对LEMP模拟器的空间场分布进行了分析,给出了模拟器内部场的建立情况及分布规律。结果表明:模拟器所加负载的匹配程度对内部场分布影响较小,LEMP模拟器内场的传播具有准横电磁波的特性。     

OFDM-MIMO雷达转发式主瓣干扰自适应抑制方法

转发式干扰因与雷达发射波形的高度相关性,经雷达主瓣接收后易对雷达产生严重的干扰作用。为解决主瓣干扰问题,建立正交频率分集调频多输入多输出(orthogonal frequency division multiplexing-multiple input multiple output, OFDM-MIMO)雷达主瓣接收的转发式干扰信号模型,分析了该干扰对OFDM-MIMO雷达的干扰机理;同时基于自适应方法处理理论,推导了OFDM-MIMO雷达自适应处理权向量解析式,提出了基于距离依赖波束的OFDM-MIMO雷达转发式主瓣干扰自适应抑制方法。理论研究和仿真结果表明,提出的方法提高了输出信干噪比,实现了转发式主瓣干扰的有效抑制。     

用动态模拟方法实现C程序输入变量的取值分析

程序输入变量取值范围的确定对于测试数据的选取,尤其对边界值分析,有着直接的指导作用.一般情形下,通过对源程序进行数据流和相关性分析,可实现输入变量的取值分析.但对某些有特殊取值限制要求的表达式,用静态分析方法,难以实现其输入变量的取值分析.为此,采用动态模拟的方法,对有特殊取值限制要求的表达式,进行输入变量的取值分析.实验表明,该方法是行之有效的.     

微分方程的有界性与概周期解的存在性

本文考虑高维非自治概周期系统ｄｘｄｔ＝ｆ（ｔ,ｘ）,利用对ｘ的分量分组构造Ｌｉａｐｕｎｏｖ函数的方法讨论了其概周期解的存在性。所得结果去掉了文献中系统存在有界解的假设,得到了比较明显的改进。     

在读书学习中为强军实践输入正能量

为扎实推进“好读书、读好书、读书好”活动深入开展,第二炮兵驻洛阳某通信团认真贯彻习主席系列重要讲话精神,坚持以文化人、以文育人,着力在抓好教育引导、跟进服务和实践转化上破解难题、推动落实,帮助官兵提高读书认识、拓展知识视野、健康生活情趣、纯正价值追求,为更好地引导官兵自觉投身强军实践输入了正能量。     

矩阵变换器输入滤波器设计与研究

针对当前输入滤波器设计方法存在通用性低的缺点,通过对影响输入电流和输入电压谐波的因素及其谐波特性的分析,提出了一种以满足滤波性能和成本及体积最小为目标的设计方法,并针对特定工况下的滤波器参数进行了设计,以此给出了滤波器的设计步骤。仿真与试验结果表明:采用所提滤波器设计方法的矩阵变换器,其网侧电流和电容电压均能满足国家电网电能质量的要求,证明了所提方法的可行性。     

线性电路的冲激响应

在线性电路分析中,直接求解线性时变电路的冲激响应一般是很困难的。但是,可带求解冲激响应的问题转化为在一组等效的初始条件下求解零输入响应的问题,关键在于得出这组等效的初始条件。文中介绍了一种求等效初始条件的方法。     

线性离散系统全阶比例积分观测器设计研究

针对线性离散系统 ,研究了状态方程和测量方程均包含未知输入干扰的状态估计问题 ,提出了一种新的状态观测器 (全阶比例积分观测器 )的设计方法。给出了这种观测器的存在条件。仿真结果显示了全阶比例积分观测器的良好性能。