1) primary control program
重制程序
2) overlay controller
重叠控制程序
3) reprogramming control
重编程序控制
4) Multiprogramming Executive Control
多重程序规划执行控制
5) rewriting system
程序重写
1.
By combining the idea of object oriented designing and application of rewriting technique, this paper proposes the basic idea and schema structure of program rewriting, which constructs an object oriented program rewriting theory and defines a model of rewriting system by drawing lessons from abstract rewriting system and rewriting logic.
结合面向对象程序设计的思想和重写技术的应用，提出了程序重写技术的基本思想及其框架结构，该模型在借鉴了抽象的重写系统和重写逻辑的基础上，构造了面向对象程序的重写理论，并定义了重写系统的模型。
6) program restructuring
程序重构
1.
In order to cope with the problem,that is,the currently available software model checker can hardly deal with large-scale software,it is proposed to use the technique of program restructuring to pre-process the source code,so as to enhance the efficiency of software model checking.
针对软件模型检测目前很难处理大型程序的问题,提出用程序重构技术对待检的源代码进行预处理,以提高模型检测算法的效率。
补充资料：成本控制程序（procedureofcostcontrol）
成本控制工作的步骤、顺序和内容。具体可分为成本事前控制、成本事中控制和成本事后控制三个环节。
（1）成本事前控制是在产品投产前对影响成本的经济活动进行事前的规划、审核，确定目标成本，它是成本的前馈控制。具体包括：对成本进行预测，为确定目标成本提供依据；在预测的基础上，通过对多种方案的成本进行对比分析，确定目标成本；把目标成本分别按各成本项目或费用项目进行层层分解，落实到各部门、车间、班级和个人，实行归口分级管理，以便于管理控制。
（2）成本事中控制是在成本形成过程中，随时实际发生的成本与目标成本对比，及时发现差异并采取相应措施予以纠正，以保证成本目标的实现，它是成本的过程控制。成本事中控制应在成本目标的归口分级管理的基础上进行，严格按照成本目标对一切生产耗费进行随时随地的检查审核，把可能产生损失浪费的苗头消灭在萌芽状态，并且把各种成本偏差的信息，及时地反馈给有关的责任单位，以利于及时采取纠正措施。
（3）成本事后控制是在产品成本形成之后，对实际成本的核算、分析和考核，它是成本的后馈控制。成本事后控制通过实际成本和一定标准的比较，确定成本的节约或浪费，并进行深入的分析，查明成本节约或超支的主客观原因，确定其责任归属，对成本责任单位进行相应的考核和奖惩。通过成本分析，为日后的成本控制提出积极改进意见和措施，进一步修订成本控制标准，改进各项成本控制制度，以达到降低成本的目的。成本的事控制主要是针对具体各个成本费用项目进行实地实时的分散控制。而成本的综合性分析控制，一般只能在事后才可能进行。成本事后控制的意义并非是消极的，大量的成本控制工作有赖于成本后后控制来实现。从某种意义上讲，控制的事前与事后是相对而言的，本期的事后控制，也就是下期的事前控制。
（1）成本事前控制是在产品投产前对影响成本的经济活动进行事前的规划、审核，确定目标成本，它是成本的前馈控制。具体包括：对成本进行预测，为确定目标成本提供依据；在预测的基础上，通过对多种方案的成本进行对比分析，确定目标成本；把目标成本分别按各成本项目或费用项目进行层层分解，落实到各部门、车间、班级和个人，实行归口分级管理，以便于管理控制。
（2）成本事中控制是在成本形成过程中，随时实际发生的成本与目标成本对比，及时发现差异并采取相应措施予以纠正，以保证成本目标的实现，它是成本的过程控制。成本事中控制应在成本目标的归口分级管理的基础上进行，严格按照成本目标对一切生产耗费进行随时随地的检查审核，把可能产生损失浪费的苗头消灭在萌芽状态，并且把各种成本偏差的信息，及时地反馈给有关的责任单位，以利于及时采取纠正措施。
（3）成本事后控制是在产品成本形成之后，对实际成本的核算、分析和考核，它是成本的后馈控制。成本事后控制通过实际成本和一定标准的比较，确定成本的节约或浪费，并进行深入的分析，查明成本节约或超支的主客观原因，确定其责任归属，对成本责任单位进行相应的考核和奖惩。通过成本分析，为日后的成本控制提出积极改进意见和措施，进一步修订成本控制标准，改进各项成本控制制度，以达到降低成本的目的。成本的事控制主要是针对具体各个成本费用项目进行实地实时的分散控制。而成本的综合性分析控制，一般只能在事后才可能进行。成本事后控制的意义并非是消极的，大量的成本控制工作有赖于成本后后控制来实现。从某种意义上讲，控制的事前与事后是相对而言的，本期的事后控制，也就是下期的事前控制。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条