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

共享合成Petri网系统的语言递归性与系统活性

作者：蒲飞; 陆维明; 宋文 刊期：2004年第03期

在Perri网系统合成操作的研究中,大系统的一些好性质,如活性、无死锁性的判定,是一个重要的研究内容.研究了Petri网系统的一种重要的合成操作--共享合成,着重研究了Petri网系统共享合成的行为关系(语言关系),指出并证明了Petri网系统共享合成过程中语言的递归性质,得到一个并发语言形式的共享合成语言关系式.这个语言关系式为应用Petri网系统对...

基于同步合成的结构复杂Petri网的行为描述

作者：曾庆田 刊期：2004年第03期

首先分析了一类结构简单的Petri网-S-网的语言性质,得到了它们的行为描述方法.拓展了Petri网同步合成的概念,证明了给定一个结构复杂的Petri网都可通过一组S-网的同步合成运算而得到,并给出了相应的求解算法.引入语言的同步交运算,分析了结构复杂的Petri网与其同步合成子网之间的行为关系,给出了结构复杂Petri网的行为描述算法,为利用网语言分析...

RTI中乐观推进机制的实现

作者：刘步权; 王怀民; 姚益平 刊期：2004年第03期

正确理解乐观推进机制的基本原理,并按照高层体系结构HLA(high level architecture)规范实现RTI(runtime infrastructure)中的乐观推进服务一直是分布式仿真领域关注的难点问题.介绍了并行离散事件仿真PDES(parallel discrete event simulation)和HLA中的乐观推进机制,并指出了它们之间的重要差异,例如PDES中的虚拟时间(virtual time)可以回卷(r...

一种基于Agent的自适应软件过程模型

作者：赵欣培; 李明树; 王青; 陈振冲; 梁金能 刊期：2004年第03期

传统的软件过程模型大多是静态的、机械的、被动的,它们要求软件工程人员在描述软件过程时预期所有可能发生的情况,并且显式地定义这些问题的解决方案.当软件过程所处的环境发生变化时,软件过程无法自适应地对这些变更作出相应的调整.提出了一种基于Agent的自适应软件过程模型.在这种软件过程模型中,软件过程被描述为一组相互独立而对等的实体--...

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

刊期：2004年第03期

基于优先级表的实时调度算法及其实现

作者：王永炎; 王强; 王宏安; 金宏; 戴国忠 刊期：2004年第03期

讨论了综合考虑任务的截止期和价值两个特征参数的优先级表设计方法,提出了EDV(earliest deadline value)与VED(value earliest deadline)两种不同的基于优先级表的实时任务调度算法,并且利用多重链表给出了这两种算法的实现,包括任务接收策略与任务完成/夭折策略的算法实现.这种优先级表设计方法及其基于多重链表的实现方法也适用于对任务的其...

面向层次编制移动对象的混合特征索引方法

作者：张巨; 肖予钦; 景宁; 陈宏盛 刊期：2004年第03期

随着无线通信和定位技术的发展,移动对象的追踪已经变得越来越可行和必需.传统空间索引结构因无法适应大量的更新操作而不能应用于移动对象的存储与检索.针对具有层次化编制特征的移动对象集,首先给出了一种实现坐标-编制混合特征索引的C2OR-Tree方法.在C2OR-Tree的基础上,提出了称为'主动插入-延迟删除(AIDD)'技术的移动对象位置更新批处理算法...

第14届中国计算机学会网络与数据通信学术会议征文通知

刊期：2004年第03期

可变负载动态反馈弹性调度模型及其算法研究

作者：陈宇; 戴琼海 刊期：2004年第03期

由于工作负载的动态变化,以多媒体应用为代表的软实时系统的运行具有很大的不确定性.在这种情况下,依靠任务的静态属性进行调度分析和决策不足以为系统提供高效、实用的资源分配支持.提出一种弹性资源调度算法,该算法周期地采集系统的作业总数和作业丢失数,并以此为根据改变部分软实时任务的作业周期,以调整系统在下一个采样周期内的作业总数,达...

基于系统调用分类的异常检测

作者：徐明; 陈纯; 应晶 刊期：2004年第03期

提出了一种新的基于规则的异常检测模型.把系统调用按照功能和危险程度进行了分类,该模型只是针对每类中关键调用(即危险级别为1的系统调用).在学习过程中,动态地处理每个关键调用,而不是对静态的数据进行数据挖掘或统计,从而可以实现增量学习.同时通过预定义,精炼规则,有效地减少了规则数据库中的规则数目,缩减了检测过程中规则的匹配时间.实验...

支持EJB动态分布的组件迁移模型与算法

作者：范国闯; 魏峻; 钟华; 冯玉琳 刊期：2004年第03期

Web应用服务器是Web计算环境下的新型中间件,为基于组件的分布式Web应用提供了基础运行平台.组件静态分布限制了事务性Web应用在运行期间适应执行环境变化的能力.为了满足Web应用的动态分布需求,Web应用服务器需在底层为组件提供一种动态迁移的能力.如何维持组件迁移前后的一致性是组件迁移中最棘手的问题之一.为解决此问题,定义了组件迁移一致...

区分服务中分层视频组播报文测量和转发算法

作者：张明杰; 朱培栋; 卢锡城 刊期：2004年第03期

区分服务是一种可扩展的服务质量支撑框架,视频组播是对服务质量有较高要求的应用.为了满足端系统的异构性要求,对视频进行分层传输是比较好的方法.研究了使用区服务中的确保服务进行分层视频组播传输的方法,提出了LVMM(layered video multicast meter)测量算法和LVMF(layered video multicast forwarder)转发算法.该方法只需要一个组播地址,其...

无信息泄漏的比较协议

作者：秦静; 张振峰; 冯登国; 李宝 刊期：2004年第03期

关于安全多方计算的研究是目前国际密码学界的研究热点.如果能够安全地计算任何函数,就掌握了一个很强大的工具,实际上任何一个密码协议都可以化归一个特殊的安全多方计算协议.特殊的安全多方计算协议的设计与分析又是当前人们致力研究的课题.基于φ-隐藏假设以及同态公钥加密体制的语义安全性假设,给出了一个特殊的安全双方计算协议--无信息泄漏...

Web服务核心支撑技术：研究综述

作者：岳昆; 王晓玲; 周傲英 刊期：2004年第03期

随着电子商务的迅速崛起,基于Web的应用模式迅速发展,Web应用从局部化发展到全球化,从B2C(business-to-customer)发展到B2B(business-to-business),从集中式发展到分布式,Web服务成为电子商务的有效解决方案.Web服务是一个崭新的分布式计算模型,是Web上数据和信息集成的有效机制.Web服务的新型构架,Web服务的高效执行方式,Web服务与其他成熟技术...

基于小波域局部高斯模型的图像复原

作者：汪雪林; 韩华; 彭思龙 刊期：2004年第03期

图像复原的目的是将原始图像从观测到的降析图像中恢复出来.提出了一种基于小波域局部高斯模型的线性图像复原算法.小波域局部高斯模型采用高斯函数刻画子带系数的局部概率分布,由于这一模型具有很好的局部自适应性,并能正确地反映图像的局部结构信息,因此算法以此作为自然图像的先验模型,把图像复原问题转化为一个约束优化问题并用共轭梯度法对...