• 2000年第11卷第2期文章目次
    全 选
    显示方式: |
    • 用语言云模型发掘关联规则

      2000, 11(2):143-158.

      摘要 (4511) HTML (0) PDF 2.53 M (4284) 评论 (0) 收藏

      摘要:该文提出用语言云模型用于KDD中知识表达和不确定性处理,引入了多维云模型作为一维模型的扩展.语言云的数字特征量将语言值的模糊性和随机性用统一的方式巧妙地综合到一起,基于云模型的概念层次结构可以跨越定量和定性知识之间的鸿沟.为了发现强关联规则,属性值要在较高的概念层上泛化,同时允许相邻属性值或语言项间有重叠.这种软划分可以模仿人类的思想,使发现的知识具有稳健性.将基于云模型的泛化方法与Apriori算法结合起来,从空间数据库中发掘关联规则.试验显示了其有效性、高效性和灵活性.

    • 自适应区间配置在关联规则并行采掘中的作用

      2000, 11(2):159-172.

      摘要 (3567) HTML (0) PDF 845.36 K (3819) 评论 (0) 收藏

      摘要:现行的采掘关联规则的并行算法基于经典的层次算法.该方法在每一次重复扫描数据库时都需要一次同步,这种同步运算对于共享内存多处理器并行机来说极大地降低了采掘性能,这种低效主要源于对共享的I/O通道的竞争.该文提出了在共享内存多处理机上采掘关联规则的异步算法APM.在APM中,所有参与计算的处理器能独立地产生备选集和计算支持度.而且,APM所需的扫描数据库的次数比层次方法所需的更少.该文还提出了一种增强APM的技术,使得该算法的性能对于数据分布更具有鲁棒性.文中实现了APM的变种算法,还实现了Apriori的并行版本Count Distribution算法.在SGI Power Challenge SMP并行机上,进行了性能分析,结果表明所提出的异步算法APM具有更好的性能和可扩展性.

    • Java编译程序技术与Java性能

      2000, 11(2):173-178.

      摘要 (3442) HTML (0) PDF 377.85 K (5533) 评论 (0) 收藏

      摘要:概述了Java编译程序技术,把Java编译程序分成5类:具有解释技术的编译程序;具有及时(JIT)编译技术的编译程序;具有自适应优化技术的编译程序;本地编译程序和翻译程序.详细描述和分析了它们的体系结构和工作原理.同时也分析了编译程序技术对Java性能的影响.

    • >综述文章
    • 宽带IP路由器的体系结构分析

      2000, 11(2):179-186.

      摘要 (5971) HTML (0) PDF 610.62 K (5087) 评论 (0) 收藏

      摘要:随着宽带技术的不断发展,组建主干网的路由器必然需要以千兆比特以上的速率转发分组,而基于总线和中央处理器的路由器具有无法克服的局限,这就对传统的路由器体系结构提出了严峻的挑战.该文全面综述了近年来在宽带IP(Internet protocol)路由器方面研究的最新进展,详细分析了用于主干网互连的宽带IP路由器的体系结构设计,最后,指出了该领域中需要进一步研究的问题.

    • 用计算函数模型增强数据流分析

      2000, 11(2):187-194.

      摘要 (2959) HTML (0) PDF 544.47 K (3184) 评论 (0) 收藏

      摘要:精确的数据流分析,需要充分利用条件分支语句的逻辑语义.为了简洁而有效地处理条件分支语句,该文提出了对应于程序段的计算函数模型,在该模型里表示条件分支语句的逻辑语义,并利用文中提出的不确定性消解方法,可以把通常需要逻辑推理来处理的数据流分析问题转化为空间区域之间覆盖关系的判定问题.而这个问题在并行化编译的理论和实践中已有比较成熟的解决办法.

    • 汉语最长名词短语的自动识别

      2000, 11(2):195-201.

      摘要 (4147) HTML (0) PDF 483.80 K (3991) 评论 (0) 收藏

      摘要:通过对包含5573个汉语句子的语料文本中的最长名词短语的分布特点的统计分析,提出了两种有效的汉语最长名词短语自动识别算法:基于边界分布概率的识别算法和基于内部结构组合的识别算法.实验结果显示,后者的识别正确率和召回率分别达到了85.4%和82.3%,取得了较好的自动识别效果.

    • LOKI97的线性密码分析

      2000, 11(2):202-206.

      摘要 (2889) HTML (0) PDF 319.85 K (3311) 评论 (0) 收藏

      摘要:该文利用线性密码分析对LOKI97进行了攻击,结果显示,LOKI97的安全性并没有达到高级加密标准的要求;利用线性密码分析中的算法1和250个明密文对,以0.977的成功率预测92比特子密钥;利用线性密码分析中的算法2和245个明密文对,以0.967的成功率预测LOKI97的种子密钥.

    • 基于协议集成测试系统的IP v4协议一致性测试

      2000, 11(2):207-212.

      摘要 (3054) HTML (0) PDF 781.05 K (3496) 评论 (0) 收藏

      摘要:TCP/IP协议实现的一致性测试是保证Internet网络设备之间互连与互操作的基础.该文基于协议集成测试环境进行了IP(Internet protocol)协议一致性测试研究和实际测试,并针对IP端系统和中继系统分别采用了分布式和远程横断式测试法,设计生成了IP一致性测试集.并且已将IP协议的一致性测试应用到路由器的开发和研制过程中.

    • 安全协议的验证逻辑

      2000, 11(2):213-221.

      摘要 (3382) HTML (0) PDF 531.05 K (3516) 评论 (0) 收藏

      摘要:该文提出一种论证安全协议之安全性质的非单调动态逻辑.针对信息安全的特定需要,给出了一组与加密、解密、签名、认证和密钥分配等密码学操作有关的公理和推理规则,举例说明了这一逻辑框架在验证安全协议方面的应用,并讨论了需要进一步解决的问题.

    • 异构数据源集成系统查询分解和优化的实现

      2000, 11(2):222-228.

      摘要 (3569) HTML (0) PDF 538.86 K (4048) 评论 (0) 收藏

      摘要:通用异构数据源集成系统需要集成包括WWW在内的各种数据源,有些数据源既无规则的模式结构,又无强有力的查询功能,给全局查询的分解和优化造成一定的困难.异构数据源集成系统Versatile一方面利用局部动态字典的模板操作构造集成系统全局动态字典,作为查询分解和优化的依据.一方面采用基于缓存和数据源能力的查询分解和优化策略,以便充分利用数据源的查询能力,简化包装器的设计,并取得较高的查询效率.

    • 一类并发实时系统的自动验证

      2000, 11(2):229-234.

      摘要 (3173) HTML (0) PDF 404.04 K (3022) 评论 (0) 收藏

      摘要:一个被广泛用于验证实时系统的方法是根据被验证的实时性质,使用适当的双向模拟等价关系使无限的状态空间转化为有限的状态等价类空间.算法只需要在这个有限的等价类空间里搜索就可以得到正确答案.但是,这个等价类空间的规模一般随着系统规模的增大而产生爆炸性的增长,以至于在很多情况下,穷尽搜索这个空间是不现实的.该文引入了一个等价关系来验证一个由多个实时自动机通过共享变量组成的并发系统是否满足一个线性时段特性.同时,还引入了格局之间的兼容关系来避免对状态等价类空间的穷尽搜索.基于这两个关系,文章提出了一个算法来验证是否一个实时自动机网满足一个线性时段特性.实例研究显示,此算法在某些情况下比其他一些工具有更好的时间和空间效率.

    • 基于故障敏感图的回卷算法和故障恢复

      2000, 11(2):235-239.

      摘要 (3214) HTML (0) PDF 348.33 K (3187) 评论 (0) 收藏

      摘要:扩充的面向图结构的分布式程序设计模型(extended graph-oriented model,简称ExGOM)提供了一个支持动态配置的系统框架.系统的动态配置包括系统运行时的伸缩、运行时的升级以及出现故障后的重配置.故障后的重配置所涉及的问题之一是如何恢复系统原状态,该文着重就此问题进行了讨论,给出了基于故障敏感图的异步检查点回卷算法和故障恢复策略.该算法和策略考虑了在暂时性主机故障中单个主机上有多个故障进程的情况.与其他异步回卷及故障恢复算法相比,该算法将故障区域局部化,仅对故障敏感节点进行回卷,从而有效地降低了系统开销.

    • 电子商务安全协议及其非单调动态逻辑验证

      2000, 11(2):240-250.

      摘要 (3482) HTML (0) PDF 675.61 K (2896) 评论 (0) 收藏

      摘要:该文介绍了SET(secure electronic transactions)的付费业务流程,对NDL(non-monotomic dynamic logic)的逻辑框架进行了扩展,即针对SET协议,增加了新的公理,重新给出积累规则的定义.在此基础上,用对SET中的几个重要的范例进行的逻辑验证,说明了NDL在验证电子商务协议上的重要性,并初步提出了积累规则中需要进一步研究的问题.

    • 一种被用于网络管理的性能分析模型和实现

      2000, 11(2):251-255.

      摘要 (3537) HTML (0) PDF 324.46 K (3268) 评论 (0) 收藏

      摘要:为了提高网络的可靠性以及当今高速通信网络的管理水平,提出了一种用于网络管理的性能及可信度分析模型.该模型能够实时地计算和预测网络的各个性能参数(例如,带宽、吞吐量和延时等)的可靠性(performance-reliability)、可用性(performance-availability)和该网络的平均无故障时间(mean time to failure,简称MTTF)等.由于此模型求真解十分复杂,对于高可靠性网络的管理,给出了该模型的近似模型及其实现.

    • k-着色问题及其均场退火求解算法

      2000, 11(2):256-259.

      摘要 (3250) HTML (0) PDF 288.67 K (3052) 评论 (0) 收藏

      摘要:均场退火方法既可以看作是一种新的神经网络计算模型,又可视为是对模拟退火的重大改进.该文把具有相邻约束的多层通孔最小化问题转换为更具广泛意义的k-着色问题,并提出了k-着色问题的均场退火求解算法.算法在线段相交图模型的基础上,提出了相邻矩阵和交叠矩阵等概念,并利用换位矩阵,将问题映射为相应的神经网络,再构造了该问题的能量函数.能量函数中的目标项、违背交叠约束的惩罚项、违背相邻约束的惩罚项和神经元归一化处理保证了网络能够求解到一个合法解.实验结果表明,这是一个有效的算法.

    • 近乎最佳的Manhattan型Steiner树近似算法

      2000, 11(2):260-264.

      摘要 (3885) HTML (0) PDF 339.65 K (3429) 评论 (0) 收藏

      摘要:求解最佳的Manhattan型Steiner树问题(minimum rectilinear Steiner tree,简记为MRST问题)是在VLSI布线、网络通信中所遇到的组合优化问题,同时也是一个NP-难解问题.该文给出对该问题的O(n2)时间复杂性的近似算法.该算法在最坏情况下的近似比严格小于3/2.计算机实验结果表明,所求得的支撑树的平均费用与最佳算法的平均费用仅相差0.8%.该算法稍加修改,可应用到三维或多维的Manhattan空间对Steiner问题求解,且易于在并行与分布式环境下编程实现

    • 空间查询和路径搜索的集成处理策略

      2000, 11(2):265-270.

      摘要 (3810) HTML (0) PDF 388.31 K (3559) 评论 (0) 收藏

      摘要:在数据库研究中,路径搜索和空间查询处理被认为是两个互不相关的领域,然而在处理具有空间约束的路径查询时,需要数据库系统提供路径计算和空间查询处理两方面的功能.为了处理路径计算中的空间约束,考虑了两类处理策略:(1) 空间运算是否在路径计算之前预处理;(2) 空间对象是否在路径计算之前预选取.基于这两类策略,应用现有的空间连接、R-树空间搜索和空间对象聚类技术,提出4种集成的空间路径查询处理方法.

    • 基于三音子模型的语料自动选择算法

      2000, 11(2):271-276.

      摘要 (3600) HTML (0) PDF 433.20 K (3886) 评论 (0) 收藏

      摘要:在语音识别中,如何经济地挑选语音训练语料,使其覆盖尽可能多的语音现象是一个非常重要的问题.传统的语音训练语料采用手工挑选后再进行检验和补充的方法,此方法难以保证所选语料语音现象的覆盖率.该文提出了一种自动地从大规模语料库中挑选语料的搜索算法,此算法不但能使所选语料覆盖几乎所有语音现象,而且能保证训练语料中三音子和类三音子有足够的样本个数,使训练数据不过于稀疏,为训练正确而可靠的语音模型打下了坚实的基础.

    • 文本规划中焦点移动控制算法的研究

      2000, 11(2):277-284.

      摘要 (3266) HTML (0) PDF 567.11 K (3346) 评论 (0) 收藏

      摘要:该文完善了全局焦点和局部焦点的移动规则,使规则适合更广泛的应用领域.所提出的新算法以Mckeown的焦点算法为基础,将原来的栈式控制结构改进成树型控制结构,可以同时控制全局焦点和局部焦点的移动.新算法改进了Schema的扩充转移网络表示,为弧增加了重复特性和优先级的信息,还加入了对Schema进行递归的控制和回溯机制,并由知识库决定Schema的填充和递归.此外,又增加了对Schema可交换符号的处理.在此基础上,进一步介绍了实验系统的设计,并讨论了算法的效果.

当期目录


文章目录

过刊浏览

年份

刊期

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