原始变量守恒形式控制方程的时间准确性分析

基于压力、速度和温度的原始变量为自变量的守恒形式的控制方程可应用于定常流动问题，但是在求解非定常问题，例如某一典型激波管问题时，激波后温度出现过冲现象，即使通过细化网格、提高空间格式精度或者换用其他通量格式仍不能消除，这表明误差可能来自该方法本身。采用一维Euler方程对该方法进行数值分析。分析结果表明，数值误差来自时间项。通过构造相应的双时间步方程，虚拟时间项采用原始变量，而物理时间项采用守恒变量，并在两个相邻物理时间步内作为定常问题求解，可以收敛到相应的守恒形式，消除上述误差，得到准确的非定常数值解。     

时间不等人

时间是构成生命的材料,是生生不息的自然存在,一切事物的发展变化都离不开时间。历史的变迁、社会的变革、时代的变化,由时间来刻录;人生的意义、生命的价值、理想信念的追寻,由时间来承载。一个个连续不断的时间节点组合成了我们的来路与前途、成就和梦想。人是时间的驾驭者,时间的意义被人所赋予。越是伟大的事业,我们越要珍惜时间。正如习主席在春节团拜会上所说:"时间不等人!     

某步枪“冷热偏”分析与研究

针对某小口径步枪因枪管过热而导致射击准确度降低的问题,利用ABAQUS软件平台建立某步枪\弹相互作用的仿真模型。基于非线性热力学理论,在射击过程中,对身管内外壁的对流传热和内部的热传递过程进行了仿真分析,得出击发热冲击下身管温度场的分布规律,通过对弹丸挤进阻力、身管弯曲量和弹丸姿态仿真计算,来验证温度对射击准确度的影响。通过从实验测量、仿真、理论进行枪械不同温下度射击状态的分析与研究,可为提出步枪冷热偏抑制措施提供依据,对提高武器射击准确度具有重要的现实意义。     

北斗系统新民用导航电文历书参数算法与性能分析

研究新公布的北斗民用导航电文中的两类历书与北斗二号导航电文历书的差异，对比分析各类历书对接收机首次定位时间的影响。利用实际的历书数据，比较不同历书类型的用户算法，分析不同龄期数据对接收机首次定位性能的影响。结果表明，高精度历书在1周的数据龄期内性能较为稳定，中等精度历书精度稍逊于高精度历书，但由于简化了电文空间，能接近高精度历书性能。简约历书进一步简化了参数数目和电文空间，尽管位置误差达到了数百千米，但却能在数月之后保持相应精度，有利于缩短接收机首次定位时间。     

新课程背景下提高课堂教学效能方法与策略

近期，听了不少课，也研究了多种课型，总体有个感觉，新课程背景下的物理课堂教学中存在不少的低效教学行为，教师花了力气，学生费了时间，教学目标不能够有效达成，课堂教学效率低下，教学重形式，轻实质，而学生却没有得到真正有效的发展。因此，如何使教师拥有新课程背景下课堂教学有效性的理念，掌握课堂教学有效性的策略或技术，是摆在我们面前的一个难题。本文基于这样的背景，对如何提高课堂教学效能方法与策略谈一下我个人的一些看法，以便与同仁们共同探讨。     

电子时间引信检测仿真试验研究

为提高电子时间引信的检测能力，介绍了电子时间引信检测仿真试验，分析了仿真试验的原理，给出了检测仿真试验的试验方法。经实际检测表明，该检测仿真试验能够安全可靠地完成电子时间引信的日常检测任务。     

存在工作历程产品的加速寿命试验统计分析

加速寿命试验(ALT)可在较短时间内获得产品的寿命及可靠性信息.利用ALT对产品的剩余寿命进行评估时,常常将已工作过的产品进行抽样并投入试验,在这一类样本的ALT数据统计分析时如何处理初始工作时间,成为ALT应用中的一个重要问题.工程实际中评估此类样本的剩余寿命时常常忽略初始工作时间,将其视为"用后如新"或"无记忆性"产品.但此假设必须以产品寿命服从指数分布为前提,而大部分机电产品的寿命服从Weibull分布,因而该方法在应用时必然会产生较大误差.针对这一问题提出了一种新的基于时间折算的ALT数据统计分析方法,并利用Monte Carlo仿真对其估计特性进行对比研究,结果表明此方法能有效评估存在初始工作历程产品的剩余寿命,估计精度优于原方法.     

SET协议的可追究性分析与改进

协议的可追究性为解决电子商务纠纷提供了重要的不可否认的证据,有必要深入分析SET协议的可追究性.Kailar逻辑是一种针对电子商务协议的可追究性而开发的形式化分析工具.先对SET协议进行了形式化的表述,然后利用一种改进的Kailar逻辑对SET协议的可追究性进行分析,结果表明协议只能满足商家和支付网关的可追究性,而不能满足持卡人的可追究性.最后,对协议进行了改进,使其能够满足持卡人的可追究性.     

军队政工信息化建设要树立五种意识

重点建设意识。军队政治工作信息化是一个目标体系，在目标的设计和顺序选择上必然面临着艰难的抉择。由于我军政治工作的特殊性地位，国外军队建设在这方面几乎没有什么经验可以借鉴。政治工作信息化建设，不同的目标在空间结构上应有主次之分，而在时间顺序方面则必然存在先后。因此，不能全面铺开、面面俱到，而应坚持重点投入、重点建设。从信息技术在部队政治工作中的应用情况看，全军各部队的研究开发还是零散和不完善的，没有形成系统规模效应。     

基于伪临界值的Cache一致性协议验证方法

针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模.