建国近六十年来我国收入分配政策发展研究

建国以后,基本上建立了贯彻按劳分配原则的收入分配制度。但改革开放以前实行的按劳分配政策其实质是有差别的平均主义。改革开放后,国家首先破除平均主义,恢复按劳分配,建立经济责任制。随着经济的高速增长,社会收入的差距却在进一步拉大,党和政府决定要重新定位效率与公平的关系,转向更加重视社会公平。     

激波绕射触发爆震波的试验研究

在单爆震试验平台上对激波绕射触发爆震波的特性进行了试验研究.针对不同的激波反射器结构尺寸,测量了爆震管内气体压力变化历程及火焰传播速度,获得了不同工况下激波绕射触发爆震波的特性.结果表明:激波反射器对爆震波的形成有促进作用,并取决于反射器中的反射锥及反射孔板的结构与尺寸;在反射锥堵塞比一定的情况下,存在最佳反射锥锥角使得爆震波的形成距离最小;而反射锥与反射孔板的间距增大,爆震波形成距离增大,一旦形成稳定的爆震波后,反射器对爆震波压力的影响不大.      

容错实时系统的内存管理优化方案及实现

探讨如何把抢占门限应用于具有优先级提升和内存受限的实时系统,并进一步研究了互不抢占组内,linux平台上基于增量检测点的内存备份/恢复的方法及原型系统的实现.原型系统采用了可扩展的链接方式作为检测点文件格式,使得数据更加紧凑有序;在内存的备份操作上,提出了"影子脏位"算法来识别两检测点之间有无被改变的部分.原型实验验证了所提出方法的有效性.     

一种SAR原始数据压缩新算法

 由于合成孔径雷达（SAR）原始数据的相关性很低,直接压缩原始数据是比较困难的。因此提出一种新算法,先对SAR原始数据做距离聚焦处理,使其在方位向具有较强的相关性,再沿方位向做线性预测,并对预测差值系列做块自适应量化。实验表明,在相同比特率条件下,该算法得到的数据域信噪比和图像域信噪比均比块自适应量化(BAQ)算法高,计算量远小于有关文献给出的距离聚焦后的压缩方法,具有一定实用价值。     

基于分层着色Petri网的地空导弹装备维修建模

讨论了一种基于分层着色Petri网理论建立地空导弹装备基地级维修系统模型的方法.该方法运用着色Petri网理论克服了以往用普通Petri建模的不足,细化了其系统模型的中间过程,有利于模型分析和仿真实现.     

地球卫星运动中坐标系附加摄动与参考系选择问题

针对地球赤道面的摆动,曾提出过两种空间地心赤道坐标系,即历元地心平赤道坐标系和混合形式的轨道坐标系.在后一种坐标系中虽然可避免计算因地球引力位变化所引起的坐标系附加摄动的麻烦,但这又带来了两种坐标系之间的不统一和转换的麻烦.针对实际现状,直接在历元地心平赤道坐标系中给出相应的坐标系附加摄动解,所有与此有关的转换问题,均可在历元地心平赤道坐标系中进行,而无需为了避免坐标系附加摄动的计算去通过轨道坐标系来实现.从而建议,不必再引进轨道坐标系,在卫星定轨和预报中,所有的转换问题均可采用同一坐标系,即历元(目前是J2000.0)地心平赤道坐标系.      

空-空导弹发射控制参数的雷达误差分析

给出了基于前置追踪攻击模式的空空导弹发射控制参数的计算模型，建立了系统误差分析的仿真结构，研究了机载雷达误差对导弹发射控制参数计算精度的影响，并对计算结果进行了讨论。     

系统可靠性设计

预计系统的可靠性，介绍综合累计法和失效率模型，给出三种可靠性分配方法，即等分配法，ＡＧＲＥＥ法、最小努力分配法。     

软件标准符合性测试

叙述了软件标准符合性测试方法，提供了断言类型判定，测试级别，测试套集，测试工具等关键技术的解决方案，对软件标准测试，软件质量保证均有一定的指导作用。