收藏本站
《计算机研究新进展(2010)——河南省计算机学会2010年学术年会论文集》2010年
收藏 | 手机打开
二维码
手机客户端打开本文

形式化开发非递归Koch曲线算法

刘润杰  申金媛  穆维新  
【摘要】:形式化方法是构建可信软件的重要途径。Koch曲线是典型的分形图形,本文使用形式化方法PAR及循环不变式开发策略,开发了Koch曲线非递归算法,并对其进行了形式化的正确性证明。在得到求解Koch曲线算法的循环不变式的同时,直接得到易读、高效且可靠的非递归算法。对使用形式化方法及循环不变式开发策略开发分形程序非递归算法做了较深入的实践和探讨。

手机知网App
【参考文献】
中国期刊全文数据库 前2条
1 赵耀,王红星,袁保宗;分形图像编码研究的进展[J];电子学报;2000年04期
2 孙继军,卢玉蓉;Von Koch曲线的Visual C++程序实现[J];攀枝花学院学报;2004年01期
【共引文献】
中国期刊全文数据库 前10条
1 马飞,程遐年;害虫预测预报研究进展(综述)[J];安徽农业大学学报(自然科学版);2001年01期
2 蔡爱民,查良松;基于分形理论的安徽省旱、洪涝灾害时序特征分析[J];安徽农业大学学报;2005年04期
3 涂承媛,曾衍钧;非线性科学及其在医学中的应用[J];北京工业大学学报;2003年03期
4 李新梅,王勇,栗文洗,韩涛;基体表面分形维数对瓷釉涂层/金属基体密着性的影响[J];中国表面工程;2005年02期
5 吕晓琪,张晟羽中;基于分形编码的图像压缩技术[J];包头钢铁学院学报;2001年02期
6 姚宇新;;矿岩粉碎能耗规律的分析[J];辽宁科技学院学报;2006年01期
7 马瑞恒,李钊,王伟策,钱汉明,徐全军,娄建武,唐献述,周翔;基于小波变换模极大的爆破震动信号奇异谱分析[J];爆炸与冲击;2004年06期
8 赵安平;王清;李杨;;季节冻土区路基土粒度成分的分形特征[J];吉林大学学报(地球科学版);2006年04期
9 李中锋;何顺利;杨文新;;砂岩储层孔隙结构分形特征描述[J];成都理工大学学报(自然科学版);2006年02期
10 李杰,付萍;分形及分形图像编码[J];长春大学学报;1999年04期
中国重要会议论文全文数据库 前9条
1 陈天文;傅吉全;李伟哲;高绪珊;;分形涤纶的吸湿及放湿性研究[A];第四届功能性纺织品及纳米技术研讨会论文集[C];2004年
2 李美丹;魏宏云;陈浩宇;;纤维混凝土的早期裂缝分形评价及其抗裂机理分析[A];“发展绿色技术,建设节约结构”——第十四届全国混凝土及预应力混凝土学术会议论文集[C];2007年
3 陈海燕;王成国;;分形理论及其在摩擦学研究中的应用[A];第七届全国摩擦学大会论文集(二)[C];2002年
4 张红伟;李晓辉;;基于图像活动性的序列图像分形编码方法[A];开创新世纪的通信技术——第七届全国青年通信学术会议论文集[C];2001年
5 孙保平;徐立中;张敏;刘美林;杨锦堂;;分形图像压缩编码研究[A];中国仪器仪表学会第三届青年学术会议论文集(下)[C];2001年
6 杨英歌;周海;吴润;从善海;徐楠;王迎波;;热物理法制备纳米ZnO晶须[A];第十届全国青年材料科学技术研讨会论文集(C辑)[C];2005年
7 田建明;李国宾;关德林;;气缸套-活塞环磨合过程摩擦磨损特性分析[A];现代船舶机电维修技术(2005)[C];2005年
8 李国宾;王素芳;黄福权;;磨合磨损过程摩擦力矩分形行为研究[A];现代船舶机电维修技术(2005)[C];2005年
9 叶秀芬;裴志;王杰;;基于分形理论的离线签名鉴别系统[A];2007年中国智能自动化会议论文集[C];2007年
中国博士学位论文全文数据库 前10条
1 李卓夫;春小麦性状变异非线性特殊征育种作用的研究[D];东北农业大学;2001年
2 蒋兴明;有色企业网络经营管理研究[D];昆明理工大学;2002年
3 龚劬;小波的设计与图像压缩新方法研究[D];重庆大学;2002年
4 屈稳太;基于小波变换的图像压缩与信号检测技术研究[D];浙江大学;2003年
5 陆万雨;测井储层评价新技术应用研究[D];中国地质大学(北京);2003年
6 冯前进;基于小波变换的医学图像编码[D];中国人民解放军第一军医大学;2003年
7 杨树国;鲁棒图像数字水印技术的研究[D];哈尔滨工程大学;2003年
8 杨健君;数字图像放大技术的研究与电视墙图像分配器的研制[D];电子科技大学;2002年
9 吴国雄;水泥混凝土路面开裂机理及破坏过程研究[D];西南交通大学;2003年
10 冯振环;西部地区经济发展的脆弱性与优化调控研究[D];天津大学;2003年
中国硕士学位论文全文数据库 前10条
1 司徽东;基于小波变换的分形压缩方法研究[D];山东大学;2005年
2 张宪明;小波域内基于分形理论的图像数字水印算法研究[D];青岛大学;2005年
3 季瑞瑞;低比特率视频压缩算法的研究[D];西安理工大学;2005年
4 闫红梅;基于BP神经网络的图像压缩算法研究[D];西安科技大学;2005年
5 张建;小波变换在医学图像压缩中的应用研究[D];合肥工业大学;2005年
6 戴芳;基于特征块的分形图象压缩[D];西安理工大学;2001年
7 谢海波;钢筋混凝土烟囱拆除爆破理论模型研究[D];昆明理工大学;2001年
8 金彩虹;小波域内的分形图像编码[D];华中师范大学;2001年
9 贾建;迭代函数系统与分形图形融合技术研究[D];西北大学;2001年
10 贺文杰;复动力系统生成分形图形算法研究[D];西北大学;2001年
【相似文献】
中国重要会议论文全文数据库 前2条
1 刘润杰;申金媛;穆维新;;形式化开发非递归Koch曲线算法[A];计算机研究新进展(2010)——河南省计算机学会2010年学术年会论文集[C];2010年
2 周傲英;施伯乐;;逻辑数据库的递归有界性[A];第十届全国数据库学术会议论文集[C];1992年
中国硕士学位论文全文数据库 前3条
1 何庆强;Koch和Sierpinski分形天线研究[D];电子科技大学;2005年
2 王鲁顺;Koch曲线自旋系统热纠缠的研究[D];曲阜师范大学;2012年
3 姚娜;分形天线在多频无线通信中的研究与应用[D];西安电子科技大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026