论文部分内容阅读
该文介绍作者自行研制的GKD-PROLOG系统的组织，设计考虑及设计技术。最后结合研制体会提出进一步提高效率和更深入研究工作的一些看法。（本刊录）
GKD—PROLOG系统及其实现技术（一）
【摘 要】
：
该文介绍作者自行研制的GKD-PROLOG系统的组织，设计考虑及设计技术。最后结合研制体会提出进一步提高效率和更深入研究工作的一些看法。（本刊录）
【机 构】
：
国防科学技术大学
【出 处】
：
中国计算机学会PROLOG语言学术讨论会
【发表日期】
：
1985年期
其他文献
其实早在非智能手机时代，电池充不上或充不满电的问题就已经频频上演。在智能机普及的现在，与充电相关的问题更是大有蔓延的趋势。如果你的手机也出现了类似问题，不妨从本文提供的线索分析并解决。 最易忽视的天气因素 智能手机是打发碎片化时间的最佳“武器”，因此无论严寒酷热、街头巷尾，到处都可看到边玩手机边走路的用户。问题是，智能手机所用的锂电池大都设置了低温保护机制，比如在冬季我们刚从室外回到家中，或在
对热电偶、电阻温度传感器、辐射温度计、光纤温度传感器、石英温度传感器作了较为详细的论述。着重阐明了其工作原理、适用范围及近期发展趋势。
Thermocouple, resistance
该文以关系代数为工具，介绍了几种证明程序正确性的技术。程序正确性是指程序相对于其说明（Specification）是正确的。这几种方法分别是“Mills”方法、“Hoare”方法及“道路覆
本文在对实例相似性进行深入研究之后，提出了实例特征的概念和基于实例特征的实例相似性判断的两个论点．在这两个论点基础上提出了面向设计任务的基于神经网络的实例检索模型和