摘要:本文介绍了软件过程建模的基本概念，提出了对软件过程建模语言的基本要求并简要介绍了几个有代表性的过程建模语言，给出了一个基于时序逻辑的形式化过程建模语言ＸＹＺ／ＰＭＥ，该语言是时序逻辑语言ＸＹＺ／Ｅ的子语言，它支持以角色为中心的逐步求精的过程建模方法，可在统一的形式框架内表示不同抽象级的过程模型．软件过程，软件过程建模，过程建模语言，时序逻辑，程序设计语言．

摘要:本文提出了一个综合多种神经网络理论的学习算法ＦＴＡＲＴ（ｆｉｅｌｄｔｈｅｏｒｙ—ｂａｓｅｄａｄａｐｔｉｖｅｒｅｓｏｎａｎｃｅｔｈｅｏｒｙ），它将ＡＲＴ（ａｄａｐｔｉｖｅｒｅｓｏｎａｎｃｅｔｈｅｏｒｙ）算法、ＦｉｅｌｄＴｈｅｏｒｙ和ＡＲＴＭＡＰ等算法的优点有机结合，并以样本在实例空间出现的概率为启发信息修改分类．ＦＴＡＲＴ由于采用了不同于其它算法的冲突解决和动态扩大分类区域的方法，因此取得了较好的效果．本文还对实现ＦＴＡＲＴ算法的结果进行了验证．

摘要:本文研究彩色地图图象中不纯净的颜色聚色问题，该问题是对地图图象进行自动识别的一个关键问题．本文对地图图象的颜色散射现象进行了分析，提出了对地图图象聚色的算法，该算法已经在ＩＢＭ４８６等微机上编程实现了，效果很理想．

摘要:本文提出一种多媒体数据表达模型：演员模型，该模型建立在多媒体数据库概念模型基础之上，基于库所—时间Ｐｅｔｒｉ网，描述多媒体对象之间的时态关系，同时引入与变迁相关联的场景表达式，描述多媒体对象之间的空间关系，从而模拟多媒体数据的时空编组，文中形式化地定义了演员模型的抽象模型和实现模型，提出多媒体对象的表达算法以及多媒体数据库的查询模型．

摘要:获取专家在决策、问题求解过程中使用的决策策略和问题求解规则是知识获取的核心目标．本文以“ｔｈｅＭｏｖｉｎｇＢａｓｉｓＨｅｕｒｉｓｔｉｃｓ”模型为背景，介绍了自动获取专家在分类判断任务中运用的判断策略的算法思想与系统Ｐｏｌｙｎｏｍｅ的组成．

摘要:广州赛马场赛马智力竞赛电脑系统是一个大型的实时数据采集、处理和控制系统．本文介绍了该系统的主要设计思想，说明了该系统的系统控制机的设计及其基于ＶＭＳ的实现．该系统提出的系统控制机是解决Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ计算系统中进程同步问题的一种新思路．

摘要:部分求值在软件优化中有着重要的作用，而增量式计算是避免重复计算的一种技术．本文基于部分求值和增量式计算的技术，实现了一个ＬＩＳＰ语言的增量武部分求值器，使得函数例化尽量在前次已经产生的剩余程序的基础上进行，从而很好地提高了效率．

摘要:本文讨论了类比在问题求解中的应用问题．给出了应用反应块识别类比源以及自动生成反应块的算法．本文还给出了一种解法序列分割方法，用于类比源的获取及存储．这些思想和方法已在符号积分求解与学习系统ＩＳＬＳ（ｉｎｔｅｇｒａｔｉｏｎｓｏｌｖｉｎｇａｎｄｌｅａｒｎｉｎｇｓｙｓｔｅｍ）中实现．

摘要:本文基于非线性动力学，特别是托姆的形态发生学思想，针对视觉学习，给出了一种吸引分岔知识网模型，用于解决知识表示和获取问题．通过引入皮亚杰发生认识论中的概念，模型拥有的学习功能包括强化、同化、顺应、聚合、分裂和遗忘；这样就给出了一个学习视觉知识的完整方法．３个应用系统的结果表明，该模型及其学习方法，对于解决实际问题，是有效和适用的．