基于程序切片的电路提取技术

从HDL设计描述中提取电路在VLSI设计验证、低功耗分析、测试生成等方面有广泛的应用需求。提出了一种采用程序切片技术实现的新的电路提取方法,并深入论述了基于程序切片技术从Verilog描述中进行电路提取的理论基础。该方法可以为每一个感兴趣的信号获取其"链接切片"。与以前的方法相比,该方法的优点是细粒度的、不受书写格式的限制,并且能处理更多Verilog的语法元素。该方法已经被集成到现有设计流程中,实验结果表明其方便、高效,有良好的通用性。     

动态网络安全的框架模型

针对现有的静态网络安全模型存在的问题,提出了一种动态网络安全框架模型。该安全模型利用各种安全组件构建了立体的五层防御体系,并实现了防御能力的动态升级。     

电液伺服系统的建模与仿真研究

研究了电液伺服系统的理论建模,引入了一个非线性状态空间模型来描述电液伺服系统的动态特性．并且应用了Matlab提供的模拟仿真工具Simulink实现了模拟仿真．通过仿真结果与实际系统的响应相比较,验证了理论模型描述实际电液伺服系统动态特性的准确性,为今后设计高质量的控制器打下了良好的基础．     

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

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

飞船再入舱三维化学非平衡流数值模拟

对飞船再入舱高超声速化学非平衡三维流场进行数值模拟。控制方程为含化学反应源项的全Ｎａｖｉｅｒ－ Ｓｔｏｋｅｓ 方程组, 化学模型为高温空气的七组元模型, 其组元成分为Ｎ２ 、Ｏ２、ＮＯ、Ｎ、Ｏ、ＮＯ＋ 、ｅ－ 。差分格式采用张涵信院士提出的ＮＮＤ激波捕捉格式并用全耦合方法处理流动方程及化学反应方程, 对化学反应源项采用全隐式处理, 运用时间预处理技术以加快收敛。同时, 也对完全气体模型进行计算, 以分析真实气体效应。与实验数据对比, 说明本文结果是可信的。     

多波束时域滑窗空时自适应方法及其性能分析

鉴于新一代机载预警相控阵雷达采用多波束且电子波束灵活可控的特点, 本文提出了一种多波束时域滑窗空时自适应处理方法。理论分析与计算机仿真实验表明, 该方法与现有的几种典型空时二维自适应信号处理 （ Ｓ Ｔ Ａ Ｐ） 方法相比, 具有系统自由度低、低速目标检测性能好、鲁棒性强等优点, 并且实现复杂度较低, 便于工程实现。     

基于尺度空间理论的多门限化技术

本文基于尺度空间理论提出了两种多门限化方法：第一种新方法先由精到粗求直方图在不同尺度下的表征,再由粗到精校正定位,最后由生命期长短来确定门限;第二种方法首先在一粗尺度上找特征结构,再由粗到精“聚焦”到最精尺度上获取门限。两方法克服了以往一般门限法的若干缺陷,不仅定位准确,而且普适性强。实验证明新方法是令人满意的。     

GPS仿真器设计

本文详细介绍了在无人机利用ＧＰＳ导航半实物仿真系统中ＧＰＳ仿真器的设计原理。通过分析ＧＰＳ及ＧＰＳ接收机的基本工作方式,ＷＧＳ－８４与各种坐标系的转换关系,研制了ＧＰＳ仿真器。它将由飞行仿真计算机得到的无人机位置信息转换成与之对应的ＧＰＳ信号,输入飞控计算机,以实现ＧＰＳ导航的仿真试验。     

子母式战术导弹子弹散布场的Monte-Carlo数字仿真

利用Ｍｏｎｔｅ－Ｃａｒｌｏ 方法,对子母式战术导弹空中抛撒后形成的子弹散布场和毁伤面积概率分布进行数字仿真研究,建立了散布场的数字仿真方法。建立了考虑重力影响的三维子弹弹道方程及其解。最后,以某种型号的战术导弹为例进行了仿真。     

拦截弹测量数据处理的建模与仿真

针对拦截弹上实时测得的带有随机干扰的测量值,讨论了测量数据的建模与处理方法,并结合数据处理过程中所涉及到的阶次的确定、样本数的选取和拐点问题提出数据处理的简化方法。最后给出了一个仿真算例