电子学报

Select

杨芙清, 梅宏, 吕建, 金芝

电子学报. 2002, 30(S1): 1901-1906.

摘要 ( ) PDF全文 ( )

可视化

本文以软件基本模型的发展为主线,对软件技术的历史和现状进行了回顾;分析了Internet的基本特征及其对软件技术带来的需求和挑战;总结提炼出Internet环境下软件的新形态——网构软件(Internetware),探讨了其不同于传统软件的主要特性和主要研究方向.

Select

模型检测:理论、方法与应用

林惠民, 张文辉

电子学报. 2002, 30(S1): 1907-1912.

摘要 ( ) PDF全文 ( )

可视化

随着计算机软硬件系统日益复杂,如何保证其正确性和可靠性成为日益紧迫的问题.在为此提出的诸多理论和方法中,模型检测(model checking)以其简洁明了和自动化程度高而引人注目.模型检测的研究大致涵盖以下内容:模态/时序逻辑、模型检测算法及其时空效率(特别是空间效率)的改进以及支撑工具的研制.这几个方面之间有着密切的内在联系.不同模态/时序逻辑的模型检测算法的复杂性不一样,优化算法往往是针对某些特定类型的逻辑公式.本文将就这几个方面分别加以阐述,最后介绍该领域的新进展.

Select

现代操作系统的思考

顾明, 郭陟, 孙家广, 赵曦滨

电子学报. 2002, 30(S1): 1913-1916.

摘要 ( ) PDF全文 ( )

可视化

伴随计算机硬件和网络技术的发展,作为计算机系统中的重要组成部分的操作系统也在不断发展.本文回顾了操作系统的作用、发展历史及主要组成部分,分析了现代操作系统的发展趋势,并针对未来操作系统在计算机体系结构中的地位演变做了相应的思考.

Select

性能评价形式化方法的现状和发展

林闯, 李雅娟, 王忠民

电子学报. 2002, 30(S1): 1917-1922.

摘要 ( ) PDF全文 ( )

可视化

性能评价(Performance Evaluation,PE)是计算机网络和计算机系统研究与应用的重要理论基础和支撑技术,也是当今通信和计算机科学领域的重要研究方向.本文对性能评价的形式化方法(Forman Methods,FM)、该领域的主要研究成果和发展前景进行了综述.文章着重介绍了FM中的三种方法:排队论(Queuing Theory)、随机Petri网(Stochastic Petri—Net,SPN)和随机进程代数(Stochastic Process Algebra,SPA).另外,本文还对不同方法之间的区别和结合做了初步的讨论.最后对形式化方法做了总结和展望.

Select

特征交互问题导论

梅宏, 黄罡, 邢岩, 彭枫

电子学报. 2002, 30(S1): 1923-1927.

摘要 ( ) PDF全文 ( )

可视化

特征交互问题是长期困扰电信领域的主要挑战之一,随着Internet的发展,软件(特别是WEB软件)随着其集成的特征愈多、规模愈大、服务质量要求愈高、演化愈频繁、对人与社会的影响愈大,其中的特征交互问题亦开始呈现并日趋严重.尽早开展相关研究与实践,是避免软件在特征交互问题上重蹈覆辙的有效途径.本文着重介绍了电信领域中特征交互问题的基本概念、实例及其分类,在分析已有研究成果的基础上,讨论了今后的研究方向.进而通过介绍基于软件体系结构的特征交互问题研究,探讨了软件中的特征交互问题.

Select

网络存储技术及发展趋势

陈凯, 白英彩

电子学报. 2002, 30(S1): 1928-1932.

摘要 ( ) PDF全文 ( )

可视化

网络存储是信息社会的关键技术.本文讨论了网络存储技术及其应用,分析了网络存储技术的应用背景,对传统存储存技术DAS的特点进行了分析,说明了传统存储技术DAS的局限性,分别讨论了目前网络存储两种主流技术NAS和SAN的特点,分析了网络存储技术相比传统存储技术的优势,指出了NAS和SAN逐渐融合和趋势,并对DAS、NAS和SAN三种技术进行了比较说明.结合学术、市场的研究方向列举了网络存储技术的一些发展方向.

Select

主动队列管理中的智能分组丢弃新机制

任丰原, 林闯, 魏丫丫, 樊燕飞

电子学报. 2002, 30(S1): 1933-1937.

摘要 ( ) PDF全文 ( )

可视化

主动队列管理通过网络中间节点有控制的分组丢弃实现了较低的排队延时和较高的有效吞吐量,是TCP端到端拥塞控制近来研究的一个技术热点.已有的大多数算法在判定分组丢弃时大都沿袭了RED的概率丢弃机制,具有一定计算复杂度的随机数生成过程不利于路由器性能的优化.在本文中,我们首先定义了拥塞指数这一新的测度变量来量化描述网络的拥塞状态.接着,利用模糊逻辑设计了一种新的智能分组丢弃机制,离线的合成推理使得分组丢弃的判定仅需要简单的查表操作和比较运算即可完成,为优化路由器的性能提供了便利.数字仿真的结果表明:智能分组丢弃机制的性能优于经典的RED算法,控制队列的能力强,鲁棒性好,稳定工作域大,能很好地抵抗突发性和非弹性业务的干扰,适合工作在瞬息万变的动态网络环境中.

Select

PKUAS:一种面向领域的构件运行支撑平台

黄罡, 王千祥, 曹东刚, 梅宏

电子学报. 2002, 30(S1): 1938-1942.

摘要 ( ) PDF全文 ( )

可视化

基于中间件的构件运行支撑平台是实现基于构件的软件复用的关键.现有中间件技术侧重于解决大多数领域开发分布系统均会遇到的共性问题,忽视了单个应用领域内的共性问题.在下一代中间件技术追求的主要特性中,开放性与灵活性能够有效增强中间件对领域特性的支持.本文介绍了一个开放、灵活、面向领域的构件运行支撑平台,重点研究了平台内核、可扩展互操作框架以及元编程机制,并结合电力领域探讨了面向领域的定制与扩展方法.

Select

基于文档分割的图像兴趣域检测及编码方法

