共查询到19条相似文献,搜索用时 125 毫秒
1.
死刑复核程序是我国独有的一道针对死刑适用而设立的程序,从司法层面来说有着不容忽视的功能。本文以死刑复核程序的功能定位入手,立足于最高院统一收回死刑核准权,对死刑复核程序进行分析并针对死刑核准权收归最高院的决定对死刑复核程序的完善提出建议。 相似文献
2.
"反复核、反记账、反结账"是会计电算化系统中的概念,其功能是使得制单、登账、结账和报表会计业务可以逆向再操作.本文对"反复核、反记账、反结账"的概念、功能以及存在的弊端进行了阐述,并提出了一些改进措施. 相似文献
3.
4.
“反复核、反记账、反结账”是会计电算化系统中的概念,其功能是使得制单、登账、结账和报表会计业务可以逆向再操作。本文对“反复核、反记账、反结账”的概念、功能以及存在的弊端进行了阐述,并提出了一些改进措施。 相似文献
5.
6.
数控加工程序的评价和优化 总被引:4,自引:0,他引:4
加工程序在数控机床运行中处于极其重要的地位,文章提出从零件加工质量、编程和运行成本、生产效率等诸方面评价加工程序,并针对CAM后置处理功能的现状,提出了对CAM编制的加工程序进行优化的方法。 相似文献
7.
民航总局对航空公司飞行安全的监管力度在逐渐增大,尤其是高原复杂机场的飞行安全。飞行标准司针对“高原和地形复杂机场起飞一发失效应急程序不全”的专项整治工作,在2005年就召开了两次研讨会。并针对部分高原和地形复杂机场提出了制作起飞一发失效应急程序(以下简称特殊程序 相似文献
8.
黄汉芬 《桂林航天工业高等专科学校学报》2009,14(2):194-196,199
论文针对高校教材管理部门建设问题,提出了高校教材管理工作应实现系统化、专业化和科学化的观点.系统化是指建立高效灵活的教材管理协调机制,规范有序的教材日常管理制度.专业化是针对教材管理者而言,他们应有良好的职业道德,熟悉的岗位专业知识和一定的综合管理能力.科学化是对教材管理工作提出严格的程序要求,即实现教材选用规范、计划合理、采购集中与灵活相结合、自编教材编审标准化等. 相似文献
9.
在GPS接收机软件设计中,文章针对堆栈使用问题提出了堆栈设置的理论和实用分析方法;针对资源共享问题,分析了资源同步与竞争的多种情况,提出了可靠同步、避免竞争的方法和措施;针对中断处理问题,分析并提出了中断处理的一般准则和中断嵌套与中断重入的应用条件和方法;最后对程序异常处理进行了分析并提出了解决措施. 相似文献
10.
基于多块结构网格的并行计算及负载平衡研究 总被引:1,自引:0,他引:1
从并行计算流体力学程序的稳定性和效率两大问题入手,针对多块结构网格的通用数据传输方法和基于遗传优化算法的负载平衡方法,并在已有串行多块结构网格程序基础上发展了相应的并行程序.该并行程序以物理区域分割为基础,采用MPI实现消息传递,适用于各种不同的并行机体系结构,具有很好的可移植性.大量数值实验证明,本文发展的并行程序具有良好的稳定性和并行效率,可以进一步应用于大规模实际工程计算. 相似文献
11.
12.
首先给出了卫星各分系统质量(mass)在整星干重中所占比例的统计数据及设计寿命对分系统的定性影响;重点定量分析了设计寿命对各分系统设计参数及质量的影响,给出诸分系统的质量、质量增加、质量增加率与设计寿命的关系曲线;最后分析并给出卫星干重及总质量与设计寿命的关系,指出设计寿命的延长是以质量增加和成本上升为代价的,应综合考虑设计寿命与成本。 相似文献
13.
14.
15.
本文在к-ε紊流模型下,采用罚有限元法对有限空间轴对称射流流场进行数值模拟。引用罚函数优化迎风格式和退化积分,建立有限元解法的数值矩阵,在不同截面上求得工,压力和紊流参数分布,计算结果与实验数据十分接近。本文研究结果可应用于火箭发动机的喷射设计和射流量论的研究。 相似文献
16.
卫星能源约束检查模型对卫星任务规划有重要参考作用,可防止因能源不足而导致卫星故障或任务不能顺利完成。现有的能源约束检查模型存在部分问题:人为设定计算初始值,导致计算不准确;能源约束检查不通过时未给出符合能源约束的任务调整建议,导致任务不能快速调整;未对计算误差进行校正,导致误差积累。对此,提出了一种改进的能源约束检查模型,在原有模型中加入能源数据库对卫星运行的能源数据进行记录,从而准确获取初始值,并在模型中加入任务调整和遥测校正功能。该模型可实现能源约束计算自动管理及任务自动调整功能,缩短任务规划周期,提升紧急任务的执行效率。对改进的模型进行仿真,结果表明:模型预测结果与预期值相符,任务调整和能源校正功能实现良好,能实际应用到运控系统中进行规划任务能源约束检查和能源管理。 相似文献
17.
基于虚拟寄存器的控制流错误检测算法 总被引:3,自引:0,他引:3
控制流故障是航天软件系统必须面对的一个重要故障类型。提出一个基于程序基本块模型的算法CFCVR(Control Flow Checking Basedon Virtual Register,基于虚拟寄存器的控制流检测)对程序控制流进行检测。它首先通过虚拟寄存器分配算法获得虚拟寄存器,然后基于这些虚拟寄存器添加特定的控制流28.7%的性能代价和平均检测指令。这些指令可以检测模块间的控制流错误,所有工作都是在汇编源程序上完成的。实验表明CFCVR会引入平均31.3%的存储代价,而对于控制流错误检测率平均为97.1%,优于目前已存在的各种方法,能够提高航天软件容错能力和可靠性。 相似文献
18.
19.
G. Vulpetti 《Acta Astronautica》1985,12(10):837-845
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. 相似文献