-
题名归纳程序综合系统NDIPS的设计
被引量：1
- 1
-
-
作者
徐家福
戴敏
王志坚
-
机构
南京大学计算机软件研究所
-
出处
《软件学报》
EI
CSCD
北大核心
1990年第1期57-62,共6页
-
文摘
本文讨论了软件自动化归纳途径的现状、症结和解决方法,介绍了归纳程序综合系统NDIPS的设计思想和实现技术,强调了系统中自动归纳程序的关键技术。
-
关键词
归纳程序综合
NDIPS
软件
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于概念学习的归纳程序综合
- 2
-
-
作者
王志坚
陆朝俊
王军
-
机构
南京大学计算机软件研究所
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
1992年第4期31-36,共6页
-
基金
本文工作是1990年国家教委科技进步一等奖项目"软件自动化研究"的一部分。
-
文摘
本文介绍一种基于概念学习的归纳程序综合方法.假设的形成和证实是归纳过程的两个主要步骤.本文所介绍的方法是利用问题的背景知识、通过推广形成假设,并采用自动构作临界实例技术加以证实.
-
关键词
概念学习
归纳
程序综合
-
Keywords
induction, concept learning, program synthesis.
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于问题求解的归纳程序综合
- 3
-
-
作者
王志坚
章骏
徐家福
-
机构
南京大学计算机软件研究所
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
1991年第6期20-25,共6页
-
文摘
归纳程序综合是软件自动化的一种重要途径。本文把程序综合看作一种问题求解过程,通过归纳推理综合出能覆盖所给实例的一般程序。文章从方法、理论和实现上对这种途径作了探讨。
-
关键词
问题求解
归纳程序综合
软件自动化
-
分类号
TP311.51
[自动化与计算机技术—计算机软件与理论]
-
-
题名模式推理在归纳程序综合中的应用
- 4
-
-
作者
王志坚
-
机构
南京大学计算机软件研究所
-
出处
《计算机学报》
EI
CSCD
北大核心
1992年第9期712-716,共5页
-
基金
国家863高科技项目资助
-
文摘
本文给出了利用模式推理技术检查归纳假设合理性的若干判定条件.由于这种检查属于语法范畴,故能由系统自动完成,从而降低了假设相容性测试的开销,提高了逻辑程序归纳综合的效率.
-
关键词
模式推理
归纳程序综合
-
Keywords
Mode inference, inductive program synthesis, consistency test, logic programming.
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于Tableau方法的程序综合系统──DTPS
- 5
-
-
作者
赵莹
全炳哲
金淳兆
-
机构
吉林大学计算机科学系
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
1997年第8期577-581,共5页
-
基金
"863"计划和国家自然科学基金
-
文摘
本文简单介绍了基于Ｔａｂｌｅａｕ方法的程序综合系统——ＤＴＰＳ．ＤＴＰＳ系统以定理证明为基础，为构造一个满足程序规约的程序，只需证明的确存在一个满足条件的对象．如果这个证明存在，那么从证明中可抽取出一个满足该程序规约的程序．
-
关键词
TABLEAU方法
程序综合系统
DTPS
软件自动化
-
Keywords
program synthesis,theorem proving,Tableau method
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种基于知识的由实例综合程序的方法
- 6
-
-
作者
朱鸿
金凌紫
-
机构
南京大学软件研究所
南京大学计算机科学系
-
出处
《计算机学报》
EI
CSCD
北大核心
1991年第6期432-444,共13页
-
基金
国家教委优秀青年教师基金
国家自然科学基金
-
文摘
本文提出了一种由输入/输出实例综合J.Backus提出的函数式程序设计系统FP程序的方法.基于程序正交展开的理论,程序综合问题可转化为求解一组程序方程,这组方程可以根据关于程序间等价性的知识求解,从而确定综合结果.本文给出了求解程序方程所需的知识,给出了综合策略,并举例说明了用该方法进行程序综合的过程.
-
关键词
知识
程序综合
软件自动化
-
Keywords
Software automation, program synthesis, functional programming, algebra of programs, solutions of equations of programs.
-
分类号
TP311.51
[自动化与计算机技术—计算机软件与理论]
-
-
题名JOOADL方法中循环程序的构造
- 7
-
-
作者
林洪
-
机构
中国科学技术大学计算机科学系
-
出处
《计算机应用与软件》
CSCD
1999年第1期5-13,共9页
-
基金
国家自然科学基金
-
文摘
循环结构的生成是基于程序规范的构造方法的核心问题之一。JOOADL方法在规范说明中用一种类一阶谓词逻辑公式描述参数所满足的条件和目标,并提供一种将目标对应到程序的方法。其中将含量词的子公式对应到循环结构,循环索引变元遍历有界约束变元的取值域。本文试探讨循环结构生成方法的一个改进途径:利用关于量词所在类上的断言集,通过由目标制导的演绎,得到启发式,以指导生成更有效的循环程序。
-
关键词
程序综合
循环结构
JOOADL语言
程序构造
-
Keywords
Program synthesis, formal specification, loop structure, deduction, JOOADL.
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于真值表的函数自动生成的神经网络模型
- 8
-
-
作者
贺文凯
支天
胡杏
张曦珊
张蕊
杜子东
郭崎
-
机构
中国科学院计算技术研究所处理器芯片全国重点实验室
中国科学院大学
中科寒武纪科技股份有限公司
-
出处
《高技术通讯》
CAS
北大核心
2024年第3期265-274,共10页
-
基金
国家重点研发计划(2020AAA0103802)
国家自然科学基金(61925208,U20A20227,62002338,61906179,62102399,U19B2019,61732020)
+2 种基金
北京智源人工智能研究院以及北京市科技新星计划(Z191100001119093)
中国科学院稳定支持基础研究领域青年团队计划(YSBR-029)
中国科学院青年创新促进会资助项目。
-
文摘
作为目前最常见的程序综合问题,示例编程通过用户提供的输入/输出示例生成程序,为编程能力不足的开发者提供了便利。近年来,示例编程已经被应用于Microsoft Office Excel办公软件的自动编程,以及勘探、测井、航空航天等领域。鉴于目前示例编程鲜有关于二进制流的研究,本文针对基于真值表函数自动生成问题具有函数表达式的语法符号序列中各语法符号的关系与它们的距离大小无关、函数表达式的生成语义规则与布尔向量函数采样的结果长度无关的特点,设计了一种神经网络模型和算法,在程序综合、功能等价和序列匹配的指标上分别取得了70.56%、64.66%、0.6355的结果,分别优于现有最先进的程序综合模型55.07%、49.70%、0.5690。
-
关键词
真值表
神经网络
序列模型
示例编程
程序综合
-
Keywords
truth table
neural network
sequential model
programming by examples
program synthesis
-
分类号
TP183
[自动化与计算机技术—控制理论与控制工程]
TP311.1
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种将遗传算法应用于谓词求精的方法
被引量：2
- 9
-
-
作者
曹晓夏
缪淮扣
高晓雷
-
机构
上海大学计算机工程与科学学院
-
出处
《应用科学学报》
CAS
CSCD
2003年第3期289-295,共7页
-
基金
国家自然科学基金资助项目(60173030)
-
文摘
提出了将Manna的程序综合方法和Caroll Morgan的求精演算方法相结合的求精方法.为了提高求精的自动化程度,在求精的规则选择过程中引入遗传算法.利用遗传算法能够在庞大的规则库空间中搜索合适规则的特性,提高求精的自动化程度.
-
关键词
软件工程
软件求精
软件开发
软件自动化
谓词求精
遗传算法
程序综合
求精演算方法
规则库
-
Keywords
software automation
refinement
predication refinement
genetic algorithm
-
分类号
TP311.51
[自动化与计算机技术—计算机软件与理论]
-
