期刊文献+
共找到42篇文章
< 1 2 3 >
每页显示 20 50 100
Bigraph理论在自适应软件体系结构上的应用 被引量:14
1
作者 常志明 毛新军 齐治昌 《计算机学报》 EI CSCD 北大核心 2009年第1期97-106,共10页
现有的软件体系结构形式化方法对体系结构的动态性、自适应性支持有限,并不能很好地验证系统演化过程中的一致性、完整性等动态特征.Bigraph理论融合了π演算和移动Ambient演算的优势,重点强调计算的位置和连接两方面因素,具有较为完整... 现有的软件体系结构形式化方法对体系结构的动态性、自适应性支持有限,并不能很好地验证系统演化过程中的一致性、完整性等动态特征.Bigraph理论融合了π演算和移动Ambient演算的优势,重点强调计算的位置和连接两方面因素,具有较为完整、可扩展的理论框架.这使得Bigraph不仅在概念上能够满足现有自适应软件对结构和行为的需求,而且还提供了直观、普适的表达能力.文中简要介绍了Bigraph的基本概念和现状,利用Big-raph理论对自适应软件体系结构进行了形式化规约,分析和验证了系统动态演化的性质,并探讨了Bigraph理论在自适应软件体系结构形式化方面的优势和拓展方向. 展开更多
关键词 bigraph bigraph反应系统 自适应软件 软件体系结构 形式化方法
在线阅读 下载PDF
普适环境中上下文感知的带演算的Bigraphs描述 被引量:3
2
作者 吴怀广 姬厚灵 +1 位作者 毋国庆 苗玥 《计算机科学》 CSCD 北大核心 2012年第1期109-114,共6页
针对普适环境中上下文感知系统的形式化建模问题,讨论了Bigraphs理论的扩展模型———柏拉图图形模型在此问题中的适用性及不足。在此基础上,利用带演算的Bigraphs反应系统对上下文感知系统进行描述,并给出了与柏拉图图形模型之间的比较。
关键词 bigraphs理论 bigraphs反应系统 上下文感知 形式化模型
在线阅读 下载PDF
基于Bigraph的面向方面动态软件体系结构演化研究 被引量:6
3
作者 汪玲 戎玫 +1 位作者 张广泉 王昇 《计算机科学》 CSCD 北大核心 2010年第9期137-140,共4页
随着网络技术的发展,软件运行环境的开放化和用户需求的多样化,使得人们对软件动态演化能力提出了更高的要求。面向方面软件开发中的关注点分离思想很好地支持了软件动态演化,现有的形式化方法难以直观地表示体系结构的动态性,且不能很... 随着网络技术的发展,软件运行环境的开放化和用户需求的多样化,使得人们对软件动态演化能力提出了更高的要求。面向方面软件开发中的关注点分离思想很好地支持了软件动态演化,现有的形式化方法难以直观地表示体系结构的动态性,且不能很好地验证系统演化前后的正确性。Bigraph不仅具有直观的图形化表达能力,而且具备良好的数学基础,可以推理和验证系统的演化性质。因此,提出了一种面向方面动态软件体系结构(AODSA)模型,扩展的Bigraph用于描述AODSA的结构,使用Bigraph反应系统(BRS)来描述AODSA的动态演化。最后以一个简化的ATM存款系统模型为例,说明Bigraph表示的ATM模型以及基于BRS的演化过程。 展开更多
关键词 bigraph bigraph反应系统 AODSA 动态演化
在线阅读 下载PDF
一种基于Bigraph理论的软件演化过程模型研究 被引量:2
4
作者 刘培培 章勇 +1 位作者 莫启 邵振 《计算机应用研究》 CSCD 北大核心 2013年第5期1423-1426,共4页
基于Bigraph理论对软件演化过程模型进行研究,目的是能更好地对软件演化过程中相关动态变化进行建模。利用Bigraph理论和软件演化过程的思想,首先提出了一个形式化的软件演化过程模型,然后用扩展的Bigraph来描述软件演化过程模型的结构... 基于Bigraph理论对软件演化过程模型进行研究,目的是能更好地对软件演化过程中相关动态变化进行建模。利用Bigraph理论和软件演化过程的思想,首先提出了一个形式化的软件演化过程模型,然后用扩展的Bigraph来描述软件演化过程模型的结构,使用Bigraph反应系统来描述软件演化过程模型的动态变化,最后对软件演化过程模型动态调整后的完整性进行了验证。 展开更多
关键词 软件演化过程模型 bigraph理论 bigraph反应系统 动态性 完整性
在线阅读 下载PDF
基于嵌套赋类的Bigraph反应系统模型 被引量:2
5
作者 吴怀广 金保华 +1 位作者 甘勇 毋国庆 《计算机科学》 CSCD 北大核心 2012年第9期143-151,共9页
针对Bigraph反应系统中位置图控制间的嵌套关系问题,提出了一个赋类的Bigraph扩展模型。在利用标签范畴Scat(K)给出嵌套赋类位置图定义的基础上,讨论了嵌套赋类位置图的相关性质,给出了嵌套赋类位置图中RPO的构建、证明,以及同前推出IP... 针对Bigraph反应系统中位置图控制间的嵌套关系问题,提出了一个赋类的Bigraph扩展模型。在利用标签范畴Scat(K)给出嵌套赋类位置图定义的基础上,讨论了嵌套赋类位置图的相关性质,给出了嵌套赋类位置图中RPO的构建、证明,以及同前推出IPO的一致性条件的定义、证明。 展开更多
关键词 bigraph反应系统 嵌套赋类 相关推出 一致性
在线阅读 下载PDF
一种基于Bigraph的规则驱动动态模型研究
6
作者 笪建 莫启 +3 位作者 程耀坤 汪培芬 张毅 吕永华 《软件导刊》 2016年第11期18-22,共5页
作为业务过程中的一个重要组成方面,业务规则驱动业务逻辑的运行,业务规则的变化导致业务逻辑实现功能的变化。基于关注点分离的思想,将业务规则作为一个方面从业务逻辑中分离出来,并从更宏观的层面实现业务规则对业务逻辑的组织及驱动... 作为业务过程中的一个重要组成方面,业务规则驱动业务逻辑的运行,业务规则的变化导致业务逻辑实现功能的变化。基于关注点分离的思想,将业务规则作为一个方面从业务逻辑中分离出来,并从更宏观的层面实现业务规则对业务逻辑的组织及驱动。业务规则不仅可以对单个业务逻辑构件内部的运行流程进行驱动,还可以对涉及多个业务逻辑构件的运行过程进行控制,并允许施加在业务逻辑构件上的规则构件可以同时为多个。同时,考虑到软件系统所处环境的日益复杂化,引入自适应机制,建立了三层的面向方面动态模型体系结构,设计出面向方面动态模型体系结构描述语言,基于Bigraph理论,建立了面向方面动态模型体系结构的语义模型,通过定义Bigraph反应系统来描述模型的动态变化,最后对模型动态变化后的完整性进行了验证。 展开更多
关键词 业务规则 bigraph bigraph反应系统 面向方面动态模型体系结构
在线阅读 下载PDF
基于Bigraph理论的动态演化软件相关特性分析与验证方法 被引量:7
7
作者 陈洪龙 李仁发 《小型微型计算机系统》 CSCD 北大核心 2010年第12期2305-2309,共5页
软件演化中的行为一致性、相容性以及系统完整性约束,长期以来是动态演化中研究的热点.本文利用Milner等提出的Bigraph理论对软件演化中的特性进行研究.与以往利用PetriNet、演算及进程代数不同,Bigraph融合演算和移动Ambient演算的优势... 软件演化中的行为一致性、相容性以及系统完整性约束,长期以来是动态演化中研究的热点.本文利用Milner等提出的Bigraph理论对软件演化中的特性进行研究.与以往利用PetriNet、演算及进程代数不同,Bigraph融合演算和移动Ambient演算的优势,其目的为现有的移动和并发理论建立统一的元模型,并且引入环境上下文参与系统的迁移,使系统的描述更为直观和精确,从而适合对动态演化形式化.本文简要介绍Bigraph的基本概念和现状,利用Bigraph建立演化系统的构件模型,并在Bigraph理论基础上给出分析和验证完整性、一致性和相容性相关规则,并通过具体实例验证利用Bigraph对动态演化建模的有效性. 展开更多
关键词 动态演化 偶图 演化一致性 演化完整性
在线阅读 下载PDF
Bigraph反应系统中类型表述理论的研究进展
8
作者 吴怀广 石永生 《广州大学学报(自然科学版)》 CAS 2019年第3期77-84,共8页
在Bigraph反应系统中,赋类以及归纳类型的研究是Bigraph理论本身以及其应用于实践中的关键环节.文章详细介绍了Bigraph反应系统中赋类与归纳类型的相关研究进展,分析了它们各自的表述能力和局限.同时,给出了Bigraph理论中与类型表述相... 在Bigraph反应系统中,赋类以及归纳类型的研究是Bigraph理论本身以及其应用于实践中的关键环节.文章详细介绍了Bigraph反应系统中赋类与归纳类型的相关研究进展,分析了它们各自的表述能力和局限.同时,给出了Bigraph理论中与类型表述相关的研究问题. 展开更多
关键词 bigraph反应系统 赋类 归纳类型
在线阅读 下载PDF
Solution to an Extremal Problem on Bigraphic Pairs with a Z3-connected Realization
9
作者 Jian Hua YIN Xiang Yu DAI 《Acta Mathematica Sinica,English Series》 SCIE CSCD 2017年第8期1131-1153,共23页
Let S = (a1,...,am;b1,...,bn), where a1,...,am and b1,...,bn are two nonincreasing sequences of nonnegative integers. The pair S= (a1,..., am; b1,..., bn) is said to be a bigraphic pair if there is a simple bipart... Let S = (a1,...,am;b1,...,bn), where a1,...,am and b1,...,bn are two nonincreasing sequences of nonnegative integers. The pair S= (a1,..., am; b1,..., bn) is said to be a bigraphic pair if there is a simple bipartite graph G = (X ∪ Y, E) such that a1,…, am and b1,..., bn are the degrees of the vertices in X and Y, respectively. Let Z3 be the cyclic group of order 3. Define σ(Z3, m, n) to be the minimum integer k such that every bigraphic pair S = (a1,..., am; b1,..., bn) with am, b ≥ 2 and σ(S) = a1 + ... + am ≥ k has a Z3-connected realization. For n = m, Yin [Discrete Math., 339, 2018-2026 (2016)] recently determined the values of σ(Z3,m,m) for m ≥ 4. In this paper, we completely determine the values of σ(Z3, m, n) for m ≥ n ≥4. 展开更多
关键词 bigraphic pair Z3-connected realization group connectivity
原文传递
一种支持动态演化的AOP框架 被引量:2
10
作者 杨曦 李彤 《计算机工程》 CAS CSCD 2012年第19期52-55,共4页
传统面向对象(OOP)框架对软件的变化性和复杂性支持有限。为此,基于C++语言,提出一种支持动态演化的面向方面编程框架——AODF。给出Bigraph理论的静态和动态建模过程,通过Bigraph反应系统实现AODF的动态演化,使用图形及形式化的项语言... 传统面向对象(OOP)框架对软件的变化性和复杂性支持有限。为此,基于C++语言,提出一种支持动态演化的面向方面编程框架——AODF。给出Bigraph理论的静态和动态建模过程,通过Bigraph反应系统实现AODF的动态演化,使用图形及形式化的项语言表述其演化过程。实验结果表明,与传统OOP框架相比,AODF的代码模块化程度更高,软件系统扩展性更好。 展开更多
关键词 面向方面编程 bigraph理论 bigraph反应系统 动态演化 软件体系结构
在线阅读 下载PDF
动态增量式AOP框架的研究与实现
11
作者 杨曦 李彤 《计算机工程与应用》 CSCD 2013年第23期39-44,共6页
在研究AOP原理的基础上,提出一种面向aspect的编程框架AODF,采用基于日志技术的增量式编织机制,不仅提高了编织效率,而且基于Bigraph理论的AODF支持方面的动态演化,实现了行为的一致性与相容性。另外,AODF从语言层提供对方面的支持,无... 在研究AOP原理的基础上,提出一种面向aspect的编程框架AODF,采用基于日志技术的增量式编织机制,不仅提高了编织效率,而且基于Bigraph理论的AODF支持方面的动态演化,实现了行为的一致性与相容性。另外,AODF从语言层提供对方面的支持,无需改动语言本身任何结构及特性,而且可以把自行编制的aspect配置为标准组件入库,实现方面的重用。从而使得遗留系统无需变更就可以获得面向方面的扩展。 展开更多
关键词 面向方面的编程(AOP) 面向方面的动态框架(AODF) 面向方面 动态演化 bigraph理论
在线阅读 下载PDF
参数化模型欠、过和完整约束的判定算法 被引量:6
12
作者 蒋鲲 高小山 岳晶岩 《软件学报》 EI CSCD 北大核心 2003年第12期2092-2097,共6页
在参数化CAD设计中,设计者常常遇到判断一个参数化模型是欠、过和完整约束的问题.针对这个问题,提出了一个判断参数化模型的欠、过和完整约束性的图论算法.该算法不仅能够给出判断,同时还能够对欠和过约束的情形进行定位,即能够给出欠... 在参数化CAD设计中,设计者常常遇到判断一个参数化模型是欠、过和完整约束的问题.针对这个问题,提出了一个判断参数化模型的欠、过和完整约束性的图论算法.该算法不仅能够给出判断,同时还能够对欠和过约束的情形进行定位,即能够给出欠和过约束发生的具体位置.这给设计者在设计过程中提供了很大的方便. 展开更多
关键词 参数化CAD 几何约束求解 偶图 DM分解 最大匹配
在线阅读 下载PDF
直通旅客列车开行方案优化方法的研究 被引量:33
13
作者 查伟雄 符卓 《铁道学报》 EI CSCD 北大核心 2000年第5期1-5,共5页
采用定量和定性分析相结合的办法 ,根据路网上旅客 O- D流量 ,以方便旅客旅行为目标 ,将直通旅客列车开行方案的确定 ,归结为二分图的最大权匹配问题 ,通过计算得到一个优化的初始方案。在此基础上 ,对方案进行经济有利性评价 ,适当地... 采用定量和定性分析相结合的办法 ,根据路网上旅客 O- D流量 ,以方便旅客旅行为目标 ,将直通旅客列车开行方案的确定 ,归结为二分图的最大权匹配问题 ,通过计算得到一个优化的初始方案。在此基础上 ,对方案进行经济有利性评价 ,适当地调整线路 ,使线路负载分布均匀 ,减少运载能力的虚糜 ,从而形成一个较为满意的结果。 展开更多
关键词 旅客列车 开行方案 二分图最大权匹配 O-D流量
在线阅读 下载PDF
求二部图的最大匹配图的一种算法 被引量:8
14
作者 李晶 王世英 《电子学报》 EI CAS CSCD 北大核心 2010年第1期161-166,共6页
一个图的最大匹配图是以这个图的最大匹配集作为顶点集,两个顶点相邻当且仅当这两个最大匹配恰有一条边不同.本文首先对Gallai-Edmonds结构定理中的三部分顶点在二部图中进行了详细刻画.然后讨论了构造最大匹配图问题的计算复杂性.最后... 一个图的最大匹配图是以这个图的最大匹配集作为顶点集,两个顶点相邻当且仅当这两个最大匹配恰有一条边不同.本文首先对Gallai-Edmonds结构定理中的三部分顶点在二部图中进行了详细刻画.然后讨论了构造最大匹配图问题的计算复杂性.最后深入研究了二部图最大匹配图的结构性质并给出了构造二部图的最大匹配图的一种算法. 展开更多
关键词 最大匹配图 二部图 算法
在线阅读 下载PDF
配电网模式化接线优化规划 被引量:8
15
作者 黄琪伟 刘健 《电力系统自动化》 EI CSCD 北大核心 2008年第7期73-77,共5页
为了指导配电网模式化接线设计,提出了一系列优化规划方法。指出对于"手拉手"环状网,在2条馈线的最下游子分区间的最短路建设联络线的方案最优。以联络线的建设费用最小为目标函数,将各供电分区作为偶图的2列,采用最小权匹配... 为了指导配电网模式化接线设计,提出了一系列优化规划方法。指出对于"手拉手"环状网,在2条馈线的最下游子分区间的最短路建设联络线的方案最优。以联络线的建设费用最小为目标函数,将各供电分区作为偶图的2列,采用最小权匹配算法得到"手拉手"环状网的最优配对结果。在此基础上,采用遗传算法和最小权匹配算法相结合的方法,通过交叉和变异操作改变偶图2列的节点,实现了多分段、多联络接线模式优化规划。对一个10条线路的实例进行了规划,结果表明所提出的方法是可行的,并且具有较高的效率。 展开更多
关键词 配电网 模式化接线 联络线 最短路 偶图 最小权匹配算法 遗传算法
在线阅读 下载PDF
偶图及其应用研究综述 被引量:1
16
作者 许东 王晶晶 李静 《软件学报》 EI CSCD 北大核心 2016年第2期195-208,共14页
偶图是由Robin Milner在2001年提出的一种基于图形的形式化理论模型,试图为普适计算提供一个设计、模拟和分析的平台以及为现有的进程代数提供一个统一的可扩展的框架.介绍了偶图的基本概念,揭示了偶图的数学基础——预范畴、范畴、s-... 偶图是由Robin Milner在2001年提出的一种基于图形的形式化理论模型,试图为普适计算提供一个设计、模拟和分析的平台以及为现有的进程代数提供一个统一的可扩展的框架.介绍了偶图的基本概念,揭示了偶图的数学基础——预范畴、范畴、s-范畴、对称偏幺半范畴之间的关系,对偶图的代数系统进行总结,简化了偶图的离散范式的表述形式,并给予证明.综述了偶图的发展及其应用概况.对偶图范畴的定义、商变换等基本理论中存在的一些问题提出讨论,指出偶图范畴应该属于小范畴而不是大范畴,并给出商变换得出的大范畴转换为小范畴的方法.最后简述了偶图模型的扩展、应用的拓广. 展开更多
关键词 偶图 范畴论 偶图范畴 偶图反应系统 偶图应用
在线阅读 下载PDF
Seal演算的偶图语义 被引量:2
17
作者 金龙飞 刘磊 《计算机学报》 EI CSCD 北大核心 2008年第3期522-528,共7页
偶图反应系统是一种新的理论工具,其基础是一种强调位置和连接的移动计算图形化模型——偶图,偶图范化了π演算和移动Ambient演算的特征,能够表示具有位置和移动性质的复杂系统.偶图反应系统为普适计算不同层次的设计和实现提供了统一... 偶图反应系统是一种新的理论工具,其基础是一种强调位置和连接的移动计算图形化模型——偶图,偶图范化了π演算和移动Ambient演算的特征,能够表示具有位置和移动性质的复杂系统.偶图反应系统为普适计算不同层次的设计和实现提供了统一的建模框架.Seal演算是一种用于描述移动计算的进程语言,具有良好的安全性质.文中给出了一种不带复制进程表达式的Seal演算的偶图表示,分析了该Seal演算与其偶图表示间的结构对应和操作对应.本研究扩展了偶图理论的应用范围,展示了偶图理论在描述安全演算方面的能力,为在偶图反应系统框架下研究Seal演算的性质和应用奠定了基础. 展开更多
关键词 SEAL演算 偶图 偶图反应系统 结构对应 操作对应
在线阅读 下载PDF
用DM-分解求解几何约束问题 被引量:2
18
作者 蒋鲲 张岩 潘锲 《黑龙江大学自然科学学报》 CAS 北大核心 2005年第5期674-680,共7页
提出了几何约束求解的新方法:偶图DM-分解法.这种方法首先将一个几何约束系统分解成一些具有偏序关系的几何约束子系统,然后按偏序关系给出一个构造序列,从而降低了求解的难度.这种方法还可以判断是否存在过约束和欠约束的部分,并指出... 提出了几何约束求解的新方法:偶图DM-分解法.这种方法首先将一个几何约束系统分解成一些具有偏序关系的几何约束子系统,然后按偏序关系给出一个构造序列,从而降低了求解的难度.这种方法还可以判断是否存在过约束和欠约束的部分,并指出其存在的位置.同时,在改变几何约束问题的参数时,相应的几何图形不必完全重新构造,只需构造其中的一部分,这大大加快了构造的速度.最后举例说明这种方法的可行性和有效性. 展开更多
关键词 智能CAD 几何约束求解 偶图的DM-分解
在线阅读 下载PDF
大数据管理的偶图模型 被引量:1
19
作者 许东 李静 《小型微型计算机系统》 CSCD 北大核心 2016年第2期312-315,共4页
大数据管理是大数据研究的一个重要方面.随着数据量的增大,大数据管理的复杂性成指数级增加,大数据生命周期思想是解决这一复杂性的有效方法之一.目前大数据管理大都基于非形式化和半形式化方法,缺少严密的形式化方法.偶图不仅是形式化... 大数据管理是大数据研究的一个重要方面.随着数据量的增大,大数据管理的复杂性成指数级增加,大数据生命周期思想是解决这一复杂性的有效方法之一.目前大数据管理大都基于非形式化和半形式化方法,缺少严密的形式化方法.偶图不仅是形式化建模工具,而且其图形化表达非常直观.本文采用偶图以及偶图反应系统相关理论,并结合大数据生命周期思想,建立大数据管理的偶图模型.然后,用偶图模型重写开源分布式文件系统Fast DFS和MapReduce编程模型,并用带演算的MapReduce偶图模型改进交互数据处理效率低的弱点.两个案例表明提出的大数据管理形式化方法的有效性. 展开更多
关键词 大数据管理 偶图 偶图反应系统 数据生命周期
在线阅读 下载PDF
飞行员搭配问题的数学模型初探 被引量:2
20
作者 叶旭刚 《中国管理科学》 CSSCI 2001年第3期43-48,共6页
给出几种最基本的飞行员搭配问题的数学模型。基于该模型提出问题转换思路 ,即将所讨论问题转化为已知的已解决问题或易解决问题。
关键词 搭配 二部图 匹配 广义匹配 数学模型 航空运输经济 飞行员 派遣
在线阅读 下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部