一个建立分子结构的子分子结构库的算法

给出了一个建立分子结构的子分子结构库的算法将分子结构视为一种特殊的结点可同名的连通无向图,然后求出该图的所有连通子图.     

关于无K1，4—图Hamilton性的两个新结果

若无K1，4作为其导出子图，则一个图称为无K1，4－图，本文利用插点方法给出无K1，4－图是Hamilton图及Hamilton连通图的两个新充分条件。     

关于无K1,4-图Hamilton性的两个新结果

若无K1,4作为其导出子图,则一个图称为无K1,4-图,本文利用插点方法给出无K1,4-图是Hamilton图及Hamilton连通图的两个新充分条件.     

赋权图中的圈

对2—连通赋权图G，本文证明了如下新结果：若G满足对任意独立集S={u，v，w)，存在x≠y∈S，使得d^w(x) d^w(y)≥m，则图G或者包含Hamilton圈或者含权重≥m的圈，它推广了非赋权图及赋权图的相关已有结果。     

具有(n,k)-正交的(g,f)-因子分解的子图

设G是一个图,g和f是定义在V(G)上的两个整数函数且对每个x∈V(G)有g≤f.本文证明了如下结果设k是一个正整数,G是一个(mg+nk,mf-nk)-图,其中1≤n<m,H是G的任意一个有nk条边的子图.若对每个x∈V(G)有g≥k,则G中存在子图R,R具有(g,f)-因子分解与H(n,k)-正交.     

赋权图中的圈

对2-连通赋权图G,本文证明了如下新结果若G满足对任意独立集S={u,v,w},存在x≠y∈S,使得dw(x)+dw(y)≥m,则图G或者包含Hamilton圈或者含权重≥m的圈,它推广了非赋权图及赋权图的相关已有结果.     

HIDAS三维智能化出图设计技术

研究了一种全新的二三维一体化的出图设计技术——HIDAS三维智能化出图设计技术。介绍了该出图技术的系统架构,阐述了系统管理功能,包括二三维数据集成管理、三维操作模式管理、子图对象管理、图纸数据更新管理、图元标注管理等。HIDAS出图系统采用三维模型与二维图元相结合的出图方式,二维子图通过操作三维模型得到,二三维对象实现数据关联,建立起内在的对应关系。还阐述了图纸的自动更新机制,当设计方案变更导致模型发生变化时,更新数据从模型传递到图纸,图纸中的二维子图、图元属性、图元标注、统计图表等信息自动实现更新操作。     

(g,f) -k-对等图的若干充分条件

若对图G的任何k条边,G有一个(g,f)-因子含它并且有另一个(g,f)-因子不含它,则称图G是(g,f)-k-对等图。本文证明了以下结论:设0相似文献   

（0，mf-m＋1）-图的正交（0，f）-因子分解

设G是一个图，是定义在V（G）上的整数值函数且对A↓∈V（G）有f（x）≥2k．设H1，H2，…，Hk是G的k个顶点不相交的子图，且｜E（Hi）｜=m，1≤i≤k．证明了每个（0，mf-m＋1）-图G有一个（0,f）-因子分解正交于Hi（i=1，2，…，k）．     

关于（g，f）-2-覆盖的二分图

设G是一个图，用V(G)和E(G)表示它的顶点集和边集，并设g和f是定义在V(G)上的两个整数值函数且对每个x∈V(G)有0≤g(x)≤f(x)，如果对每个x∈V(G)有g(x)≤dF(x)≤f(x)，则图G的一个支撑子图F称为G的一个(g，f)-因子。如果过G的任何两条边存在一个(g，f)-因子，则一个二分图G称为一个(g,f)-2-覆盖的二分图。本文给出了一个二分图是(g，f)-2-覆盖的二分图的一个充要条件。     

关于(g,f)-2-覆盖的二分图

设G是一个图,用V(G)和E(G)表示它的顶点集和边集,并设g和f是定义在V(G)上的两个整数值函数且对每个x∈V(G)有0≤g(x)≤f(x),如果对每个x∈V(G)有g(x)≤dF(x)≤f(x),则图G的一个支撑子图F称为G的一个(g,f)-因子.如果过G的任何两条边存在一个(g,f)-因子,则一个二分图G称为一个(g,f)-2-覆盖的二分图.本文给出了一个二分图是(g,f)-2-覆盖的二分图的一个充要条件.     

一种有向概率图连通性仿真算法

