论文部分内容阅读
基于形式化方法PAR，提出了一种高可靠算法程序设计技术，并采用范畴论形式化了相关的概念和定义．该技术通过重用一类问题的算法规约，算法程序的形式化推导和正确性证明来快速设计出正确的问题求解算法程序，使得算法程序的设计效率和可靠性得到提高．通过实例说明了使用这一技术进行算法程序设计的过程。
一种基于PAR的高可靠算法程序设计技术
【摘 要】
：
基于形式化方法PAR，提出了一种高可靠算法程序设计技术，并采用范畴论形式化了相关的概念和定义．该技术通过重用一类问题的算法规约，算法程序的形式化推导和正确性证明来快速设计
【机 构】
：
中国科学院软件研究所计算机科学国家重点实验室 北京 100190 江西师范大学省高性能计算技术重点实验室 南昌 330022 中国科学院研究生院 北京 100049
【出 处】
：
第六届中国测试学术会议
【发表日期】
：
2010年期
其他文献
在系统调用异常检测中，系统调用短序列簇发性异常对入侵行为具备更强的敏感性．但是，目前对于单个系统调用短序列内部的簇发性异常的研究工作尚较为缺乏．本文从系统调用短序列的匹
随着电子计算机及互联网技术的日益成熟,印刷业也不例外地享受到了相关技术所带来的便利,仅就印前方面来说,上世纪70年代,网屏式的电子分色机代替传统制版照相机的时候,制版
杨建明小姐: 来信问及“在铝型材厂打工,对人体健康有没有损害”,现答复如下: 随着铝型材在建筑行业的广泛应用,我省铝型材加工行业迅速发展,尤其毗邻广州的南海市。据
Mis
本文分析了面向对象软件类级别的度量CK和Li方法以及系统级别的度量MOOD方法，并结合面向对象技术的特性用Weyuker度量评价标准对这些方法固有的缺陷和不足进行了分析． 在此
会议
本文在深入分析野外或战时环境下，远程诊断装备故障并传输故障诊断信息的特点和需求，基于MANET网络，选用RPGM移动模型，采用分簇算法，设计了故障申告协议FDP(FailureDeclaring Prot
会议
“博物馆学习”是博物馆观众研究的一个分支,也是博物馆领域的重要研究议题。博物馆学习基于建构主义的学习理论,以观众作为研究对象,旨在测量观众参观前后的智识变化,并寻找
2004年5月31日上午9时,青岛海情大酒店三层中心会议室座无虚席,由中国印刷技术协会、山东省印刷技术协会和三菱重工业株式会社联合主办的“三菱重工印刷机青岛事务所成立大会
文中采用基于模拟的非线性方法，设计和实现了一个面向ARM程序的执行周期估计器．它利用人工神经网络在描述动态指令数与执行时间在复杂结构处理器上非线性关系的优势，用基准程序
会议
中华民族复兴之梦的实现,需要创新思维,更需要整体思维.一个创新型的中国必将为人类社会的进步做出贡献,整体思维也一定能够让中华民族再一次屹立世界之巅当前,我国正处于变