论文部分内容阅读
软件的代数说明
【机 构】
：
中国科学技术大学
【出 处】
：
全国软件理论与计算理论第三次学术会
【发表日期】
：
1987年期
其他文献
本文在对实例相似性进行深入研究之后，提出了实例特征的概念和基于实例特征的实例相似性判断的两个论点．在这两个论点基础上提出了面向设计任务的基于神经网络的实例检索模型和
该文介绍作者自行研制的GKD-PROLOG系统的组织，设计考虑及设计技术。最后结合研制体会提出进一步提高效率和更深入研究工作的一些看法。（本刊录）
该文论述了一个在通用计算机上运行的数字图象几何校正软件组的模型、方案与设计。该软件组与专用图象处理系统配合使用，可获得比专用系统高得多的处理速度，从而降低成本，加快处