首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 46 毫秒
1.
阎志欣  黄冬泉 《软件学报》1996,7(A00):348-357
算子式程序设计语言是一个有坚实理论基础、高效的、实际有用的、高级的新型程序设计语言,如何编该类语言是一个应该研究的重要问题,过程式语言到机器代码的编绎问题已被解决,因此编绎的关键是由算子程度向过程的转换,本文用模式匹配法,给出了算子式语言到while程序的变换语义,给出了基本变换规则集,证明了该变换规则集的完备性和一致性,为该类语言到过程语言的翻译提供了理论和技术基础。  相似文献   

2.
阎志欣 《软件学报》1996,7(Z1):239-248
本文提出了程序设计语言的一种新的计算模型,带迭代算子的函数式模型.文中给出了基于该计算模型的程序设计语言的语法、计算规则集及确定性证明.该类语言以表达式的复合描述顺序,以迭代表达式描述循环,以条件表达式描述分支,使得程序以数学语义为基础,易于理解、证明及构造高技的执行系统.褶信该类语言是一种有坚实理论基础、高教的、实际有用的,高级确定性程序设计语言.  相似文献   

3.
带迭代算子的函数式程序设计   总被引:2,自引:2,他引:0  
阎志欣 《软件学报》1996,7(A00):239-248
本文提出了程序设计语言的一种新的计算模型,带迭代处子的函数式模型,文中给出了基于该计算模型的程序设计语言的语法、计算规则集及确定怀证明,该类语言以表达式的复合描述顺序,以迭代表达式描述循环,以条件表达式描述分支,使得程序以数学语义为基础,易于理解,证明及构造高效的执行系统,相信该类语言是一咱有坚实理论基础、高效的、实际有用的高级确定性程序设计语言。  相似文献   

4.
阎志欣  黄盛萍 《软件学报》1996,7(Z1):232-238
带迭代算子的函数式程序设计语言是一种有坚实理论基础、高效的、实际有用的高级程序设计语言.该语言既可描述递归,又可描述迭代.本文证明了仅用迭代算子由已知迭代函数定义的部分迭代函数就可计算部分递归函数.这就等于证明任何图灵可计算的部分函数.都可用有坚实数学基础的部分迭代函数高效地进行计算.文中定义了复合算子、原始迭代和最小化迭代算子及部分迭代函数;证明了部分递归函数是部分迭代函数可计算的.  相似文献   

5.
阎志欣 《软件学报》1996,7(Z1):338-347
状态逻辑型程序设计语言是一种有坚实理论基础,既可描述递归又可描述迭代的高效、实用、新型的纯逻辑式程序设计语言.递归无疑地确保了其计算能力本文证明了仅用状态逻辑的迭代程序就可计算部分递归函数.这就等于证明了,任何图灵可计算的对象都可用纯逻辑迭代地定义和高效地计算.  相似文献   

6.
廖湖声 《软件学报》1995,6(Z1):258-265
文章分析了编译实现函数式程序设计语言的主要技术,总结出函数式语言实现方法的两条设计准则:(1)简化函数调用处理的同时,减少被延迟求值参数所占用存储空间及其占用时间;(2)通过程序变换减少函数式程序的特殊语言现象.使其适应冯·偌依曼机的结构特征.文中介绍了几种新的编译技术以及采用这些技术实现的一个函数式语言编译系统.  相似文献   

7.
本文提出了一种以ADL语言为基础的程序展开方法。用这种方法展开程序,首先用ADL描述层语言给出问题功能特性的描述,然后应用变换规则将该描述逐步变换为用ADL核心层语言写出的与其语义等价的程序。变换规则的选用以及展开过程的控制不仅可以由程序员执行,而且也可以由机器自动完成。作者设计的实验性质的程序自动展开系统对于一些教学规模的程序已经调试成功。  相似文献   

8.
状态逻辑型程序设计语言   总被引:2,自引:2,他引:0       下载免费PDF全文
阎志欣 《软件学报》1994,5(10):24-32
本文提出了一种新的纯逻辑式子句型程序设计语言.文中给出了语言的语法,非形式语义,子句的过程解释和基于约束归结的推理系统.对该语言来说,程序包含三类变量:输入变量,输出变量和用于控制机器资源的程序变量;被程序定义的函数符号可用于构造项或子项,并且还可用作为谓词符号;不需要低效的最广合一.由于这些因素,一个子句集本身隐含了顺序,分支,迭代和递归多种控制结构使得容易构造高效的定理证明系统.这种语言将是一种有坚实理论基础的,高效的,实际有用的高级确定性语言.  相似文献   

9.
宋凯  廖湖声 《软件学报》1996,7(Z1):436-440
本文介绍函数式语言提供的集合描述方法以及实现集合的一种程序变换优化算法.集合的引入改善了函数式程序的表达能力,并且为提高程序执行效率创造了条件.  相似文献   

