论文部分内容阅读
净室技术规范在实际实施中需要对大量细节问题作出决断，这些决断需要对净室技术本质的了解，并把握一定的原则，机械地套用规范是行不通的。笔者从本质上对净室的设计过程进行了研究。提出了分层次、由大化小的递归式问题分解、求解步骤，作为设计方法的总体构想，它与净室规范是有机地结合在一起的。净室的方法中包括了两大逻辑的引入：“选择”与“顺序”，在此基础上就不难实现“循环”；因此，净室方法具备了结构化程序的三个必备逻辑要素，是完备的。为了提高效率，规范的实施必须遵循大粒度激励响应集、小状态变量集、简约化明盒控制流实现的原