朱庆生, 王茜, 傅鹤岗, 吴中福

电子学报. 2002, 30(S1): 1943-1946.

摘要 ( ) PDF全文 ( )

可视化

结合数字图书馆系统建设和应用的需求,文章提出一种基于文档分割的自适应文档图像兴趣域编码方法.文章针对数字化文档结构特征,详细描述了一种基于块缩图和涂染技术的快速图文分割算法,该算法分割图文时不受文本倾斜和插图区域不规则的限制;在将插图域和文本域进行准确分割的基础上,文章提出了一种自适应生成插图兴趣域屏蔽图和兴趣域位移法的压缩编码算法,最后给出采用该方法压缩含插图的扫描文档的示例.

Select

网络协议中的时间约束测试

陈东洛, 尹霞, 吴建平

电子学报. 2002, 30(S1): 1947-1952.

摘要 ( ) PDF全文 ( )

可视化

对协议实现的时间约束进行测试,是验证协议实现的实时特性的重要方法.本文考查了当前实时系统测试方面的进展,结合路由协议测试的实践,修正了现有方法几个不符合实际情况的假设,扩展了时间自动机的理论和思路,将时间约束下的状态机转换成非确定性有限状态自动机,运用Wp方法生成抽象测试集,讨论将抽象测试集参数化的方法.以路由协议RIP的时间约束为例说明了生成基于TTCN测试例的过程.

Select

分层小区系统中预留资源的切换策略分析

王莹, 王卫东, 张平

电子学报. 2002, 30(S1): 1953-1956.

摘要 ( ) PDF全文 ( )

可视化

分层小区结构是增强覆盖,提高系统容量,为具有不同移动特性的用户提供更好服务质量的一种有效的解决方案.本文讨论了具有分层小区结构的CDMA(码分多址)系统中切换策略的性能,分别用一维和二维的马尔可夫模型来分析微蜂窝和宏蜂窝中的状态.CDMA的自干扰特性使得其系统容量与干扰水平相关,因此我们采用状态空间无限的马尔可夫模型来进行分析.另外,考虑到切换用户的优先级问题,以及具有不同移动特性的用户的公平性问题,我们在系统中设置了多级接入门限,同时分析了资源预留量对系统性能的影响.

Select

一种适用于动态/移动环境的新的组播协议

范锐, 程时端

电子学报. 2002, 30(S1): 1957-1961.

摘要 ( ) PDF全文 ( )

可视化

组播协议由于能够有效的利用网络带宽并降低服务器的负担因而受到广泛的关注.其中的共享树组播协议由于具有良好的扩展性而得到更多的支持,然而目前的共享树组播协议在动态移动环境中的性能很差,一些改进协议(单核移动协议)虽然可以很好的提高原有协议的性能但是所需要的额外开销很大.针对这种情况,本文提出了一种新的共享树组播协议-动态多核协议,该协议能够根据组播成员的分布动态的渐进的调整组播树的形状,从而能够在低开销的情况下为移动用户提供良好的性能.计算机仿真和数学分析都表明动态多核协议要明显优于共享树组播协议和单核移动协议.

Select

TCP在WLAN中的性能提高与分析

邬海涛, 林宇, 程时端

电子学报. 2002, 30(S1): 1962-1967.

摘要 ( ) PDF全文 ( )

可视化

IEEE 802.11被用于支持无线以太网(WLAN)中的分组传输.分布式协调功能(DCF)是IEEE 802.11的MAC协议的基本方式.为提高传输控制协议(TCP)在WLAN上的性能,本文提出了DCF+,并引入了分析模型对DCF及DCF+在WLAN上的吞吐量性能进行分析.建模及仿真结果表明本文提出的DCF+可以提高TCP在WLAN上的性能.

Select

性能可调的启发式多约束路由算法

崔勇, 徐恪, 吴建平

电子学报. 2002, 30(S1): 1968-1972.

摘要 ( ) PDF全文 ( )

可视化

作为下一代互联网的核心问题之一,多约束的服务质量路由(QoSR)用来寻找一条同时满足多个约束条件的可行路径.由于QoSR具有NPC的复杂度,为此我们结合线性、非线性能量函数将多个Qos度量转化成单一能量值,设计了可调节的启发式算法BFS_MCP.该算法将深度可调的广度优先搜索策略引入传统Dijkstra算法中,使它能够随路由器CPU负载和实际网络规模而实时调节算法的运行时间,因而BFS-MCP算法具有广泛的适应性.此外,广泛深入的实验结果表明,广度优先的搜索策略能够极大地提高算法性能.

Select

IP网络传输控制的性能评价标准研究

林闯, 周文江, 田立勤

电子学报. 2002, 30(S1): 1973-1977.

摘要 ( ) PDF全文 ( )

可视化

性能评价标准是进行网络传输控制机制和算法研究的一个非常重要的问题.由于传输控制本身的多目标性,导致了性能评价标准也需要同时考虑多项内容,即需要研究综合性能评价标准.本文通过讨论包括服务质量、服务数量和公平性在内的性能评价指标、性能评价的时间尺度和评价粒度等几个基本问题,针对不同的粒度,分别从有效性和公平性两个方面提出了相应的性能评价标准.在有效性方面,定义了规格化性能函数这一概念,把时延、丢包率等服务质量和服务数量统一在一起进行评价;在公平性方面,利用随机过程均值和方差的关系,以及Raj Jain公平指数的改进公式进行评价.

Select

一种基于带宽和时延约束的分布式组播路由算法

陆慧梅, 向勇, 史美林, 杨敏

电子学报. 2002, 30(S1): 1978-1981.

摘要 ( ) PDF全文 ( )

可视化

针对已有分布式组播路由算法在寻找QoS路由时的低成功率问题,本文提出了一种新的基于带宽和时延约束的分布式组播路由算法-QDMR(QoS-based Distributed Multicast Routing).在为新组播成员搜索连接到组播树的可行路径时,QDMR算法使用RBMF(Reverse Best Metric Forwarding)转发算法代替RPF(Reverse Path Forwarding)转发算法,从而优先搜索满足带宽和时延约束要求的路径,然后才考虑代价的优化.模拟分析表明,QDMR提高了路由搜索的成功率,并且降低了协议开销.

