• 1995年第6卷第3期文章目次
    全 选
    显示方式: |
    • 一种智能译后编辑器的设计及其实现算法

      1995, 6(3):129-135.

      摘要 (3526) HTML (0) PDF 520.61 K (3437) 评论 (0) 收藏

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

    • PROLOG—DBMS系统实现中的子句间优化技术

      1995, 6(3):136-141.

      摘要 (4032) HTML (0) PDF 365.42 K (3613) 评论 (0) 收藏

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

    • 一种基于形式化描述的测试序列生成改进方法

      1995, 6(3):142-147.

      摘要 (3288) HTML (0) PDF 390.82 K (3328) 评论 (0) 收藏

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

    • 超级媒体动态链接的开放模型

      1995, 6(3):148-154.

      摘要 (3504) HTML (0) PDF 486.51 K (3243) 评论 (0) 收藏

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

    • A*树搜索算法代价与误差关系的研究

      1995, 6(3):155-158.

      摘要 (3670) HTML (0) PDF 271.69 K (3395) 评论 (0) 收藏

      摘要:本文对Pearl提出的A*算法所使用的可采纳性启发式函数h的准确性和期望代价之间的精确关系的两个定理做了介绍,并提出和证明了为确保这两个定理正确性的附加条件.

    • 专用实时母系统与实时屏幕管理

      1995, 6(3):159-163.

      摘要 (3194) HTML (0) PDF 347.97 K (3196) 评论 (0) 收藏

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

    • 类比转换原理及其实现

      1995, 6(3):164-172.

      摘要 (3571) HTML (0) PDF 564.40 K (3279) 评论 (0) 收藏

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

    • 自然地形环境下移动机器人的一种路径规划方法

      1995, 6(3):173-178.

      摘要 (3721) HTML (0) PDF 367.04 K (3895) 评论 (0) 收藏

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

    • 知识云及其在知识获取中的意义

      1995, 6(3):179-185.

      摘要 (3298) HTML (0) PDF 496.88 K (3829) 评论 (0) 收藏

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

    • 模拟式实时语义

      1995, 6(3):186-192.

      摘要 (3118) HTML (0) PDF 445.32 K (2906) 评论 (0) 收藏

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

当期目录


文章目录

过刊浏览

年份

刊期

联系方式
  • 《软件学报 》
  • 主办单位:中国科学院软件研究所
                     中国计算机学会
  • 邮编:100190
  • 电话:010-62562563
  • 电子邮箱:jos@iscas.ac.cn
  • 网址:https://www.jos.org.cn
  • 刊号:ISSN 1000-9825
  •           CN 11-2560/TP
  • 国内定价:70元
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号