一类边传递图

令G=（α,β｜α^n=β^2=1,α^β=α^r）,r＆^2≡1（modn），是图Г的一个自同构群。目的是研究关于G一边传递图的性质．运用置换群和代数图论的相关理论，获得了这类图的完全分类，它们是一些互不相交的圈和完全二部图的并。     

pq阶亚循环群局部传递的图

所指的图是有限的、单的、无向的且无孤立点。如果图的自同构群分别在图的边集合和点集合上传递．分别称图是边传递的和点传递的。设G≤Aut（F），如果对于每个α∈V（Г），Gα在Г（α）上传递，则称Г是G-局部传递图。主要利用边传递、点传递和局部传递的关系及陪集图的理论，获得了关于pq（p、q是素数，p〉q）阶亚循环群局部传递的图的完全分类。获得的结果为：关于pq阶群局部传递的图或为弧传递图，或为二分的边传递图，或为一些边传递图的并。     

复合Halpern迭代逼近可数个增生映像的公共零点

设E是严格凸和自反的实Banach空间且其范数是一致Gateaux可微的,K是E中非空闭凸子集,Ai：K→E（i∈N）是m-增生映像且公共不动点集非空,u∈K是给定点,X1∈K是任一初始点,{αn}^∞ n=1、{β}^∞ n=1是[0,1]中的实数列且满足如下条件：（i）lim n→∞αn=0,∑^∞ n=1 αn=∞,∑^∞ n=1｜αn＋1－αn｜〈∞;（ii）lim n→∞βn=0,∑^∞ n=1｜βn＋1－βn｜〈∞。设{Xn}^∞ n=1是由下面复合Halpern格式定义的迭代序列：{yn=βnXn＋（1-βn）SXn,n≥0 Xn＋1=αnu＋（1-αn）yn其中S=∑∞ i=1ξiJAi,JAi=（1＋Ai）^-1（i∈N）,那么{Xn}∞ n=1强收敛于{Ai}i∈N的公共0点。本文的结果改进和推广了Zegeye和Shahzad,Ofoedu以及其他作者的相应结果。     

纤维增强叠层圆柱壳的8阶方程及其解

 关于叠层圆柱壳的问题,本文首先引入一个广义位移函数,并针对叠层圆柱壳的弯曲、稳定和振动问题,推导出关于广义位移函数的8阶偏微分方程。对于A（i6）=B_i6=D_i6=O（i=1,2）的典型情形,讨论了其精确解的一般形式。     

PLC梯形图向AOV图的一种转换方法

通过对PLC的梯形图语言及定点活动（Activity on vertex）图（简称AOV图）的分析,提出了一种梯形图到AOV图的转换算法。基于面向对象的方法,采用行双向链表作为梯形图的存储结构,记录梯形图载有的信息,然后扫描其中的有效顶点以及各个顶点的直接前驱及直接后继,对冗余信息进行简化处理,最后建立AOV图。这种算法具有通用性,适于复杂控制逻辑的梯形图,为从AOV图向指令表的转化打下良好的基础。     

于不确定性与重要度的改进DSmT健康状态评估

针对目前健康状态评估准确度不高、客观性不强的问题,引入评估指标的不确定性和重要度,提出一种基于不确定性和重要度的改进DSmT（Dezert Smarandache theory）健康状态评估方法.首先,引入指标不确定性和重要度作为加权因子,能够得到比较合理的指标权重；其次,采用模糊综合评判方法,通过构造三角形梯形隶属度函数确定各指标的广义基本信度赋值；然后,基于指标权重对广义基本信度赋值进行改进DSmT融合,得到各指标的广义基本信度赋值加权融合后的评估结果；最后,以某供电系统为例进行了实例验证,结果表明该方法能够赋予各评估指标较合理的权重,健康状态评估结果与系统实际运行状态相符.      

差分方程yn+1=A+yn/(kΣi=1αiyn-i)的全局吸引性

研究差分方程yn+1=A+yn/(kΣi=1αiyn-i),N=0,1,...正解的稳定性,其中,A∈(0,∞),αi∈(0,∞),kΣi=1αi=k,k≥1且是整数,初始条件y-k,...,y0为任意正数.阐述并证明该方程的惟一正平衡点是全局吸引子且吸引域取决于方程的系数.     

差分方程yn+1=A+yn/(kΣi=1αiyn-i)的全局吸引性

研究差分方程yn+1=A+yn/(kΣi=1αiyn-i),N=0,1,...正解的稳定性,其中,A∈(0,∞),αi∈(0,∞),kΣi=1αi=k,k≥1且是整数,初始条件y-k,...,y0为任意正数.阐述并证明该方程的惟一正平衡点是全局吸引子且吸引域取决于方程的系数.     

一种香豆素并杂环衍生物分子结构及红外光谱的理论研究

基于Gaussian09W软件,采用密度泛函理论（Density Functional Theory,DFT）的B3LYP方法,在6-311G（d）基组水平上优化了一种香豆素3,4-并六元杂环衍生物分子的结构,得到其最稳定构型、分子能量及HOMO、LUMO轨道能量。在优化结构的基础上,用同样的方法计算了该分子的振动频率,频率分析证明了该优化结构为最稳定结构。利用分子的振动频率数据绘制了标题分子的红外光谱图,对其红外光谱峰位进行了归属。     

二分图中哈密顿[k,k+1]因子

主要研究了在均衡二分图G中哈密顿[k,k 1]因子的存在性.设G=(X,Y,E),|X|=1Y1=2/n≥4(k-2)-3,k≥2且n≥2,δ(G)≥k,若G中每一对不相邻的顶点u,v有max{dG(x),dG(x)}≥4/n 2,则G有包含哈密顿圈C的[k,k 1]因子.在此基础上,进一步给出结论:二分图G=(X、Y、E),|x|=|Y|=2/n≥4(k-2)且n≥2,δ(G)≥k,若G中每一对不相邻的顶点u,v有dG(v)≥2/n 4,则G有包含哈密顿圈C的[k,k 1]因子.结论在很大程度上改进了已有的包含哈密顿圈的度条件,进一步完善了包含哈密顿圈的因子理论.     

基于有向图的蜂群无人机故障影响

基于蜂群无人机控制模型，针对虚假数据注入的故障情形，为了分析该故障情形下，蜂群无人机中故障的的影响及传播关系，采用故障传播有向图及一致性理论，开展蜂群无人机故障影响机理研究。首先，通过Dijkstra算法计算故障源到各无人机的最短路径，建立故障传播有向图；然后预测各无人机受故障影响的程度，结合蜂群无人机系统，计算一致性行为偏差的指标，并将其作为实际故障影响程度；最后，通过对预测结果与实际故障影响程度进行仿真比较，验证了所建立的故障影响机理的合理性。     

2K＋1正则图的自由边

本文利用 Tutte 定理,给出并证明了满足一定条件的2k 1正则图中的每个边都是自由边的结论。     

基于可观测度分析和增量因子图的多源融合导航方法

复杂动态场景下高精度导航定位是自主无人系统决策规划与控制执行的基础。在城市峡谷、隧道、地下或室内停车场等场景下，卫星信号弱甚至丢失，严重影响了惯性/卫星/视觉等多源融合导航的精度和可靠性。为主动适应动态场景变化，迫切需要设计一种适用于跨场景的多源融合导航系统。基于动态时变系统的可观测度分析，在线度量惯性/卫星、惯性/视觉等组合导航因子的可信程度，进而采用因子图融合导航框架，根据各组合导航因子的可信程度，主动优化因子构建和增量平滑过程，以实现多传感器自适应融合导航与可靠定位。实验仿真表明：基于可观测度分析方法，能够在线优化因子图计算过程，提升了多源融合导航系统的环境适应性和跨场景能力，保证了复杂动态场景下自主无人系统跨场景导航模式切换和连续可靠的导航定位。     

一种装配体模型的离散量化与相似性分析方法

装配体模型相似性分析作为产品信息重用领域的重点问题而得到广泛关注,目前一些方法利用图论的相关知识,能够实现结构信息的发掘但通常较为复杂,也有一些方法从向量集合的角度入手以获得更好的计算效率,但忽略了零件间的连接关系。针对这些方法的优势与不足,提出了一种基于结构离散的装配体模型信息量化方法,将装配体结构信息融入向量化描述符中,并建立相应的索引结构与相似性度量方法。该方法首先提取装配体中结构特征形成连接图,并将装配体分解为若干个相互连接的零件构成的结构单元;然后,利用结构-形状距离函数对各个结构单元进行量化表征,以此为基础构建基于高维向量的装配体描述符;最后,基于词袋（BOW）模型和超球体软分配策略建立倒排索引与过滤机制,通过求解查询装配体模型与库模型间的最优匹配,最终实现装配体模型的相似性分析。     

通信和测量受限条件下异构多UAV分布式协同目标跟踪方法

研究了通信和测量受限的异构多无人机(UAV)网络化分布式协同目标观测与跟踪问题.该分布式UAV系统采用长机一僚机异构型网络结构,以实现在电子静默和战术隐身条件下扩大探测和打击纵深.提出改进的一致性信息滤波(ICF)算法,实现通信和测量范围内各UAV节点的分布式信息融合.由于一致性算法的收敛性与网络拓扑结构的连通性密切相...     

通用机场机坪运行安全风险评估方法研究

传统机场机坪运行评价方法在确定指标权重方面存在不足,而模糊评价法在确定隶属度时主观判断较多。结合通用机场机坪运行特点建立评价指标体系,采用变权和相对差异函数的方法对通用机场机坪运行安全风险进行评估。首先运用变权理论对各评价指标的常权进行调整,体现单个指标对评价结果的影响;然后利用相对差异函数确定单因素对各安全等级的隶属...     

1,3,5-三硝基苯类化合物的撞击感度与分子拓扑指数

选取两种分子拓扑指数－分子联接度指数与键参数边通性指数,分别研究了含能化合物１,３,５－三硝基苯类化合物的分子结构与撞击感度间的关系。用分子拓扑学方法,计算了该类化合物的分子拓扑指数,结果表明,分子拓扑性质与撞击感度之间呈明显的相关性,并与景子化学计算方法的结果相一致,反映了引发基团与其它强授电子基团是影响撞击感度的重要因素。     

Dynamic airspace configuration method based on a weighted graph model

This paper proposes a new method for dynamic airspace configuration based on a weighted graph model. The method begins with the construction of an undirected graph for the given airspace, where the vertices represent those key points such as airports, waypoints, and the edges represent those air routes. Those vertices are used as the sites of Voronoi diagram, which divides the airspace into units called as cells. Then, aircraft counts of both each cell and of each air-route are computed. Thus, by assigning both the vertices and the edges with those aircraft counts, a weighted graph model comes into being. Accordingly the airspace configuration problem is described as a weighted graph partitioning problem. Then, the problem is solved by a graph partitioning algorithm, which is a mixture of general weighted graph cuts algorithm, an optimal dynamic load balancing algorithm and a heuristic algorithm. After the cuts algorithm partitions the model into sub-graphs, the load balancing algorithm together with the heuristic algorithm transfers aircraft counts to balance workload among sub-graphs. Lastly, airspace configuration is completed by determining the sector boundaries. The simulation result shows that the designed sectors satisfy not only workload balancing condition, but also the constraints such as convexity, connectivity, as well as minimum distance constraint.