【摘 要】
：
对算法程序的功能规约进行等价变换，可以自然而且方便地得到求解问题设计思想的精确表达。即循环不变式。抽象算法又可以通过循环不变式获得。对算法程序中的算子进行提取、抽
【基金项目】
：
国家自然科学基金资助项目(编号:69783006、69983003),,江西省跨世纪人才资助项目
论文部分内容阅读
对算法程序的功能规约进行等价变换，可以自然而且方便地得到求解问题设计思想的精确表达。即循环不变式。抽象算法又可以通过循环不变式获得。对算法程序中的算子进行提取、抽象就可以得到算法框架，而算法框架可以设计出可重用部件。文章通过对数组段极值问题的求解，展示了形式化推导不仅可以得到正确、高效的算法程序，而且具有软件重用的功能，并进一步给出了利用可重用部件求解数组段极值问题的C＋＋实现。
其他文献
安全生产费用,是指在中华人民共和国境内从事矿山开采、建筑施工、危险品生产以及道路交通运输的企业与其他经济组织按照规定标准提取,在成本费用中列支,专门用于完善和改进
随着会计职业的发展与市场经济的发展，会计监管问题引起了人们的高度重视。有效的会计监管制度在落实会计责任方面起着重要的作用。当前，会计的监管作用充分体现在既要维护社会
会计是对实践性要求很高的课程,现阶段高职院校会计教学中存在实践教学重视程度不够、实践教学模式僵化等问题,本文以山东外贸职业学院职业学院的会计实践教学改革为例,介绍
<正>2019年2月25日,微软在西班牙巴塞罗那举行的世界移动通信大会(MWC)上发布了HoloLens 2全息眼镜。基于飞利浦Azurion图像引导治疗平台和微软HoloLens 2全息计算平台的最新
在农田水利工程的渠系配套建设中，经常对渠道衬砌，以提高渠系水利用系数，并起到防冲护坡等作用。本人在实践中就如何对渠道衬砌有以下认识：
增强大学生思想政治教育的实效性,必须确立五种正确观念:实事求是、一切从实际出发的观念,全方位育人的观念,从基础抓起的观念,教育和管理相结合的观念,以促进大学生全面发展
近几年,在我国高等教育得到了快速的发展,我国人民的整体素质随着教育的发展得到了整体的提升。然而,高校的管理问题也逐渐浮出了水面,其中高校扩建是最为突出的财务管理风险
【正】"外包"并不是一个新鲜词,"运维外包"也不是一个新鲜事。与5年前相比,这个行业有了很大的进步:运维的内容变高端了,客户愿意外包的业务更复杂也更接近核心业务,运维服务
当今社会已经逐步进入了所谓的＂老板时代＂,中国经济的重点由第一产业逐渐偏向至第二产业和第三产业,国家政策也倾向于鼓励私人创业,企业林立已经成为了中国现代经济社会的特征
IT的变革经历了那么多年，几乎每十年就有一次浪潮，从最早的大型机到后来的小型机再到后来的PC／服务器的模式，以及网络分布式的计算与今天的虚拟云计算，我们走过了一波波的浪潮。在