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

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

NiCl_2-(CH_2)_6N_4·HCl-H_2O三元体系组成及热致变色性能研究

本文用相平衡法研究了NiCl_2—(CH_2)_6N_4·HCl—H_2O 三元体系在30℃的溶解度,测定了各液相的折光率。结果表明生成了复合物2NiCl_2·(CH_2)_6N_4·HCl·9H_2O.文中介绍了该三元体系在13°O 时平衡固相的热致变色性能,通过TG—DTA 研究初步探讨了热致变色机理。     

层裂问题的数值研究

本文对Carrol、Holt 和Johnson提出的延性材料损伤断裂进行了改进。在模型中考虑了材料的硬化效应和空穴成核的影响。用数值方法模拟了高速碰撞中OFCH 铜和铝的层裂过程,其结果与实验吻合得相当好。     

P波段中功率混合集成放大器设计与制作

文中介绍了P 波段6瓦功率放大器的研制过程,讨论了有关理论和实际问题。该放大器采用微带和集中参数混合电路形式,具有体积小,结构紧凑,调试方便,性能稳定的特点。该电路已成功地用于某雷达整机。     

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

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

二维时变电磁场第一边值初值问题广义解的存在与唯一性

在频率为１０１０以下的情况下,给出了由正弦交变电流引起的二维时变电磁场所对应的偏微分方程,并用非线性算子半群理论及单调算子理论证明了相应偏微分方程第一边值初值问题广义解的存在与唯一性．     

基于电子报文分发系统的网络通信程序设计

介绍了通信框架的构建,以及在通信框架的基础上,设计基于电子报文分发系统的多渠道通信应用程序,该程序具有良好的报文收发及通信管理功能。     

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

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

机载红外搜索跟踪系统

红外搜索和跟踪（ＩＲＳＴ） 系统是迅速探测红外威胁源的存在, 识别威胁源的种类,测定威胁源的方位并报警的一种光电系统。介绍了对机载ＩＲＳＴ的性能要求, 美国和欧洲等国对机载ＩＲＳＴ的研制及装备概况, 分析了今后机载ＩＲＳＴ系统的发展方向。     

社会计算实验动态仿真引擎的研究与实现

应对新形势下非常规突发事件的严峻挑战是各国政府亟待解决的问题,综合人工社会-计算实验-平行执行的ACP方法,是解决非常规突发事件应急管理问题的有效方法.本文引入ACP方法,阐述构建高性能社会计算实验动态仿真引擎的作用;按照层次化模块化思想设计动态仿真引擎D-PARSE的体系结构,详细描述各组成部分的具体功能,并基于并行...