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

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

坦克动力舱空气流动计算区域的网格生成

为了合理解决网格划分对坦克动力舱空气流动与传热三维数值计算效率和计算精度的影响,特提出动力舱空气流动计算区域的网格生成方法.对某型坦克动力舱的网格生成实例,显示了这种方法的实用性.     

火炮动态后坐装置有限元分析与优化

活塞缸是火炮动态后坐装置中的关键部件,其结构强度设计是整个实验装置强度设计的核心。利用I-DEAS软件,在对其进行实体建模和有限元网格划分的基础上,计算了活塞缸整体的应力应变值,得到了活塞缸工作时的应力应变图,并对其结构中应力状况恶劣的部位进行了结构优化。     

基于线阵CCD的弹丸图像处理

分析了线阵CCD测弹丸攻角的原理,研究了线阵CCD在弹丸动态测试中的整体图像处理方法,提出一种新的方法:帧相减、局部归一化、二维自适应除噪滤波器和两重阈值复合算法的综合。该方法对复杂环境下的动态CCD图像处理特别有效。     

CsLiB6O10晶体Ⅰ型光参量过程中角度调谐研究

根据三波耦合过程中的能量动量守恒,基于非线性晶体的相位匹配理论,利用CsLiB6O10(CLBO)晶体的Sellmeier方程,详细分析了Ⅰ型共线及非共线参变过程中CLBO晶体的角度调谐特性.这对于激光脉冲的激光参量过程的优化具有重要的意义.     

待修弹药信息管理与决策支持系统开发

在已建立的维修决策理论模型的基础上,分析了待修弹药信息管理与决策支持系统的组成和所要实现的功能,并深入研究了系统包含的数据库、功能模块、知识库和决策过程的开发与实现。     

物理学中的辩证自然观——控制、信息、系统与辩证自然观

和谐律、守恒律、方向律是自然辩证法中自然观的三大规律,它们贯穿、融合并体现于各具体学科的研究领域中。本文主要以自然辨证规律在控制与系统科学中的体现为依托,系统阐述物理学中控制系统理论与信息理论及其应用中自然观三大规律的具体表现。     

试论我国高校就业指导体系的建构问题

从二十世纪八十年代开始,我国对普通高校教育体制进行改革,并取得很大成绩,使高等教育的规模有了跨越式的发展,质量与效益也同时大幅度提高。1999年开始的连续几年高校扩招使我国的高等教育从"精英化高等教育"快速步入"大众化高等教育"时代,但同时也使扩招后毕业生的就业成为亟待解决的问题。高校毕业生就业率成为对高校培养人才质量的检验指标,以及对高校社会适应性的检验指标,与学校的生存与发展紧密相连。面对产业结构的调整和高校毕业生大幅度增加的双重压力,高校就业指导工作日显重要,建立一支高水准,高效率的就业指导队伍成为高校建设中应优先解决的问题之一。     

必须把党的思想理论建设摆在更加突出的位置

党的思想理论建设是党和国家建设的灵魂和根本,是党和国家事业不断发展的思想保证。必须把党的思想理论建设摆在更加突出的位置。坚持用发展着的马克思主义指导新的实践。     

舰空导弹武器系统射击效能计算模型

针对当前空中来袭目标的主要特点,为有效评估舰空导弹武器系统对目标的射击效果,需要进行舰空导弹武器系统射击效能评估计算模型的初步研究。通过射击效能指标的选取和对目标的分析,并且根据多年来舰空导弹武器发展建设和作战运用的实际需求,在综合研究国内外多种效能评估理论和方法的基础上建立了舰空导弹对目标射击效能评估的计算模型并分析了射击效能指标的主要影响因素。该射击效能模型的初步研究,既可以使计算结果更加科学、全面、客观,同时对于其他武器系统射击效能的研究也有一定的借鉴作用。