项目名称: 模型驱动的高可靠图算法构件自动生成研究

项目编号: No.61363013

项目类型: 地区科学基金项目

立项/批准年度: 2013

项目学科: 自动化技术、计算机技术

项目作者: 石海鹤

作者单位: 江西师范大学

项目金额: 45万元

中文摘要: 算法的可靠性和开发效率对于软件可信性及应用发展具有重要意义。算法自动化是提高算法开发效率、保证算法可靠性的一种重要途径。图算法广泛应用于生活、生产和科学研究中,其算法设计策略的灵活性使图算法更具复杂性和多样性,算法的开发效率和可靠性难以得到保证。现有工作多将图算法作为某方法和理论的案例研究,甚少涉及算法开发规律的研究,或构建问题求解策略知识库并由用户手工选取,算法生成的自动化程度和效果不理想。本项目受模型驱动软件开发思想启发,以形式化方法PAR为基础,综合运用抽象数据类型、演绎推理、生成式程序设计等相关方法和机制,刻划图问题的抽象代数性质,形式化构建图领域专用语言、抽象图算法框架、算法构件生成等模型,并拓展PAR平台支持模型转换以驱动算法生成的过程,提高图算法构件的开发效率和可靠性,算法演化的灵活性与可配置性也为发现和生成新算法提供有效手段。本研究可望为领域高可靠算法构件的开发提供新思路。

中文关键词: 模型驱动方法;图算法构件;自动生成;形式化抽象模型;PAR方法

英文摘要: The reliability and productivity of algorithms contribute greatly to the trustworthiness and application of software. Algorithm automation has been viewed as an important way to improve the reliability and productivity of algorithms. Graph algorithms are

英文关键词: Model-driven method;Graph algorithm components;Automated generation;Formal abstract model;PAR method

成为VIP会员查看完整内容
0

相关内容

军事知识图谱构建技术
专知会员服务
125+阅读 · 2022年4月8日
【博士论文】分形计算系统
专知会员服务
33+阅读 · 2021年12月9日
基于RGB-D图像的语义场景补全研究进展综述
专知会员服务
28+阅读 · 2021年11月8日
面向知识图谱的图嵌入学习研究进展
专知会员服务
60+阅读 · 2021年11月3日
【干货书】算法设计艺术,319页pdf
专知会员服务
117+阅读 · 2021年10月24日
专知会员服务
13+阅读 · 2021年10月3日
专知会员服务
30+阅读 · 2021年5月8日
专知会员服务
69+阅读 · 2021年3月29日
专知会员服务
193+阅读 · 2020年10月14日
谷歌Docs,现在已经可以自动生成文本摘要了!
机器之心
1+阅读 · 2022年3月25日
智能合约的形式化验证方法研究综述
专知
15+阅读 · 2021年5月8日
图像描述生成研究进展
专知
1+阅读 · 2021年3月29日
已删除
将门创投
12+阅读 · 2019年7月1日
机器学习自动文本分类
AI前线
23+阅读 · 2018年2月4日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
Arxiv
0+阅读 · 2022年4月20日
Arxiv
0+阅读 · 2022年4月18日
Arxiv
0+阅读 · 2022年4月16日
Arxiv
15+阅读 · 2019年4月4日
小贴士
相关VIP内容
军事知识图谱构建技术
专知会员服务
125+阅读 · 2022年4月8日
【博士论文】分形计算系统
专知会员服务
33+阅读 · 2021年12月9日
基于RGB-D图像的语义场景补全研究进展综述
专知会员服务
28+阅读 · 2021年11月8日
面向知识图谱的图嵌入学习研究进展
专知会员服务
60+阅读 · 2021年11月3日
【干货书】算法设计艺术,319页pdf
专知会员服务
117+阅读 · 2021年10月24日
专知会员服务
13+阅读 · 2021年10月3日
专知会员服务
30+阅读 · 2021年5月8日
专知会员服务
69+阅读 · 2021年3月29日
专知会员服务
193+阅读 · 2020年10月14日
相关资讯
谷歌Docs,现在已经可以自动生成文本摘要了!
机器之心
1+阅读 · 2022年3月25日
智能合约的形式化验证方法研究综述
专知
15+阅读 · 2021年5月8日
图像描述生成研究进展
专知
1+阅读 · 2021年3月29日
已删除
将门创投
12+阅读 · 2019年7月1日
机器学习自动文本分类
AI前线
23+阅读 · 2018年2月4日
相关基金
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
微信扫码咨询专知VIP会员