Select

一种双帧数字图像的双盲水印技术

王道顺, 戴一奇, 梁敬弘

电子学报. 2002, 30(S1): 1982-1985.

摘要 ( ) PDF全文 ( )

可视化

本文提出一种新的安全水印嵌入技术:同时对两帧数字图像嵌入两种不同水印,对任意提取一幅图像的水印,无法恢复两个水印的任何信息.在获得双密钥情况下,方可恢复两幅图像的水印.从数学上证明了我们提出的新技术的有效性,并对算法安全性给予了分析.在变换域上给出了实现了双盲水印的算法,采用StirMark水印测试软件进行了一系列攻击性试验,其测试结果表明此技术提供了一种新的数字版权保护的方法.

Select

基于分组标识的网络流量抽样测量模型

程光, 龚俭, 丁伟

电子学报. 2002, 30(S1): 1986-1990.

摘要 ( ) PDF全文 ( )

可视化

PSAMP建议流量抽样测量模型应该简单且能够满足各种测量应用要求,为此,文章提出基于报文标识的流量抽样测量模型.对CERNET主干网络流量IP报头各字段的进行随机性分析,结果表明标识字段16比特统计上满足抽样掩码匹配字段的随机性要求.并提出基于标识字段的多掩码抽样测量算法及其修正算法,实验验证其抽样样本既能满足流量统计行为研究,又能进行网络行为研究.

Select

一种适应性复制协议的研究与设计

赵东, 姚绍文, 周明天

电子学报. 2002, 30(S1): 1991-1994.

摘要 ( ) PDF全文 ( )

可视化

传统的复制协议往往对如何适应遗留系统和引入复制技术对系统性能造成的影响方面考虑不够深入.本文在分析传统复制协议的基础上,提出了一种新协议.其设计采用复制实例数目可动态伸缩的逻辑令牌环结构,因而在满足可用性需求的前提下,可支持不同分布系统对适应性的需求,同时保证引入复制技术后系统的性能.文中详细论述了相应的系统模型和服务请求的处理,并通过与几种典型的传统复制协议的比较,证明了该协议的可行性.

Select

混合维定性空间查询语言MQS-SQL

王生生, 刘大有, 杨博

电子学报. 2002, 30(S1): 1995-1999.

摘要 ( ) PDF全文 ( )

可视化

定性空间推理的RCC理论能够比较全面地表达空间对象的拓扑关系.但由于不支持混合维空间对象,RCC不能直接用于空间查询.本文扩展了RCC,建立了能表达混合维空间关系,更适合于空间查询的空间关系模型MRCC.该模型采用GIS中常用的数据结构,支持混合维空间对象的全拓扑(mereotopology)关系,并根据混合维对象的特点建立了与维数无关的统一的方向、距离关系.利用该模型扩充了标准SQL语言的关系代数,实现了混合维定性空间查询语言MQS-SQL.

Select

开放分布系统中基于RBAC和策略实施的协调模型

张亚英, 尤晋元

电子学报. 2002, 30(S1): 2000-2003.

摘要 ( ) PDF全文 ( )

可视化

本文提出了适用于开放分布系统的基于RBAC和策略实施的协调模型(RBPEC).RBPEC模型引入了协调组的概念,把需要进行交互才能完成整体任务的多个软件实体放在一个协调组中.RBPEC协调模型把协调和访问控制两者结合起来,引入基于角色的访问控制为协调系统作安全性检查,系统的协调策略可以在分布环境下实施.RBPEC协调模型具有安全和可扩展两大特点.

Select

一种基于单层包络控制的三角形网格简化算法

申煜湘, 邹北骥, 孙家广, 朱理

电子学报. 2002, 30(S1): 2004-2007.

摘要 ( ) PDF全文 ( )

可视化

三维物体的几何造型中,物体通常用三角形网格来描述.对于复杂物体的三角形网格模型,如人脸及人的各种器官的三维几何模型、各种动物的三维几何模型,其庞大的数据量给存储、传输以及渲染等方面带来了很大的困难,因而三角形网格模型的简化成为了当前国内外计算机图形学领域中的一大研究热点.本文在研究总结已有算法的基础上,提出了一种采用单层包络控制的三角形网格简化算法.该算法对Cohen提出的包络构造方法进行了改进,采用一维搜索中的二分法来逼近最佳偏移值,并且采用内层单包络来控制简化误差,从而有效地改善了算法的性能.实验结果表明,采用本算法简化的三角形网格模型,不仅可大大地减少三角形面片数,而且有一个较低的算法时间复杂度.

Select

分布式Web Crawler的研究:结构、算法和策略

叶允明, 于水, 马范援, 宋晖, 张岭

电子学报. 2002, 30(S1): 2008-2011.

摘要 ( ) PDF全文 ( )

可视化

本文介绍了一个大型分布式Web Crawler系统——Igloo 1.2版.它采用分布式的系统结构,通过我们设计的二级哈希映射算法使系统可以进行高效的任务分割,并且系统的规模动态可扩展.爬行网页的质量是评价Crawler的一个重要指标,Igloo以PageRank值作为网页质量评价的标准,从而提高了爬行质量.加快爬行速度的关键是如何解除Crawler系统中的性能瓶颈,本文对此也作了详细的讨论,并提出了一种基于“滞后合并”策略的UBL数据库存取方法.实验表明,Igloo在保持高性能的同时能快速爬行到高质量的网页.

Select

结合多种语义信息的半自动视频对象分割

陈韩锋, 戚飞虎

电子学报. 2002, 30(S1): 2012-2015.

摘要 ( ) PDF全文 ( )

可视化

本文提出了一种半自动视频对象分割方法.该方法结合了多种视频语义信息,来提高分割的效率和分割方法的通用性.在视频的初始帧中用半自动绘制的多边形初始化目标对象区域;然后在后续帧中自动跟踪对象区域,对于一般性对象采用基于后向块匹配的像素对应方法进行跟踪;针对平移运动的刚体对象和变化很缓慢的对象本文提出了专门的跟踪方法;最后利用一种基于同等组的模板修正方法来修正每一帧的分割模板.利用本文的方法获得了精确稳定的实验结果.

