论文部分内容阅读
运用行为子类型及扩充行为子类型的概念,通过对一个Java实例地剖析,讨论了在面向 对象的契约式程序设计中如何撰写契约,以保持面向对象的单个继承和多重继承的特性问题,并证明 了这一方法的有效性。最后探讨了动态环境下违反契约时的责任归咎,展望了契约思想在软件开发 中的运用前景。
面向对象的契约式程序设计
【摘 要】
：
运用行为子类型及扩充行为子类型的概念,通过对一个Java实例地剖析,讨论了在面向 对象的契约式程序设计中如何撰写契约,以保持面向对象的单个继承和多重继承的特性问题,并证明 了这一方法的有效性。最后探讨了动态环境下违反契约时的责任归咎,展望了契约思想在软件开发 中的运用前景。
【机 构】
：
武汉大学
【出 处】
：
计算机应用
【发表日期】
：
2005年04期
【基金项目】
：
国家自然科学基金
其他文献
利用图像边界具有的方向性特征,提出了一种快速的基于方向场和中止模式的H.264的帧内模式选择方法,并将它嵌入到H.264的参考代码JM9.3中。试验结果表明,这种方法在PSNR和比特率改变很少的情况下,可以减少平均46%的计算量。
提出了一种能提高人脸识别鲁棒性的图像预处理方法,即基于平均模板的图像纠正算法ICBAT。该算法通过将人脸图像与平均模板进行比较,利用两者的差值构造权值,用此权值对人脸图像加权纠正以减少由光照引入到人脸图像中的亮斑和阴影。实验表明该ICBAT算法能大幅度降低人脸识别算法对表情和光照变化的敏感性,而且能大幅度提高人脸识别算法对训练样本数的非依赖性。
作者从结构、来源、合成、代谢、生物学功能等方面对CLA进行了全面综述,并对其在畜牧生产中的应用前景进行了展望,以便更加全面地认识CLA的各项性能,并合理高效地生产和利用,
通过对嵌入式操作系统加载、启动、调试开发环境的实际分析,提出了以远程调试为开发模式、RS-232协议为通信标准的人机交互环境构建方案。
采用工作流复合Web服务,设计并实现了支持动态复合Web服务的业务流程管理系统WSBPMS,给出了WSBPMS的总体结构并描述了其中的关键技术,包括Web服务与工作流活动的动态绑定技术、流程的自动和半自动执行,以及Web服务的QoS最优化选择等。
勒信仰是对弥勒思想的信服仰慕。弥勒是一位悲悯众生、爱护众生、能与众生幸福快乐的大慈菩萨。弥勒信仰分两个层次，一为兜率净土信仰，二为人间净土信仰。实现人间净土的途径是
提出一种高性能计算机代数环境HHPCAS,综合现有的多种计算机代数软件,通过添加内核扩展函数、外部调用等方法,结合集群管理软件和并行环境,可以提供高性能的计算机代数计算环境。HHPCAS根据Slot/Ticket模型可以有效管理可用计算资源和作业优先等级,充分发挥多种计算机代数软件的特长,并且提供并行的消息传递机制,将大量复杂的计算平均分配到每个计算节点,解决单台机器内存受限和计算能力有限等问题。
对超立方体网络中具有大量节点和链路故障模式进行了研究,提出了两类“子连通性”:即k-维子连通性和任意子连通性的概念;基于两类子连通性概念,分别给出了两个满足该两类子连通性条件的超立方体网络的分布式容错路由算法。证明了已有的两类局部连通性概念中的条件“错误节点数小于正确节点数”是不必要的。提出的两个子连通性概念是两类局部连通性概念的最大扩展,可以在更大程度上保证整个超立方体网络的全局连通性,是已有的
通过对著名的BDIAgent模型进行改进,并引入元级推理机制而给出了一个适合开放环 境的Agent体系结构。该体系结构具有高效、可扩展的、易于实现等特点。同时,该体系结构还解决 了Agent构造中的一系列难题。