死刑复核程序之功能及其完善

死刑复核程序是我国独有的一道针对死刑适用而设立的程序,从司法层面来说有着不容忽视的功能.本文以死刑复核程序的功能定位人手,立足于最高院统一收回死刑核准权,对死刑复核程序进行分析并针对死刑核准权收归最高院的决定对死刑复核程序的完善提出建议.     

一种基于自测试的卫星快检技术研究

传统卫星设计以功能实现为主，可测试性较低，卫星综合测试基本依赖遥测遥控，测试周期长、效率低、成本高，不能很好地适应未来卫星批量化研制需求。参考民用汽车快速电检技术，从卫星可测试性与自测试设计出发，设计了基于总线调度的卫星快检系统，提高了卫星快速检修与快速发射能力，满足未来卫星低成本高效率研制需求。     

非结构CFD软件MPI+OpenMP混合并行及超大规模非定常并行计算的应用

常规工程应用中，非定常数值模拟（如多体分离）的计算量十分巨大，如果为了达到更高的计算精度，加密网格或者采用高精度方法将会使得计算量进一步增大，导致非定常数值模拟在CFD工程应用中成为十分耗时和昂贵的工作，因此，提高非定常数值模拟的可扩展性和计算效率十分必要。为充分发挥既有分布内存又有共享内存的多核处理器的性能和效率优势，对作者团队开发的非结构网格二阶精度有限体积CFD软件（HyperFLOW）进行了混合并行改造，在计算节点间采用MPI消息传递机制，在节点内采用OpenMP共享内存的MPI+OpenMP混合并行策略。首先分别实现了两种粒度（粗粒度和细粒度）的混合并行，并基于国产in-house集群采用CRM标模（约4 000万网格单元）定常湍流算例对两种混合并行模式进行了测试和比较。结果表明，粗粒度在进程数和分区数较少的小规模并行时具有效率优势，16线程时效率较高；而细粒度混合并行在大规模并行计算时具有优势，8线程时效率较高。其次，验证了混合并行在非定常计算情况下的可扩展性，采用机翼外挂物投放标模算例，分别生成3.6亿和28.8亿非结构重叠网格，采用对等的（P2P）网格读入模式和优化的重叠网格隐式装配策略，网格读入和重叠网格装配耗时仅需数十秒；采用3.6亿网格，完成了非定常状态效率测试及非定常分离过程的湍流流场计算，在in-house集群上12 288核并行效率达到90%（以768核为基准），在天河2号上12 288核并行效率达到70%（以384核为基准），数值模拟结果与试验结果符合良好。最后，在in-house集群上采用28.8亿非结构重叠网格进行了4.9万核的并行效率测试，结果显示，4.9万核并行效率达到55.3%（以4 096核为基准）。     

半自动担架车的运动仿真

在讨论半自动担架车工作原理的基础上，应用运动学原理将担架车整个运动过程进行了分析。应用矩阵理论对担架车任意位置的13个关键点进行运动求解和运动仿真。     

飞行仿真系统的软件设计方法研究

针对现代飞行仿真系统的复杂性和紧耦合性，首先按照一般意义对飞行仿真系统进行了功能模块划分，然后在系统和分系统两个层次上讨论了飞行器仿真软件开发的构架，引入了数据通道的概念，作为解决软件模块间数据接口问题的基本方法，最后通过编程验证了其可行性与合理性。     

大型洗涤脱水机微电脑程序控制器

本文以大型洗涤脱水机的微电脑程序控制器为应用实例,介绍用一位微处理器芯片组成微电脑程序控制器的方法。作者在进行硬件电路研制时尽量考虑了它的通用性,只要根据不同的控制对象重新编程,该控制器就可用于其他的程序控制、定时控制、逻辑判别控制等工业控制。     

计算辐射冷却推力室不稳定温度场的隐式格式

导出了计算液体火箭发动机辐射冷却推力室不稳定温度场的隐式差分格式,并作了线性化处理。据此编制通用程序,可以计算任意辐射冷却推力室的不稳定温度场。     

Searching for the magic bullet

A powerful statistical tool, paired-comparison, was tested as a method to determine the relative value American people place on two possibly competing paradigms in the United States Space Program: “Space as a Place to Explore” and “Civil and Commercial Uses of Space”. A limitation of the results, but not the methodology, is the participants were college students, not “voting” adults. Reliability and validity of items were developed and tested in two studies suggesting that the paired-comparison method is a reliable and powerful tool for measuring the relative value the public may place on programs within the US Space Program.     

用二次子结构法对过盈螺纹进行应力分析

针对过盈螺纹的疲劳寿命估算进行了工作,求解应力是寿命估算的第一步。为减少求解自由度,节省机时,提高效率,文章根据螺纹配合的特点,提出二次子结构法,消去内部节点,只留下配合点、加载点和边界约束点。 文章推导了子结构公式及过盈配合公式,给出了程序流程图及有限元计算结果,由结果可知,随过盈量增加,齿间应力差减小;而随过盈量增加,危险点相当应力增大。这些结果,对过盈量的选择也有参考价值。     

计算机无纸考试系统上机考试软件设计

非计算机专业计算机基础系列课程教学是我国高等院校的重要教学内容。上机操作和程序设计等客观考试方式是加强大学生能力培养的重要手段。本文在分析了各种无纸考试系统和题库系统的基础上，提出了无纸考试系统三段式设计新构想，并采用了驻留、仿真、直接磁盘写等关键技术，解决了单任务操作系统ＤＯＳ的不可重入问题。本文着重介绍三段式设计思想和第二阶段计算机无纸考试系统上机考试软件的设计。