排序方式: 共有45条查询结果,搜索用时 0 毫秒
1.
Gdel是一种发展中的逻辑程序设计语言,目前还没有开发出编译器。Gdel语言的类型系统独特于通常的逻辑程序设计语言,语义上已初步形成了相应的描述方法,建立了严格的理论基础。按照传统的方法,逻辑程序的运行机制和Gdel语言的多态性决定了一些变量的类型和语义只能在运行时才能确定,把这类变量的类型检查放到程序运行中处理,势必增加许多额外的计算。提出了一种处理Gdel语言类型系统的编译技术。针对语言的类型,对其相关语法进行适当修改,通过类型推断,把变量类型的检查工作提前到编译阶段完成,可以较好地处理其变量类型的语义问题,同时减少了运行时类型检查工作,从而提高程序的运行效率。 相似文献
2.
论述了逻辑程序设计中剪枝算子的作用及传统剪枝算子的过程性语义和说明性语义不一致问题;介绍了新型逻辑程序语言〔淑划中的COTRTT11t剪枝算子;通过引入一组定义描述其过程语义,并进一步阐述了剪枝算子和延迟计算规则之间的关系,讨论了Godel语言的剪枝策略及控制机制,从而为逻辑程序语言的实现提供了依据。 相似文献
3.
传统的按需路由协议大多采用泛洪策略来发现路由,主要考虑如何快速建立路由以及减少控制信息的交换,而很少考虑所选路由的稳定性。本文提出了一种稳定的基于权重的按需路由协议,它利用路由权重来选择一条稳定的基于能量保护的路由来保证系统的性能。路由的权重由以下三个因素决定:路由有效期(RET)、跳数(HC)、最小节点能量水平(REL)。通过选择具有较高权重的路由。可以有效避免选择具有高移动性节点或具有较小能量节点的不稳定路由。 相似文献
4.
5.
本文研究分布式人工智能背景下的辩论的理论模型及其算法,提出并建立了一个基于命题性知识的辩论的理论框架.在此框架下,我们给出了几个体现不同辩论策略的辩论算法,并对算法的正确性给出了理论证明.本文的研究可为分布式人工智能中多专家系统的辩论和意见综合提供参考,进一步的研究可望推进多专家联合系统的实用化进程. 相似文献
6.
Gdel语言因语言成份复杂而缺乏严格的语义基础和成熟的编译器,因此推出后它一直发展缓慢。对此采用进化代数描述了其主要语言成分延迟声明语句的过程性语义,然后介绍了依据该语义的具体实现方法并给出运行流程图和C语言描述。最后通过一个例子来具体说明延迟计算在基于扩展Warren机的编译系统中的执行情况。实验结果表明了其可行性。 相似文献
7.
由中国计算机学会软件专业委员会智能软件学组主持的第一届全国知识工程研讨会于1987年10月在泰安举行,会议收到征文38篇,经二审、修改,录用30分钟报告9篇,15分钟报告14篇,会议特邀和正式代表共41人,会议规模约100人,研讨会得到中国计算机学会、山东矿业学院的大力支持和协助。 相似文献
8.
计算机科学与技术一级学科——面向21世纪系列教材一体化建设研究报告 总被引:9,自引:0,他引:9
1 引言自从计算机科学与技术学科专业教育诞生之日起,学术界就开始了长期的、连续的教材创作工作,陆续推出了各式各样的教材。在中国,伴随着高等学校学科专业教育的兴起,采用翻译、编译、编写、编著、引进、创作等多种形式,大量专业教材不断地进入这个领域。众所周知,无论是国内还是国外,长期以来学科专业教材的建设确实为培养一大批专业人才做出了巨大的贡献。然而,当人类进入21世纪,高等教育面临着学科不断深化和社会深刻变化带来的各种挑战时,如果我们怀着创新的冲动和理性的心态,带着冷峻的目光和挑剔的眼神审视高等学校学科专业办学现状和过去业已出版的大量教材,期望冲破高等学校学科专业教育现有的模式,通向自由、 相似文献
9.
关于计算机科学与技术认知问题的研究简报(Ⅰ,Ⅱ) 总被引:23,自引:1,他引:23
赵致琢 《计算机研究与发展》2001,38(1):1-15
计算机科学与技术的认知对学科的科学研究与人才培养具有重要的意义,对计算机科学与技术学科发展的主线、特点和内在规律进行了回顾与总结,从科学哲学的角度阐述了学科的一系列认知问题,并概要介绍了学科方法论研究的主要进展,讨论了学科方法论研究进展对学科未来发展和人才培养可能产生的影响。 相似文献
10.