逻辑语言剪枝算子的过程语义及其实现

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

浅谈我国电气自动化的现状及发展前景

电气自动化工程相关技术在各行各业中发挥着十分重要的作用,也得到了广泛的推广与应用。为了满足社会生产力的发展需求,让电气工程自动化技术应用更加广泛,还需要相关研究不断深入。文章主要对现阶段电气工程自动化应用情况及发展情况进行了全面分析,并针对当下相关技术中存在的问题提出了有针对性的措施进行解决,以期能够促进我国电气工程自动化水平的进一步提升。     

编译原理课程教学之思考

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

高压变频器在超超临界660MW机组凝结水泵中的应用

高压交流电动机变频调速技术以其卓越的调速性能、显著的节电效果以及广泛的适用性,成为火力发电厂节能降耗技改工程的首选。为了今后其它超超临界机组凝结水泵进行变频改造,并使变频改造后的高压电动机和变频器能够安全、稳定、高效的运行,有必要对变频改造工程实践中一些经验进行总结,以便作为借鉴。     

基于CAN总线的锂离子动力电池组管理系统

本文描述了一种新的动力电池组管理系统,该系统基于CAN总线技术,具有电池组状态监控、均衡充电、电池荷电量评估等功能,可以提高电池组的使用效率及寿命,保证电池组和电动汽车行车的安全.     

Gdel语言对现代软件工程方法的支持

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

汽车电动助力转向系统的现状与发展

本文通过研究国内外汽车电动助力转向系统的发展现状,重点阐述电动助力转向系统的分类、系统结构、工作原理、主要部件、技术参数及性能特点,并探讨了发展趋势。     

浅谈企业人才资源的开发途径

从正确地选拔和培养人才、吸引人才、留住人才等方面浅议企业人才资源开发的主要途径,从而阐明了人才资源是一切生产资源中最重要的因素,是企业重要的战略资源,企业只有开发高质量的人才资源,才能满足企业降低成本的需要,增强企业的竞争力,使企业在知识经济的大潮中立于不败之地。