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

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

动态网络安全的框架模型

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

交直流电网的绝缘状态分析

提供了交直流混合网络在交流侧、直流侧绝缘降低时,描述电网主电路和零序电流的数学模型;分析计算了交直流混合网络的绝缘降低引起的主电路零序电流的变化情况．理论分析的结果与试验结果吻合．为设计制造交直流混合网络的绝缘监测系统提供了可靠的依据     

运动舰船的感应电场

近年来舰船的电场问题逐渐得到重视,已经在理论和实验两方面都作了一些工作．舰船电场产生的机理在不同的环境和运动状态下有多方面的因素．文中考虑运动状态下的舰船,由于本身的磁性,以及船体运动引起磁通的空间变化而产生的感应电场．根据实验室的模拟实验结果,作了理论的计算分析     

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

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

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

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

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

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

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

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

GPS仿真器设计

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

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

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