备件供应系统及其保证度模型研究

本文针对备件供应决策问题,提出了备件保证度的概念,阐述了保证度与使用可用度的关系,认为影响保证度的主要因素是:备件修复时间、备件获取时间、库存水平、设备数量及复杂程度和备件需求率,分析了二级供应系统的普遍性和代表性,并应用概率论的原理,建立了备件保证度模型。     

KCl 和KBr 晶体热膨胀系数的计算

本文利用Gordon-Kim 模型给出的离子间相互作用势,计算了KCl 和KBr 晶体在室温下的热膨胀系数。所得的结果与实验值进行了对照。     

利用月球转向技术施行逆行轨道卫星发射的能量讨论

本文讨论和估算了利用月球做为转向星体发射逆行轨道卫星的能量和轨道参数。结果表明:在共面发射时,只有发射轨道半径3万公里以上的逆行轨道卫星,利用月球发射才比直接发射节省能量,且逆行轨道越高,所节省的能量越多。而不共面发射时,所节省的能量比共面发射时多。     

12150L发动机系统工作过程计算

介绍了12150L发动机系统工作过程模拟计算方法的研究成果,包括发动机燃烧、喷油、进排气和废气引射抽尘过程的数学建模,耦合计算等.     

战场备件模型探讨

分析了战场条件下备件消耗的基本构成和特点,蛤出了备件消耗量模型及计算方法。根据两类备件消耗的不同特点,建立了备件携运量模型,并讨论了模型中参数的取值问题。     

自补偿液体静压精密转台轴承设计与实验

设计了一种用于精密转台的新型自补偿圆锥形液体静压轴承,并完成了轴承的制造与性能测试。采用流量平衡原理推导了轴承设计公式,得到了轴向和径向的最优刚度及其优化条件,计入制造误差对轴承承载性能进行了仿真,并测试了轴承的刚度和回转精度。结果表明:轴承刚度受到节流间隙与承载间隙的流阻比以及油腔间内流系数影响,流阻比存在最优值,而内流系数越小,对刚度越有利;计入制造误差的仿真模型能够有效预测轴承刚度范围。     

试论武警部队指挥自动化管理专业的职业化改建对策

武警部队指挥自动化管理专业自开设以来,为部队培养了一批骨干技术人才。但在军队院校学历教育向任职教育转型的宏观背景下,指挥自动化管理专业建设改革进程尚显滞后,急需从人才培养定位、教员队伍、教学内容、教学方法、教学条件等方面进行职业化改造,创建符合职业教育规律的指挥自动化管理专业体系。     

PMESI：一种优化进程私有数据访问的缓存一致性协议

并行应用程序中绝大部分的访存是对私有数据的访问,在cache一致性协议上不会产生冲突。传统一致性协议没有根据程序私有数据的访问模式进行针对性设计,存在着很大的优化空间。针对以上的问题,提出了一种支持私有状态的cache一致性协议PMESI,通过动态关闭和激活内存空间的cache一致性目录,优化私有内存空间的访问延迟和功耗。通过时钟精确模拟器的测试,PMESI协议优化了程序中54%的访存,并行程序的执行时间平均缩短了9%。     

矩形波导结构潘尼管工作特性的分析

本文导出了一般TE_(no)模矩形波导结构潘尼管的色散方程,对潘尼管作了更明确的解释,并详细计算了TE_(20)模潘尼管的色散方程,得到其基波和第三次谐波同步谐振的色散曲线。该曲线表明,潘尼管在基波谐振上有1.5%的增长率,而在第三次谐波上有0.8%的平均增长率。此外,用非线性理论分析基波和第三次谐波同步谐振时的工作情况,给出了电子饱和时的电子分布图。在常直流磁场下优化结果表明,潘尼管在其次谐振时有51%的高效率和QP_w=9949.9MW 的输出功率,而在第三次谐振时有11%的效率和QP_w=1741.8MW 的输出功率。     

求解布尔不可满足子式的消解悖论算法

求解布尔不可满足子式在超大规模集成电路设计与验证领域都具有非常重要的理论与应用价值,帮助EDA工具迅速定位错误与不一致。针对求解不可满足子式的非完全方法,提出了消解悖论与悖论解析树的概念,在此基础上提出一种启发式局部搜索算法。该算法根据公式的消解规则,采用局部搜索过程直接构造证明不可满足性的悖论解析树,而后递归搜索得到不可满足子式;算法中融合了布尔推理技术、动态剪枝方法及蕴含消除方法以提高搜索效率。基于随机测试集进行了实验对比,结果表明提出的算法优于同类算法。