论文部分内容阅读
分划递推法是一种新的算法设计技术。在分划递推法中使用逻辑符号和扩充的量词表示功能规约。分划是处理复杂问题的一般方法，而递推可用于循环不变式和算法设计开发。文中给出的三个实例呈现了使用分划递推法进行算法设计和开发的步骤和要点。
分划递推法及其应用
【摘 要】
：
分划递推法是一种新的算法设计技术。在分划递推法中使用逻辑符号和扩充的量词表示功能规约。分划是处理复杂问题的一般方法，而递推可用于循环不变式和算法设计开发。文中给出
【机 构】
：
江西师范大学计算机科学技术学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2001年17期
【基金项目】
：
国家自然科学基金高技术探索项目（编号：69783006）;江西省跨世纪人才项目资助
其他文献
<正>近年来,随着时代的发展、技术的变革以及受众的需求,新媒体如雨后春笋般崛起发展,使得传统媒体尤其是报业受到较大冲击,发行量、广告收入等都开始落后于各种新媒体。新媒
唐王朝在社会发展较为落后的居于极东北边地的黑水靺鞨人和西北的室韦人中设立羁縻府州,他们以原始部落的形式与唐廷发生着朝贡关系,并且随着中央王朝民族政策、统治力量的变
本文较为全面和详细地介绍了日本在实现国家现代化的同时,是如何通过法律对其民族文化遗产实施保护和利用的。在概述了日本文化遗产的定义、分类和分级体系的基础上,本文进一
<正>广州市越秀区东山实验小学以德育作为学校内涵发展的突破口,逐渐形成了"以德立校,育人为本"的核心价值观,按照"三个面向"和教育创新的精神,坚持"面向现代化,体现实验性,
社会主义法治文化其要义是以社会主义法治精神理念为导引,以社会主义法律制度为主干,以依法办事和自觉守法为基础,以构建社会主义法治秩序为目标的法治文明状态。加强社会主
城镇化是经济发展的重要推动力,与国家的经济社会发展有着密切关系。城镇的形成和发展会产生土地需求,产业结构与基础设施等因素也会影响城镇化进程。作者基于中国31个省级行
<正>时下,新媒体风起云涌般地冲击传统报业,报人的忧虑前所未有;而地方报纸要面对新媒体、多媒体、中央及省属纸媒的合围与夹击,生存与发展自然更加艰难。难道仅能退到墙角喘
阐述了三相电压型逆变电路的工作原理,给出其在MATLAB/Simulink中的仿真模型,最后给出了反映系统性能的仿真结果并对其进行了比较分析,对三相电压型逆变电路在实际工程中的应
<正>这是一部恢弘迤逦的历史画卷。她与八百里沂蒙逶迤同行。她开篇于百废待兴的1953年,历经60年风雨沧桑,收录1万余期灿烂辉煌,朝着无尽的远方铺展——她是山东《临沂日报》