基于二阶项重写技术的逻辑自动编程理论

来源 :计算机学报 | 被引量 : 0次 | 上传用户:wheatmm
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
程序自动综合中的一个难题是:系统怎样才能自动地发现并构造出所需的子程序.本文中我们提出一种基于部分二阶逻辑的机制,称之为假说演算.我们实现了一个基于此种机制的逻辑程序自动设计的实验系统ALP.当不能由背景知识直接构造出C_i~’S时,ALP能自动导出所需子程序的输入-输出实例并综合出所需子程序.
其他文献
<正>Every year,the IEEE inducts about one-tenth of one percent of the total voting IEEE membership as IEEE Fellows in recognition of their distinguished accompl
【关键词】民生新闻 受众 同质化    2002年1月1日,江苏电视台城市频道推出《南京零距离》,打出了“我们就在你身边,我们与南京没有距离”的  口号,率先提出“民生新闻”的理念。  与传统新闻“我说你听”不同的是,民生新闻定位于“民生的内容、民生的习尚、平民的视角”。它以受众为中心,重视受众的心理诉求,力求做到以人为本。这一新闻的出发点恰好与传播学中使用与满足理论不谋而合。使用与满足理论认为:
曲艺,作为人们喜爱的艺术门类,始终扎根于人民群众之中。多少年来,曲艺的宣传、传播功能是其他艺术门类所不可替代的。安徽的曲艺,更是以它特有的地域优势,在江淮大地上蓬勃发展,成就了至今还活跃在各种舞台上的主流艺术形式。但是,随着社会的发展,时代的变迁,现代化、时尚化、科技化的冲击,文化艺术受到了很大的挑战,曲艺也同样面临着传承、发展的问题。作为省会的合肥市,安徽唯一的一家、黄河长江流域仅存的几家独立存
We propose a nonbinary byte?interleaved coded?modulation scheme with inner and outer turbo?like iterative decoder. The net coding gain is 0.6 dB higher than the
Modulation techniques for light fidelity(Li-Fi) are reviewed in this paper.Li-Fi is the fully networked solution for multiple users that combines communication
Benefited from the design of separating control plane and data plane,software defined networking(SDN)is widely concerned and applied.Its quick response capabili
重庆市荣昌县召开的“第二届中国畜牧科技论坛”传出消息,由重庆市畜牧科学研究院、第三军医大学、重庆工学院三家单位协作完成的“数字化猪数据集”在重庆诞生,这是世界首套猪
现代社会,大众传媒有着宣传威力。媒介自身的地位以及受众对其的认可度,在一定程度上影响着媒介公信力。然而,危机公关的出现使得媒介公信力的塑造和提升面临着更加严峻的挑战。
舒城县地处大别山东麓、巢湖西滨,县内道路畅通、交通便捷,距省会合肥市仅54 km,蔬菜生产历史悠久、资源丰富,被称为省城合肥二线蔬菜生产基地。多年来,舒城县把发展蔬菜生产摆上全县六大主导产业之一来抓。经过10余年的努力,舒城县蔬菜生产已成为农业主导产业之一,成为农村经济新的增长点。  1舒城县蔬菜产业现状  1.1生产稳步发展,经济效益逐年上升  全县蔬菜生产以城关、千人桥、桃溪、干汊河、柏林等乡
期刊