软件学报杂志 北大期刊 CSCD期刊 统计源期刊

代码翻译中PERFORM和GOTO语句复合结构的变换

作者：武成岗; 张兆庆; 乔如良; 冯晓兵; 高琳; 石学林; 蒋弘山; 崔慧敏 刊期：2004年第04期

传统语言COBOL从诞生至今已有近50年历史,现存约有1 000亿行代码是用COBOL编写的.维护这些遗产代码的一个有效方法是将其翻译成现代语言,例如Java.其中将COBOL语言中GOTO和PERFORM语句及其复合控制结构消除是翻译过程中的一个关键步骤.提出一种利用switch,while语句来消除GOTO和PERFORM复合控制结构的方法,实现了程序的等价变换.该方法不改变程...

2004年全国理论计算机科学学术年会征文通知

刊期：2004年第04期

一种开放混合实时系统的开放自适应调度算法

作者：淮晓永; 邹勇; 李明树 刊期：2004年第04期

开放计算环境下的实时与非实时任务不确定并发,以及多种实时约束混合的复杂约束系统,即开放混合实时系统的需求越来越广泛.通过引入接收控制、调度服务器、自适应调节机制,提出一种开放环境下的自适应实时系统调度架构--OARtS(open adaptive real-time scheduling).它能适应开放计算环境的不确定性,有控制地接受实时任务运行;可根据系统空闲计算...

第4届中国信息和通信安全学术会议（CCICS 2005）征文通知

刊期：2004年第04期

一种集成组播和操作转换的并发控制方法

作者：杨武勇; 史美林; 姜进磊 刊期：2004年第04期

现有的分布式实时协作系统多采用操作转换的方法来提供并发控制服务,但是在系统数据量很大时,系统性能不高.为解决这一问题,提出了一种新的并发控制方法madOPT:该方法利用对象所定义的操作的语义进行冲突解析,集数据对象的动态载入、数据传输和操作转换功能为一体.madOPT改进了dOPT(distributed operation transformation)算法在操作转换过程中...

一种实时异构嵌入式系统的任务调度算法

作者：邱卫东; 陈燕; 李洁萍; 彭澄廉 刊期：2004年第04期

异构分布式系统已被广泛应用在实时嵌入式系统中,而调度算法是在进行嵌入式系统综合时,确保系统实现性能目标的一个关键问题,这是一个NP-完全问题.现有的算法主要是启发式算法,性能还有待提高.提出了一个异构分布式系统的动态BLevel优先(dynamic BLevel first,简称DBLF)算法,算法选择就绪任务中动态BLevel值最大的任务进行调度,用插入法为任务分...

基于关系的两维意向结构

作者：李斌; 朱朝晖; 陈韬略; 吕建; 朱梧槚 刊期：2004年第04期

从建构agent角度出发,提出了一个基于关系结构的包括agent意向、信念以及目标等认知状态的框架.在此框架中,实现目标的意向形成了两维序结构,其中一维表示意向间的时序关系,另一维表示意向间的相干关系,在此基础上,研究了信念、意向和目标的相互关系.因为摒弃了传统的用模态算子来刻画agent的意向的方法,所以在构建agent时,可以直接采用意向库以...

一种融合颜色和空间信息的彩色图像分割算法

作者：叶齐祥; 高文; 王伟强; 黄铁军 刊期：2004年第04期

提出了一种基于图像颜色和空间信息的彩色图像分割算法.该算法首先根据所提出的颜色粗糙度概念对图像进行颜色量化,并在此基础上使用增量式的区域生长算法发现颜色相近的像素之间的空间连通性,形成图像的初始分割区域.然后,根据融合了颜色和空间信息的区域距离,对初始分割区域进行分级合并,直到系统满足了所提出的停止区域合并的准则.最后,利用...

敬告作者

刊期：2004年第04期

基于合成孔径雷达回波数据的海岸线提取方法

作者：陆立明; 王润生; 李武皋 刊期：2004年第04期

合成孔径雷达(synthetic aperture radar,简称SAR)通过对地面目标的多次照射来提高方位向上的目标分辨能力,由此使现有的SAR目标检测算法通常是一个基于SAR图像的"后处理"过程.在分析各种成像算法和现有的一些典型SAR目标检测算法的基础上,提出了一种在非成像状态下进行海岸线提取的新方法,把成像处理与目标检测问题有机地结合起来.通过真实星载...

一个基于模拟退火的多主体模型及其应用

作者：朱孟潇; 宋志伟; 蔡庆生 刊期：2004年第04期

近些年,多主体系统的理论及应用得到了人们的广泛关注,并得以迅速发展.研究者提出了很多基于多主体系统理论的模型,用于求解各种问题.AER(Agent-environment-rules)模型正是一个用于求解约束满足问题较为成功的例子.但是,主体的静态策略选择在一定程度上限制了模型的求解性能.将模拟退火算法与多主体系统思想相结合,并赋予主体更为高效的动态策...

基于弱顶点覆盖的网络链路使用带宽监测模型

作者：刘湘辉; 殷建平; 卢锡城; 赵建民 刊期：2004年第04期

对于许多网络应用而言,精确的网络链路实际使用带宽的监测非常重要.首先,为了减少监测过程对实际网络带宽的影响提出一个网络链路实际使用带宽的监测模型.然后,证明求该模型最优解的问题是NP完全的.最后,通过进一步挖掘流量约束扩展该模型以进一步减少监测过程的影响.

支持压缩和多下一跳查找的路由查找方案

作者：梁志勇; 徐恪; 吴建平; 徐明伟 刊期：2004年第04期

TCAM(ternary content addressable memory)是目前流行的一种高速路由查找技术.TCAM具有查找速度快、操作简单的优点,但同时它也具有3个明显的缺点:成本高、功耗大和路由更新复杂.路由器为了实现负载平衡以及策略路由,在路由表中保存着相当数量的具有多个下一跳的路由表项.基于TCAM技术,提出一种支持多下一跳的高速路由查找方案.方案通过两级索...

第2届全国智能科学与技术教育学术研讨会（第l轮）征文通知

刊期：2004年第04期

匿名通信中短距离优先分组重路由方法的研究

作者：王伟平; 陈建二; 陈松乔; 王建新 刊期：2004年第04期

重路由技术是匿名通信系统中采用的主要技术手段之一.目前典型的匿名系统中大多采用随机重路由的策略,即在所有中转中随机选择一个进行转发的策略,随机转发策略要求每个中转知道系统中所有其他.随着系统的扩大,一方面中转数增加使得系统维护代价增加,另一方面由于部分中转之间距离很远,重路由带来的延迟增加.提出了一种新的重路由策略--距离优先...