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