摘要：论述了逻辑程序设计中剪枝算子的作用及传统剪枝算子的过程性语义和说明性语义不一致问题;介绍了新型逻辑程序语言Gdel中的commit剪枝算子;通过引入一组定义描述其过程语义,并进一步阐述了剪枝算子和延迟计算规则之间的关系,讨论了Gdel语言的剪枝策略及控制机制,从而为逻辑程序语言的实现提供了依据。

摘要：元程序设计是许多逻辑程序语言具有的重要特点,它可以有效地实现程序自解释自调节功能,研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义.Prolog语言与Gdel语言分别支持使用非基本表示与使用基本表示的元程序设计功能.本文通过对这两种语言中的元程序设计方法进行研究,讨论了基本表示与非基本表示的主要特点和实现机制,具体分析了Prolog语言与Gdel语言元解释程序的构造方法以及部分求值功能实现.

摘要：结合编译原理课程教学工作,从课程特点、教学内容的合理取舍、语法和语义分析等难点内容的讲授方式、实验内容的设计等方面进行深入探讨,对教学过程进行总结,讲述如何提高教学质量。

摘要：近年来,随着我国大容量公共交通设施(高速铁路、城际轨道、城市轨道交通等)的快速发展,以及新能源交通工具的大力推广,绿色交通有了长足的发展,但距离碳达峰、碳中和目标(以下简称“双碳”目标)仍有一定差距。当前我国城市交通在实现绿色发展路径上面临着哪些挑战?如何创建更加安全畅通的道路交通环境,提升出行体验感?近日,本刊采访了中国城市规划设计研究院城市交通研究分院院长助理伍速锋。

摘要：在多态多类的一阶逻辑基础之上,围绕类型系统、模块系统、控制机制、元程序设计和输入/输出部分对Gdel语言功能进行分析.重点比较了逻辑程序设计语言Gdel与Prolog的联系与区别,通过比较分析,表明由于摒弃了Prolog语言中的非逻辑成分,引入了多种新的语言成分,Gdel语言具有更好的说明性语义和执行效率.

摘要：主要针对目前制约电动汽车发展的瓶颈问题——电动汽车能源系统展开研究,采用模块化的思想对锂离子动力电池进行系统设计,包括单体电芯集成、模组热管理、均衡控制和结构设计等几个方面的内容。测试数据显示该电池模组设计方案成熟可靠,应用效果良好,可满足实际应用的需要。

摘要：文章以一种新型的逻辑程序设计语言——G+del语言为例,对逻辑程序设计语言与现代软件工程主要思想和方法的结合情况进行了初步探讨。G,del语言通过引入模块系统、类型系统和延迟计算机制等不同于以往逻辑程序的新机制,能够支持现代软件设计的一些主流方法。模块系统提供了组织大规模程序的方法,并通过结合类型系统实现了对抽象数据类型程序设计的支持,从而能够支持面向对象程序设计;延迟计算则使利用该语言所编制的软件在可重用性方面获得提升。

摘要：Gdel是一种发展中的逻辑程序设计语言,目前还没有开发出编译器。Gdel语言的类型系统独特于通常的逻辑程序设计语言,语义上已初步形成了相应的描述方法,建立了严格的理论基础。按照传统的方法,逻辑程序的运行机制和Gdel语言的多态性决定了一些变量的类型和语义只能在运行时才能确定,把这类变量的类型检查放到程序运行中处理,势必增加许多额外的计算。提出了一种处理Gdel语言类型系统的编译技术。针对语言的类型,对其相关语法进行适当修改,通过类型推断,把变量类型的检查工作提前到编译阶段完成,可以较好地处理其变量类型的语义问题,同时减少了运行时类型检查工作,从而提高程序的运行效率。

摘要：Gdel语言是在Prolog语言基础上发展而来的一种新型逻辑程序设计语言,而控制机制是逻辑程序设计语言的核心内容.针对Prolog语言控制机制存在的问题,引出了Gdel语言中新的控制机制,包括DELAY延迟机制和剪枝操作然后通过实例分析,表明了这些新机制能有效地避免递归谓词的低效或无限循环调用,并能够实现子目标的协同执行,从而提高系统的运行效率.针对这一有效改进,在对Gdel语言控制机制比较深入研究的基础上,最后给出了Gdel语言控制机制的实现算法.该算法已在研发的Gdel语言编译系统中得以实现,通过实例测试,验证了算法具有较高的效率.

摘要：本文针对"编译原理"课程的教学实际,分析了该课程的特点及其教学意义和实验课程的重要性,给出了实验内容的典型设计及其实施方案,最后对实践教学工作进行思考和总结,以期不断提高课程质量。