一类对偶平坦的黎曼度量

给出了黎曼度量局部对偶平坦的一个充分条件:黎曼度量的Spray所满足的方程。同时,指出该条件是非必要的,并给出了相关反例。进一步,对满足条件的这类黎曼度量的性质进行了研究。具体地,讨论了这类度量成为Einstein度量的条件。从黎曼曲率着手,通过计算发现:当空间维数n3,这类黎曼度量是Einstein度量,当且仅当它是欧氏度量;但是,这个结论对n=2的情形不适用。     

空气甲醛显色球的制备

为实现快速准确测定空气中的甲醛,对4种氨基酸作为乙酰丙酮显色法的胺源进行对比分析,发现甘氨酸的显色效果较明显;对显色温度和显色时间进行优化,发现显色温度在50℃,反应15 min,显色效果明显。把显色剂固定到透明聚丙烯酸树脂球上,制备出可在家庭中方便使用的显色球,通过肉眼观察即可判断空气中甲醛的质量浓度,检测限达0.008 mg/m3。     

声表面波对汽油胶质含量响应特性的理论与实验研究

从理论上分析了沉积于压电基片表面的汽油胶质对声表面波（SAW）传播特性的影响,在此基础上参照国家标准规定的汽油胶质含量测定试验条件,基于自制的SAW传感器,实验研究了SAW对不同汽油胶质含量的响应特性.结果表明SAW传感器的中心频率及幅度随SAW传播路径上沉积胶质的含量变化表现出敏感且单调的变化规律,这一结果可为车用汽油胶质含量的快速检测提供参考.     

潜艇指控系统微诊断软件模拟方法及实现

对某型潜艇指控系统微诊断模块硬件电路进行了充分研究,以此为基础,全面深入地分析了其指令结构、类型和程序结构流程。在分析理解其系统指令位信息和指令类型的前提下,利用W indow s操作系统,采用面向对象编程技术,将整个诊断过程用高级语言进行仿真模拟,并对仿真的正确性进行了实物对照和半实物测试验证。通过对微诊断软件模块进行的计算机模拟,更容易验证理论分析的正确性,对指控系统微诊断系统的设计有很大的帮助和借鉴。     

基于有色Petri网的综电系统总线建模

针对运用解析法对战车电子系统总线进行建模和分析困难这一问题,运用CPN Tools工具构建了基于有色Petri网的综合电子系统总线模型,建立了总线性能仿真平台,对某型战车总线性能进行了分析。结果验证了基于CPN的战车综合电子系统总线建模的正确性与可行性。     

军用嵌入式软件结构覆盖测试技术

基于军用实时嵌入式软件的测试经验,针对实时嵌入式软件特点,研究了各种平台软件尤其是嵌入式强实时软件的插装策略,分析了写文件、写内存、按位记录特征值、使用硬件的插装方式的优缺点。提出了有效的结构覆盖测试技术和测试方法。对实时嵌入式软件的测试,具有实际参考价值。     

构建网络中心战的网络评估模型

为使网络化的部队能在内在的网络性能和外在的决策行动性能之间建立联系,建立了一系列的定量模型,将内在的网络性能和观察-确定-决策-行动(Observe-Orient-Decide-Act:OODA)环之间直接相关,为评估战场上的信息和网络能力建立了合适的模型。该模型也为网络中心战行动的内在和外在关系建立形式化关联迈出了第一步。     

一种无人战斗机系统使用保障费用分析方法

基于无人战斗机系统在使用保障上的特点,通过对有人战斗机使用保障费用模型进行合理改造,使其能适用于无人战斗机的使用保障费用分析。经过改造的模型具有结构清晰、概念明确的特点。适合在飞机总体设计阶段用于全寿命周期的费用估算以及飞机的费效分析和综合优化设计。通过与有人战斗机的使用保障费用进行对比计算表明,无人战斗机系统的使用保障费用具有明显的经济优势。     

关于加强大学生党员教育的思考

高校是培养社会主义建设者和接班人的重要阵地,作为高校大学生中优秀分子的党员,则是实现中华民族伟大复兴的中坚和后备力量,然而大学生党员由于入党时间相对较晚,党内实践锻炼的机会相对较少,因此存在一些问题。我们要认真分析这些问题,并努力探索大学生党员教育的新途径。     

装备采购与部署的系统动力学模型

在研究装备采办全过程的基础上,利用系统动力学仿真方法和“龙格-库塔”(Runge-Kutta)基本算法,重点对采购与部署子系统进行了建模和计算机仿真,在具体仿真结果输出的基础上,分析了影响装备采购与部署效率的因素,对装备如何尽快形成新的战斗力进行了简要的分析。