图的连通性分析在系统可靠性分析、系统结构优化等领域有重要作用,该文为分析有向概率图的连通性提出了一种仿真算法。对该方法使用MATLAB和GENIE软件进行仿真,首先通过MATLAB计算网络连通分布情况,得到中间结果,然后将中间结果输入到GENIE,可以根据相互独立的各边失效度分析有向概率图连通的概率、各边失效时网络连通概率、网络不连通时各边失效概率以及进行灵敏度分析。仿真结果表明,该方法精度准确,运算速度快,适用于复杂结构的有向概率图连通性分析。     

Enomoto Hirohata和Ota猜想的改进

设K1,3表示顶点集为{ w,x,y,z},边集为{wx,wy,wz}的图,M1表示顶点集为{w,x,y,z},边集为{wx,wy,wz,yz}的图.dL(x,y)表示图L中的顶点x与y的距离.本文证明了设G是阶为n的3-连通图,s是一个整数(3≤s≤n).对G中的任一同构于K1,3或M1的导出子图L,如果d(x)<s/2并且dL(x,y)=2隐含着d(y)≥s/2,那么过G的每一边存在长≥s-1的圈.     

图的联结数与分数因子存在性

设G是一个简单无向图,G的联结数定义为bind(G)=min|NG(X)||X|:≠X V(G),NG(X)≠V(G)本文讨论了图的联结数bind(G)与图的分数因子存在性的关系,给出了图有分数因子的若干充分条件。     

基于子装配体识别的产品装配序列优化方法

对于减小装配体装配序列规划问题,进行子装配体划分是有效途径之一。针对装配体中子装配体识别的问题,提出了一种基于图搜索策略的子装配体识别方法。首先对子装配体进行定义,表达装配体零件联接关系图和零件有向阻碍图;然后通过对零件联接关系图的强联接子图的搜索,利用零件有向阻碍图节点的合并和边的调整来判断装配体的子装配体,并利用度的概念判断装配顺序,从而实现对装配体装配序列的规划与优化。     

一个新五维超混沌系统的动力学分析

基于超混沌Lorenz系统,通过引入一个线性控制器,构造了一个新的五维超混沌系统。采用数值模拟的方法,研究了该系统的动力学行为,包括平衡点的稳定性、系统分叉图、混沌吸引子相图、Lyapunov指数谱等。结果表明,新五维超混沌系统随着引入参数的变化呈现周期、混沌及超混沌等动力学行为,并且扩大了系统处于超混沌状态的参数范围,可用于混沌保密通信。     

基于分叉理论的水下超空泡航行体运动特性研究

为保证水下超空泡航行体稳定地运动,分叉分析航行体的运动状态随空化数变化的规律,基于分叉理论,利用数值仿真、相轨图分析并验证航行体在不同空化数下的运动特性,最后通过二维分岔图确定航行体稳定运动条件和参数范围。研究结果表明:超空泡航行体的运动具有非线性动力学特性,随着空化数的变化,系统的相轨迹出现极限环、混沌吸引子等现象;合理地调整控制律可以扩大航行体稳定运动的空化数范围,实现航行体的稳定运动。     

装配体可行拆卸操作生成

为了高效地规划装配体的拆卸序列,利用1维拆卸回溯分析算法生成所有可行子装配体和1维拆卸操作,并在此基础上提出了m维拆卸分析算法来构造所有m维可行的拆卸操作,以算法生成的可行子装配体为顶点和以可行拆卸操作为有向边便可构建拆卸与或图.对算法在C++Builder平台中进行编程实现,并以一个装配体为例验证算法的可行性.     

基于分叉理论的水下超空泡航行体运动特性研究

为保证水下超空泡航行体稳定地运动,分叉分析航行体的运动状态随空化数变化的规律,基于分叉理论,利用数值仿真、相轨图分析并验证航行体在不同空化数下的运动特性,最后通过二维分岔图确定航行体稳定运动条件和参数范围。研究结果表明：超空泡航行体的运动具有非线性动力学特性,随着空化数的变化,系统的相轨迹出现极限环、混沌吸引子等现象;合理地调整控制律可以扩大航行体稳定运动的空化数范围,实现航行体的稳定运动。     

(mg+m-1,mf-m+1)-图的(g,f)-因子

讨论了(mg m-1,mf-m 1)-图的(g,f)-因子问题,推广了图的因子理论,改进了一些结论,有助于进一步研究(mg m-1,mf-m 1)-图的(g,f)-因子问题。