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

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

会计电算化中“反复核、反记账、反结账”的研究

“反复核、反记账、反结账”是会计电算化系统中的概念,其功能是使得制单、登账、结账和报表会计业务可以逆向再操作。本文对“反复核、反记账、反结账”的概念、功能以及存在的弊端进行了阐述,并提出了一些改进措施。     

会计电算化中"反复核、反记账、反结账"的研究

"反复核、反记账、反结账"是会计电算化系统中的概念,其功能是使得制单、登账、结账和报表会计业务可以逆向再操作.本文对"反复核、反记账、反结账"的概念、功能以及存在的弊端进行了阐述,并提出了一些改进措施.     

数控加工程序的评价和优化

加工程序在数控机床运行中处于极其重要的地位,文章提出从零件加工质量、编程和运行成本、生产效率等诸方面评价加工程序,并针对CAM后置处理功能的现状,提出了对CAM编制的加工程序进行优化的方法。     

浅谈一发失效应急程序与空管指挥的配合

民航总局对航空公司飞行安全的监管力度在逐渐增大,尤其是高原复杂机场的飞行安全。飞行标准司针对“高原和地形复杂机场起飞一发失效应急程序不全”的专项整治工作,在2005年就召开了两次研讨会。并针对部分高原和地形复杂机场提出了制作起飞一发失效应急程序(以下简称特殊程序     

三轴回转台启动力矩分析

用Pro/E和NASTRAN软件对三轴回转台γ轴启动力矩进行了复核复算 ,以验证该轴结构设计的合理性 ,同时为今后验证同类产品设计的正确性和可靠性提供借鉴。     

固体火箭发动机试验故障分析

从工程研制角度出发，探讨了分析固体火箭发动机试验失败原因的一般方法和过程，根据某发动机试验故障的具体情况，运用这种试验故障分析方法和过程（即针对试验故障进行故障树分析，设计复审分析，数据曲线的复核复算分析和验证试验），找出造成发动机试验故障的具体原因，确定故障机理；而后针对性地采取综合技术措施，并对这些措施进行试验验证，故障归零。     

战术导弹武器系统工艺定型标准化工作探讨

分析了战术导弹及其武器系统工艺定型工作程序及工艺定型中存在的问题 ,针对法规性文件和标准的不协调 ,提出了理想的工作程序方案和建议。     

基于自主规划的载人航天器飞行程序设计

针对航天器飞控任务中因飞行程序的准确、实时需求,对地面人力、物力和测控资源强依赖的现状,提出基于自主规划的载人航天器飞行程序设计方法,并设计了飞行程序自主规划系统。自主规划系统由测控覆盖计算模块、知识配置模块和规划调度模块组成,测控覆盖计算模块自主生成进出测控区的程序,知识配置模块对指令约束条件等航天器模型进行描述,规划调度模块以约束条件传递的方式规划任务程序,实现不依赖地面的自主飞行程序设计。通过建立自主规划系统与控制等分系统之间的信息交互,可有效解决飞行程序与控制的协同问题,并实现不依赖于测控资源的紧急故障处理。     

一种基于约束规则的航天器全相位交会对接程序规划方法

针对载人航天领域交会对接过程,设计了一种基于约束规则的程序规划方法,将飞行程序按照相关性划分为飞控事件,将事件约束与时间或圈次解耦,形成适用全相位交会对接的规划配置体系,通过一套配置实现各正常、应急分支程序的规划生成,相比传统基于时序的程序设计方法,提高配置的适应性,提高程序设计效率,为后续交会对接程序规划设计提供参考。     

固体火箭发动机总体优化设计

通过遗传算法与惩罚函数相结合对固体火箭发动机总体进行优化设计,令体积比冲IV为目标函数,并采用交叉概率和变异概率的自适应调整性,有效地加快了搜索.用此方法对算例发动机各参数和目标函数优化,避免了设计变量之间较为复杂的相互关系,得到固体火箭发动机体积比冲的全局最优解,提高了整体性能.     

卫星设计寿命影响分析

首先给出了卫星各分系统质量(mass)在整星干重中所占比例的统计数据及设计寿命对分系统的定性影响;重点定量分析了设计寿命对各分系统设计参数及质量的影响,给出诸分系统的质量、质量增加、质量增加率与设计寿命的关系曲线;最后分析并给出卫星干重及总质量与设计寿命的关系,指出设计寿命的延长是以质量增加和成本上升为代价的,应综合考虑设计寿命与成本。     

压制干扰噪声质量数字测定方法研究

为了检验压制噪声干扰机的性能,研究了基于实际噪声样本数据的噪声质量测定方法.通过跟踪噪声干扰技术的最新进展,深入分析Turner、Daly和Taylor提出的三种噪声质量度量方法的基本原理及各自存在的局限性,提出一种改进的噪声质量数字测定方法.该方法继承了Turher噪声质量在时域度量噪声概率密度函数高斯性科学有效的特...     

一种查表生成CRC码的优化算法

提出一种用查表方法求余数生成循环码的软件方法,此法具有所占表格空间最小的优点。文中列出了相应的MCS-51 汇编程序     

有限空间轴对称射流流场的数值模拟

本文在к－ε紊流模型下，采用罚有限元法对有限空间轴对称射流流场进行数值模拟。引用罚函数优化迎风格式和退化积分，建立有限元解法的数值矩阵，在不同截面上求得工，压力和紊流参数分布，计算结果与实验数据十分接近。本文研究结果可应用于火箭发动机的喷射设计和射流量论的研究。     

卫星能源约束检查模型改进及仿真

卫星能源约束检查模型对卫星任务规划有重要参考作用,可防止因能源不足而导致卫星故障或任务不能顺利完成。现有的能源约束检查模型存在部分问题:人为设定计算初始值,导致计算不准确;能源约束检查不通过时未给出符合能源约束的任务调整建议,导致任务不能快速调整;未对计算误差进行校正,导致误差积累。对此,提出了一种改进的能源约束检查模型,在原有模型中加入能源数据库对卫星运行的能源数据进行记录,从而准确获取初始值,并在模型中加入任务调整和遥测校正功能。该模型可实现能源约束计算自动管理及任务自动调整功能,缩短任务规划周期,提升紧急任务的执行效率。对改进的模型进行仿真,结果表明:模型预测结果与预期值相符,任务调整和能源校正功能实现良好,能实际应用到运控系统中进行规划任务能源约束检查和能源管理。     

基于虚拟寄存器的控制流错误检测算法

控制流故障是航天软件系统必须面对的一个重要故障类型。提出一个基于程序基本块模型的算法CFCVR（Control Flow Checking Basedon Virtual Register，基于虚拟寄存器的控制流检测）对程序控制流进行检测。它首先通过虚拟寄存器分配算法获得虚拟寄存器，然后基于这些虚拟寄存器添加特定的控制流28．7％的性能代价和平均检测指令。这些指令可以检测模块间的控制流错误，所有工作都是在汇编源程序上完成的。实验表明CFCVR会引入平均31．3％的存储代价，而对于控制流错误检测率平均为97．1％，优于目前已存在的各种方法，能够提高航天软件容错能力和可靠性。     

虚拟样机技术在双模制导系统研制中的应用

将虚拟样机技术用于双模制导系统的研制。以Pro／E为三维实体特征建模工具，MSC、ADAMS为运动学和动力学分析工具，Matlab为控制分析软件，对机械系统和控制系统进行联合分析和调试。给出了机械模型、控制模型和两者间的输入输出，以及目标运动模型的建立方法。试验结果表明，所设计的虚拟样机能用于动态校核、参数优化、回归设计和演示验证，并能进行运动分析和干涉检测、跟踪以及交班试验等。     

基于签名的控制流错误检测算法检测能力的验证模型

目前主要采用实验测试的方法对基于签名的控制流错误检测算法进行评价,但由于控制流错误模型的不确定性,而导致测试结果存在一定的偏差,本文尝试采用模型验证的方法评价控制流检测算法的错误检测能力。本文首先简述了基于签名的控制流错误检测算法的基本原理,其次,提出了控制流错误跳转关系表示方法和指出了传统的控制流错误检测能力分析方法中未考虑的影响检测能力的因素,接下来,结合这些因素提出了基于签名的控制流错误检测能力验证模型,最后给出实例,通过验证模型分析了目前典型的基于签名的控制流错误检测能力。