三维几何约束系统的等价性分析

针对过约束、完整约束和欠约束三维几何约束系统的求解问题,提出了等价性分析方法.该方法基于三维几何约束系统的内在等价性,充分挖掘几何领域知识,依据拆解约束闭环、缩减约束闭环和析出约束闭环等原则,采用等价约束替换来处理几何约束闭环问题,优化几何约束图的结构,实现几何约束系统的优化分解.最后用多个实例验证了该方法的正确性和有效性.

面向产品结构设计的图形置换技术

在产品结构设计的概念设计阶段，具有一定工程意义的图形单元是工程师实现设计思想图形化的工程语言。本文以图形单元作为产品结构建模的基本单位，提出了进行产品结构模型编辑的图形置换技术，给出了实用、方便的单元操作方法，实现了基于功能设计图形结构的过程。

EGG图文法语法分析算法的研究

EGG是一种基于边的上下文相关图文法形式化框架,其语法分析(归约操作)算法是该文法重要的组成部分。在简要介绍EGG的基础上,给出了EGG语法分析算法的设计,其中包括子图匹配算法、子图替换算法和算法计算复杂性的分析。为了展示如何用EGG来定义图语言,特别是如何用所设计的归约算法来分析图,文中以程序流程图为例,给出了相关的EGG形式定义以及对一个具体流程图的归约过程,并探讨了可能降低分析算法复杂性的一些途径。

图形创意中“元素的替代”

在研究《图形创意》的基础上,结合创意图形案例,采用归纳总结的方法,提出了“元素的替代”的概念,同时指出它是图形创意的一种重要的方法,并论述了这种创意方法的优势及通过大量实例来论证“元素的替代”的方法在图形创意中是如何进行运用的。

欧拉图与Capelli多项式

由极其简单的欧拉图得到在PI-理论中起着重要作用的(多重)Capelli多项式,探讨了这些多项式成为矩阵环的恒等式的条件.

关于“代换”的一些印记

本文对代换以及由代换生成的序列,主要是可逆代换以及本原代换和本原代换序列的有向图刻画做一些零星的记述。

GSO:基于图神经网络的深度学习计算图子图替换优化框架

深度学习在各种实际应用中取得了巨大成功,如何有效提高各种复杂的深度学习模型在硬件设备上的执行效率是该领域重要的研究内容之一。深度学习框架通常将深度学习模型表达为由基础算子构成的计算图,为了提高计算图的执行效率,传统的深度学习系统通常基于一些专家设计的子图替换规则,采用启发式搜索算法来优化计算图。它们的不足主要有:1)搜索空间大,效率低下;2)缺乏可拓展性;3)难以利用历史优化结果。为了解决上述问题,文中提出了GSO,即一个基于图神经网络的深度学习计算图子图替换优化框架。该框架将计算图的子图优化建模成经典的子图匹配问题,基于计算图中算子的特征信息和计算图的拓扑结构信息,通过图神经网络模型来估计每种子图替换规则的匹配可行性和位置。基于与主流深度学习系统兼容的Python接口实现了GSO,实验结果表明:1)相比全量的子图替换规则,基于图神经网络的子图匹配预测可以最多减少92%的搜索空间;2)相比现有的启发式搜索算法,GSO可以更快地完成计算图子图替换优化(2倍以上),并使优化后的子图最多得到34%的加速。

两类图的相邻顶点可区分的全染色

图的全染色概念是点染色和边染色的推广,图的所有元素(顶点和边)都将染色且任相邻或关联的元素染色不同.邻点可区分的全染色是在正常全染色的定义上,使得相邻顶点的色集(C(v))不同.本文给出了Pn,Sn及其构造:Hajós sum,部分点替换图的邻点可区别的相邻顶点可区分的全染色.

基于时序图的替补种子节点挖掘算法研究

针对时序图中种子节点失效问题,提出了一种可适用于大规模时序网络的替补种子节点挖掘算法。算法分为启发式预选与贪心式终选两个阶段,预选阶段从失效种子节点局部入手,结合时序图中信息传播的时序特性,定义了节点可替换度的概念,并将其作为选点依据为失效种子节点构建替补列表。终选阶段通过对替补列表中备选节点进行边际效应计算,进一步筛选出能够使得网络影响力达到全局最优的替补种子节点。实验结果表明本文算法挖掘所得替补种子节点可替代性较高,其影响力在保证对特定区域节点高覆盖率的同时,依旧能够维持较高的网络全局影响力。

基于层次关系的拓扑分析配电网潮流计算方法

配电网潮流计算是配电网规划、网络分析、故障处理的基础,在分析现有配电网潮流计算方法的基础上,针对配电网结构特点,将一种目的为形成层次关系模型的配电网拓扑分析算法应用于配电网潮流计算中。通过该算法将配电网络支路按层次进行分类,以矩阵方式建立网络拓扑结构模型,结合支路层次关系矩阵用前推回代法计算各支路功率损耗和各节点电压,算例结果表明该算法表达简捷、概念清楚,方便实用。

基于图变换的虚拟机保护增强方法

针对虚拟机框架不同模块连接之间的强固定性,提出一种基于图变换的虚拟机保护增强方法;首先将虚拟机结构框图转换为有向完全图,然后运用多重等价变换策略对完全图中节点模块进行等价变形,最后运用多样化虚拟机对不同节点模块进行嵌套保护;采用了混沌不透明谓词,跳转表和指令等价规则等关键技术实现了原型系统,通过实验验证了系统的可行性和方法的有效性。

WS-BPEL服务可替换性分析

在开放、动态、多变的Internet环境下,服务替换是保证面向服务的软件系统持续可信的重要手段.现有方法大多在控制流模型层面上进行BPEL服务的可替换性分析,而较少考虑BPEL服务中的数据因素,并且当BPEL服务中存在对分布服务的异步调用时,现有方法过于保守.为此,本文提出一种基于程序依赖图的BPEL服务可替换性分析方法,该方法综合考虑了BPEL服务中的控制依赖、数据依赖、异步调用依赖以及交互依赖关系,从而可有效应对BPEL服务的可替换性问题.我们使用一个旅行代理BPEL服务替换案例阐明了本文方法的有效性和可行性.

最小独立闭合环与附合导线的自动生成算法

应用图论理论，直接根据控制网平差的基于测站的网点信息和观测值文件，提出了最小独立闭合环自动生成的逐步回代法和附合导线自动生成的组合法，并编程予以实现。最后用实例验证了算法的正确性和用之进行观测值质量检核的有效性。