bigraph相关论文
本文给出所有能级不超过４的连通偶图，并给出关于图的能级与其边的个数的一个等式。...
随着网络技术的发展,软件运行环境的开放化和用户需求的多样化,使得人们对软件动态演化能力提出了更高的要求。面向方面软件开发中......
范畴论是抽象地处理数学结构以及结构之间联系的一门数学理论。以范畴论为数学基础的偶图,为普适信息系统提供一个设计、模拟和分......
偶图反应系统是一种新的理论工具，其基础是一种强调位置和连接的移动计算图形化模型——偶图，偶图范化了”演算和移动Ambient演算的......
现有的软件体系结构形式化方法对体系结构的动态性、自适应性支持有限，并不能很好地验证系统演化过程中的一致性、完整性等动态特征......
在参数化CAD设计中,设计者常常遇到判断一个参数化模型是欠、过和完整约束的问题.针对这个问题,提出了一个判断参数化模型的欠、过......
对于多业务流的网络选择问题,提出了一种在网络侧进行的基于二分图匹配网络选择机制,根据业务流对于每个接入网络的满意度,网络侧......
偶图是由Robin Milner在2001年提出的一种基于图形的形式化理论模型,试图为普适计算提供一个设计、模拟和分析的平台以及为现有的......
作为业务过程中的一个重要组成方面,业务规则驱动业务逻辑的运行,业务规则的变化导致业务逻辑实现功能的变化。基于关注点分离的思......
