R（4，2，n）型图的优美性

本文对R（4，2，n）图的优美性进行了证明，同时就R（4，2，n）图的优美交错性加以讨论。     

关于R（4,4,n）型图的优美性

讨论了R（4,4,n）型图的优美性,用构造性的方法给出了R（4,4,n）型图的优美标号,证明了图R（4,2,2m）是交错图。     

图C4k∪pn的优美性

证明了圈C4k是优美交错图，证明了路Pn是优美交错图。证明了由圈C4k与路Pn粘接而成的图C4k∪Pn是优美图，也是交错图，并给出了图C4k∪Pn的优美标号。     

二分图中哈密顿[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]因子.结论在很大程度上改进了已有的包含哈密顿圈的度条件,进一步完善了包含哈密顿圈的因子理论.     

单圈分子图的第一广义Zagreb指标的极值

第一广义Zagreb指标定义为0Rα（G）=∑i∈V（G）d（i）α,其中d（i）为i顶点的度,α为除0和1之外的所有实数。单圈分子图是指最大度不超过4且边数等于顶点数的简单连通图。本文通过一个引理,给出了单圈分子图的第一广义Zagreb指标达到极值的必要条件。     

一类n阶非线性常微分方程的非线性两点边值问题解的存在性

本文利用文献[1]的结果及文献[2]的方法讨论了n阶非线性常微分方程f^(n)=f(t,y,y′，…，y(^n-1)满足非线性边界条件的边值问题解的存在性。其中di=a或di=b,i=0,1，…，n－3，且di取值各自独立。a∈R，b∈R，a＜b。这包含n－2个不同类型的边界条件。使文献[1]、[2]中的结果成为本文特例。     

球面经纬线网络的带宽(Ⅰ)

图G=(V,E)的带宽B(G)定义为 其中f取遍所有标号,且双射f:V→{1,2,…,|V|}。本文研究了球面上n条经线m条纬线所构成的图C_(m、n)的带宽。其主要结果为     

一种大圆弧弦高测量法

圆弧的测量、测绘在计量中经常遇到，一般说来圆弧尺寸小，形状比较完整，弦高尺寸在1／2～1／3圆弧直径时，测量比较方便，可用标准样板对比；工具显微镜的切线法、坐标法等来解决。但遇到R尺寸大，形状较差，弦高尺寸＜1／4直径时，要测出其圆弧弦高比较困难。例如：飞机襟翼滑轨之R，如图1（是从旧飞机上拆下的），要实际测出尺寸R。向这样将近1m的P，且形状较差，弦高不到圆弧1／4直径，用上述方法是不行的。根据实际情况，可采用滚往测量。具体步骤是：a．装夹：将沿轨平卧于平板上，V型铁垫入滑轨圆弧最高处，以保持1个方向的水平，…     

基于热加工图的TC4合金热成形性能研究

通过热压缩试验研究TC4(Ti-6Al-4V)合金在应变速率为0.001～100s-1,变形温度为750～1050℃条件下的热成形性能.建立了基于流动应力的TC4合金本构方程.综合考虑应变速率和变形温度对材料微观结构及性能的影响,采用动态材料模型建立加工图.根据Malas稳定性准则确定出了非稳定区的位置及热变形最佳工艺参数:变形温度为800℃,应变速率为0.001s-1.     

O型密封圈的车削加工

这里介绍的是在车床上加工O型密封胶圈的方法,特点是操作简单,无须专用工装,适于加工批量小、品种多的非标准O型密封胶圈,加工光洁度及精度均符合设计要求。加工过程(见图1): 1.将橡胶板固定在胎具上,用尖刀将内圆切到尺寸(留0.1～0.2毫米余量); 2.用尖刀将两个90°角切成45°; 3.用弯头成形刀车内R; 4.用直头成型刀车外端面R; 5.用细砂布及细棉纱轻抛,再用尖刀将零件切下; 6.将半成品装于木胎上,木胎外径比橡胶圈半成品外径大1～3毫米,再用尖刀将90°角切成45°; 7.用直头成形刀车削余下的1/4R。最后用细砂布及棉纱轻抛橡胶圈即可。     

一种多元函数的可视化方法

利用数学可视化概念和向量的正交性，本文提出了一种将多维函数在三维欧氏空间可视化的方法，旨在描述多维函数图形。本方法在多维数据图形的显示方面会有广泛的应用价值。     

2边连通3正则平面图的边着色

对具有正常３边着色的２边连通３正则平面图的顶点定义了方向，并且在这样的图上建立了路径上的积分，进一步给出了２边连通３正则平面图是３边可着色的等价条件。     

AutoCAD环境下图形参数化实现方法研究

在ＡｕｔｏＣＡＤ图形环境下,基于对图形理解的策略,通过数据库中图形实体数据的分析和图形之间约束关系的推理,判断其中图形实体和尺寸实体的关系,并参照机械制图的隐含约束关系,建立图形和尺寸之间的联系,最后基于约束联系,生成ＡｕｔｏＬＩＳＰ参数化绘图程序,避免了人工编程,由此实现了图形的参数化,提高了绘图效率和ＣＡＤ技术的应用水平。     

面向软件工程的知识图谱构建技术研究

介绍了面向软件工程的知识图谱构建技术及其应用。阐述了知识图谱构建引擎的架构,以及基于该 架构进行知识图谱建模的流程。对知识图谱构建引擎中的数据获取导入、知识建模和知识融合的功能及组成进 行了详细介绍。最后采用构建技术对航空电子软件管理环境数据进行了实践。     

飞行轨迹预测的两种变结构IMM算法

针对交互式多模型(IMM)算法的缺陷,把变结构思想运用到此算法中,给出变结构交互式多模型(VSIMM)算法。基于图论知识,提出两种变结构算法:转换图交互式多模型(SGIMM)算法和自适应图交互式模型(AGIMM)算法。通过仿真试验,验证了这2种变结构算法的优越性,同时分析了2种算法的不同点。     

面向战例知识图谱的本体构建

为构建合理的战例知识图谱,提出了一种面向领域知识图谱的工程化本体构建方法。基于该方法,构建了战例领域本体模型,建立了战例本体与实体的映射机制。检验实证,该方法构建的本体合理有效,能够为战例领域知识图谱构建提供有效的模型支撑。