面向回收设计中拆卸与或图方法的研究

面向回收的产品设计中 ,与或图拆卸回收模型的顶点和边的组合爆炸是应用的瓶颈。为此 ,在集合论和与或图的基础上 ,定义了集合与或图 ,并使之映射到产品拆卸过程 ,定义了拆卸与或图 ,并根据产品实际可能的拆卸操作、产品的拆卸回收策略等信息 ,建立了 6条筛选准则 ,用以合理地减少拆卸与或图模型中顶点和边的数量 ,同时保证模型的完备性。最后 。

产品拆卸回收性评估中的拆卸与或图建模方法

针对目前产品拆卸回收性评估中与或图建模方法存在的组合爆炸问题,提出了集合与或图和拆卸与或图的概念,设计了一套基本的用于筛选拆卸与或图的顶点和边的准则。实例分析表明,筛选后的拆卸与或图既能保证图模型的完备性,又在规模上适于进行后续的拆卸回收规划。

装配顺序的与或图生成算法研究

装配顺序生成是装配工艺与规划的重要研究课题之一。本文提出了采用与或图生成产品顺序的算法，它对产品的关联图进行割集运算，生成相应的子装配，经干涉性、稳定性和紧固性分析后，用与或图描述其全部合理可行的拆卸顺序，并以其逆顺序作为装配顺序。最后，本文给出了一个生成罩极电机装配顺序的实例。

拆卸与或图拆卸模型连通性筛子的新构造法

连通性筛子是构建拆卸与或图拆卸模型的诸多筛子之一。通过定义k阶限制布尔和集 ,归纳了连通性筛子的原有筛选算法。针对原算法中的双层循环与多组循环问题 ,定义了布尔向量的直接子 ,研究了布尔向量与其直接子之间的关系 ,构造了连通性筛子的新筛选算法。在筛选效率上 ,新算法优于原有算法 ,从而提高了拆卸与或图拆卸模型的整体建模效率。

关系数据库理论的与或图等价性分析

关系数据库有着严密的数学基础，但同时也过于抽象，使理论与应用存在较大差距。文章将图论引入关系数据库，利用与或图的形式来表达关系数据库，同时对基于与或图的关系数据库和传统的关系数据库做关系模式、函数依赖理论、规范理论的等价性分析，并由此提出了一种新的更加直观、深刻的关系数据库描述工具，用以实现关系数据库的计算机设计、维护和修改的程序化。

拆卸与或图生成及其权重不定问题研究

为了高效地规划装配体的拆卸序列,首先利用生成完备可行子装配体的算法构造所有可行的拆卸操作,并以与或图的形式将所有可行的拆卸操作加以表达,对该与或图进行简约,从而构建能够表达所有可行拆卸序列的拆卸与或图;为了基于该拆卸与或图规划拆卸序列,利用广义权重解决了拆卸与或图中有向边上权重不确定的问题,并给出了广义权重的计算方法;最后,通过实例验证了这种拆卸与或图表达拆卸序列的高效性和用于拆卸序列规划的可行性和有效性.结果表明拆卸与或图是一种可用于拆卸序列规划的高效模型.

基于与或图的Web服务自动组合

为快速、灵活、高效地组合Web服务,通过论证与或图的重要性质及归约算法的有效性,提出了一种基于与或图的Web服务自动组合方法。该方法针对Web服务请求的每一个输出对象实时构造与或图,再通过归约算法获取该输出对象的合成路径。与已有方法相比,该方法实现简单,搜索空间小,避免了重复搜索和循环搜索。仿真实验结果表明,该方法时间复杂度较好,能够在大规模的服务集中进行灵活、快速的服务组合。

拆卸与或图模型中的可拆卸性筛子

面向拆卸的设计是机电产品绿色制造系统中的重要组成部分,拆卸与或图是进行面向拆卸的设计时开展拆卸过程规划所需的一种模型。系统研究了构造拆卸与或图模型过程中的可拆卸性筛子,提出了可拆卸性筛子的模块划分和筛选流程。对零件之间拆卸运动干涉的判定,运用了包容盒检测、穿刺检测和步进静态干涉检测相结合的方法。开发了基于SolidWorks的可拆卸性筛选系统,对开发过程中遇到的难点进行了详细阐述。本文的研究工作保证了拆卸与或图模型、从而拆卸过程规划结果的正确性,同时对面向装配的设计中的装配干涉判定也具有一定的应用价值。

显式与或图的一种新的贪心搜索算法

文中提出了一种性能很好的能找出显式含圈与或图的最佳解图的贪心算法，给出了其严格的正确性证明，并简单分析了其复杂性．

一种结构化描述方法:保序性与或图

