• 2000年第11卷第6期文章目次
    全 选
    显示方式: |
    • 在 XYZ/ E中实现混成实时系统——蒸气锅炉控制问题的解决(英文)

      2000, 11(6):711-719. CSTR:

      摘要 (3829) HTML (0) PDF 484.26 K (4981) 评论 (0) 收藏

      摘要:XYZ/E是一个时序逻辑系统,同时也是一种时序逻辑程序设计语言。XYZ/E能够在统一的框架下表示高层和低层的描述,所以便于软件系统的描述与实现。该文对基于XYZ/E的蒸气锅炉问题进行了描述与实现,并介绍了为该问题实现的图形用户界面.

    • 柔性协同事务模型(英文)

      2000, 11(6):720-726. CSTR:

      摘要 (3672) HTML (0) PDF 423.76 K (4106) 评论 (0) 收藏

      摘要:提出了一个 CSCW领域中的高级事务处理模型—柔性协同事务模型 FCTM(flexible cooperativetransaction model) .首先给出了协同事务的定义 ,并描述了协同事务的状态 ,然后从协同事务的状态角度刻画协同事务之间、协同事务与外部环境之间的复杂依赖关系 ,最后用协同事务的状态依赖描述了可串行化正确性准则 .FCTM的优点在于用户能够根据不同的 CSCW应用领域的需求 ,灵活地定义协同事务的状态和状态依赖.

    • 网络中继系统的抽象测试方法研究(英文)

      2000, 11(6):727-734. CSTR:

      摘要 (3457) HTML (0) PDF 496.65 K (4849) 评论 (0) 收藏

      摘要:抽象测试方法为测试集设计者提供在不同条件下最合适的方法 .目前现有的测试方法主要为端系统设计 ,很少有关于中继系统的测试研究 .该文讨论中继系统的抽象测试方法 .首先引入被测中继系统模型 R-SUT,然后给出中继系统测试的概念结构 ,在此基础上提出几种中继系统抽象测试方法 .最后给出用该文提出的方法对因特网路由器、SMTP电子邮件服务器和分组装 /拆设备 PAD等中继系统的测试实践经验 .这些方法还可以用于 ATM交换机的测试 .

    • FDBSCAN:一种快速 DBSCAN算法(英文)

      2000, 11(6):735-744. CSTR:

      摘要 (4713) HTML (0) PDF 1.26 M (6298) 评论 (0) 收藏

      摘要:聚类分析是一门重要的技术 ,在数据挖掘、统计数据分析、模式匹配和图象处理等领域具有广泛的应用前景 .目前 ,人们已经提出了许多聚类算法 .其中 ,DBSCAN是一种性能优越的基于密度的空间聚类算法 .利用基于密度的聚类概念 ,用户只需输入一个参数 ,DBSCAN算法就能够发现任意形状的类 ,并可以有效地处理噪声 .文章提出了一种加快 DBSCAN算法的方法 .新算法以核心对象邻域中所有对象的代表对象为种子对象来扩展类 ,从而减少区域查询次数 ,降低 I/ O开销 .实验结果表明 ,FDBSCAN能够有效地

    • R/M中的与R中的≤T的关系

      2000, 11(6):745-750. CSTR:

      摘要 (3095) HTML (0) PDF 1.67 M (4202) 评论 (0) 收藏

      摘要:证明存在递归可枚举图灵度a和c使得ca,并且对每个递归可枚举图灵度b≤Ta, b≠c, 其中a是R/M中的一个元素,R/M是递归可枚举图灵度集R模可盖图灵度集M的商.

    • >综述文章
    • 主动轮廓线模型(蛇模型)综述

      2000, 11(6):751-757. CSTR:

      摘要 (7556) HTML (0) PDF 497.16 K (10595) 评论 (0) 收藏

      摘要:在传统的计算机视觉领域,严格的各自独立的分层理论有广泛的影响.这种理论认为,底层的视觉任务的完成只能依赖于从图像本身获得的信息.Kass等人对这种模型提出了挑战,于1987年提出了称为Snake的主动轮廓线模型(active contour model).近10多年来,Snake模型在计算机视觉领域得到了广泛应用,取得了许多重要的进展.该文回顾了近10多年来Snake模型的研究、发展及应用情况,并对未来的发展方向进行了展望.

    • 知识库维护的结构操作语义方法

      2000, 11(6):758-766. CSTR:

      摘要 (3212) HTML (0) PDF 612.08 K (4273) 评论 (0) 收藏

      摘要:关于在知识表示和处理方面起着重要作用的断言集合形式的抽象知识库,该文给出了一个维护和更新的形式转换系统,使得任意可能有矛盾的知识库能够最终合理地转换到一个相容的知识库之中.作为一种特殊情形,也得到了一个R-重构的能行产生机制.该文给出的转换系统不仅具有可靠性,而且也具有完备性.

    • 知识库维护的结构操作语义方法

      2000, 11(6):758-766. CSTR:

      摘要 (3186) HTML (0) PDF 322.02 K (4010) 评论 (0) 收藏

      摘要:关于在知识表示和处理方面起着重要作用的断言集合形式的抽象知识库,该文给出了一个维护和更新的形式转换系统,使得任意可能有矛盾的知识库能够最终合理地转换到一个相容的知识库之中.作为一种特殊情形,也得到了一个R-重构的能行产生机制.该文给出的转换系统不仅具有可靠性,而且也具有完备性.

    • 分布式存储的并行串匹配算法的设计与分析

      2000, 11(6):771-778. CSTR:

      摘要 (3780) HTML (0) PDF 455.89 K (4681) 评论 (0) 收藏

      摘要:并行串匹配算法的研究大都集中在PRAM(parallel random access machine)模型上,其他更为实际的模型上的并行串匹配算法的研究相对要薄弱得多.该文采用将最优串行算法并行化的技术,利用模式串的周期性质,巧妙地将改进的KMP(Knuth-Morris-Pratt)算法并行化,提出了一个简便、高效且具有良好可扩放性的分布式串匹配算法,其计算复杂度为O(n/p+m),通信复杂度为O(ulogp

    • 扩充角色层次关系模型及其应用

      2000, 11(6):779-784. CSTR:

      摘要 (4537) HTML (0) PDF 403.49 K (4962) 评论 (0) 收藏

      摘要:基于网络的大规模软件应用系统面临着日益复杂的数据资源安全管理的难题.基于角色的访问控制方法(role-based access control,简称RBAC)实现用户与访问权限的逻辑分离和构造角色之间的层次关系,从而方便了数据的安全管理.该文在RBAC96模型的基础上,对角色之间的层次关系进行了扩充,定义了角色的公共权限和私有权限,引入了一般继承和扩展继承机制,形成了一个能描述复杂层次关系的角色访问控制模型EHRBAC(extended hierarchy role-based access contro

    • 一种基于点光源的三维阴影的实时生成算法

      2000, 11(6):785-790. CSTR:

      摘要 (3902) HTML (0) PDF 811.32 K (4527) 评论 (0) 收藏

      摘要:阴影的生成在体现虚拟现实环境的真实感程度方面起着重要的作用,但现有生成阴影的算法普遍速度较慢,不能适应实时绘制的要求.该文提出了一种基于点光源的实时生成三维阴影的算法.该算法的基本思想是基于在一个复杂的虚拟环境中,某一时段内只有少数多边形相对于光源发生形状的改变,从而导致相应阴影计算的改变,而大多数多边形相对于光源是静态的.这样就有可能针对静态物体与动态物体分别作不同的处理,使尽可能少的多边形参与阴影计算.方法是,先用Tiling方法对静态场景进行预处理,确定相关阴影多边形集合,然后用SVBSP(shad

    • 主动层次多目通信路由模型

      2000, 11(6):791-798. CSTR:

      摘要 (3381) HTML (0) PDF 533.91 K (4221) 评论 (0) 收藏

      摘要:许多应用需要IP多目通信.在Internet大规模应用IP Multicast时,有效的路由是关键.这样的多目路由协议必须是有效的、可伸缩的和增量可配置的.但是传统的Internet路由对性能是不敏感的,不能平衡负载和处理拥塞.现有的大多数多目通信路由协议不仅负责数据转发,还负责路由树的构造,这给路由器带来了极大的复杂性,而且协议的配置是手动的、费时费钱的工作.该文提出一个主动层次式Multicast路由的体系结构,采用主动网络技术将多目通信路由协议的数据转发和控制机制分开,根据链路的状态信息用主动报文控

    • 与文本无关的说话人自适应确认方法

      2000, 11(6):799-803. CSTR:

      摘要 (3267) HTML (0) PDF 369.24 K (4241) 评论 (0) 收藏

      摘要:该文提出一种与文本无关的自适应说话人确认方法.此自适应方法基于作者所提出的用全局说话人模型标准化似然得分值进行说话人确认的方法,以解决此方法应用于实际系统时存在的训练时间较长的问题,从而缩短新用户注册系统的等待时间,使新用户能够在较短的时间内开始系统的使用.实验结果充分说明了此方法的有效性;当系统有30个用户时,新用户的注册速度加快了12倍.

    • P形傅里叶变换在手写体汉字识别中的应用

      2000, 11(6):804-808. CSTR:

      摘要 (3829) HTML (0) PDF 736.51 K (4794) 评论 (0) 收藏

      摘要:提出了曲线化汉字特征的概念,讨论了3类可曲线化的汉字统计特征.利用P形傅里叶算子,对这些曲线化特征作傅里叶变换,可提取到最终的识别特征.实验结果表明,该方法在手写体汉字识别领域具有良好的应用前景,尤其适用于细分类.

    • 面向常识的时间推理

      2000, 11(6):809-815. CSTR:

      摘要 (3575) HTML (0) PDF 458.96 K (4369) 评论 (0) 收藏

      摘要:常识和时间推理是人工智能研究的两个主要课题.Allen等人提出的时间推理缺少时间点、时区和时距的统一表示;过分考虑计算,缺少规则推理;求解算法难以应用于多Agent环境并且没有考虑常识不一致性.该文提出一种时间信息表示网络,分析了约束之间的推导规则,给出了常识时间问题的多Agent合作满足弱路径一致性的求解方法.该文的工作改进了Meiri,Wetprasit和Sattar等人的工作,为时间推理结合常识特性和适应多Agent合作环境提供了可行的方案.

    • 一种有效的端到端延迟保证的资源预约策略

      2000, 11(6):816-822. CSTR:

      摘要 (3425) HTML (0) PDF 501.64 K (5132) 评论 (0) 收藏

      摘要:从把全局的延迟界QoS需求划分为各链路局部的QoS需求的角度出发,讨论了满足端到端的延迟界进行资源预约的限制条件,提出一种新的资源分配代价函数和按分配代价最小化的原则进行各链路资源分配的方法,并且给出了一种分布式的三遍搜索资源预约算法.其目标是使网络资源使用更均衡、更合理,以利于接纳更多的调用请求.同时,还介绍了将这种资源预约法应用于多点通信连接建立资源预约处理过程中的情况.最后,给出该资源预约法的模拟结果,显示了该方法的有效性.

    • 基于生命期引导的生态进化模型

      2000, 11(6):823-828. CSTR:

      摘要 (3776) HTML (0) PDF 359.99 K (4296) 评论 (0) 收藏

      摘要:进化算法的一个很大的不足是个体进化本身没有一个明确的引导趋势.该文借鉴个体进化的生命周期性,提出了一种基于生命期引导的生态进化模型.基于此模型的算法在个体生命期的各个阶段设置了相应的引导算子,使个体在整个生命期都基于其生态特征而被引导进化.实验结果验证了其优越性.

    • 实时内存数据库的装入

      2000, 11(6):829-835. CSTR:

      摘要 (3784) HTML (0) PDF 402.22 K (4340) 评论 (0) 收藏

      摘要:实时数据库(real-time database,简称RTDB)要求以内存数据库(main memory database,简称MMDB)作为其底层支持.内存数据库的脆弱性使得数据库的装入(包括初装和重装)极为频繁,对系统性能影响极大,而传统的装入算法对实时内存数据库不适用.为此给出影响数据装入的实时数据及事务特征,并提出一种数据装入策略与算法.

    • 一种Ada83服务性任务向Ada95保护对象变换的方法

      2000, 11(6):836-840. CSTR:

      摘要 (3358) HTML (0) PDF 487.29 K (4339) 评论 (0) 收藏

      摘要:任务是Ada语言支持并发程序设计的基础,它提供了一种进程同步和通信的良好机制.但也存在一类被动的、专为其他任务服务的服务性任务.服务性任务的存在增加了系统的负担,降低了系统的性能.如果能将服务性任务变换为保护对象,则可以明显地提高系统的性能,减少维护的费用.该文提出了一种在源程序级将Ada83服务性任务变换为Ada95保护对象的方法.先给出服务性任务应满足的条件、识别和表示服务性任务的方法,最后讨论此方法的可行性.与其他方法相比,此方法具有假设条件少、识别和变换效率高以及容易验证等特点.

    • 一种关系数据库的网上发布和集成方法

      2000, 11(6):848-852. CSTR:

      摘要 (3246) HTML (0) PDF 351.43 K (4269) 评论 (0) 收藏

      摘要:该文针对现有数据库信息网上发布和集成方法的缺点,提出了一种新的发布和集成方法,称为MOAT(movable operations as texts,可移动文本化操作)模型.该方法不是把数据库的操作以一段程序的方式表示并在网上发布,而是表示为一段文本文字来发布.其特点是表示方式简洁直观并具有可修改性.允许用户通过简单的工具,直观地修改或复合已有的数据库访问操作,生成新的数据库访问操作,并且可以根据需要将新的操作在网上再发布.文章还介绍了MOAT模型的一种实现框架,最后提出了展望.

当期目录


文章目录

过刊浏览

年份

刊期

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