Select

一种适用于网络应用的压缩图象快速检索方法

李晓华, 沈兰荪, 贾克斌

电子学报. 2002, 30(S1): 2016-2019.

摘要 ( ) PDF全文 ( )

可视化

随着多媒体技术和因特网的发展,基于内容的图象检索已经成为多媒体处理中的关键技术,而基于压缩域的图象检索由于其低复杂性逐渐形成一个新的研究热点.针对当前网上图像浏览与检索的应用要求,本文提出了一种基于JPEG2000压缩码流的压缩图象快速检索方法.该方法直接从JPEG2000压缩码流包头中抽取码块零位平面数,码块编码通道数及码块编码长度信息,并进而构造特征矢量用于图象检索.初步实验结果验证了该方法的有效性和快速性.

Select

组播通信的访问控制和密钥管理

戴琼海, 覃毅力, 张莹

电子学报. 2002, 30(S1): 2020-2023.

摘要 ( ) PDF全文 ( )

可视化

IP组播是一种高效的多目标传输机制.随着网络的发展,组播在网络的应用占据着越来越重要的地位,其应用不断扩展,技术日益成熟.目前,组播作为一个崭新的学术研究领域,在组播路由算法、流量控制、可靠传输等方面的研究已有很多成果,而对于组播安全问题的研究特别是组播通信密钥的研究还很不成熟.本文通过研究绀播通信安全进行深入的研究,对比各种密钥管理方法,研究了可扩展的密钥管理方法.该密钥管理体系采用分层管理结构,采用子管理中心对各个子域进行管理,不仅可以高效地处理组播组成员动态加入和退出,同时,大大减少了密钥管理中心的负担.使该方法可以应用于大型、动态的组播系统.此外,该方法根据现有的网络和组播系统的要求,提出了控制中心由计算机组进行统一调度管理,避免了单点故障的问题,增加了系统的鲁棒性.

Select

基于MPLS骨干网络的VPN解决方案

赵鹏, 罗平, 刘蓓洁

电子学报. 2002, 30(S1): 2024-2026.

摘要 ( ) PDF全文 ( )

可视化

现有的虚拟专用网(VPN)方案大多基于IP协议,这种结构的VPN在数据包转发速度、扩展性、服务质量等方面都存在欠缺,所以本文提出了基于多协议标记交换(MPLS)骨干网络的VPN解决方案.由于MPLS和IPSec在身份认证方面都没有定义,所以我们在方案中把认证中心(CA)的证书管理引入进来.该方案的核心思想是:利用MPLS在传输效率上的优势,通过CA进行身份认证、IKE协议^[1]进行密钥协商以及IPSec协议^[2]进行数据包加密,从而在MPLS骨干网络上建立一个安全高效的VPN.本文对实现MPLS VPN的每个关键部件都做了进一步的描述.

Select

网边缘可控的IP QoS体系结构及其算法

樊秀梅, 林闯, 王忠民

电子学报. 2002, 30(S1): 2027-2031.

摘要 ( ) PDF全文 ( )

可视化

IP QoS要求是综合宽带网发展的重要瓶颈,而现有IP QoS体系不能很好地满足用户需求,因此,本研究将对IP QoS体系做一个新探索.依托当前网络环境、着眼于下一代网络发展,研究一种网边缘控制的自组织IP QoS体系结构及其算法.本体系中采用探测分组、染色分组和信息分组三类分组,并通过智能控制系统来控制三类分组的比例关系,有效地提供用户所需求的QoS. 本体系将克服现有机制的流状态保持,并通过用户的自组织行为来加强网络的自适应性与可扩展性,更好适应网络发展与应用需求.

Select

基于过程控制的软件质量管理

李明树, 王青

电子学报. 2002, 30(S1): 2032-2035.

摘要 ( ) PDF全文 ( )

可视化

质量形成于过程.以预防为主的过程管理思想在软件产业引入了软件的工程过程、管理过程和支持过程三类基本过程,以过程为中心的软件开发、生产与质量管理是现代软件产业的时代特征.本文阐述了软件质量管理的基本原理,提出了一个基于CMM过程管理控制的软件质量管理模型及平台,帮助软件组织达到较高的成熟度水平.

Select

基于XML的构架描述语言XBA的研究

赵文耘, 张志

电子学报. 2002, 30(S1): 2036-2039.

摘要 ( ) PDF全文 ( )

可视化

本文通过对现有构架描述语言进行分析,指出其存在的不足,并提出了一种基于XML的构架描述语言-XBA.它把XML应用于软件构架的描述,具备了较多的先进特性.通过对组成构架的基本元素进行描述,同时利用XML的可扩展性,XBA可对现有的各种ADL进行描述及定义.

Select

基于反省技术的灵活工作流管理系统

姚绍文, 王敏毅, 周明天

电子学报. 2002, 30(S1): 2040-2044.

摘要 ( ) PDF全文 ( )

可视化

面对复杂多样的应用环境,灵活性成为工作流技术研究的重点之一.反省作为提高系统灵活性的重要技术手段也可用于工作流管理系统中.本文分别从结构和行为方面对工作流过程及其管理进行了具体化,进而建立其反省模型.为了方便对元级的抽象和编程操纵,我们提出了元对象协议模型,其中包括协议声明、元对象关联、协议选择和元对象管理等机制或方法.进一步,本文通过典型的应用说明了反省方法对提高工作流系统灵活性和适应性是有效的.最后,文章介绍了工作流管理系统中反省技术的实现方法.

Select

GF(2ⁿ)域上的一种Ⅱ型优化正规基乘法器及其FPGA实现

方冰, 樊海宁, 戴一奇

电子学报. 2002, 30(S1): 2045-2048.

摘要 ( ) PDF全文 ( )

可视化

