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

基于P／T系统化简方法的工作流过程模型验证

作者：赵文; 袁崇义; 刘刚; 张世琨; 王立福 刊期：2004年第10期

目前工作流技术在管理、生产和科学研究等领域中已经被广泛应用.由于过程逻辑的复杂性和变化性等原因,如何建立良构的业务过程是一个比较现实的问题.因此,对过程模型进行分析和优化成为工作流技术的研究方向之一.首先,根据改进的工作流过程元模型,研究并提出了一种基于P/T系统的工作流过程模型过程网.基于过程网给出了一组化简规则,用于验证过程...

基于服务协作中间件的动态流程模型

作者：刘绍华; 魏峻; 黄涛 刊期：2004年第10期

新兴的面向服务体系结构正在加速软件的发展和变化,无法适应动态环境的应用将逐渐失去作用,尤其对那些面临着需求频繁变更的业务流程管理系统而言更是如此.为了响应这种现实需求,基于Web服务和业务流程管理技术,提出了服务协作中间件(service cooperation middleware,简称SCM)模型,探讨了其内部机理与协作流程元模型的形式化.通过引入模型转换,...

基于断言的模拟矢量自动生成方法

作者：李暾; 郭阳; 李思昆 刊期：2004年第10期

VLSI模拟验证的一个关键问题是需要大量的模拟矢量来验证各种可能情况下设计的正确性.采用断言作为模拟验证的功能模型,提出和实现了一种基于断言的模拟矢量自动生成方法.针对要触发的断言,首先对设计进行化简,通过决策图模型将初始输入传播到断言,并将传播过程和断言条件一起转化成CLP约束,最后求解CLP约束生成模拟矢量.该方法的优势在于运用了...

有效的低功耗编译优化方法：部件使用局部化

作者：易会战; 杨学军 刊期：2004年第10期

使用软件技术优化系统能量正得到更多的关注.利用系统的动态电压缩放和功能部件关闭的功能为减少冗余能量消耗提供了优化的新途径,而编译指导的动态电压缩放(dynamic voltage scaling,简称DVS)和功能部件关闭(turning off unused system units,简称TOSU)是软件优化方法之一.DVS或TOSU涉及到很多技术细节.抽象出可以用于编译研究的分析模型,根据...

敬告作者

刊期：2004年第10期

《软件学报》投稿指南

刊期：2004年第10期

第2届全国搜索引擎和网上信息挖掘学术研讨会征文通知

刊期：2004年第10期

2005年智能计算及其应用国际研讨会会议通知

刊期：2004年第10期

见证中国软件科学从弱到强——《软件学报》举办创刊十五周年学术报告会

刊期：2004年第10期

基于高层语义的图像检索算法

作者：王崇骏; 杨育彬; 陈世福 刊期：2004年第10期

利用Bayes统计学习和决策理论,建立了一种图像语义综合概率描述模型(image probability semanticmodel,简称IPSM).该模型是一种基于描述性特征建模方法的分层体系结构,由原始图像层、图像特征层、图像语义层、综合概率层、概率传播层和语义映射层6个部分组成.并在IPSM模型对图像的语义分类特征进行描述和提取的基础上,提出并实现了基于高层语义...

模糊目标信息系统上的知识约简方法

作者：管涛; 冯博琴 刊期：2004年第10期

模糊目标信息系统(fuzzy objective information systems,简称FOISS)在许多实际应用中存在,这种系统上的知识简化不能采用Pawlak信息系统上的约简方法.因此,提出了模糊目标信息系统上的口分布约简、α最大分布约简、α分配约简、粗糙分布约简,并给出了它们的性质以及与Pawlak信息系统上约简的关系,同时也给出了这些约简的判定定理、对应的可辨识矩...

基于因果发现的神经网络集成方法

作者：凌锦江; 周志华 刊期：2004年第10期

现有的神经网络集成方法主要通过扰动训练数据来产生精确且差异度较大的个体网络,从而获得较强的泛化能力.利用因果发现技术,在取样结果中找出类别属性的祖先属性,然后使用仅包含这些属性的数据生成个体网络,从而有效地将扰动训练数据与扰动输入属性结合起来,以产生精确度高且差异度大的个体.实验结果表明,该方法的泛化能力与当前一些流行的集成...

两类模糊推理算法的连续性和逼近性

作者：徐蔚鸿; 谢中科; 杨静宇; 叶有培 刊期：2004年第10期

对Zadeh的模糊推理合成法则(CRI算法)和全蕴涵三I算法(三I算法)是否满足连续性和逼近性问题进行了细致的研究,进一步讨论了这两类算法对逼近误差的传播性能.为此,把模糊推理算法看成是模糊集合到模糊集合的映射,选用海明距离作为两模糊集的距离.证明了在模糊假言推理和模糊拒取式推理情形,这两类算法都拥有连续性.指出三I算法在已知规则的前件和...

图形处理器用于通用计算的技术、现状及其挑战

作者：吴恩华 刊期：2004年第10期

多年来计算机图形处理器(GP以大大超过摩尔定律的速度高速发展.图形处理器的发展极大地提高了计算机图形处理的速度和图形质量,并促进了与计算机图形相关应用领域的快速发展与此同时,图形处理器绘制流水线的高速度和并行性以及近年来发展起来的可编程功能为图形处理以外的通用计算提供了良好的运行平台,这使得基于GPU的通用计算成为近两三年来人...

基于流的实时碰撞检测算法

作者：范昭炜; 万华根; 高曙明 刊期：2004年第10期

实时碰撞检测是计算机图形应用中不可或缺的问题之一,复杂物体间的实时碰撞检测至今仍未能得以很好的解决.高性能可编程图形硬件的出现,正在改变着通用计算仅能由CPU完成的传统观念.探索性地采用了可编程图形硬件来解决复杂物体间的实时碰撞检测问题.通过将两个任意物体间的碰撞检测计算映射到图形硬件以有效利用图形硬件的并行架构,由实时绘制...