《计算机辅助工程》杂志问世

经交通部批准,由上海海运学院和交通部科技司联合主办的杂志《计算机辅助工程》已在最近正式出版。郑光迪副部长为该刊题词:“学习、创造、开发、攀登,为交通现代化铺路。”表示祝贺。该刊将及时报导交通及其它     

一种有效的非连通域轮廓跟踪算法

本文将T.pavlidis发展的连通域轮廓跟踪算法与图形分割算法相结合，发展了一种对任何复杂图形均有效的非连通域轮廓跟踪算法，并用于文字识别的预处理。文中还指出了T.pavlidis算法存在的缺陷，同时作了若干改进。     

PROLOG逻辑程序正确性证明

ＰＲＯＬＯＧ是一种逻辑程序设计语言，本文以这种语言为例，提出了谓词依赖性、等价式、谓词规范等概念，并且在此基础上对ＰＲＯＬＯＧ谓词加以分类。最后基于一阶谓词逻辑提出了ＰＲＯＬＯＧ程序正确性的一种证明方法。