摘要:本文给出了一个基于二进小波变换的双眼视觉匹配算法．与传统的算法相比，该算法具有更高的匹配精确度和更快的匹配速度（提高１个数量级左右）．与作者过去提出的方法相比，本文又推导出两个有效的新的约束──平滑分量Ｌａｐｌａｃｅ约束；它们与平滑分量梯度约束一起，使得引起误匹配的可能对应点大量减少，从而提高了匹配的精确度和速度．另外，对原立体图对进行二进小波变换，得到原图对的一个多频道表示；对变换系数的分析使我们得到了有效的消除噪声，再提取出边缘的方法，提出的边缘将作为对应点匹配的基本特征．匹配的一些基本约束，如边缘方向大致一致等，已经包括在小波变换的系数中．本方法是解决立体视觉匹配问题的一个十分有效的模型．

摘要:本文证明在ＰＬＮ网络中适当给定广义Ａ－学习律，可使网络满足如下条件：（１）所有训练样本都是稳定状态；（２）每个稳定状态具有最大的吸引域；（３）具有很快的收敛速度．由此可见，将这种ＰＬＮ网络作为联想记忆器是很理想的．

摘要:本文介绍了我们独立研制的软件产品ＶＡＸＥＬＮＳＭＧ，它深入Ｉ／Ｏ底层，精心地设计数据结构与加工算法，在实时系统里填补了虚显示、虚键盘、虚终端等空白．

摘要:ＣＡＰＰ作为ＣＡＤ与ＣＡＭ的中间桥梁，是ＣＩＭＳ必不可少的重要环节．本文针对开发通用性ＣＡＰＰ专家系统过程中，产品零件表示和工艺规程设计这两个关键问题，根据事物之间的相似性原理，提出了面向对象的产品零件和工艺规程的知识表示方法，以满足ＣＡＰＰ系统对产品零件信息表示的完整性、通用性、逻辑可分解性、动态性和相容性等要求，并在此基础上提出了ＣＡＰＰ专家系统的混合推理机制，包括单继承、多继承、非单调继承、类比推理等．

摘要:本文提出在ＬＦ类型理论中定义一组相互递归类型的方法，并对递归类型赋予操作语义．这样，递归类型不仅可以表示通常的递归数据结构，还可描述一般的递归问题求解、递归证明构造和递归程序构造过程．

摘要:ＸＹＺ系统是一个ＣＡＳＥ工具系统．它的核心是一个时序逻辑语言ＸＹＺ／Ｅ．ＸＹＺ／Ｅ有一基本的表示状态转换的低级形式ＸＹＺ／ＢＥ（或用于表示并发的ＸＹＺ／ＣＥ）及一个结构化的高级形式ＸＹＺ／ＳＥ．它们均有其相应的图形表示．ＸＹＺ／ＣＦＣ与ＸＹＺ／ＰＡＤ是分别以ＸＹＺ／ＢＥ（或ＸＹＺ／ＣＥ）及ＸＹＺ／ＳＥ用逐步求精方法进行程序设计的交互式的图形环境．每步均可由图形程序自动生成时序逻辑形式的程序．

摘要:本文讨论了一种用粒子系统模拟喷雾效果的方法．该方法应用于实际电脑动画广告中，制作了喷撒农药的片段．喷雾体是一个粒子系统，每个粒子是一个具有较高透明度的正方形微片．喷雾体随喷口在空间运动．微片的大小、透明度和运动学参数的规定决定了喷雾体的形状和视觉效果．喷雾体所占有的象素的值是和该象素上的视线相交的所有微片的亮度决定的．本文提出的模拟模糊物体的方法，可推广到对其他模糊物体，如烟、水、云等的模拟．

摘要:ＪＳＬＣ系统是一个规格说明语言ＪＳＬ的转换系统．它的实现反映了一种规格说明语言的转换方法．本文详细介绍了ＪＳＬＣ系统的组成结构、实现基础和技术要点．

摘要:基于ＭＩＳ—ＧＳＭ，提出ＭＩＳ的环境识别、层次分析、过程分析与纵横分析的规范化过程，并对这一过程作详尽的讨论．