程序综合相关论文
无人机、无人车和机器人等基于人工智能的复杂无人系统,深度融合了环境感知、数据分析、反馈控制和异构网络互联等技术,受到了军事......
基于Tableau方法的程序综合方法以定理证明为基础,将从规格说明得到程序的过程看作是一个定理证明的过程,如果这个证明存在,那么从......
自动程序设计是计算机科学中的重要研究领域,在人工智能的自动规划、机器人学等分支有重要应用。在程序理论方面,程序综合与程序验......
广义上,程序设计过程就是定理证明过程,因而程序综合与机器定理证明关系密切。通过一般情况下,构造性的证明过程才能抽取程序。归......
在摩擦学分析的基础上开发公差设计计算机程序。根据公差数学模型与使用要求,该程序综合考虑并实现了机器零件的可靠性和经济性。
......
本文讨论了NDIPS系统中基于轨迹的归纳程序综合方法。该方法对问题求解机制产生的或手工给出的程序执行轨迹,使用匹配识认算法找出......
提出了将Manna的程序综合方法和Caroll Morgan的求精演算方法相结合的求精方法.为了提高求精的自动化程度,在求精的规则选择过程中......
本文提出了一种由输入/输出实例综合J.Backus提出的函数式程序设计系统FP程序的方法.基于程序正交展开的理论,程序综合问题可转化......
循环结构的生成是基于程序规范的构造方法的核心问题之一。JOOADL方法在规范说明中用一种类一阶谓词逻辑公式描述参数所满足的条件......
你觉得哪个服务器操作系统更好,是微软的Windows还是开源的Linux?关于这个问题曾经引起无数的争论,但一位长时间使用过Windows和Linux......
本文介绍一种基于概念学习的归纳程序综合方法.假设的形成和证实是归纳过程的两个主要步骤.本文所介绍的方法是利用问题的背景知识......