有限域GF(2ⁿ)上的椭圆曲线密码体制以其密钥短,安全强度高的优点正在获得广泛的重视和应用.该密码体制最主要的运算是有限域上的乘法运算.本文提出了一种基于Ⅱ型优化正规基的乘法器,该乘法器具有Massey-Omura乘法器的优点,又避免了其不足,易于编程,适合FPGA实现.实验表明,该算法简单,快速.

Select

基于UML的软件建模工具的研制

麻志毅, 蒋严冰, 李劲宇, 戴耀飞

电子学报. 2002, 30(S1): 2049-2051.

摘要 ( ) PDF全文 ( )

可视化

本文讨论了基于UML的软件建模工具的设计和实现技术.介绍了面向对象的软件建模工具所应支持的概念与模型,对工具的系统功能结构与设计进行了详细地阐述,并给出了一套具有通用性的具体实现方法.

Select

一个支持动态变化的工作流元模型

孙瑞志, 史美林

电子学报. 2002, 30(S1): 2052-2056.

摘要 ( ) PDF全文 ( )

可视化

支持动态可变和灵活的工作流系统是人们在实际应用中对工作流系统提出的新要求,传统的工作流建模思想必须加以改进以适应这种可动态变化的工作流运行模式.本文结合传统工作流的建模规律和动态变化的要求,提出了一个动态变化的三维空间元模型,将由过程模型、组织模型和信息模型组成的三维工作流模型从建模和运行变化的角度重新考虑,增加了对过程、活动、活动属性和组织模型的动态特性描述和操作协议描述,可以使在这个元模型之上的工作流模型具备人机交互能力和动态灵活性.元模型在工作流的建立阶段力求将动态特性进行描述和定义,在执行阶段可以在已定义的动态框架内变化,既保证了系统的灵活性,又使系统对动态变化具备可控操作.

Select

一种基于XML的主动应用程序描述符AADX

周悦芝, 张尧学, 王勇

电子学报. 2002, 30(S1): 2057-2060.

摘要 ( ) PDF全文 ( )

可视化

传统网络只能依照预先定义的协议被动地传输数据.随着网络应用的不断扩大,新的用户需求和应用也不断涌现,而新的协议及服务却很难在现行网络上快速实施.主动网络为解决传统网络存在的问题提供了一条新思路.主动网络的主要优点是用户可以根据需要向网络节点中插入程序,以完成定制的网络协议和服务.因此,主动刚络的核心功能是按照用户要求识别,传输,加载并运行主动应用程序,以完成用户所需要的计算.本文提出了一种基于XML的主动应用程序描述符AADX(Active Application Descriptor based on XML).该描述符可以用来标识主动程序并为其传输和加载提供基础.它为主动网络提供了一种有效灵活的主动程序识别和分发机制.

Select

基于Mobile Agent的服务移动性实现

于玉海, 张平

电子学报. 2002, 30(S1): 2061-2065.

摘要 ( ) PDF全文 ( )

可视化

本文提出了一种基于Mobile Agent的服务移动性系统(MASM,Mobile Agent Based Service Mobility),并在模拟环境中加以实现.MASM系统充分利用了Mobile Agent和Java技术的优势,提出了用“打点”和模块化等技术设计Mobile Agent的新方法,从而有效地减少了网络传输负载,灵活地实现了跨不同网络的服务移动.本文着重在MASM系统和Mobile Agent结构设计上以及具体服务移动的实现上.

Select

一种非对称链路带宽测量算法

林宇, 邬海涛, 王重钢, 程时端, 王文东, 金跃辉

电子学报. 2002, 30(S1): 2066-2070.

摘要 ( ) PDF全文 ( )

可视化

准确的网络带宽测量对许多互联网应用和协议至关重要.现有带宽测量工具如Pathchar,Bing和Bprobe都假定链路对称.但ADSL、cable modem和卫星链路等的广泛存在,使测量必须考虑非对称链路.本文提出了一种新的非对称链路测量算法(ALBMA,Asymmetric Link Bandwidth Measurement Algorithm),来测量一条路径上各链路的双向带宽,并采用核密度评估算法过滤测量噪声.仿真验证了测量和滤波算法的有效性.与先前算法相比,ALBMA具有相近的测量精度,但测量速度更快,并且耗费网络资源少.

Select

WLFVC:WLAN中的分布式公平调度机制

邬海涛, 林宇, 孙亮, 程时端

电子学报. 2002, 30(S1): 2071-2074.

摘要 ( ) PDF全文 ( )

可视化

基于前跳虚时钟(LFVC)算法,本文提出了适用于无线以太网(WLAN)环境的全分布式的调度算法WLFVC.该机制可为流在较短时间尺度上按权值分配带宽,并考虑了无线分组间的碰撞和无线链路误码的补偿策略.

Select

虚拟企业及其协作模型

陈刚, 金芝, 陆汝钤

电子学报. 2002, 30(S1): 2075-2078.

摘要 ( ) PDF全文 ( )

可视化

虚拟企业是多个企业为共享技术和核心竞争资源,以快速响应市场需求变化为目的,而组成的一个动态企业联盟.如何从一组独立企业出发,建立有效的虚拟企业联盟,提高虚拟企业内各独立企业之间的协作效率,已经成为虚拟企业研究和应用的热点.本文首先分析了虚拟企业及虚拟企业模型,然后针对虚拟企业组建和运营中的协作问题,提出了一种企业协作关系网模型,并给出了建立在企业协作关系网基础之上的企业协作策略.

Select

基于字频的单模式匹配算法

刘功申, 王永成, 许欢庆

电子学报. 2002, 30(S1): 2079-2082.

摘要 ( ) PDF全文 ( )

可视化

通过模仿人类查找字符串的过程,本文提出了一种新的单模式匹配算法(MBF算法).该算法利用QS算法的思想和已经成功匹配的前、后缀信息对模式进行预处理.在查找阶段,MBF算法利用了字符使用频率和连续跳跃的查找思想.实验表明,MBF算法比同类的其它算法更加高效.

Select

UML Statecharts的切片模型检验方法

董威, 王戟, 齐治昌

电子学报. 2002, 30(S1): 2082-2089.

摘要 ( ) PDF全文 ( )

可视化

