时序逻辑的并行描述与隐含遍历

随着电路规模的迅速增长,设计验证越来越复杂,从而需要高速的数据处理系统。基于总线型多机系统环境,研究电路网表和布尔表达式的BDD（Binary Decision Diagram）并行构造方法,并通过隐含遍历任务的动态调度设计有效地完成时序逻辑的状态遍历。     

质漏对联合循环化学发动机性能的影响

分析存在有限速率传质和质漏损失的联合循环化学发动机性能,导出功率、效率最佳关系,最大功率及其相应效率,以及最大效率及其相应功率     

多机、多目标、超视距空战仿真系统研制

具有多机、多目标、超视距攻击特征的未来空战,其技术研究离不开仿真实验的强有力支持,完善的仿真系统是实现这一目标的重要基础和保证。本文着重对未来空战仿真系统设计研制的相关内容进行较为深入的讨论。采用ＲＦＭ、蛀孔式通信、系统集成、ＶＲ、动态视景生成等先进技术进行系统设计,同时,对关键技术进行了分析研究。     

先进武装直升机的一种新型组合智能火/飞综合控制系统的设计与仿真

讨论了模糊逻辑控制与神经网络相结合的一种控制方法,给出了一种增益自适应调整的模糊控制方法和ＢＰ网络自适应变步长学习算法。提高了系统精度,改善了系统品质,并将这种方法成功地用于直升机综合火／飞系统的设计。同时,针对某型直升机用数字仿真证明了这种方法的优点和良好效果。     

一种采用EPROM的数字-轴角转换方法

介绍ＥＰＲＯＭ型数字－轴角转换原理和多路数字－轴角转换的实现方法。     

压入管桩压桩所致挤土位移的数值模拟

采用位移贯入法施加荷载,以修正剑桥模型作为土体本构关系模型,通过在桩-土界面设置接触面并采用自定义初始孔隙比分布的子程序VOIDRI实现初始孔隙比随深度的非线性分布,建立较为符合压入管桩压桩实际的有限元模型,对压入管桩压桩产生的挤土位移进行数值模拟研究,讨论压入管桩压桩产生的竖向和水平挤土位移沿深度方向和径向的分布规律。研究结果表明:随径向距离的增大,浅层土体的竖向挤土位移逐渐由沉降变为隆起,而深层土体的竖向挤土位移始终表现为沉降;随深度的增大,至桩中心距离较小处土体的竖向挤土位移始终表现为沉降,而至桩中心距离较大处土体的竖向挤土位移逐渐由隆起变为沉降;不同深度土体的水平挤土位移沿径向的分布规律和不同径向距离土体的水平挤土位移沿深度方向的分布规律都趋于一致。最后提出能够有效减小压入管桩挤土效应的施工措施。     

雷达信号仿真中箔条干扰回波模型研究

雷达信号仿真是抗干扰算法研究和验证的有效措施。针对箔条干扰随机信号模型难以满足高精度仿真的需要,本文在分析和总结箔条干扰散射特性和运动特性的基础上,对箔条干扰回波模型进行了更深入和精细化的研究。在Matlab平台上通过编程优化克服了复杂计算的问题,并获得了较好的模拟效果。仿真实验表明,该模型可为精确研究箔条干扰提供数据支持。     

应用多窗口技术实现舰载火控系统人机接口

人机接口设计的好坏关系到系统的成败,对于各种作战系统更是如此。在给定的原则下,讨论应用Ｗｉｎｄｏｗｓ多窗口技术实现舰载火控系统人机接口的方法,内容包括屏幕组织,人机交互控制及数据输入控制等。基于这些方法所建立的模拟系统的成功表明了其可行性和有效性     

二源间反向内可逆卡诺循环全谱分析及最佳参数的选择

本文以特征参数γ、θ表达了反向内可逆卡诺循环的全息谱,统一热源间内可逆正、反循环的特征参数与全息谱函数,并说明了以特征参数及全息谱为工具,从有限时间热力学观点确定制冷或热泵循环最佳方案的方法。     

抗日战争之“无间道”——侵华日军和中共抗日武装谍报战档案解读

解放军档案馆珍藏着数百份抗战期间侵华日军和中共抗日武装谍报战档案。研究这些珍贵历史档案,可以深入了解日军对谍报人员的挑选、训练和使用情况,探究日军间谍机构、谍报网的情报搜集工作,以及中共及其抗日武装反敌特工作,全面揭示隐蔽战线鲜为人知的事实真相,真实还原抗日战争中的"无间道"。