• 1996年第7卷第6期文章目次
    全 选
    显示方式: |
    • XYZ系统在电信领域中的应用

      1996, 7(6):321-330.

      摘要 (3606) HTML (0) PDF 574.94 K (3031) 评论 (0) 收藏

      摘要:最近几年,在软件工程界内部有一种趋势,这就是开发以面向具体领域的CASE环境.作为这样的一种CASE工具,XYZ系统是由一时序逻辑语言XYZ/E和一组基于该语言的工具集构成.在XYZ系统中有很多的工具,它们被用来满足不同的需要.众所周知,SDL(specificationanddescriptionlanguage)是电信领域中的一个国际标准语言,而且有关基于该语言的环境已在开发,但是有关该语言的验证工作,特别是利用有关时序逻辑语言进行验证的工作还不多.作为一种尝试,本文将利用XYZ系统中的一个子系统XYZ/VERI,对SDL所描述的有关电信领域中的例子进行验证.

    • 基于Fourier级数描述器的多种汉字字形自动生成

      1996, 7(6):331-338.

      摘要 (3809) HTML (0) PDF 1.22 M (3825) 评论 (0) 收藏

      摘要:计算机在电子印刷、广告、包装等领域应用的迅速发展迫切需要众多的不同风格的汉字字形.本文介绍一种使用Fourier级数描述汉字轮廓、对不同字形的风格进行复合以生成多种风格的字形的新方法,所提出的方法还可用于模仿手写体汉字.

    • 适应噪声环境的解释学习算法

      1996, 7(6):339-344.

      摘要 (3347) HTML (0) PDF 402.88 K (3388) 评论 (0) 收藏

      摘要:在现实世界里,AI系统难免受到噪声的影响.系统有效工作与否取决于它对噪声的敏感性如何.解释学习EBL(explanation-basedlearning)也不例外.本文探讨了在例子受到噪声影响的情况下,解释学习的处理问题,提出了一个算法NR-EBL(noise-resistantEBL).与现有的解释学习方法不同,NR-EBL在训练例子含有噪声时仍然可以学习,以掌握实际的问题分布;和类似的工作不同,NR-EBL指出了正确识别概念对于噪声规律的依赖性,试图从训练例子集合发现和掌握噪声的规律.可以相信,在识别概念时,借助于对噪声规律的认识,NR-EBL可比EBL和类似工作有更高的识别率.NR-EBL是解释学习和统计模式识别思想的结合.它把现有的解释学习模型推广到例子含有噪声的情形,原来的EBL算法只是它的特例.

    • 悖论逻辑的表演算

      1996, 7(6):345-353.

      摘要 (3006) HTML (0) PDF 585.44 K (3343) 评论 (0) 收藏

      摘要:悖论逻辑LP是一个超协调逻辑,发展超协调逻辑(LP)的目的是使得不会从矛盾推出任一命题,但它有一个主要缺点:就是一些在经典逻辑中有效的推理在LP中不再有效;极小悖论逻辑LPm能克服这个缺点,使得在没有矛盾的直接影响下超协调逻辑等价于经典逻辑.LP和LPm原来都只给出语义定义,虽然已有LP的证明论,但如何得到一个LPm的证明论仍是一个未解问题.本文提出了一种可靠与完全的表演算作为LP与LPm的证明论.

    • 机器定理证明的反向归约方法

      1996, 7(6):354-359.

      摘要 (3625) HTML (0) PDF 787.93 K (3561) 评论 (0) 收藏

      摘要:基于代数和递归函数理论,本文定义了代数递归谓词.代数递归谓词是一类广泛的谓词.基于数学归纳法,作者给出了证明代数递归谓词永真性的反向归约方法及相应的算法Reduction.由于采用反向归约方式来完成定理证明,从根本上消除了正向组合式定理证明所产生的组合爆炸,因而极大地提高了定理证明的效率.

    • Institution中合并理论的初始与终结语义

      1996, 7(6):360-363.

      摘要 (3147) HTML (0) PDF 278.97 K (3421) 评论 (0) 收藏

      摘要:本文在一些相当直观的条件下建立了Institution中合并理论与各因子理论的初始(终结)语义之间的对应关系.

    • 规则向量投影算法──一种归纳机器学习方法

      1996, 7(6):364-370.

      摘要 (3463) HTML (0) PDF 438.34 K (3468) 评论 (0) 收藏

      摘要:为了支持在事实不完全或不充分环境中的有效推理,作者提出了一种归纳机器学习方法,并设计了一个规则向量投影算法,使用木文介绍的算法可对原始知识实行归纳,生成含一系列全新分类概念和推理路经的网络知识库,基于该知识库的机器推理系统,在作出诊断决策时所需事实量可大为减少,因此在信息量不足的情况下仍能具有很高的推理性能.

    • 一种支持对象物理聚集的综合方法

      1996, 7(6):371-378.

      摘要 (3338) HTML (0) PDF 451.70 K (3187) 评论 (0) 收藏

      摘要:本文讨论了一种面向对象模型中同时支持按类查询和按复杂对象查询的新的对象物理聚集方法──综合法.该方法较常规聚集方法具有较佳的平均性能和最坏性能.

    • 基于BP和统计的混合法前馈型神经网络及其应用

      1996, 7(6):379-384.

      摘要 (3489) HTML (0) PDF 400.62 K (3496) 评论 (0) 收藏

      摘要:为避免BP算法本身易陷入局部极小值的缺陷,本文将具有新组合激活函数的BP法与传统的BP方法(标准和带动量项)分别与统计最优化方法相结合组成混合算法,将他们分别应用于天气预报和贷款之中,并进行了仿真比较,在预报准确率和学习速度方面获得了比较满意的结果.本模拟程序在Turbo-Pasca/6.0环境下编制,在IBMPC386和486机器上调试通过并运行.

当期目录


文章目录

过刊浏览

年份

刊期

联系方式
  • 《软件学报 》
  • 主办单位:中国科学院软件研究所
                     中国计算机学会
  • 邮编: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号