排序方式: 共有14条查询结果,搜索用时 15 毫秒
1.
论述了逻辑程序设计中剪枝算子的作用及传统剪枝算子的过程性语义和说明性语义不一致问题;介绍了新型逻辑程序语言〔淑划中的COTRTT11t剪枝算子;通过引入一组定义描述其过程语义,并进一步阐述了剪枝算子和延迟计算规则之间的关系,讨论了Godel语言的剪枝策略及控制机制,从而为逻辑程序语言的实现提供了依据。 相似文献
2.
3.
结合编译原理课程教学工作,从课程特点、教学内容的合理取舍、语法和语义分析等难点内容的讲授方式、实验内容的设计等方面进行深入探讨,对教学过程进行总结,讲述如何提高教学质量。 相似文献
4.
5.
6.
基于CAN总线的锂离子动力电池组管理系统 总被引:3,自引:0,他引:3
本文描述了一种新的动力电池组管理系统,该系统基于CAN总线技术,具有电池组状态监控、均衡充电、电池荷电量评估等功能,可以提高电池组的使用效率及寿命,保证电池组和电动汽车行车的安全. 相似文献
7.
8.
9.
10.
浅谈企业人才资源的开发途径 总被引:1,自引:0,他引:1
从正确地选拔和培养人才、吸引人才、留住人才等方面浅议企业人才资源开发的主要途径,从而阐明了人才资源是一切生产资源中最重要的因素,是企业重要的战略资源,企业只有开发高质量的人才资源,才能满足企业降低成本的需要,增强企业的竞争力,使企业在知识经济的大潮中立于不败之地。 相似文献