论文部分内容阅读
ＧＰＳ船舶动态监测中心数据处理终端
【机 构】
：
大连海运学院
【出 处】
：
第三届全国电子技术应用大会
【发表日期】
：
1993年期
其他文献
该文以关系代数为工具，介绍了几种证明程序正确性的技术。程序正确性是指程序相对于其说明（Specification）是正确的。这几种方法分别是“Mills”方法、“Hoare”方法及“道路覆
本文在对实例相似性进行深入研究之后，提出了实例特征的概念和基于实例特征的实例相似性判断的两个论点．在这两个论点基础上提出了面向设计任务的基于神经网络的实例检索模型和
该文介绍作者自行研制的GKD-PROLOG系统的组织，设计考虑及设计技术。最后结合研制体会提出进一步提高效率和更深入研究工作的一些看法。（本刊录）