摘要:译后编辑是改进机器翻译译文质量的主要手段．本文提出一个智能译后编辑器的设计原理和实现算法．该编辑器以意段为基本处理单位，既可以形成适于反向推理的译后编辑反馈信息，为机译系统知识的自完善提供处理依据，又可以实现源译文句子级和意段级的多窗口同步显示．同时还利用智能机译系统对句子／短语的多解译文和单词的多义查询能力，使用户只要在误译文的多个候选译文中选择正确译文，从而大量减少人工删除误译文和插入正确译文的操作，并通过设置多个意段译文位置的自动调整机制，提高译后编辑的效率．

摘要:实用ＰＲＯＬＯＧ—ＤＢＭＳ系统实现中的首要问题是要保证系统的正确性．然而，从数据库中提取冗余数据不但严重地影响系统的效率，而且影响系统的正确性．本文所提出的子句间优化技术可以解决这一问题．因为采用这一技术可以保证仅从数据库中提取有用事实并且没有任何元组多于一次被提取．

摘要:动生成测试序列始终是软件工程中一项极为困难的工作．国际标准化组织（ＩＳＯ）一直致力于协议一致性测试方法与形式化描述技术的研究．本文讨论了基于形式化描述的协议测试序列生成方法中的问题，特别是提出了“部分Ｔ序列叠加算法”对使用ＵＩＯ序列生成测试序列的方法做了进一步改进，大大减少了测试开销．

摘要:本文简单介绍了超级文本及超级媒体的概况，分析了现有超级文本系统存在的问题．作者设计了超级媒体动态链接的开放模型─—ＤＬＯＨＭ，解决了上述问题．同时，ＤＬＯＨＭ利用“页”作结点，采用结点和链分离的方法建立了系统的数据模型，利用“页”结构，使得各种媒体信息共存于一页之中，做到了声、文、图一体化．

摘要:本文对Ｐｅａｒｌ提出的Ａ^*算法所使用的可采纳性启发式函数ｈ的准确性和期望代价之间的精确关系的两个定理做了介绍，并提出和证明了为确保这两个定理正确性的附加条件．

摘要:实时屏幕管理是作者“七·五”期间独立提出并潜心研制的专用实时母系统的重要功能．作为一个精巧构筑起来的实时多窗口系统，它所提供的虚显示，虚键盘和虚终端等机制，在各种专用实时系统，特别是实时监测和实时测控系统中，应用前景极其广阔．本文阐明其设计和实现中的若干问题．

摘要:类比转换完成将已知情况（称基）的知识引入到相似新情况（称靶），从而求解靶或学习到关于靶的新知识．本文的类比转换原理讨论了如何选择最佳映射，怎样在靶中创建对象和谓词，以及转换基中那些命题到靶．并基于该原理设计了类比转换的计算模型，实现了类比转换器ＡＴＥ．实例分析表明ＡＴＥ生成的类比结论既具创造性，又有较高可信度．

摘要:本文给出了一种规划移动机器人在自然地形中运动的新方法，该方法利用ＮＵＲＢＳ曲面模拟自然地形地貌，以ＴｒｉｍｍｅｄＮＵＲＢＳ曲面描述带有障碍物或不可逾越区域的地形，在综合考虑机器人动力学、地形及障碍描述和曲面特性等各方面因素的情形下，运用测地线的概念和计算方法以及Ａ＊搜索算法，获得了在自然地形环境下任意两点间的距离最短路径和时间最优路径，所有的路径均由ＮＵＲＢＳ曲线表示，实验结果表明，该方法在性能与效率上均十分令人满意．

摘要:如何有效地获取领域专家的知识一直被视为人工智能中的难题．本文的目的在于提出一种关于知识获取的基本观点，并以此观点为基础来研究知识获取问题．这个观点的基本内容是：象波尔的原于模型一样，在专家的知识周围有一些知识层．它们是认识和获取专家知识的突破口或入口．本文将这些知识层看成是知识云，同时将上述观点视作知识云假设．我们将讨论知识云的内涵，研究知识云假设的合理性，最后将阐述知识云这一概念在知识获取中的意义．

摘要:程序的实时行为依赖于其所在的实时环境，诸如所采用的编译程序、调度程序、通信媒介以及主机等．本文设法甩模拟环境的手段来刻化程序的实时行为，从而为实时语义提供了一种通用的方法．文中所采用的逻辑是通常的线性时态逻辑，但引入了各种时间变量．