【摘 要】
：
本文对以契约式设计思想为基础的软件开发方法的进行了深入的研究，讨论了契约式设计的软件开发方法的基本思想体系构成，分析了在继承过程中，如何实现契约式设计思想，并通过栈的简
论文部分内容阅读
本文对以契约式设计思想为基础的软件开发方法的进行了深入的研究，讨论了契约式设计的软件开发方法的基本思想体系构成，分析了在继承过程中，如何实现契约式设计思想，并通过栈的简单实现探讨了实现契约的六大原则。文章对采用契约式设计存在的问题进行了研究，并对性能契约进行了初探。在以上研究过程中，贯穿全文以Eiffel语言来描述契约的实现与表达，对全面支持契约式设计的Eiffel开发环境进行了深入的研究。
其他文献
该文通过分析三峰和四峰映射任意p倍周期分岔累积点附近极限函数图象的自相似性,将Feigenbaum重正化群方程推广为任意多峰映射中的重正化群方程组,其中的每一个方程对应映射
整车物流来源于汽车行业高速发展下的车辆运输需求,是运输行业的一个分支。随着整个行业竞争的日趋激烈,车企越来越关注供应链物流环节上的成本控制。整车物流的运输优化涉及
保成本控制的基本思想是针对不确定系统设计一个保成本控制器,使得闭环系统对于所有允许的不确定性渐近稳定,并且其性能指标不超过某个上界。近年来,不确定系统保成本控制问题得到了广泛的研究,取得了很多的成果。然而,迄今为止,对它的研究主要是局限于一般正常系统。而对于不确定广义系统的保成本控制,特别是将其应用到实际上,由于其自身的特殊性,使得研究具有相当的难度。因此,我们对于不确定广义系统保成本控制的研究具
该文主要包括以下内容:人工神经网络的协同性研究.从协同学角度看,人工神经网络是由大量相互作用、相互关联的神经元组成的协同系统.在神经网络中我们引入了序参量的概念,以
电力变压器是输、配电系统中最重要的设备之一,直接影响着供电的可靠性和电能质量。传统变压器存在诸如可控性差、没有直流接口和储能能力等缺点,难以满足现代电力系统的需求
考虑到目前网络快速发展的现状和遗传算法在很多领域的广泛应用，大胆设想将网络访问与应用遗传算法相结合，并设计实现了基于B/S(Browser/Server)结构的通用遗传算法平台网络
随着车辆技术的进步和汽车行驶速度的提高,车辆制动系统在安全方面扮演着越来越重要的角色。作为新型的汽车主动安全装置之一的防抱死制动系统(ABS),其主要功能是在汽车紧急
开关电源具有效率高,体积小,工作频率高等优势,在几十年的发展中其应用范围越来越广,开关电源的基础是DC/DC变换器。在能源紧张的大环境下,具有控制方式简单,开关管应力小,利
随着石油价格的日渐升高,环境保护观念的日益重视,混合动力汽车(HEV,Hybrid-Electric Vehicles)相关技术开始成为各方面研究的热点。混合动力汽车因其实际的需要,对混合动力汽车的变流器提出了一系列的要求,如高功率密度、宽广的输出电压范围等等。本文从实际的混合动力汽车的应用出发,设计了一种高功率密度高效率的混合动力汽车双向DC-DC变流器。本文的设计分为四个部分。第一、拓扑讨论。
全文分两部分。第一部分是基础理论，在粗糙集理论的基础之上，引入容差关系、等价关系、非对称相似关系，定义了不完备信息系统中集合的上逼近与下逼近，讨论了三种上逼近与下逼近之