石头合并算法的形式化推导与实现

2010 2nd International Symposium on Information Engineering and Electronic Commerce Pub Date : 2010-07-23 DOI:10.1109/IEEC.2010.5533196

Xiao-chun Dong

{"title":"石头合并算法的形式化推导与实现","authors":"Xiao-chun Dong","doi":"10.1109/IEEC.2010.5533196","DOIUrl":null,"url":null,"abstract":"Begun with the formal functional specification of stone-merger problem, formal derivation method of formal PAR was used. Recurrence formula and loop invariant of the problem naturally was gained. And then an efficient and correct algorithm was derived. Finally, according to the algorithm, the executable program of this problem has been solved.","PeriodicalId":307678,"journal":{"name":"2010 2nd International Symposium on Information Engineering and Electronic Commerce","volume":"13 1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2010-07-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Formal Derivation and Implementation for the Stone-Merger Algorithm\",\"authors\":\"Xiao-chun Dong\",\"doi\":\"10.1109/IEEC.2010.5533196\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Begun with the formal functional specification of stone-merger problem, formal derivation method of formal PAR was used. Recurrence formula and loop invariant of the problem naturally was gained. And then an efficient and correct algorithm was derived. Finally, according to the algorithm, the executable program of this problem has been solved.\",\"PeriodicalId\":307678,\"journal\":{\"name\":\"2010 2nd International Symposium on Information Engineering and Electronic Commerce\",\"volume\":\"13 1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2010-07-23\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2010 2nd International Symposium on Information Engineering and Electronic Commerce\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/IEEC.2010.5533196\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2010 2nd International Symposium on Information Engineering and Electronic Commerce","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/IEEC.2010.5533196","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

从石合并问题的形式化功能规范入手，采用形式化PAR的形式化推导方法。得到了该问题的递归式和循环不变量。然后推导出一种高效、正确的算法。最后，根据该算法求解了该问题的可执行程序。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

Formal Derivation and Implementation for the Stone-Merger Algorithm

Begun with the formal functional specification of stone-merger problem, formal derivation method of formal PAR was used. Recurrence formula and loop invariant of the problem naturally was gained. And then an efficient and correct algorithm was derived. Finally, according to the algorithm, the executable program of this problem has been solved.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2010 2nd International Symposium on Information Engineering and Electronic Commerce

自引率

0.00%

发文量

期刊最新文献

Multiple UAVs Routes Planning Based on Particle Swarm Optimization Algorithm Toward 3-Constant Size Identity Based Broadcast Encryption Based on Proxy Re-Encryption Design of Thermal Economy On-Line Analysis System of Nuclear Power Unit Evolution and Representation on Data Information Knowledge Strategy Replica Placement Algorithms in Content Distribution Networks