并行软件设计自动化的形式化方法

标题并行软件设计自动化的形式化方法
出版物类型期刊文章
出版年份2020
作者阿联酋多罗申科,OA亚岑科
缩写键标题多波夫。纳克。阿卡德。nauk Ukr公司。
内政部10.15407/dopovidi2020.06.015
问题6
章节信息科学与控制论
分页15-20
发布日期2020年6月
语言英语
摘要

提出了并行程序自动设计和综合的形式化方法和软件工具。所开发的设施使用基于算法代数的Glushkov系统的语言，用于算法的高级和自然语言表示，并应用重写规则技术来转换程序。这些工具还使用了语法正确的算法方案设计方法，消除了算法和程序构建过程中的语法错误。该方法以开发并行N体仿真程序为例，用于在图形处理单元上执行。
关键词算法代数,自动化设计,形式化方法,图形处理单元,并行计算,项重写
参考文献：

1.Doroshenko，A.和Shevchenko，R.（2006）。基于规则的编程动态应用程序的重写框架。《信息基础》，72（1-3），第95-108页。
2.Andon，P.I.，Doroshenko，A.Yu。，Zhereb，K.A.和Yatsenko，O.A.（2018年）。并行编程的代数算法模型和方法。基辅：Akademperiodyka。https://doi.org/10.15407/akademperiodyka.367.192
3.多罗申科，A.Yu.，&Yatsenko，O.A.（2020年）。并行程序构造自动化的形式化和自适应方法。（未发表的手稿）
4.巴特勒·R.W.（2001）。什么是形式方法？检索自http://shemesh.larc.nasa.gov/fm/fm-what.html
5.Flener，P.（2002）。程序综合的成就和前景。在A.C.Kakas和F.Sadri（编辑）中。计算逻辑：逻辑编程及其以外。LNCS（第2407卷，第310-346页）。柏林：斯普林格。https://doi.org/10.1007/3-540-45628-7_13
6.Gulwani，S.（2010年）。程序合成中的维度。程序。第12届国际ACM SIGPLAN声明式编程原理与实践研讨会（第13-24页）。纽约：ACM。https://doi.org/10.1145/1836089.1836091
7.英伟达CUDA技术（n.d.）。检索自http://www.nvidia.com/cuda
8.Prusov，V.&Doroshenko，A.（2018年）。模拟大气过程的计算技术。宾夕法尼亚州好时：IGI Global。https://doi.org/10.4018/978-1-5225-2636-0
9.Aarseth，S.J.（2003）。引力N体模拟：工具和算法。剑桥：剑桥大学出版社。
10.Makino，J.和Aarseth，S.J.（1992年）。关于Hermite与Ahmad-Cohen的积分器。日本天文学会出版物，44，第141-151页。