Type system in programming language Gödel

中文摘要：Gödel 语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑，引入了一个多态多类的类型系统和多种 新的语言成分，支持抽象数据类型和模块化程序设计等技术，语言本身也具有很强的说明性语义。详细介绍了Gödel 语言的类型系统及其构造，对在逻辑程序设计语言中引入类型系统的作用进行了一些深入的分析和讨论。 英文摘要：Gödel is a declarative logic programming language. It is based on first order logic with a polymorphic many-sorted type system. Having a strong declarative semantic Gödel can be used to realize abstract data types and programming in modules. The type system was introduced and the function of the type system in a logic programming language was discussed

Design and Implementation of Compiler for Gödel

Gödel语言是继逻辑程序设计语言Prolog之后提出的一个既实用又具说明性的逻辑程序设计语言。众所周知，Prolog相对于其他许多高级语言在问题描述上是更高级的和更有效率的，能更直观地反映人的思维结构和概念描述方式。然而，由于Prolog语言不包含类型说明机制，使得它的表达能力很有限，而且，Prolog程序不具有清晰的说明性语义，甚至还包含了复杂的过程语义。这意味着分析、转换、优化、验证、调试Prolog程序非常困难，程序员的负担很重。Gödel语言的出现可以改变这种状况。通过比较Prolog语言和Gödel语言，我们可以看到Gödel语言一些好的设计...Gödel is a declarative and useful logic programming language after Prolog . As we know, Prolog is more powerful and effective in expressing a exact problem than other programming language. It is more concisely for Prolog to express the meaning and relation of the concepts. But Prolog is not sufficiently expressive as the logic it used is untyped. Furthermore, Prolog programs have no declarati...学位：工学硕士院系专业：计算机与信息工程学院计算机科学系_计算机应用技术学号：20022802

Type system in programming language Gdel

Gdel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑,引入了一个多态多类的类型系统和多种新的语言成分,支持抽象数据类型和模块化程序设计等技术,语言本身也具有很强的说明性语义。详细介绍了Gdel语言的类型系统及其构造,对在逻辑程序设计语言中引入类型系统的作用进行了一些深入的分析和讨论。Gdel is a declarative logic programming language.It is based on first order logic with a polymorphic many-sorted type system.Having a strong declarative semantic Gdel can be used to realize abstract data types and programming in modules.The type system was introduced and the function of the type system in a logic programming language was discussed

Application of Intelligent Algorithm to Vehicle License Plate Recognition

文章介绍了利用车牌的纹理特征和区域形状特征检测车牌区域情况。为提高区域检测的正确性,利用新的改进的主动轮廓模型,利用先验知识确定精确的车牌边界。在精确的车牌区域中切割出车牌中的单个字符,最后利用支持矢量机对字符进行分类识别。This paper presents a license plate recognition method to extract the initial region by utilizing the texture character and region shape character of a plate. To improve the region extraction accuracy, the paper uses newly-improved active contour models and a priori knowledge to decide accurate plate border. Because of the accuracy of the plate region extraction, the character can be extracted exactly from the plate region. Finally, support vector machine is used to recognize the characters

Research on Methods and Application of Probabilistic Safety Assessment for Robot Manufacturing Digital Workshop Based on RPN method

以机器人制造数字化车间的制造单元为基础,通过故障树方法对危险进行分析,识别制造单元的危险源和危险事件,并结合RPN(风险优先数分析)方法对各单元风险进行定量评估,得出各单元风险的危害性。在安全评估的基础上,针对所识别的各制造单元风险,结合风险降低要求给出相应的风险降低措施。最后,以装配单元的装配机器人为例进行安全评估,结合RPN方法对机器人伤人的风险进行定量计算,并结合风险控制要求,通过增加安全光栅系统来降低人员受伤害的风险,结果表明安全光栅系统能够很好的对风险进行管控,验证了基于RPN的安全评估方法的可行性和可操作性。</p