1974年1月创刊(月刊)
主管/主办:重庆西南信息有限公司
ISSN 1002-137X
CN 50-1075/TP
CODEN JKIEBK
编辑中心
当期目录
2006年第10期, 刊出日期:2018-11-17
  
计算机网络与信息安全
复杂网络集团特征研究综述
计算机科学. 2006, 33 (10): 1-4. 
摘要 ( 91 )   PDF(342KB) ( 515 )   
相关文章 | 多维度评价
自然界和人类社会的许多系统可以用复杂网络进行建模,复杂网络已成为多个学科的研究热点。分析复杂网络的一个关键问题是如何理解其全局组织,网络的健壮性和稳定性在很大程度上取决于其集团结构特征。本文简要介绍了复杂网络的基本概念并详细总结了近年复杂网络集团特性的研究进展,重点分析了社区发现算法的最新研究成果,最后提出这一领域几个有待解决的问题和可能的发展方向。
网络态势感知系统研究综述
王慧强 赖积保 朱亮 梁颖
计算机科学. 2006, 33 (10): 5-10. 
摘要 ( 147 )   PDF(427KB) ( 1867 )   
相关文章 | 多维度评价
开展网络态势感知系统NSAS(Network Situation Awareness System,也称Cyberspace Situation Awareness System)的研究,对于提高我国网络系统的应急响应能力,缓解网络攻击所造成的危害,发现潜在恶意的入侵行为,提高系统的反击能力等具有十分重要的意义。本文首先给出了态势感知的概念及发展NSAS的必要性;其次介绍了网络态势感知的概念,并对相关概念以及NSAS与IDS(Intrusion Detection System)的区别与联系进行了讨论,详
分类方法的新发展:研究综述
计算机科学. 2006, 33 (10): 11-15. 
摘要 ( 83 )   PDF(349KB) ( 418 )   
相关文章 | 多维度评价
分类是数据挖掘的重要任务之一,也是机器学习、模式识别和人工智能等相关领域广泛研究的问题。分类在实际中有广泛的应用,包括医疗诊断、信用评估、选择购物等。近年来,随着相关领域中新技术的不断涌现,分类方法也得到了新发展。本文对这些新发展进行了较详细的归纳,总结了分类方法发展的趋势。
数据流中一种适应性查询处理机制
计算机科学. 2006, 33 (10): 16-20. 
摘要 ( 78 )   PDF(286KB) ( 295 )   
相关文章 | 多维度评价
针对数据流中连续查询特征,本文提出一种适应性的查询处理机制,它不但能在有限时间内最大可能地输出结果元组,也可对有限的元组以最快时限输出。而此查询处理机制主要依托于基于输出速率的代价模型,此模型将不断变化的流速、谓词选择率、操作符处理时间作为代价函数变量,将输出速率作为代价模型的函数值。因此此代价模型可适应环境以及数据流本身不断变化的因素,并可作为查询计划动态选择的标准。实验证明此适应性查询处理机制最终能有效地提高输出速率、增加查询吞吐量、减少时间延迟,降低查询间内存占有量。
一种按需式双信道的Ad Hoc网络路由方法
计算机科学. 2006, 33 (10): 20-22. 
摘要 ( 86 )   PDF(192KB) ( 296 )   
相关文章 | 多维度评价
为了提高Ad Hoc网络的信道带宽和降低通信时的相互影响,在单信道的Ad Hoc网络多路径路由方法基础上,提出了按需式的采用双信道的路由策略。在物理上,整个网络存在两个独立的信道。通过一次路由发现,获得两条节点不相交路径,按照每包分配策略,把数据交替在两个信道的不同路径上进行传输。在提高带宽的同时,降低了数据传输冲突,从而改善网络性能。
一种新的固定速率分层组播拥塞控制协议
张冰 原冰 刘增基
计算机科学. 2006, 33 (10): 23-28. 
摘要 ( 140 )   PDF(331KB) ( 312 )   
相关文章 | 多维度评价
提出了一种新的固定速率分层组播拥塞控制算法FLMCC。组播会话中的每层按照固定速率发送数据包。各接收端根据估计的期望速率累计订购数目不等的层,从而获得不同的吞吐量。为准确估计期望速率并实现TCP友好性,各接收端采用在接收端实现的窗口机制,即在每层独立维护拥塞窗口,利用GAIMD算法调整窗口,并根据窗口值计算期望速率。为测量RTT,采用了一种精确测量和粗略测量相结合的策略;为避免RTT精确测量时产生的反馈内爆问题,采用了基于随机定时器机制的反馈抑制策略。协议实现简单。仿真表明,算法具有良好的TCP友好性、响
支持IP漫游的多跳接入组网设计及协议扩展
王玉明 杨宗凯 赵大胜
计算机科学. 2006, 33 (10): 29-33. 
摘要 ( 100 )   PDF(327KB) ( 311 )   
相关文章 | 多维度评价
针对现有固定宽带有线、无线接入技术存在的不足,本文结合Ad hoc技术和移动IP技术,提出了一种支持IP漫游的多跳接入方式,包括组网设计及协议扩展。其组网方式为:边缘接入采用多跳Ad hoc技术,主干接入采用分层移动IPv6技术。多跳Ad hoc网络大大增加了网络的覆盖范围,减轻了网络铺设成本,且支持宽带接入;分层移动IPv6降低了域内切换的信令开销和时延。同时,对现有的分层移动IPv6协议进行扩展,实现了主干网络与边缘多跳网络的有机结合。移动用户不但能以较低的信令开销实现全局的IP漫游,还能保证进入同一
改善V—BLAST/OFDM系统性能的子载波分配研究
肖啸 朱光喜 胡臻平
计算机科学. 2006, 33 (10): 34-36. 
摘要 ( 102 )   PDF(251KB) ( 312 )   
相关文章 | 多维度评价
为了提高多用户V-BLAST/OFDM系统的整体性能,我们研究在不同检测方式下的子载波分配准则,并利用矩阵和排序统计的知识对系统性能及取得的多用户分集增益做了定量分析,得到多用户分集增益的数学表达式。仿真结果表明,本文提出的动态子载波分配准则可以有效地利用多用户分集,明显提高V-BLAST/OFDM系统的整体性能。另外,本文与空间分集系统中取得的多用户分集增益进行了仿真比较,表明将基于V-BLAST的多用户OFDM系统与子载波分配相结合更能改善系统的整体性能。
基于模糊神经网络的移动组网拥塞预测
计算机科学. 2006, 33 (10): 37-39. 
摘要 ( 117 )   PDF(242KB) ( 306 )   
相关文章 | 多维度评价
提出了一种适用于移动组网的拥塞控制机制(ACRC)。将模糊神经网络引入流量控制,利用其处理不确定性问题和自学习能力,进行流量预测,除了可以快速缓解拥塞,还可以在网络拥塞消除之后通过速率控制进一步节省网络的能量消耗,仿真结果证明了本方法的有效性。
三种Ad Hoc网络组播协议的性能分析与比较
计算机科学. 2006, 33 (10): 40-47. 
摘要 ( 107 )   PDF(465KB) ( 405 )   
相关文章 | 多维度评价
近年来,Ad hoc网络的组播路由协议研究受到广泛关注,但已经提出的各种组播协议中还没有一种在MANET定义的各种性能指标方面都处于领先,因此对不同协议的分析和比较能帮助人们在不同的应用环境下选择和设计更适合的组播协议。本文首先分别介绍了3种典型的组播路由协议:ODMRP、ADMR、DRMR,然后对其控制开销进行了计算分析,最后利用NS2仿真软件对3种协议进行仿真,分析与比较了它们在各种网络环境下的性能。
快速层次移动IPv6协议的比较性能评价
计算机科学. 2006, 33 (10): 48-50. 
摘要 ( 134 )   PDF(191KB) ( 397 )   
相关文章 | 多维度评价
本文用ns-2网络模拟器给出了一种F-HMIPv6协议与MIPv6、HMIPv6、FMIPv6、FHMIPv6(HMIPv6与FMIPv6的简单结合)的比较性能分析。通过仿真实验检测了MN从一个子网移动到另一子网发生切换时的延时与丢包性能。从实验结果可知,它们的延时和丢包性能从优到劣的顺序依次为:F-HMIPv6、FHMIPv6、FMIPv6、HMIPv6和MIPv6。
IEEES02.11b无线局域网的VoIP通信容量计算及分析
傅鹤岗 周振东
计算机科学. 2006, 33 (10): 51-54. 
摘要 ( 117 )   PDF(370KB) ( 374 )   
相关文章 | 多维度评价
针对用IEEE802.11b网络建立低成本的无线VoIP网络进行分析研究,本文评估在不同的时延限制、信道质量参数和语音音质指标下运载语音通话的能力,并比较G.711和G.729两种语音编码方案下不同的语音数据分组长度时的效果,为在无线环境下以IP方式构造移动语音通信网络奠定了良好的基础。
基于移动选项的HMIPv6域间切换对端绑定方法
吴开贵 何剑锋 刘东 左永利
计算机科学. 2006, 33 (10): 55-57. 
摘要 ( 113 )   PDF(198KB) ( 306 )   
相关文章 | 多维度评价
针对HMIPv6域间切换通信对端绑定延迟较大的问题,本文提出一种基于提前绑定更新选项的对端绑定方法;同时,提出提前预留资源的方式,提高对实时数据流的支持能力。最后通过仿真实验,证明了方案的优越性。
一种主动网络管理系统结构的分析与研究
邹显春 张为群
计算机科学. 2006, 33 (10): 58-60. 
摘要 ( 343 )   PDF(198KB) ( 318 )   
相关文章 | 多维度评价
主动网络是一种新型的网络体系,它不仅可以传递数据包,而且还可以执行数据包中特定的运算任务。主动网络为用户提供了可编程的接口,用户可通过网络中的节点动态地注入所需的服务。但由于传统网络管理不适应主动网络管理,不能发挥主动网络的分布式计算能力。论文讨论了一种基于节点的主动网络管理模型,分析了该模型的结构、管理机制和设计要点,并对网络拓扑发现和流量进行了分析。
异构Web集群中的比例伸展因子区分服务
熊智 晏蒲柳 郭成城
计算机科学. 2006, 33 (10): 61-65. 
摘要 ( 103 )   PDF(322KB) ( 312 )   
相关文章 | 多维度评价
Web集群服务器已被广泛用来提高Web服务器的性能。如何保证Web服务的服务质量(QoS)是一个迫切需要解决的问题。区分服务已成为QoS研究领域中的一个焦点。本文分析了Web请求服务时间的数字特性,并使用M/G/1 FCFS排队模型对Web服务器及Web集群服务器进行了建模。在对模型进行分析的基础上,设计并实现了一种异构Web集群服务器中的比例伸展因子区分服务的方案,并提出了基于概率空间的请求调度算法。请求被分成多个类,无论系统的负载如何,系统确保每类请求的平均伸展因子与事先给定的参数成正比。实际测试表明
网格QoS控制的效用模型及优化
计算机科学. 2006, 33 (10): 66-67. 
摘要 ( 85 )   PDF(146KB) ( 331 )   
相关文章 | 多维度评价
基于经济模型研究网格QoS控制的资源分配问题,给出多QoS属性多任务的资源分配优化的效用模型,通过定义任务的多QoS属性效用模型来描述动态需求和偏好,计算需要提供QoS的资源分配。用多属性优化方法,求解优化多QoS属性效用函数。
网络资源市场分配机制的分析
计算机科学. 2006, 33 (10): 68-70. 
摘要 ( 92 )   PDF(225KB) ( 256 )   
相关文章 | 多维度评价
为了能提供一定的QoS(quality of service),网络必须为有QoS要求的应用分配相应的资源。目前,网络资源的分配主要是基于集中式的,本文运用微观经济学的研究方法,分析了集中分配机制的一些弊端,并引入了市场分配机制。市场分配机制通过价格杠杆来分配稀缺的网络资源,达到帕累托最优,其效率优于集中分配机制,并且其具有分布式的特点,便于在网络中实施。
一种噪声和畸变混沌信号的滤波策略-Ⅱ:自适应解调
计算机科学. 2006, 33 (10): 71-73. 
摘要 ( 80 )   PDF(160KB) ( 277 )   
相关文章 | 多维度评价
在这系列文章的第一部分,我们提出了一种状态空间模型的估计算法。第二部分将该算法应用于混沌调制通信系统的解调。当“扮演”系统参数的信息信号被建模为AR模型后,混沌调制通信系统的解调问题可转化为对增广的状态空间模型的估计。仿真结果表明,该算法也能有效地实现混沌调制通信系统的自适应解调。
PDHA:一种移动Agent保护协议研究
胡建理 王嘉祯 杨素敏
计算机科学. 2006, 33 (10): 74-79. 
摘要 ( 86 )   PDF(416KB) ( 286 )   
相关文章 | 多维度评价
针对移动Agent本身的安全性问题,提出了一种基于软件防护的移动Agent保护协议—PDHA(a protocol to detect malicious hosts’attacks),并对该协议进行了安全性分析和性能分析。该协议的核心思想是通过关联密钥链加密机制对移动Agent的数据进行加密,并应用参考状态分析机制对移动Agent的代码、状态进行保护,从而形成一种全面的移动Agent保护协议。实验表明,PDHA协议功能是可以达到的,安全性也更强。
一种基于日志的异步远程镜像协议的设计
刘卫平 蔡皖东
计算机科学. 2006, 33 (10): 80-83. 
摘要 ( 100 )   PDF(258KB) ( 302 )   
相关文章 | 多维度评价
远程镜像是一种有效的数据容灾技术。本文设计了一种基于日志的异步远程镜像协议,通过写请求分批传播的机制,减少了通信链路传输的数据量。同时给出了一种批请求的原子提交机制,从而避免了写顺序不一致引起的主存储系统与从存储系统之间数据视图不一致。该协议在保证对应用的写请求具有较好响应速度的时候,也能够很好地保持镜像系统的数据一致性。
素数域上亏格为3的超椭圆曲线快速算法
郝艳华 谭示崇 王育民
计算机科学. 2006, 33 (10): 84-89. 
摘要 ( 97 )   PDF(289KB) ( 338 )   
相关文章 | 多维度评价
本文给出了素数域上亏格为3的超椭圆曲线退化除子加法和倍点运算的确定性公式,这些公式在有固定基点的超椭圆曲线密码算法,如ElGamal型加密算法、Diffie-Hellman协议的发送方及HECDSA的标量乘算法中都有应用。与标准除子标量乘算法相比,给出的1次和2次退化除子标量乘算法可分别获得33.4%和16.7%的加速,同时基点的表示长度可压缩至标准除子表示长度的1/3或2/3。
基于几何性质一般访问结构上的多重秘密共享方案
计算机科学. 2006, 33 (10): 90-93. 
摘要 ( 98 )   PDF(238KB) ( 270 )   
相关文章 | 多维度评价
提出了一个基于几何性质的一般访问结构上的多重秘密共享方案,其中秘密和各参与者的秘密份额皆为(t-1)维向量。每个参与者只需保护一个秘密份额,就可以实现任意多个秘密的共享。与现有一般访问结构上的秘密共享方案相比,文本的方案更为有效,尤其是在共享一个大秘密时。分析表明,本文的方案满足秘密共享的安全性要求与规则,是一个计算上安全且有效的方案。
攻击行为系统化分析方法
计算机科学. 2006, 33 (10): 93-96. 
摘要 ( 73 )   PDF(303KB) ( 516 )   
相关文章 | 多维度评价
针对日益严重的攻击行为,通过对大量攻击以及现有攻击分析方法的研究,本文提出了一个系统地分析和描述攻击行为的方法。此方法不仅能够有效地分析和描述攻击的本质特征,还能分析攻击的过程,具有广泛的适用性。文中还讨论和分析了在此基础上对该方案进行裁剪的原则和方法,以增加其适用性。通过诸多攻击实例验证了所给方案的有效性和适用性。
DDoS攻击分类与效能评估方法研究
王永杰 鲜明 陈志杰 王国玉
计算机科学. 2006, 33 (10): 97-100. 
摘要 ( 111 )   PDF(242KB) ( 800 )   
相关文章 | 多维度评价
DDoS攻击是一类常见而又难以防范的网络攻击模式,对Internet网络系统的正常运行构成了巨大威胁。DDoS攻击的分类方法和攻击效能评估是计算机网络攻防对抗研究的一项重要而紧迫的任务。本文介绍了DDoS攻击的原理、方法、一般概念和主要目标,研究了基于攻击代理的传播模式、通讯方式、作用机制等特征的DDoS攻击分类方法体系,分析了DDoS攻击的攻击效能评价指标体系。在分析了DDoS攻击效能评估的特点的基础上提出了DDoS攻击效能评估的模糊评价评估模型。
基于描述逻辑的RB-RBAC授权规则冲突检测方法
于海波 车海燕 金淳兆
计算机科学. 2006, 33 (10): 101-105. 
摘要 ( 97 )   PDF(311KB) ( 462 )   
相关文章 | 多维度评价
RB-RBAC(Rule-Based RBAC)模型克服了RBAC模型的一些局限,提供了基于用户属性自动指派角色的机制。为了检测RB-RBAC模型的策略冲突,提出了一种基于描述逻辑的RB-RBAC模型的形式化方法,在此基础上提出了一种检测有关规则间冲突的方法、一种发现无关规则间冲突的方法和在授权规则集合中检测不同类型冲突的方法,可以根据具体情况选择不同的方法以提高效率。并给出了一种简单的冲突消解方法。
基于IEEE 802.1x协议的无线局域网安全性的改进思路
熊江
计算机科学. 2006, 33 (10): 106-107. 
摘要 ( 100 )   PDF(120KB) ( 313 )   
相关文章 | 多维度评价
无线网络系统的迅速发展和广泛应用令市场对该系统的安全要求不断提高,本文通过分析现有无线局域网安全性解决方案的基础上,提出并实现了“基于IEEE 802.1x协议的无线局域网的安全体系”的解决方案,极大地增强无线局域网内通信数据的安全性。
一种基于RSA密码体制的门限代理签名方案的设计与分析
程曦 戚文峰
计算机科学. 2006, 33 (10): 108-110. 
摘要 ( 91 )   PDF(239KB) ( 316 )   
相关文章 | 多维度评价
提出了一种新的基于RSA密码体制的(t,n)门限代理签名方案。此方案不仅满足所有代理要求,即具有保密性、代理保护、不可伪造性、认可性、已知签名者、期限性,并具有签名过程简单、低交互、不需通过安全信道、可以及时发现不合法的代理签名者、最终签名长度短的优点。
基于线程调度的进程隐藏检测技术研究
梁晓 李毅超
计算机科学. 2006, 33 (10): 114-115. 
摘要 ( 103 )   PDF(205KB) ( 419 )   
相关文章 | 多维度评价
基于线程调度的进程隐藏检测技术,利用操作系统进程的资源分配和调度机理,通过直接扫描系统内核中的活动线程来逆向检测实际存在的进程列表信息。该方法可以检测出当前常规安全检测工具不能发现的系统恶意程序的入侵行为。和现有的进程隐藏检测方法相比,该检测方式克服了各种缺陷,具有更加彻底可靠的安全机制,可以检测出当前所有类型的进程隐藏。
基于小波技术的网络异常流量检测与实现
计算机科学. 2006, 33 (10): 116-118. 
摘要 ( 80 )   PDF(210KB) ( 362 )   
相关文章 | 多维度评价
随着互联网的迅速发展和各种互联网应用的普及,对网络资源的需求和使用也迅速增加,网络中也包含大量的蠕虫、端口扫描、DDoS、网络滥用等异常流量,因此有效、快速检测这些异常流量的手段是必须的。本文通过采集路由端口上的NetFlow流,建立了一个利用小波方法分析网络异常流量的框架,通过此方法可以较为理想地检测出网络中的异常流量,在实际应用中取得了较为理想的效果。最后用小波方差分析了不同的小波函数在检测网络异常流量时的效能。
复杂信息系统模型研究
计算机科学. 2006, 33 (10): 119-123. 
摘要 ( 72 )   PDF(328KB) ( 291 )   
相关文章 | 多维度评价
为保障复杂信息系统(CIS)的安全性、互操作性、可扩展性和可管理性,论文提出一个安全的CIS体系结构模型。模型采用分层的方式,把CIS划分为不同的功能模块以降低系统的复杂度。在多层中采用Web Service技术,实现互操作和可扩展。模型采用密码支撑层、安全防护与可靠性支持层保证系统不同层面的安全性与可靠性。通过系统管理层与各层交互,实现系统的可管理性。某电子政务试点示范工程案例及其网络统计数据证明模型不会影响业务系统的性能要求,模型适用于政府、军队、银行等安全级别较高的信息系统。
AHP和灰色关联分析在对象关系映射模式中的应用
张国平 景海峰
计算机科学. 2006, 33 (10): 124-125. 
摘要 ( 119 )   PDF(184KB) ( 359 )   
相关文章 | 多维度评价
在对象关系映射模式的研究中,如何将对象之间的关系映射到关系表中一直是一个关键问题,而如何评价每种映射方法的优劣一直停留在定性的层次。文章在介绍了评价映射方法的指标体系后,引入了层次分析法,通过层次分析法将映射方法的定性描述分别转化为给定指标下的定量评价描述,然后运用灰度关联分析对映射方法进行综合排序,从而选出最优的方法。
表格信息抽取引擎的设计与实现
王治和
计算机科学. 2006, 33 (10): 126-127. 
摘要 ( 99 )   PDF(197KB) ( 358 )   
相关文章 | 多维度评价
讨论针对Web表格的信息抽取,分析并给出了表格信息抽取引擎的系统结构,以及实现该系统所涉及的关键技术和数据模型,为用户提供一种以Web表格为信息抽取对象的、支持抽取方式选择的Web表格信息抽取工具。
商务智能在现代企业中的应用
计算机科学. 2006, 33 (10): 128-130. 
摘要 ( 95 )   PDF(278KB) ( 303 )   
相关文章 | 多维度评价
针对目前现代企业信息系统存在的问题,本文引入商务智能架构体系,提出了一种改进的商务智能体系结构,给出了一个完整的商务智能系统建设方案,并对其中的数据仓库的主题分析的选择、ETCL过程实现以及数据仓库的查询优化进行了研究和实现。实际应用中的结果表明,提高了企业对现有的信息数据的利用效率,提高了企业决策分析的能力。
中介逻辑ML的语法完全性
潘正华
计算机科学. 2006, 33 (10): 131-133. 
摘要 ( 92 )   PDF(192KB) ( 415 )   
相关文章 | 多维度评价
中介逻辑ML(Medium Logic)是近年提出的一种非经典逻辑。在ML的系统特征理论中已证明ML具有语义完全(完备)性。本文研究了ML的语法完全性,证明了如下结果:(1)ML中的中介命题逻辑系统MP及其扩张MP^*是语法完全的,中介谓词逻辑系统MF与其扩张MF^*,以及含有等词的中介谓词逻辑系统ME不是语法完全的。(2)一般地,如果一个协调的逻辑形式系统不是语法完全的,则它的任何协调的扩张系统也不是语法完全的。
“情感软件人”模型研究
计算机科学. 2006, 33 (10): 134-137. 
摘要 ( 80 )   PDF(244KB) ( 292 )   
相关文章 | 多维度评价
为丰富软件人的拟人特性,使软件人具有情感特色,本文提出一种情感软件人模型的总体架构。模型中考虑了认知在软件人的情绪及行为选择中的作用;用模糊形式描述软件人的情绪评估。为了描述软件人在相同情绪时,其触发原因相异而导致行为不同,软件人的行为模型采用“案例+智能搜索”的模式,整个系统的实现采用Model—View—Controller(MVC)的设计模式。
一个基于本体的觉察上下文计算模型
计算机科学. 2006, 33 (10): 138-140. 
摘要 ( 65 )   PDF(182KB) ( 287 )   
相关文章 | 多维度评价
觉察上下文计算(Context-Awareness Computing)中必然涉及到知识的共享,引入了本体融合(Ontology Fusion)概念,构建了一个基于本体的觉察上下文计算模型,讨论了该模型的基本框架,分析了上下文信息的获得,设计了上下文信息与本体库的映射过程,研究了本体融合、本体信息存储以及本体库与行为的映射中的相关问题。结合普适计算场景,用实例演示了该模型的运行过程。
个性化本体的知识查询研究
计算机科学. 2006, 33 (10): 141-143. 
摘要 ( 51 )   PDF(179KB) ( 267 )   
相关文章 | 多维度评价
在分布式系统中,既有共享概念的领域本体,又存在个体的知识组织个性,因此个性化本体的研究具有重要的现实意义。本文基于开放系统假设,定义个体的外现类及个体之间的相识关系,使用Web本体语言表示个性化本体的类描述和类公理。提出一个基于消解原理的个性化本体网络的知识查询递归算法,该算法不依赖注册服务器和分布式哈希表,具有较强的动态适应性。以一个(教)师(学)生本体网络的知识查询为例,讨论了个性化本体网络及其知识查询算法的实现。
信息检索自然语言查询问句处理框架
计算机科学. 2006, 33 (10): 144-147. 
摘要 ( 66 )   PDF(385KB) ( 281 )   
相关文章 | 多维度评价
以自然语言形式提出的查询问句不同于通常的关键词或主题词查询,需要提取用户真正要检索的信息内容。该文提出一个自然语言查询语句的处理框架,由3个部分构成:(1)离析查询问句的操作表述和信息内容;(2)凸显真正的信息需求内容;(3)对不同信息内容采取不同的词语实现方法。这一处理可望为自然语言信息检索提供准确的用户需永分析。
基于条件随机场(CRFs)的中文词性标注方法
洪铭材 张阔 唐杰 李涓子
计算机科学. 2006, 33 (10): 148-151. 
摘要 ( 261 )   PDF(346KB) ( 600 )   
相关文章 | 多维度评价
本文提出一种基于CRFs模型的中文词性标注方法。该方法利用CRFs模型能够添加任意特征的优点,在使用词的上下文信息的同时,针对兼类词和未登录词添加了新的统计特征。在《人民日报》1月份语料库上进行的封闭测试和开放测试中,该方法的标注准确率分别为98.56%和96.60%。
一种基于语义分析的汉语语音识别纠错方法
计算机科学. 2006, 33 (10): 152-155. 
摘要 ( 81 )   PDF(290KB) ( 612 )   
相关文章 | 多维度评价
汉语语音识别的研究越来越重视与语言处理的结合,语音识别已经不是单纯的语音信号处理。N-gram语言模型应用到语音识别系统中,大大增强了系统的正确率和稳定性,但它也有其自身的局限性,使得语音识别出现许多语法和语义的错误结果。本文分析了语音识别产生语音和文字方面的错误的原因和类型,在概念层次网络语言模型的基础上提出了一种基于语句语义分析和混淆音矩阵的语音识别纠错方法。通过三个发音人、5万字的声音语料和216句实验语句的纠错测试,本文的纠错系统在纠正语义搭配型错误方面有比较好的表现,可克服N-gram语言模型带
一种带逆反的粒子群算法
计算机科学. 2006, 33 (10): 156-159. 
摘要 ( 102 )   PDF(235KB) ( 291 )   
相关文章 | 多维度评价
粒子群算法(PSO)是一种典型的基于群体智能的优化算法,但其在速度较小时,容易陷入局部最优解;本文提出一种带逆反的粒子群算法(PSORTP),并对其全局收敛性进行了理论分析,证明该算法能够以概率1收敛于全局最优解,最后以典型的函数优化问题的仿真实验及与经典方法的PSO的对比,验证了PSORTP的有效性。
基于多样信息素的蚁群算法
计算机科学. 2006, 33 (10): 160-162. 
摘要 ( 78 )   PDF(201KB) ( 245 )   
相关文章 | 多维度评价
根据蚁群算法信息素更新的特性,提出了求解旅行商问题的多样信息素的蚁群算法。把蚁群的三种不同的信息素更新方式混合在一起,既利用了局部信息,又考虑了整体信息,将局部搜索和全局搜索相结合,使收敛性得到提高。针对旅行商问题的仿真实验结果,表明了该混合算法的有效性。
动态小生境微粒群优化技术在概念设计中的应用
刘希玉 王文平 刘弘 段会川
计算机科学. 2006, 33 (10): 163-168. 
摘要 ( 80 )   PDF(436KB) ( 287 )   
相关文章 | 多维度评价
本文提出了一种基于标准微利群优化算法和动态小生境技术的动态小生境微利群优化算法,该算法基于协同微粒和协同多群体模型。同时我们给出了算法在创新建筑概念中的应用。
基于多输入泛函网络的构造和学习策略
崔明义 张新祥 苏白云 张瑞
计算机科学. 2006, 33 (10): 169-171. 
摘要 ( 98 )   PDF(239KB) ( 275 )   
相关文章 | 多维度评价
泛函网络是类似于人工神经网络的新型网络模型,是泛函方程的网络表达形式。本文针对复杂泛函网络构造和学习中存在的问题,提出了多输入泛函网络模型MIOFN。通过对该模型的分析,提出了简化和学习的方法,并进行了仿真实验。结果表明,本文提出的MIOFN运行是可靠的,在工程应用中是有效可行的。
面向虚拟组织资源发现的语义模糊匹配
计算机科学. 2006, 33 (10): 172-175. 
摘要 ( 65 )   PDF(257KB) ( 268 )   
相关文章 | 多维度评价
资源发现是虚拟组织提供资源共享和协同工作的前提。本文首先提出一种支持资源动态匹配的资源发现结构;然后针对传统资源匹配技术的不足,在资源元数据本体描述的基础上,结合概念的语言特征和语义特征,提出一种语义模糊匹配算法。通过语义相似度的计算,进而对语义关联进行分类,实现了一定程度的资源模糊匹配,为资源发现提供了新的解决方法。
一种线性规划问题的自动化建模方法研究
计算机科学. 2006, 33 (10): 176-178. 
摘要 ( 366 )   PDF(190KB) ( 307 )   
相关文章 | 多维度评价
提出了一种基于自然语言理解及XML的线性规划问题自动化建模方法,并给出实例。实践证明,该方法具有灵活性、通用性及可行性。
基于覆盖的粗糙模糊集的粗糙熵
徐菲菲 苗夺谦 李道国 魏莱
计算机科学. 2006, 33 (10): 179-181. 
摘要 ( 121 )   PDF(199KB) ( 377 )   
相关文章 | 多维度评价
覆盖约简是研究覆盖去冗余问题的一种有效方法。本文在基于最简覆盖的粗糙集模型的基础上,将粗糙度和粗糙熵的概念引入基于最简覆盖的粗糙模糊集,用来度量其不确定性程度;讨论了它们的一些性质,并通过实例说明粗糙熵比粗糙度更能精确地反映基于最简覆盖的粗糙模糊集的不确定性程度。
二维空间中硬聚类算法影响力因子的作用研究
金健 黄国兴 梁道雷
计算机科学. 2006, 33 (10): 182-185. 
摘要 ( 83 )   PDF(228KB) ( 290 )   
相关文章 | 多维度评价
经典硬聚类算法HCM(hard c-means)完全基于欧氏距离,针对其无法较好应对各簇规模差异较大的情况,提出在每个欧氏距离项上加入一个影响力因子,使基于距离的标准转变为更通用的基于角度的标准的方法(HCMef算法)。用该算法对二维空间中两类分布密度基本一致,样本数对比分别为1000:1000、1000:5000和1000:10000,正态分布且类边界从较模糊到较清晰的不同数据进行试验。结果显示,HCMef方法可以很好地找到聚类中心的标准设定值,在各种情况下都有很明显优势,表现出很强的稳定性。表明该方法
计算机网络与信息安全
基于遗传算法的聚类分析在CT图像分割中的应用
朱玲利 李吉桂 鲍苏苏
计算机科学. 2006, 33 (10): 186-188. 
摘要 ( 75 )   PDF(183KB) ( 329 )   
相关文章 | 多维度评价
针对CT医学图像的特点,本文将遗传算法与聚类分析两种工具相结合,应用到医学CT图像分割中。对K均值聚类做了简要分析和评论,在此基础上将遗传算法引入聚类分析中,利用遗传算法搜索的随机性和并行性,从而克服了K均值聚类的局部性和对初始聚类中心的敏感性;并且可以根据分割的要求,合理地调整聚类时的特征向量和权重。试验结果表明上述方法是可行的,达到了较好的分割效果。
对基于知识发现的神经元网络集成方法的研究
王泳 邢红杰
计算机科学. 2006, 33 (10): 189-192. 
摘要 ( 74 )   PDF(267KB) ( 279 )   
相关文章 | 多维度评价
该文对应用知识发现技术训练神经元网络集成的方法进行了研究,提出了以并行操作的方式结合归纳学习所获取的知识和演绎学习所获取的知识的神经元网络集成模型KBNNE(Knowledge-based Neural Network Ensembles)。实验表明,通过调节所获取知识的权重因子,新模型可以有效提高网络集成的性能。
一种基于信息增益及遗传算法的特征选择算法
任江涛 孙婧昊 黄焕宇 印鉴
计算机科学. 2006, 33 (10): 193-195. 
摘要 ( 82 )   PDF(262KB) ( 443 )   
相关文章 | 多维度评价
特征选择是模式识别及数据挖掘等领域的重要问题之一。针对高维数据对象,特征选择一方面可以提高分类精度和效率,另一方面可以找出富含信息的特征子集。针对此问题,本文提出一种综合了filter模型及wrapper模型的特征选择方法,首先基于特征之间的信息增益进行特征分组及筛选,然后针对经过筛选而精简的特征子集采用遗传算法进行随机搜索,并采用感知器模型的分类错误率作为评价指标。实验结果表明,该算法可有效地找出具有较好的线性可分离性的特征子集,从而实现降维并提高分类精度。
基于统计聚类RBF神经网络的孤立点检测研究
周凯
计算机科学. 2006, 33 (10): 196-197. 
摘要 ( 324 )   PDF(231KB) ( 254 )   
相关文章 | 多维度评价
孤立点挖掘是数据挖掘的一个重要领域,而统计分析方法在孤立点检测中具有天然的优势。本文将统计聚类方法融入RBF神经网络,提出了一种基于统计聚类RBF神经网络的新的孤立点检测算法——SCRBF。该算法包括两部分,先用统计聚类方法对神经网络进行初始化,然后根据网络的训练情况进行隐单元的简化,提高了神经网络的泛化能力,同时也降低了过拟合现象的出现概率。与LSC算法的对比实验表明,该算法是有效的。
基于遗传算法的α-离群约简搜索算法
计算机科学. 2006, 33 (10): 198-201. 
摘要 ( 55 )   PDF(277KB) ( 337 )   
相关文章 | 多维度评价
离群数据挖掘与分析在网络入侵控制、信用卡检测、通信欺诈分析等诸多领域具有十分重要的意义。结合粗糙集理论的属性约简技术,定义了α-离群约简等概念,提出了一种以属性离群贡献率和离群划分相似水平为基础的基于遗传算法的旷离群约简算法。这种方法通过维数更小的属性子空间去获得相同或相近的离群数据集,使对离群数据来源及出现原因的分析和理解更加集中于较小的目标域。通过对现实数据集的实验表明,该算法可有效地产生出约简并具有较好的规模适应性。
多agent集成方法在复杂系统故障预报中的应用
计算机科学. 2006, 33 (10): 202-204. 
摘要 ( 73 )   PDF(193KB) ( 258 )   
相关文章 | 多维度评价
基于普适性角度,从单个agent系统出发,结合计算机网络结构,研究了多agent集成方法在复杂系统故障预报中的理论规则。首先,对多agent集成系统的各子agent预测模块进行赋值,并给出相应的信任程度;然后,计算决策agent的预测值,判断系统“异常”与否。同时,给出多agent集成系统的工作机理,并设计出多agent集成系统的网络模型;最后,仿真试验验证了该方法的有效性和合理性。分析研究表明,多agent集成方法在复杂系统的故障预报中有广阔的工程应用前景。关键词复杂系统,故障预报,多agent集成方法
基于随机混沌序列的图像加密算法
计算机科学. 2006, 33 (10): 205-209. 
摘要 ( 49 )   PDF(294KB) ( 234 )   
相关文章 | 多维度评价
混沌系统的参数敏感性、初值敏感性和以同一分布遍历各态的特性很好地对应了密码系统应具备的一些基本特性。本文提出了一种基于随机混沌序列的图像加密算法。在该算法的图像像素的空间置乱过程中,采用了离散的标准映射混沌系统。而在像素的扩散过程中,通过复合离散混沌系统隐藏了混沌序列产生时所经历的迭代次数。理论分析和仿真实验表明,本文提出的算法具有较高的安全性能,特别是在统计攻击、差分攻击和选择明文攻击能力方面具有很好的抗攻击性能。
一种图像边缘保持的改进方向平滑算法
刘兴洪 汪林林
计算机科学. 2006, 33 (10): 210-212. 
摘要 ( 101 )   PDF(205KB) ( 496 )   
相关文章 | 多维度评价
本文利用图像的相关性原理,结合图像的边缘信息,提出了一种新的图像边缘保持的方向平滑算法。该算法主要通过控制平滑区域大小和均方差阂值来选择受噪声干扰最小和最大相关区域。仿真证明该方法能够较好地去除椒盐噪声和高斯噪声,并且能够很好地保持图像的边缘和细节信息,作为图像的一种预处理方法,具有较高的实用价值。
基于快速小波包直方图技术的图像检索算法
计算机科学. 2006, 33 (10): 213-215. 
摘要 ( 67 )   PDF(200KB) ( 251 )   
相关文章 | 多维度评价
提出了一种基于快速小波包直方图技术的图像检索新算法。此方法主要有图像的小波包分解,最主要能量频带的选择和小波包直方图的抽取及相似性度量三个步骤。首先,用一族正交小波基分解一幅图像并用小波包系数计算各个频带的能量;其次,选择几个最主要能量频带进行闽值化和非线性滤波;最后,抽取小波包直方图作为特征表示并应用直方图相交距离从图像数据库中检索被查询图像。由于该方法在特征抽取中应用较小的特征空间,因此需要较小的计算复杂性。实验结果表明,这些技术在图像检索中可以获得更好的性能。
量子测量与量子计算
张云洁
计算机科学. 2006, 33 (10): 216-220. 
摘要 ( 137 )   PDF(491KB) ( 745 )   
相关文章 | 多维度评价
本文的讨论主要集中在量子力学中测量部分,首先从量子力学的几大公设出发,着重分析测量公设的含义。然后提出量子力学争论的焦点问题之一——测量问题,并通过分别阐述塌缩原理、非塌缩原理以及对二者的比较来分析各种说法的合理性。接下来简要讨论同时测量问题。最后简略描述测量在不同量子计算模型中的体现,并对测量带来的问题做了思考。
区间速率连续Petri网的有效冲突及其消解
计算机科学. 2006, 33 (10): 221-224. 
摘要 ( 59 )   PDF(338KB) ( 265 )   
相关文章 | 多维度评价
有效冲突是Petri网及其扩展模型的重要行为。本文讨论了区间速率连续Petri网模型的有效冲突问题。通过划分区间速率连续Petri网的标识等价类,提出了区间速率连续Petri网在任意标识下的瞬时引发速率的有效求解方法,并提出了区间速率连续Petri网最大瞬时引发速率有效冲突的判定及消解方法。最后给出相应的分析例子。
S-网的进程表达式及求取方法研究
计算机科学. 2006, 33 (10): 225-227. 
摘要 ( 63 )   PDF(247KB) ( 248 )   
相关文章 | 多维度评价
Petri网的进程是用于系统行为和状态描述的有效工具,但是通常很难给出结构复杂Petri网进程的全部描述。本文考察结构简单的S-N的进程行为,给出各种类型的S-N的进程表达式的描述方法,为结构复杂Petri网系统的进程描述提供借鉴和帮助。
MDA中的模型转换技术综述
张德芬 李师贤 古思山
计算机科学. 2006, 33 (10): 228-230. 
摘要 ( 73 )   PDF(318KB) ( 699 )   
相关文章 | 多维度评价
模型转换是模型驱动软件开发的关键技术。本文首先对MDA中的模型转换技术进行了分类,然后介绍了模型转换技术的研究现状,并对当前支持模型转换的MDA工具作了总结和比较,最后展望了模型转换技术的发展前景。
基于反射的实时构件模型规约描述研究
黄靖 卢炎生 徐丽萍
计算机科学. 2006, 33 (10): 231-237. 
摘要 ( 84 )   PDF(496KB) ( 272 )   
相关文章 | 多维度评价
以现有的构件模型为研究基点,应用反射技术,针对实时应用系统的开发,提出一类新的构件模型——反射式实时构件模型,由反射式实时构件语义模型和反射式实时构件语法模型组成。该模型在规约构件应有的功能需求特征的基础上,有效地标识构件的时间约束特征,使得与传统的功能性构件区别开来,能被系统开发者更好地选用。同时,该模型结合反射技术,能根据用户需求的变化,对实时构件进行动态修改,以便更准确地保障实时应用系统的构建与开发,并增强构件设计的活性,达到构件更好实现的效果。反射式实时构件模型既是一个构件理论模型,也是一个工程模
实时系统程序最差情况执行时间(WCET)的分析
姬孟洛 齐治昌
计算机科学. 2006, 33 (10): 238-241. 
摘要 ( 153 )   PDF(269KB) ( 985 )   
相关文章 | 多维度评价
事先获知系统中程序最差情况的执行时间(Worst-Case Execution Time,WCET),是设计和验证实时系统调度及可调度性分析的前提,也是确定周期性任务是否满足其性能目标,从而发现系统性能瓶颈的基础。本文概述了程序WCET的分析方法,描述了WCET分析的定义和组成,重点总结其中的程序流事实分析方法,并指出程序流事实分析存在的问题和WCET分析的研究热点。
ARTEMIS-ARC系统协同模型的自省式实现技术研究
计算机科学. 2006, 33 (10): 242-246. 
摘要 ( 75 )   PDF(333KB) ( 263 )   
相关文章 | 多维度评价
基于运行时体系结构的协同模型能够为面向服务的协同应用系统的动态演化提供有效的支持。但是在实现层面上,如何使软件体系结构从抽象的规约转化为运行时实际的对象实体,并成为系统演化行为的直接载体,是一个较为困难的技术挑战。针对这个问题,本文提出一种基于计算自省的实现途径,主要包括基于面向对象程序设计语言构造的体系结构层面的元表示和元协议、基于体系结构上下文中对象引用重解释构建的因果互连机制,以及基于该因果互连机制的应用系统的动态重配置。以上实现方式在自行开发的服务协同系统ARTEMIS-ARC时得以实施。
多视点中不一致性的处理:一种基于认知逻辑的方法
江敏 毋国庆 刘小丽
计算机科学. 2006, 33 (10): 247-251. 
摘要 ( 81 )   PDF(322KB) ( 269 )   
相关文章 | 多维度评价
衡量一个软件系统是否成功,一个基本的要素就是看该软件系统是否满足了用户的要求。软件系统需求工程(RE)就是一个通过标识涉众及其需求并将其文档化以便于进行分析的过程。RE是一个跨学科,以人为中心的过程。多视点需求工程是需求工程的一个分支。多视点需求工程就是希望复杂系统中的不同参与者分别从自己的角度出发对预期系统进行描述,从而形成更完备的需求规约。由于多视点方法的这种特性,导致多个涉众有可能对同一问题进行描述,从而形成重叠的需求。这些重叠的需求就是涉众之间的公共知识,对公共知识的不同解释是导致需求规约中不一致
一种面向复用的增量软件开发过程框架
计算机科学. 2006, 33 (10): 252-255. 
摘要 ( 94 )   PDF(304KB) ( 993 )   
相关文章 | 多维度评价
以复用思想指导软件开发是软件产业发展的趋势,而当前主要面向复用的软件开发方法没有考虑到我国软件企业以中小型为主的现状,缺乏针对性,使得复用在我国软件开发中应用不够广泛。在基于构件开发的基础上提出了一种面向复用的增量软件开发过程框架。该过程框架适于我国中小型软件企业,采用了以体系结构为指导的增量开发模式,涵盖了可复用资产的生产过程和利用可复用资产的软件开发过程。
基于敏捷化统一过程需求建模的研究及实践
计算机科学. 2006, 33 (10): 256-259. 
摘要 ( 71 )   PDF(250KB) ( 387 )   
相关文章 | 多维度评价
敏捷建模(AM)是适应需求变化、提高软件开发效率的新型建模思想,而RUP是Rational公司提出的一个通用的软件开发过程框架。本文分析了当前RUP实践的缺点及敏捷建模实践特点,在此基础上总结了敏捷化统一过程(AM-RUP),并提出了一种AM-RUP的需求建模过程——“总体概要需求获取,按需求优先级进行计划,小增量迭代式简单需求建模”。以社会保险系统的开发为背景,探索了基于AM-RUP的需求建模过程及技术。
集中式RTI中时间管理的不必要性
计算机科学. 2006, 33 (10): 260-263. 
摘要 ( 91 )   PDF(240KB) ( 227 )   
相关文章 | 多维度评价
本文研究HLA/RTI实现的结构和时间管理之间的关系。当前,人们在为不同的应用构造联盟的过程中设计实现了各种各样的RTI,例如网络多人游戏应用的集中式RTI、国防应用的分布式RTI等。现在,在开发RTI软件的过程中,为了满足IEEE标准且获得所有HLA特征,人们通常在所有RTI中都需要完成时间管理。首先,本文展示了集中式RTI和层次式RTI的结构,解释了时间管理需求的原因。然后,基于基本的结构分析,得出在集中式RTI中并不需要时间管理的结论。最后,本文列举了一些推论,例如层次式RTI的时间管理。
JMSPTP体系结构的MDB组件的设计和通信性能测试
冼广铭 王知衍 黄鲲
计算机科学. 2006, 33 (10): 264-268. 
摘要 ( 85 )   PDF(236KB) ( 266 )   
相关文章 | 多维度评价
JMS定义了Java访问消息中间件标准的和统一的接口,克服了RPC中间件技术的同步通信、紧密耦合等的局限性。消息驱动Bean(MDB)组件作为一种完善的JMS客户机,很好地利用了已有的EJB和J2EE技术。本文使用JMS PTP扇出体系结构,以消息驱动Bean组件作为消息异步消费者,并且以消息大小、应答模式、线程数、JVM选项等作为影响吞吐量的4个因素,对其通信性能进行了测试。采用方差分析、最小正规二次无偏估计等数理统计方法分析实验数据,获得了各个因素及其各个水平对吞吐量边际均值的具体影响程度,为通信性能
一种Web应用测试结果分析比较技术
计算机科学. 2006, 33 (10): 269-271. 
摘要 ( 61 )   PDF(242KB) ( 247 )   
相关文章 | 多维度评价
合理分析、正确比较Web应用的测试结果能够有效评判测试工作的效果和效率。在现有工作的基础上,我们提出一种新的测试结果分析比较方法,利用语义标注和XML描述技术实现Web页面中数据与显示信息的分离,从而方便测试结果与预期结果的直接比较;并进一步引入反馈控制机制,把测试结果反馈给Web应用本身,根据Web应用的实际状况来指导其发展和演化,使得系统质量得到进一步改善。
基于DataPool的Web测试数据生成与维护方法
计算机科学. 2006, 33 (10): 272-274. 
摘要 ( 106 )   PDF(205KB) ( 251 )   
相关文章 | 多维度评价
针对Web应用测试数据所具有的特点,本文提出了一种基于DataPool的Web应用测试数据生成与维护方法。在形式化定义DataPool和明确其语义描述的基础上,根据浏览器端不同的输入域类型在DataPoo1的编辑视图中提供了相对应的测试数据生成方式,并提供了各种维护功能。在DataPool浏览视图中,支持以单个和批量的方式选择测试数据。
基于XML的协议一致性测试系统的设计与实现
李华 叶新铭 曾敏 丁雪莲
计算机科学. 2006, 33 (10): 275-278. 
摘要 ( 81 )   PDF(294KB) ( 274 )   
相关文章 | 多维度评价
本文详细介绍了一个协议一致性测试系统的实现,包括测试系统结构介绍、测试套编辑子系统和测试执行子系统的实现,同时实现了一个日志窗口,用于显示测试执行的过程。在测试套编辑子系统的实现部分,分析了编辑流程,设计的编辑子系统可以分为协议无关和协议有关部分,与协议无关部分的实现可以重用。文中还定义了存放测试套的XML文件的结构以及相应的元素与标记。以邻居发现协议的路由请求包为例,展示了测试套的结构及日志窗口。
基于静态分析的安全漏洞检测技术研究
夏一民 罗军 张民选
计算机科学. 2006, 33 (10): 279-282. 
摘要 ( 114 )   PDF(295KB) ( 961 )   
相关文章 | 多维度评价
消除软件中的安全漏洞是建立安全信息系统的前提。静态分析方法可以自动地提取软件的行为信息,从而检测出软件中的安全漏洞。和其它程序分析方法相比,该方法具有自动化程度高和检测速度快的优点。在本文中,我们首先描述了静态分析的理论基础,然后说明了类型推断、数据流分析和约束分析等主要静态分析方法及其在安全漏洞检测中的应用,并比较这些方法的优缺点。最后给出了几种支持安全漏洞静态检测的编程语言。
一种基于反汇编技术的二进制补丁分析方法
计算机科学. 2006, 33 (10): 283-287. 
摘要 ( 128 )   PDF(382KB) ( 712 )   
相关文章 | 多维度评价
软件开发商通过向用户提供补丁程序来修改软件中存在的安全漏洞。但随着安全漏洞研究者不断提高分析安全补丁的能力和速度,厂商开始向公众封闭与安全补丁相关的漏洞技术细节,仅提供软件打补丁前后的二进制代码,由此引发了二进制代码比较技术研究的热潮。二进制代码比较技术的目的是定位执行代码间的差异,从而获得补丁所修补的漏洞细节。本文提出了一种基于反汇编技术,定位执行代码间语义差异,从而完成二进制安全补丁分析的方法。描述了该技术模型、系统框架和关键技术,并通过实践证明此方法可以快速有效地定位安全补丁所修补的软件漏洞。
基于UML的文档管理系统研究
甘利杰
计算机科学. 2006, 33 (10): 288-290. 
摘要 ( 79 )   PDF(217KB) ( 411 )   
相关文章 | 多维度评价
统一建模语言UML(Unified Modeling Language)是面向对象软件开发方法的重要技术。UML可以对大型复杂的系统的各种成分可视化,说明并构造系统模型,以及建立各种所需的文档。本文以文档管理系统为例,介绍了Intranet/Web体系结构的信息系统站点的构建,以及基于ASP和ISAPI的动态Web页面发布技术,并对基于Intranet和Web技术应用的一些典型问题进行了分析。
Java Native Interface应用研究
许晓宁
计算机科学. 2006, 33 (10): 291-292. 
摘要 ( 81 )   PDF(156KB) ( 378 )   
相关文章 | 多维度评价
本文研究在Java虚拟机下加快系统的执行速度,实现调用本地操作系统的内核,访问硬件设备接口,执行非Java代码集及一临界代码段等技术。通过这些技术的实现,在保持Java平台无关性的同时又充分发挥了本地平台的优势。
有限状态自动机的并行确定化及过程分析
计算机科学. 2006, 33 (10): 293-294. 
摘要 ( 132 )   PDF(161KB) ( 325 )   
相关文章 | 多维度评价
本文通过对并行环境下非确定有限自动机和确定有限自动机的等价性和转换进行研究,详细分析了非确定有限自动机到确定有限自动机的并行转换方法及算法,并以实例给出了其间并行转化的过程。