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

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

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

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

基于1553B总线的星载嵌入式软件在轨升级方法

针对星载嵌入式软件在轨升级难的问题,提出了基于1553B总线的星载嵌入式软件在轨(线)升级方法.通过1553B总线接收升级程序、固化程序和升级程序分区独立存储、启动程序和应用程序互相配合的方式,实现软件升级、部分传输异常时补丁升级及升级异常情况下的版本回退.在某星载固态存储设备上对方法进行了试验验证,结果表明,方法可对...     

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

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

萤火一号火星探测器延寿及可靠性增长措施

分析了萤火一号(YH-1)火星探测器推迟发射后面临的问题,给出地面可靠性保证和超期产品可靠性保证等延寿措施.分析了器上产品产生的变化,对延寿及可靠性增长进行了研究.对推迟发射状况适应性进行分析,消除薄弱环节,进行复核复算,研究了可靠性增长.结果表明:推迟发射期间采取的延寿及可靠性增长设计措施有效.     

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

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

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

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

高校教材管理工作探析

论文针对高校教材管理部门建设问题,提出了高校教材管理工作应实现系统化、专业化和科学化的观点.系统化是指建立高效灵活的教材管理协调机制,规范有序的教材日常管理制度.专业化是针对教材管理者而言,他们应有良好的职业道德,熟悉的岗位专业知识和一定的综合管理能力.科学化是对教材管理工作提出严格的程序要求,即实现教材选用规范、计划合理、采购集中与灵活相结合、自编教材编审标准化等.     

星载GPS接收软件设计中的几个问题

在GPS接收机软件设计中,文章针对堆栈使用问题提出了堆栈设置的理论和实用分析方法;针对资源共享问题,分析了资源同步与竞争的多种情况,提出了可靠同步、避免竞争的方法和措施;针对中断处理问题,分析并提出了中断处理的一般准则和中断嵌套与中断重入的应用条件和方法;最后对程序异常处理进行了分析并提出了解决措施.     

基于多块结构网格的并行计算及负载平衡研究

从并行计算流体力学程序的稳定性和效率两大问题入手,针对多块结构网格的通用数据传输方法和基于遗传优化算法的负载平衡方法,并在已有串行多块结构网格程序基础上发展了相应的并行程序.该并行程序以物理区域分割为基础,采用MPI实现消息传递,适用于各种不同的并行机体系结构,具有很好的可移植性.大量数值实验证明,本文发展的并行程序具有良好的稳定性和并行效率,可以进一步应用于大规模实际工程计算.     

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

通过遗传算法与惩罚函数相结合对固体火箭发动机总体进行优化设计,令体积比冲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为控制分析软件，对机械系统和控制系统进行联合分析和调试。给出了机械模型、控制模型和两者间的输入输出，以及目标运动模型的建立方法。试验结果表明，所设计的虚拟样机能用于动态校核、参数优化、回归设计和演示验证，并能进行运动分析和干涉检测、跟踪以及交班试验等。     

A nonvariational approach to multiple finite-burn propellant optimization

In this paper a nonvariational approach to the finite-burn minimum fuel problem is presented. In particular, attention is focused on one of the computer codes of a sophisticated software package at Telespazio for dealing with a fuel minimization under nonlinear equality and inequality constraints. In this program thrust in an inverse-square gravitational field is considered. A short thrusting arc is dealt with by a transition matrix. A long burning arc is segmented in a suitable number of subarcs where the transition matrix formulation holds. Use of appropriate penalty functions allows the mission analyst to consider several equality and inequality constraints. The minimum search algorithm consists of a modified version of the Levenberg-Marquardt method. The overall computer code is able to accept even some rough estimate of the optimal profile. A wide spectrum of transfer flights is presented.