形式化推导相关论文
可信软件的不断发展,进一步推动了形式化方法的深入研究。形式化方法具有严格的数学语言和精确的逻辑语义,从而保证软件在开发过程......
本文利用PAR方法形式化推导了三个在程序设计教科书中常常出现的典型算法程序,进而说明了PAR方法在算法程序形式化推导中的作用,探......
本文提出了一种基于消息总线的协同式工作流建模系统体系结构,这种协作的建模方式能适应复杂业务流程的建模需要.为了保证模型的正......
本文指出了算法形式化推导在程序设计和软件复用中的作用.通过对算法程序的功能规约进行等价变换,自然而且方便地得到求解问题的设......
通过分析操作系统隐通道和数据库隐通道的区别,提出基于操作系统进程的数据库隐通道搜索方法和消除方法.实验表明该方法有效可行.......
对在长期的算法研究中提出的PAR方法和PAR平台引入时间谓词加以扩展,不仅可以形式化推导出顺序查找和二分查找问题的算法程序,而且......
在对0-1背包问题的若干变形问题进行深入研究的基础上,使用二进制数组的方式形式化描述了几种背包问题的程序规约,通过程序规约变......
计算机科学最高奖图灵奖获得者Knuth指出,算法是计算机科学的核心。算法的设计和理解对开发高效、正确的软件至关重要。本文选取平......
可信软件的不断发展进一步推动了形式化方法的深入研究.结合实际应用中的2个问题,采用基于递推关系的算法形式化方法,演示了算法的......
针对算法走进高中课堂的现状,提出使用PAR作为高中学习算法开发的主要平台,通过PAR形式化推导实现多项式和素数两个经典数学问题,......
计算机科学的核心内容是使用算法处理离散数据.组合数学的重要性日渐凸显.使用形式化方法PAR开发了两个组合数学问题的算法,形式化推......
PAR方法基于分划与递推、量词变换规则、循环不变式开发新策略和软件转换工具,实现了复杂算法问题的形式化开发.采用PAR方法形式化......
采用分划递推法通过功能归约变换,形式化推导和证明Hanoi塔问题中圆盘的移动规律,从而推导出结构清晰、可读性好、效率高、占用存储......
采用PAR方法通过功能归约变换,形式化推导出可读性好、效率高的递推的最小生成树算法,简化了算法程序设计和正确性证明的过程,有效提......
本文依照陆丙甫先生提出的形式化推导方法,对汉语普通话的韵母拼合顺序进行了探索,研究发现了韵母拼合顺序的优势序列和劣势序列,......
使用PAR方法形式化推导了解决最优编码问题的Huffman算法。推导过程充分利用最优编码树的特性,在对原问题进行分划归约为子问题时,引......