GC-MCR:有向图约束指导的并发缺陷检测方法

约束求解应用到程序分析的多个领域,在并发程序分析方面也得到了深入的应用.并发程序随着多核处理器的快速发展而得到广泛使用,然而并发缺陷对并发程序的安全性和可靠性造成了严重的影响,因此,针对并发缺陷的检测尤为重要.并发程序线程运行的不确定性导致的线程交织爆炸问题,给并发缺陷的检测带来了一定挑战.已有并发缺陷检测算法通过约减无效线程交织,以降低在并发程序状态空间内的探索开销.比如,最大因果模型算法把并发程序状态空间的探索问题转换成约束求解问题.然而,其在约束构建过程中会产生大量冗余和冲突的约束,大幅度增加了约束求解的时间以及约束求解器的调用次数,降低了并发程序状态空间的探索效率.针对上述问题,提出了一种有向图约束指导的并发缺陷检测方法 GC-MCR (directed graph constraint-guided maximal causalityreduction).该方法旨在通过使用有向图对约束进行过滤和约减,从而提高约束求解速度,并进一步提高并发程序状态空间的探索效率.实验结果表明:GC-MCR方法构建的有向图可以有效优化约束的表达式,从而提高约束求解器的求解速度并减少求解器的调用次...     

多物理数值模拟中一种有效的并行耦合方法

在实现多物理并行数值耦合模拟中,需要处理多个物理过程之间网格、并行区域分解的差异.针对该同题,该文基于三维流体力学与激光传播耦合的并行数值模拟,提出了一种实用的并行耦合方法:引入辅助状态将本地插值与通信相分离;构建并行耦合图并定义主导属性,以确定过程间传输的最小数据集合;提供并行数据重分配算法来完成通信.并行数值结果表明:该方法是有效的,在64台处理机上使整体程序获得50.07的加速比.     

解决无线传感器网络能量洞问题的贪婪算法

无线传感器网络中的能量洞问题是影响网络寿命的关键因素之一。在基于环模型的多跳传感器网络中,通过优化所有环的传输距离可以有效地延长网络寿命。提出了一种近似的贪婪算法（ASGT）,该算法将最优传输距离序列问题转化为最优生成树问题,在降低搜索（算法）复杂度的同时得到与最优解近似的结果。模拟实验证明了采用ASGT算法的网络寿命逼近于理想最优序列下的网络生命时间,并且与已有的文献算法相比,ASGT可以延长网络寿命两倍以上。     

基于十字链表的多刚体系统的数据存储

针对多刚体系统数据存储的不足,对多刚体系统的结构图与图论的有向图之间的关系进行了研究,提出了一种新的基于十字链表的链式存储模型.该存储模型不但较好地解决了复杂多刚体系统的存储问题,而且充分满足了在存储物理多刚体系统时的结构正确性和数据完备性要求,避免了非树形多刚体向树形多刚体的回路切除转换,使多刚体系统在数学建模与数据存储方面达到高度一致.     

一种利用功能驱动的构件组装方法研究

从构件组装研究背景出发,提出一种利用功能驱动的构件组装方法,该方法是建立在一种有向图表示的软件体系结构模型上,以构件为基本元素,以用户的功能需求为驱动目标,以构件连通度和功能冗余度为评价指标,达到构件的自动组装并能提供满足用户需求期望的软件实体.最后根据构件的邻接矩阵和可达矩阵设计了一种组装算法,并给出了实验仿真结果.     

有向图连通支配集求解算法

定义了有向图指定源点连通支配集问题。借助参数算法中的技术设计了针对该问题的规约规则,通过规约规则的实施来降低原问题的规模;随后又设计了近似算法在规约后的有向图中求出一个较小的连通支配集;最后结合规约规则带来的一些良好特性设计了优化规则,通过优化变换的实施进一步缩减由近似算法求得的连通支配集。不同模型随机图上的模拟实验表明这些规则和算法是有效的。     

基于ECA规则约束有向图的工作流建模

将工作流模型划分为三部分:过程模型、数据模型和组织模型.通过ECA规则与有向图相结合对工作流进行过程建模,利用有向图直观地表述流程的走向,工作流引擎通过对ECA规则的解释导航流程;给出了数据模型中数据对象的形式化定义;在组织模型中对RBAC模型进行改进,解决其在细粒度权限控制上的不足.设计了模型在J2EE下的部署结构.     

一种基于有向图的几何约束系统分解方法

1 引言约束分解是几何约束满足问题(GCSP)研究的一个重要内容。此前已经有很多工作实现了将GCSP向非线性方程组求解的转化,并研究了约束系统的表达和分解的问题。特别是Kramer以机构学为背景,提出了几何约束系统的无向图表达。后来,董金祥将约束无向图转换成有向图,为构造全参数化的图形奠定了基础;J.Y Lee则针对尺规构造图形进一步发展了基于自由度分析的图规约方法。但是在上述的研究中,对欠约束几何系统的分析比较欠缺。而在大多数的实际应用中,特别是在初始设计阶段,欠约束的情况是非常普遍的。对于一个欠约束系统而言,约束的匹配形式存在多样     

一种基于模型融合的CMM实施过程建模方法

提出了一种基于模型融合的CMM实施过程建模方法．该方法使用软件过程工程元模型SPEM建立CMM过程模型CPM和企业过程模型EPM，通过融合CPM和EPM来获得CMM实施过程模型CIPM．文中利用带标记的有向图描述过程模型。给出了模型融合方法，并进行了一致性证明．最后通过一个过程模型融合原型工具和实例说明了方法的应用情况．     

一种非结构化P2P的随机有向图拓扑模型

在非结构化P2P系统中,P2P拓扑直接影响了网络的性能,如何构建P2P拓扑是一件重要的问题.采用一个简单的映射将非结构化P2P抽象成一个G(V,E)图,在G(V,E)及其非结构化P2P拓扑的特点基础上,提出了一种非结构化P2P的随机有向图拓扑模型,并讨论了该拓扑模型的度分布、连通性和直径,为研究非结构化P2P系统的性能和算法协议提供了仿真的理论基础.