• 1999年第10卷第12期文章目次
    全 选
    显示方式: |
    • 基于测试执行的失效数据建模研究

      1999, 10(12):1233-1237.

      摘要 (3801) HTML (0) PDF 367.97 K (2853) 评论 (0) 收藏

      摘要:目前,软件可靠性研究和实践者普遍感到,由于缺乏失效数据,严重影响了工作的进展.该文通过研究和分析软件测试与软件可靠性度量之间的关系,提出了一种基于测试执行的失效数据模型JBFDM(Jade Bird failure data model),并探讨了基于此模型的数据收集和管理技术.最后,给出了基于此模型的失效数据收集工具JBFDCollector.

    • Kailar逻辑的缺陷

      1999, 10(12):1238-1245.

      摘要 (3687) HTML (0) PDF 467.49 K (3244) 评论 (0) 收藏

      摘要:近年来,电子商务协议的设计逐渐成为热点.可追究性是指电子商务协议迫使个人或组织对自己在电子交易中的行为负责的能力.缺乏可追究性,电子交易容易引起争议.因此,Rajashekar Kailar提出了一种用于分析电子商务协议中可追究性的形式化分析方法,简称Kailar逻辑.该文指出这一逻辑的缺陷:(1) 不能分析协议的公平性;(2) 对协议语句的解释及初始化假设是非形式化的,存在局限性;(3) 无法处理密文.

    • 一种新颖的自然语言主题转换精确定位方法

      1999, 10(12):1246-1252.

      摘要 (3602) HTML (0) PDF 475.76 K (3308) 评论 (0) 收藏

      摘要:自然语言的主题转换是自然语言理解的一个重要线索.语言处理通常是针对不同的主题有不同的数据库和处理方法.因此,如何找到文本中的主题转换点是语言处理中的一个重要内容.该技术在语言理解、文本自动索引以及语言模型的建立等方面都有重要意义.该文以文本主题转换时的词汇突变为表征,提出和定义了反映词汇突变的4个参数,将这4个参数作为输入,利用BP网作为判决工具,建立了一个在不同尺度下文本词汇变化的层次结构模型,实现了一种精确的文本主题转换点的定位方法,其定位精度在一个句子左右.

    • 一个计算凸多面体间碰撞点的快速算法

      1999, 10(12):1253-1258.

      摘要 (3718) HTML (0) PDF 361.18 K (3142) 评论 (0) 收藏

      摘要:计算两个物体之间的碰撞点是碰撞响应的基础,也是一项系统开销很大的任务.因此,研究碰撞点快速求解算法对碰撞响应的实时性具有重要意义.该文提出了一个算法,当在虚拟环境中检测到碰撞时,应用此算法可以在碰撞响应之前快速计算出两个物体之间的准确碰撞时间,并能计算出此时两个物体之间的碰撞点.

    • 一个交互式的Fortran77并行化系统

      1999, 10(12):1259-1267.

      摘要 (3355) HTML (0) PDF 578.70 K (3128) 评论 (0) 收藏

      摘要:并行化编译器可以把现有的串行程序自动或半自动地转换为并行程序.现有并行化系统的自动并行化效果与手工并行化的效果相比还有一定的差距,这是由于并行化工具的分析能力不足以及程序中所固有的语义信息无法被并行化工具所理解而造成的.TIPS(Tsinghua interactive parallelizing system)系统通过提供一些友好的交互式工具,使用户与编译器紧密协作,是提高并行化系统的能力和效率的一条有效途径.

    • 一种理性Agent的BDI模型

      1999, 10(12):1268-1274.

      摘要 (3722) HTML (0) PDF 465.38 K (3613) 评论 (0) 收藏

      摘要:该文通过引入假设信念,解释愿望和意图在Agent思维状态的认知方面的含义,进而定义愿望和意图,并引入规划,建立理性Agent的动态BDI模型.与Cohen和Levesque,Rao和Georgeff,Konolige和Pollack等人的工作相比,克服了对信念、愿望和意图的反直观解释问题,解决了关于愿望和意图的无为而治和副作用问题,强调了愿望的激发与维护作用,表达了信念、愿望和意图三者间的动态约束与激发关系.

    • 基于超立方体的静态任务调度

      1999, 10(12):1275-1278.

      摘要 (3457) HTML (0) PDF 312.16 K (3069) 评论 (0) 收藏

      摘要:该文给出一个基于超立方体的静态任务调度算法.在算法的设计中,首先建立了任务优先级表和处理机优先级表,任务在调度时总是顺次调度高优先级任务,然后再从处理机优先级表中选择能使该任务最早开始执行的处理机.最后,分别给出了基于LU分解的任务图与随机生成的任务图的调度结果.

    • 基于神经网络的汉语口语多义选择

      1999, 10(12):1279-1283.

      摘要 (3605) HTML (0) PDF 291.82 K (2904) 评论 (0) 收藏

      摘要:汉语口语分析是交互式话语处理中的重要环节.在汉语中,有意义的最小单位是词,因此多义选择是口语分析系统必须首先解决的问题.该文提出了一种基于精简循环网络的汉语口语多义选择方法,并从词汇的语法、语义分类所固有的内在联系出发,给出了语法、语义的一致化处理策略.通过使用会面安排领域的口语语料进行实验,多义选择的开放测试的正确率为96.9%.

    • 分布式工作流系统FlowAgent的动态任务调度

      1999, 10(12):1284-1289.

      摘要 (3094) HTML (0) PDF 509.66 K (3012) 评论 (0) 收藏

      摘要:实际的企业业务要求WFMS(workflow management system)必须能把分布在企业异质环境中的人工和自动任务集成到一个流程中,以帮助企业实现业务的全面流程化.但目前大多数WFMS都基于集中的数据库系统,采用静态的组织结构定义.为实现全分布任务间的协同工作,FlowAgent系统设计了丰富的动态任务调度逻辑和一个适合于工作流动态特性的业务描述结构.

    • 非正则精确模型的布尔操作

      1999, 10(12):1290-1297.

      摘要 (3456) HTML (0) PDF 848.60 K (3479) 评论 (0) 收藏

      摘要:为了加强造型系统的表达能力,实现对线框模型、曲面模型和实体模型的统一表示和操作,该文采用非正则精确模型作为几何对象表示的数据结构,并给出了相应的布尔操作实现算法,在保证效率和精确性的同时确保鲁棒性是算法的目标.作为一个特征造型系统的几何核心,该算法已经在基于NT平台的特征造型系统GS-CAD98中实现.

    • 用于传感器非线性误差校正的新颖神经网络

      1999, 10(12):1298-1303.

      摘要 (3463) HTML (0) PDF 332.63 K (3309) 评论 (0) 收藏

      摘要:该文阐述了用神经网络校正传感系统非线性误差的原理和方法,提出了一种新颖的简化小脑模型神经网络(SCMAC)及其模型、算法与实现技术.模型、算法采用直接权地址映射技术,以训练样本的输入为地址,建立起输入与权重的关系.任意输入作为相近的权地址,即可找到对应的权,经过联想插补后可获得高精度输出.此外,采用磁盘文件存储、寻址权重等方法,避免了微机内存溢出,使得实现容易.最后给出了一个仿真实验.实验结果表明,用SCMAC校正后,可使传感器的非线性误差减少到近似为零.

    • 模糊神经网络及其在时间序列分析中的应用

      1999, 10(12):1304-1309.

      摘要 (3421) HTML (0) PDF 362.13 K (3544) 评论 (0) 收藏

      摘要:给出了一种新型的模糊神经网络模型.该模型不需要领域专家的知识进行指导,而是通过对样本竞争分类产生模糊规则.每类样本对应于一条模糊规则,每条模糊规则的后件部分为一个对本类样本进行过学习训练的神经网络.文章以模糊神经网络在时间序列分析中的应用为例,通过与传统的时间序列分析方法以及前向神经网络方法的对比,说明了新型模糊神经网络的有效性.

    • 基于遗传策略和神经网络的非监督分类方法

      1999, 10(12):1310-1315.

      摘要 (3441) HTML (0) PDF 435.56 K (3749) 评论 (0) 收藏

      摘要:文章提出了一种新的基于遗传策略和模糊ART(adaptive resonance theory)神经网络的非监督分类方法.首先,利用原有的训练样本对模糊ART神经网络进行非监督训练,然后,采用遗传策略为模糊ART神经网络增加各类族边界邻域内的训练样本点,再对模糊ART神经网络进行有监督训练.这种方法解决了训练样本在较少条件下的ART系列神经网络的学习与分类问题,提高了ART系列神经网络的分类性能,并扩展了其应用范围.

    • Bézier曲面的函数复合及其应用

      1999, 10(12):1316-1321.

      摘要 (3077) HTML (0) PDF 444.90 K (3178) 评论 (0) 收藏

      摘要:目前有两种常用的Bézier曲面片,分别称为三角和四边Bézier曲面片,它们分别用不同的基函数表示.本文通过移位算子和函数复合的方法,得到了两个关于这两种Bézier曲面片的结果.一个是四边Bézier曲面片与一次三角Bézier函数的复合,另一个是三角Bézier曲面片与双线性四边Bézier函数的复合.在每一种情况中,复合所得到的Bézier曲面片的控制顶点是原来Bézier曲面片的控制顶点的线性组合.移位算子的应用使得相应的推导过程变得简洁和直观.这两个结果的应用包括:两种Bézier面片间的转化

    • 基于智能线模型的管线特征定位搜索策略研究

      1999, 10(12):1322-1328.

      摘要 (3443) HTML (0) PDF 611.73 K (3454) 评论 (0) 收藏

      摘要:特征定位问题经常出现于各种工程CAD的系统研究中.为提高管道CAD系统中的特征定位效率,文章根据平剖图中管线的特点,提出了管线特征定位的若干策略,介绍了多种基于智能线模型的启发式搜索方法,使得管线特征的自动定位在局部范围内成为可能.

当期目录


文章目录

过刊浏览

年份

刊期

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