现实世界中的复杂问题通常具有网状结构,对于此类问题的求解,常用的方法均将其转换为基于对该问题的序列结构或者树形结构描述,但复杂问题的网状结构不能简单的用序列或者树表示.为了准确描述复杂网状问题的结构,便于对问题求解,提出保序性与或图形式对其进行描述.该模型具有树形结构的分层关系,节点间存在与关系和或关系,特别强调同一节点的子节点间存在序关系.基于该模型的问题求解方法有别于常用的与或图求解算法,利用商空间理论的粒度变换方法,采用多粒度模型来求解保序性与或图.给出了基于结构描述的网状问题求解算法,以及算法的具体应用实例,并通过和传统树形搜索算法的对比,证明了算法的高效性.

对拆卸与或图连通性判定算法的改进和研究

为加快拆卸与或图数据处理速度,减少连通性筛子的数据冗余,提出了一种对无效数据计算进行简化的方法。首先对与计算量有关的节点数、边数和图结构进行相关性分析,得到了计算量与它们之间的关系;然后以一定准则合并节点,对拆卸与或图进行预处理,使拆卸与或图的处理数据大大减少。通过对部分与或图图结构的计算,验证了该方法对数据处理的优化效果。

基于时空与或图模型的视频人体动作识别方法

针对视频中的人体动作识别问题,提出一种基于时空与或图(AOG)模型的人体动作识别方法,将动作识别和姿态估计共同建模在一个时空AOG模型中。首先,将动作分解为姿态,进一步将姿态分解为多个时空(ST)部件,再将ST-部件分解为多个子部件,从而形成三层模型;然后,在三层上分别提取粗级、中级和细级特征;最后,分别学习3个级别上的模型参数,训练隐含参数支持向量机(Latent SVM)分类器,实现动作识别。通过大型数据集的测试以及与几种最新方法的比较,证明了该方案的有效性,识别精度能够达到94%左右。

拆卸与或图模型中的稳定性拆卸规划方法

拆卸稳定性问题是装配拆卸过程中的一个重要问题。提出根据与或图模型,通过联接支持关系矩阵进行稳定性拆卸规划的方法。开发了基于SolidWorks的稳定性规划系统,保证了拆卸过程规划模型的正确性,对装配稳定性判断具有一定的应用价值。

生成装配与或图的直接算法

为了提高产品装配序列规划的效率,提出一种生成装配与或图的高效算法,直接模拟产品的装配过程。通过在装配与或图节点的数据结构中增加零部件的关联信息检查子装配间的关联关系,通过检查装配优先关系避免非法节点的生成,通过限定装配与或图节点的组合范围、分批地生成装配与或图节点以避免装配与或图节点的重复组合,整个装配与或图采用自底向上的方式生成。理论分析和实验比较的结果均表明,本文算法的时间复杂度明显低于现有算法,空间复杂度和现有算法基本相等。

拆卸与或图模型建模过程中连通性筛子的筛选率估计

拆卸与或图是拆卸模型中的一种,它的建模过程需要利用多重筛子进行筛选,筛选率的估计是合理安排筛选顺序的前提。本文阐明了采用极大似然原理估计连通性筛子筛选率的方法,分析了估计过程中样本容量的确定、随机样本的产生、导出子图连通性的判定等关键技术。通过预先设定置信度和估计精度,可以获得连通性筛子筛选率的有效估计值。

基于与或图的Sub Web服务组合方法研究

随着互联网技术的迅速发展,出现了大量优秀的Web服务,然而,单个Web服务难以满足用户需求,需对单个Web服务进行组合。针对上述问题,提出一种基于与或图的Sub Web服务组合方法。首先运用Web服务分解器将Web服务分解为Sub Web服务,并为其建立输出倒排索引表。其次通过SCAOG算法生成服务组合与或图,并为每一个与或图中节点赋权值。最后利用SCG算法对与或图进行求解,生成服务组合图。仿真实验表明,该方法提高了服务组合的效率和成功率。

无圈与或图搜索的符号OBDD算法研究

与或图搜索是人工智能领域一项重要的问题求解技术。基于传统数据结构的与或图表示技术极大地限制了与或图搜索算法可求解问题的规模。在无圈与或图符号OBDD表示的基础上,给出了一种求解无圈与或图最小代价解图的符号搜索算法。实验结果表明,与AO*算法相比,该算法可处理问题的规模有较大的提高。

一种QoS感知的基于与或图的Web服务选择模型

本文对Web组合服务选择问题进行了研究。首先,在讨论基本服务之间的关系之后,重新定义了组合服务的QoS质量准则。然后,用与或图来描述基本服务之间的关系,构建基于与或图的QoS感知的组合服务选择模型。接着,提出一种新的基于蚁群算法的组合服务选择算法,新算法针对并行关系和分支关系同时存在的情形给出了解决方案。最后,通过实验对新方法进行验证。

基于OBDD的含圈与或图搜索算法研究

在含圈与或图理论框架基础上,给出了基于OBDD的含圈与或图符号表示方法,并提出了一种求解含圈与或图最小代价解图的符号搜索算法。实验结果表明,该算法在处理大规模含圈与或图时具有明显优势。

一个新的与或图求解算法

给出了一个包含有向回路的与或图的求解算法 ,以及如何确定被扩展节点的祖先节点的优先数 ,并通过优先数有效地选取祖先节点的方法也在本文中给出。