10.
梅宏  孙永强 《软件学报》1995,6(7):407-415
程序设计语言FOPL是一种同时支持函数式程序设计风洛和面向对象程序设计风格的合成语言.本义介绍了FOPL的类型思想,并讨论了表达式纯洁性判断规则、表达式附类型规则及表达式等价判断规则,这些规则描述了FOPL基于方程逻辑的语义.  相似文献   

11.
机器人语言研究   总被引:1,自引:0,他引:1  
彭慧  尹朝方 《机器人》1991,13(5):36-41
本文从信息控制的角度出发将机器人语言定义为能处理某些特定的“外部设备”的计算机程序设计语言。并将机器人语言成份分为两大部分,即机器人核心语言和机器人专用语言。然后分别综述了机器人专用语言和机器人核心语言的进展情况。  相似文献   

12.
对象查询语言一直是OODBMS中的一个重要研究课题。本文阐述了对象查询语言的基本途径与设计途径。通过Strawman模型,对几种著名的对象查询语言进行了分析与比较,同时,探讨了对象查询语言中存在的问题。最后,针对KOBS知识库系统的要求,提出一种知识对象查询语言的设计框架。  相似文献   

13.
过程式语言到函数式语言的抽象方法   总被引:1,自引:0,他引:1  
金成植  刘磊 《计算机学报》1997,20(8):731-736
本文给出了从过程式程序到函数式程序的转换规则,这些转换规则是从语言的接续指称语义推导出来的,我们考虑了GOTO语句的处理,因此,我们的方法可以处理非结构化程序。由于这些转换规则是从指称语义导出的,其正确性得到了保证。  相似文献   

14.
机器人程序设计语言   总被引:4,自引:1,他引:3  
戴齐  姚先启 《机器人》1997,19(5):390-400
本文回顾了机器人程序设计语言的发展历史,概述了机器人语言的特点,并着重介绍几种主要的机器人语言,最后指出现在机器人语言的不足及其未来的发展。  相似文献   

15.
Question–answering systems make good use of knowledge bases (KBs, e.g., Wikipedia) for responding to definition queries. Typically, systems extract relevant facts from articles regarding the question across KBs, and then they are projected into the candidate answers. However, studies have shown that the performance of this kind of method suddenly drops, whenever KBs supply narrow coverage. This work describes a new approach to deal with this problem by constructing context models for scoring candidate answers, which are, more precisely, statistical n‐gram language models inferred from lexicalized dependency paths extracted from Wikipedia abstracts. Unlike state‐of‐the‐art approaches, context models are created by capturing the semantics of candidate answers (e.g., “novel,”“singer,”“coach,” and “city”). This work is extended by investigating the impact on context models of extra linguistic knowledge such as part‐of‐speech tagging and named‐entity recognition. Results showed the effectiveness of context models as n‐gram lexicalized dependency paths and promising context indicators for the presence of definitions in natural language texts.  相似文献   

16.
金成值  柴玉梅 《计算机学报》1992,15(11):856-864
本文定义一类型化的抽象语言like-LAMBDA,并以此为模型给出从以Lambda演算为基础的函数式抽象语言到like-PASCAL过程式语言的转换技术.  相似文献   

17.
本文给出高阶函数式语言到Prolog语言的一种转换技术.其中主要用到抽象闭包分析、Lambda提升、顺序化以及Prolog中的Cal技术.本文的研究重点在于高阶性的处理上.  相似文献   

18.
构件类和构件的概念及其定义语言和操作语言   总被引:27,自引:0,他引:27  
顾明  仲萃豪 《软件学报》1997,8(9):673-679
本文针对应用软件的特点,在类和对象概念的基础上,提出构件类和构件的概念,说明构件类和构件与O-O中类和对象概念上的异同.为规范化描述构件类,给出了构件类定义语言和操作语言.  相似文献   

19.
Elliot Fischer 《Cryptologia》2013,37(4):233-235
The concepts of entropy and redundancy are discussed, and calculations of the redundancy of six different languages based on available frequency data are presented. It is shown that redundancies based on digram frequencies of different languages exhibit a wide variation in value. The cryptographic implications of these calculations are discussed.  相似文献   

20.
面向任务的机器人语言的实现   总被引:3,自引:1,他引:2  
宋国宁  杨淮清 《机器人》1991,13(5):12-19
本文提出的面向任务的机器人语言是为移动机器人提供的一种编程工具。利用环境描述语言和其他灵活的人机对话方式建立环境模型;根据各种不同的性能指标,规划出最佳路径;根据安全等因素自动规划出最佳路径上的行走参数;对来自传感器的信息进行处理,以确定机器人实际位置及障碍情况;引导机器人沿规划好的路径行走,纠正偏差或重新选择避障路径。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号