统一建模语言UML已被广泛应用于软件设计和开发中,而验证UML模型是否满足关键的性质需求成为一个重要问题.由于空间爆炸和语义的复杂性,对Statecharts进行模型检验受到软件规模和设计精化程度的制约.本文在用扩展层次自动机(EHA)结构化的表示UML Statecharts后,通过分析EHA中存在的层次、并发和事件同步等特征定义了一组依赖关系.对于由状态和迁移组成的切片准则,给出对EHA进行切片的算法.该算法能保证切片后的EHA与原来的Statecharts对性质具有相同的可满足性,且删除了与被验证性质无关的层次和并发状态,缓解了空间爆炸问题.

Select

Web软件的生长式开发过程模型及其支撑工具

朱鸿

电子学报. 2002, 30(S1): 2090-2093.

摘要 ( ) PDF全文 ( )

可视化

Web软件多具有分布式、超媒体、自治、协作等性质,其生命周期多具有明显的动态性,其开发和维护面临着巨大的挑战.本文提出一个适合于Web软件开发的生长式过程模型与生命周期策略,并进一步提出了支持这一开发策略的软件工具模型一软件生长环境MAISGE,介绍了正在以生长策略开发的针对Web信息系统质量管理与测试的MAISGE-AquIS软件生长环境元系统.

Select

实时中间件的研究与实现

郭长国, 王怀民, 邹鹏, 苑洪亮

电子学报. 2002, 30(S1): 2094-2098.

摘要 ( ) PDF全文 ( )

可视化

解决分布式应用日益增多的实时问题需要实时中间件.实时中间件是分布式实时应用的支撑平台,它为应用提供表达实时约束的手段,并提供调度请求的机制和多种控制资源的方法,从而为分布式应用实现执行时间的可预测性提供方法.本文给出了实时中间件的概念体系,在分析中间件的体系结构模型的基础上,提出了一个多级线程池实时中间件体系结构,该模型不仅具有较强的并发处理能力,而且可以控制网络和请求使用的各种资源,能够提高系统的时间可预测性.采用该体系结构,我们实现了一个遵循实时CORBA规范的实时ORB,并通过详细的对比测试验证了多级线程池实时中间件模型的有效性.

Select

密码协议的SPIN建模和验证

邵晨曦, 胡香冬, 熊焰, 蒋凡

电子学报. 2002, 30(S1): 2099-2101.

摘要 ( ) PDF全文 ( )

可视化

为了将模型检测这种强有力的系统验证技术应用于网络协议的安全分析,形式化建模仍然是目前的关键问题和难点所在.本文提出了一种基于高级过程描述语言的建模方法.根据入侵者角色和攻击目标的不同,从入侵者的角度分析协议的运行模式,为每个主体建立过程模型,用模型检测工具进行分析验证.对BAN-Yahalom协议的SPIN分析验证了这种方法的可行性.该方法具有一定的通用性,对其它网络协议的分析有很好的参考价值.

Select

一种基于分形布朗运动包封过程的CAC算法

邓钢, 纪阳, 张平

电子学报. 2002, 30(S1): 2102-2104.

摘要 ( ) PDF全文 ( )

可视化

本文提出了一种使用分形布朗运动包封过程(FBMEP)的CAC算法.通过估计自相似业务的等效带宽,该算法能够较好地同时获得信源内与信源间的增益.同时,该算法在求解时的计算复杂度也较低.

Select

基于DCT变换的渐进式图像编码方法

卓力, 沈兰荪, 李朝峰, 朱青

电子学报. 2002, 30(S1): 2105-2107.

摘要 ( ) PDF全文 ( )

可视化

本文将DCT变换与SPECK算法相结合,提出了一种基于DCT变换的渐进式图像编码方法.该方法充分利用了DCT变换实现简单的特点,还能充分发挥零树编码的优势实现对图像的高效压缩.输出码流具有嵌入的特性,便于码率控制,具有一定的抗误码能力.同时计算复杂度低,比较适合于低复杂度的图像编码与传输.

Select

可移动系统安全模型统一框架

王立斌, 陈克非

电子学报. 2002, 30(S1): 2108-2110.

摘要 ( ) PDF全文 ( )

可视化

本文的主要工作是利用可移动进程的形式化模型π演算为工具,考虑系统的移动性(Mobility),将系统安全属性的刻画归结为特定系统进程等价的验证,提出一种新的安全模型框架.在此框架下,可以方便表示不同的不干涉安全属性,并对其进行强弱对比;针对不同安全需求,可定义新的安全属性.并且,该框架建立一个新的安全属性研究的平台,可广泛地适用于具有移动进程的分布式系统的安全分析.

Select

基于3GPP2框架的无线移动网络的RSVP扩展研究

华蓓, 熊焰, 蔡承杰

电子学报. 2002, 30(S1): 2111-2114.

摘要 ( ) PDF全文 ( )

可视化

本文讨论了面向固定网络设计的RSVP协议应用于无线移动网络需要解决的问题,并针对3GPP2框架下的无线移动网络提出了一种RSVP扩展方案.该方案采用隧道预留技术建立端-端主动预留,为数据连接提供服务质量保证;采用移动预测和被动预留技术在移动节点可能进入的蜂窝内提前预留无线资源,提高切换成功的概率;通过采用主动切换技术减小预留路径调整的时间,进一步提高通信的连续性.

Select

面向语义Web的逻辑描述原语扩展

姚绍文, 余江, 周明天

电子学报. 2002, 30(S1): 2115-2118.

摘要 ( ) PDF全文 ( )

可视化

语义Web旨在利用知识工程中成熟的技术为数据和知识交换提供语义上的互操作性,为了针对Web这种标记语言环境描述一阶命题逻辑公式、Horn子句和推理规则,本文对OIL/RDFS进行了扩展,定义了相关的逻辑描述原语.通过典型的命题规则表示示例,说明了本文的原语扩展为命题公式、推理规则表示提供了可行的方法.

Select

移动agent系统基准模型的研究

陶先平, 吕建, 马晓星, 胡昊

电子学报. 2002, 30(S1): 2119-2121.

摘要 ( ) PDF全文 ( )

可视化

基于Internet的移动agent技术已经成为网络计算研究热点之一.针对目前移动agent研究中缺乏良好的移动agent环境基准模型的现状,本文给出了一个基于Internet的移动agent环境的基准模型ND—MATRM,该模型阐述了移动agent技术及其系统中涉及的公共术语及其解释、通用的体系结构、规范的服务及接口.该模型在指导系统研制、分析现有系统和标准化工作等方面均具有良好的应用前景.

Select

从UML状态图到PVS规范的自动转换、验证

赖明志, 尤晋元

电子学报. 2002, 30(S1): 2122-2125.

摘要 ( ) PDF全文 ( )

可视化

将UML(统一建模语言)图形转换成形式化规范是一种精确化UML语义、扩大形式化软件方法适用范围的有效途径.PVS是一种通用高阶逻辑形式化规范语言,具有很强的描述能力以及丰富的定理证明、模型验证工具支持.本文论证了使用.PVS来对UML进行形式化的优势,并且给出了UML的状态图到PVS规范的转换模型与规则.

Select

一种新型2-DCT/IDCT结构的设计与实现

傅宇卓, 王嘉芳, 胡铭曾

电子学报. 2002, 30(S1): 2126-2129.

摘要 ( ) PDF全文 ( )

可视化

本文根据MPEG-2视频编码的特点,设计了仅由一个1-DCT核完成的2-DCT/IDCT结构,该结构的转换矩阵通过SRAM实现,具备双端口的输入输出,数据吞吐率较高,能够有效节省芯片面积.1-DCT核由7个乘法器组成,乘法器可以根据计算速度的快慢灵活设计.为了解决双端口无冲突的存储访问,提出了一个数据排列方案.由于乘法器的乘数之一为常数,我们设计了一种常数修改方案能够有效的降低成法器的硬件开销.该2-DCT/IDCT结构通过了FPGA验证,具有较强的工程实用价值.

Select

基于逆问题扰动的脆弱数字水印认证

赵险峰, 汪为农, 陈克非

电子学报. 2002, 30(S1): 2130-2133.

摘要 ( ) PDF全文 ( )

可视化

为改进基于脆弱数字水印的多媒体数据认证的性能,利用逆问题的扰动现象提出了一种新的脆弱水印体制.在新的方法中,数据完整性或签名的验证并不依赖于水印的提取,而通过反向求解植入方程完成.由于扰动现象的存在,在数据被篡改的情况下,反向求得的数据值将产生猛烈的增长,并且,扰动值反映了篡改的程度,扰动区域正好描述了篡改的轮廓.在这一机制下,脆弱水印还可以引入自适应植入算法,在被保护数据的每一码字上植入水印.与常用的基于分块的算法相比,所提出的算法在提高篡改敏感性和可定位性的同时,还兼顾了感知透明性.

Select

编译系统中间代码的一种抽象表示

戴桂兰, 张素琴, 田金兰, 蒋维杜

电子学报. 2002, 30(S1): 2134-2137.

摘要 ( ) PDF全文 ( )

可视化

中间表示是提高编译器的可移植性和代码生成的有效性的关键技术.为提高编译成份的可复用性,简化编译器的构造,本文提出了一种描述程序语言抽象语法及编译器内部数据结构的抽象中间表示AIR(Abstract Inter-mediate Representation).AIR以代数数据类型为主体,并用面向对象特征对其进行扩展,从而使之具有简洁的语法,较强的表达能力、灵活性和可扩展性.AIR将抽象描述与其具体实现相分离,可方便地用不同的高级程序语言实现,从而有助于提高编译成份间的互操作性.

Select

基于模糊认知图的机器人高层规划研究

骆祥峰, 高隽, 王晓嘉, 谢昭

电子学报. 2002, 30(S1): 2138-2141.

摘要 ( ) PDF全文 ( )

可视化

本文采用模糊认知图模拟机器人在复杂环境下的动态行为,来对机器人进行高层规划.基于模糊认知图的机器人高层规划系统不仅在一定程度上克服了基于符号机器人规划存在的不适用于含有许多独立子问题或子系统的大系统及机器人之间的合作与协调机制较难寻找等问题,而且还能有效克服基于进化机器人、基于神经网络机器人进行动态行为规划时算法和实现的高度复杂性、需要大量的训练样本及时间、易产生干扰等问题.实验表明把模糊认知图应用到机器人高层规划系统能较好的解决以上问题,且具有简单、鲁棒等特点.

Select

带宽测量实验研究及其算法改进

谢高岗, 汤艳霞, 张大方, 李忠诚

电子学报. 2002, 30(S1): 2142-2145.

摘要 ( ) PDF全文 ( )

可视化

带宽是网络规划、管理和性能优化的重要指标.主动带宽测量技术可以跨越多个自治系统实现端到端的带宽测量,因此被广泛研究,目前已提出了大量的主动带宽测量算法.比较算法性能是设计精确、高效、健壮带宽测量算法的基础.本文定义算法的性能评价指标;通过大量带宽测量实验,从原理和实验结果分析指出误差累计和背景流量影响是影响现有测量算法性能的最主要原因.在此基础上,提出和实现一个任意链路带宽测量方法,该方法可以消除逐跳测量造成的误差累计和背景流量影响.

Select

一个基于相关存储的模式识别方法

周景洲

电子学报. 2002, 30(S1): 2146-2148.

摘要 ( ) PDF全文 ( )

可视化

应用相关的存储技术实现模式识别可缩减存储大小,但由此带来的饱和问题严重影响系统正常工作,为解决此问题,本文在分析现有系统的基础上给出了基于一系列逻辑操作的识别技术.该技术的实质是用一形式化的方法增加输入模式间的线性无关性.通过论证与实例验证,该方法是有效而实用的.

Select

多构件库统一刻面检索机制

马亮, 谢冰, 杨芙清

电子学报. 2002, 30(S1): 2149-2152.

摘要 ( ) PDF全文 ( )

可视化

不同构件库之间实现互通可以有效提高复用者获取构件的效率.现有相关工作如UDM/BIDM、DCH、U-ranus、UDDI等存在对多构件库检索技术研究的不足.分类是检索的基础,刻面分类是构件库常用分类方法之一,本文在刻面分类的基础上研究了多构件库检索的基本原理,并由此提出一种统一的刻面检索机制,为不同构件库之间互通的实现奠定了基础.

Select

CMAC的无交叠感受域变分辨率学习方法

杨艳丽, 曹广忠

电子学报. 2002, 30(S1): 2153-2154.

摘要 ( ) PDF全文 ( )

可视化

本文根据CMAC的样本选取方法、权值修正方法、量化方法选择的不同,提出了一种适于可编程逻辑硬件实现的CMAC快速学习方法——变分辨率无交叠感受域法.通过二维函数的学习仿真验证了此学习方法是快速有效的,在精度上有进一步的改进.

Select

基于构造类别代数的变异分析

周晓煜, 赵保华, 屈玉贵

电子学报. 2002, 30(S1): 2155-2157.

摘要 ( ) PDF全文 ( )

可视化

在通信协议的一致性测试中,可以使用构造类别代数来对协议进行形式化的描述.本文将变异分析引入构造类别代数中,设计了应用于构造类别代数的几类变异算子,并且提出了使用变异分析对基于构造类别代数描述的协议进行一致性测试的基本步骤.这种方法为基于构造类别代数的协议测试提出了一个新的方向.

Select

一个改进的路由器包转发模型

李小勇, 刘东喜, 陈凯, 梁阿磊, 白英彩

电子学报. 2002, 30(S1): 2158-2160.

摘要 ( ) PDF全文 ( )

可视化

本文提出并实现了一个改进的路由器包转发模型,该模型解决了传统模型在系统过载时吞吐量下降和延迟剧增的问题,并避免了传统模型中多级队列导致的包转发延迟.实际测试表明路由器的性能得到显著提高,证明了改进模型的优越性.

Select

基于多层竞争的高效并行遗传算法

李碧, 雍正正

电子学报. 2002, 30(S1): 2161-2162.

摘要 ( ) PDF全文 ( )

可视化

借鉴生态进化中普遍存在的竞争现象,本文提出了一种基于多层竞争的并行遗传算法(GAMLC,geneticalgorithm based On multi-level competition).仿真结果表明,该算法能较好地解决遗传算法中的早熟现象及收敛速度慢的问题,提高了搜索到全局最优解的概率.

Select

一种软件代码精细分析技术

唐英, 徐良贤

电子学报. 2002, 30(S1): 2163-2165.

摘要 ( ) PDF全文 ( )

可视化

精细分析对提高关键软件的安全非常重要,并因计算量大而需要自动化.本文基于J M Voas的Fault/Failure概念模型及其PIE分析,提出一个实用的软件代码精细分析技术和工具.文中描述了软件代码精细分析的全过程,重点讲述“自动分析记录”的工作流程及执行、感染和传播这三个关键分析的概念性算法,并给出了工具的框架图解.此外还提出粒度可调思想,能调节分析的精度和范围,较好地解决了Fault/Failure模型的限制,拓展了用途.最后本文给出了一些具体的应用思路,如放置警报器、评估可靠性、配置资源、设计测试实例等,以及对面向对象软件测试的启发.

Select

软件复杂性与测试用例集价值

吴际, 金茂忠, 刘超

电子学报. 2002, 30(S1): 2166-2168.

摘要 ( ) PDF全文 ( )

可视化

测试用例集价值是测试用例集的重要问题,本文给出了以复杂性度量为基础的测试用例集合价值度量模型,并在此度量基础上定义了三个重要的度量:测试密度,测试用例价值贡献以及测试用例集合执行相似度,并通过实际的例子指出了如何进行度量.

Select

基于部分匹配的XML文本文档向量检索模型

吴劲, 陈泽琳

电子学报. 2002, 30(S1): 2169-2171.

摘要 ( ) PDF全文 ( )

可视化

本文提出了部分匹配模式的XML文本文档向量检索模型,给出了XML文本文档树以及子文档树的向量表示和查询以及子查询的向量表示,并由此提出了查询中的祖先-后代关系映射到文档中的祖先-后代关系的部分匹配模式的检索方式,给出了基于此匹配处理过程的相似度计算,以判断文档与查询的相关程度.在构造的检索原型系统中的实验表明,该检索模型具有较好的查全率和查准率.

Select

用Monte Carlo模拟方法评估Web Services系统的可靠性

支小莉, 陆鑫达

电子学报. 2002, 30(S1): 2172-2176.

摘要 ( ) PDF全文 ( )

可视化

现有文献很少考虑到Web Services系统(WSS)这类具有随机并行度的多用户系统的可靠性问题.本文在为WSS建立一个基于体系结构的随机服务系统模型的基础上,提出一种模拟的解决方法及其实现系统Simurel.通过引入运行概图和失效概图,Simurel取得了良好的可应用性,可以用于一般性的基于体系结构的可靠性评估,不论是多用户或单用户系统.实验结果表明,Simurel的运行性能良好.

Select

一种在汉语文本中抽取重复字串的快速算法

马颖华, 王永成, 苏贵洋

电子学报. 2002, 30(S1): 2177-2180.

摘要 ( ) PDF全文 ( )

可视化

词典未登录词的处理是自然语言处理不可或缺的研究方向.抽取文本中重复出现的字串是抽取未登录词最为直接简便的方法.以往算法运行速度较慢,无法满足海量文本快速处理的要求.遵循“左结合优先”和“最长匹配”原则,本文提出一种快速算法:位置记忆跳跃匹配.该方法最差情况下时间复杂度为o(t²),其中t为重复字串的重复次数.比较实验表明,本方法速度提高明显,数据结构简单,处理过程一次扫描完成.

选择文件类型/文献管理软件名称

选择包含的内容

2002年, 第30卷, 第S1期　刊出日期：2002-12-25

模态框（Modal）标题

选择文件类型/文献管理软件名称

选择包含的内容

2002年, 第30卷, 第S1期 刊出日期：2002-12-25

2002年, 第30卷, 第S1期　刊出日期：2002-12-25