冲击式采煤机温升计算与仿真

介绍了冲击式采煤机液压冲击系统,利用功率键合图建立了数学模型,得出温度变化曲线,并据此提出了控制温度的具体措施。     

液压缸动态特性分析

本文主要以拉氏变换和控制工程为基础，从理论上分析了影响液压缸稳定工作的动态特性，探讨了液压缸动态特性的机理。     

关于单圈图的路图的Hamilton性问题

用图的三度顶点的收缩方法，刻画了单圈图的路图的Ｈａｍｉｌｔｏｎ性的特征，并具体给出了Ｈａｍｉｌｔｏｎ圈的构造。     

Algorithm of graph isomorphism with threedimensional DNA graph structures

ResearchonDNAcomputingwasinitializedin1994 ,whenAdleman[1] proposedamethodofsolvingasmallinstanceoftheHamiltonianPathproblembyalaboratoryexperimentinvolvingDNAmolecules .Later,Lipton[2 ] demonstratedhowalargeclassofNP completeproblemscouldbesolvedbyencodingtheprobleminDNAmolecules .Inparticular ,LiptonshowedonefamousNP problem ,theso called“satisfiability”problem (SAT)andsubsequentlytheotherNP problemscouldbeencodedandsolvedusingmolecules .TheadvantagesofDNAcomputingareitsmassivepa…     

图G_i~(S*)(P,2(sum form j=1 to n)mj)的伴随多项式因式分解的图论方法及应用

通过研究图的伴随多项式的因式分解 ,给出了证明非色唯一图的一种新方法 ,并且得到了若干图簇的色等价图的结构性质     

分数Hamilton圈与分数树形图

定义有向图的分数有向Hamilton圈和分数支撑树形图，讨论分数Hamilton圈、分数旅行售货员问题和分数支撑树形图基于线性规划的等价定义及多项式时间算法。     

一种改进的实信号IFFT算法

由于重量轻、体积小、功耗低、功能强的小卫星工作在无人干预的低温 ,高辐射的空间环境中 ,因此星上计算机系统必须满足集成度高、寿命长、可靠性高、抗辐射能力强的要求。针对立体测绘小卫星的特点 ,我们设计了满足上述要求的集集中控制与分布控制优点于一身的星上计算机系统 ,对其可靠性进行了分析 ,并对提高其可靠性应采取的关键技术进行了简要的论述。     

障碍可越路线规划的符号图方法

本文给出２—Ｄ路线规划问题在障碍可越情况下的启发式符号方法．这一方法利用推理规则在由图像信息导出的连通图知识结构上进行启发式符号Ａ搜索以对空间关系进行分析和分类，以符号描述形式给出两声间路线规划方案．     

图Cn∪Pm的算术标号

设Ｃｎ∪Ｐｍ（ｎ≥３，ｍ≥２，ｎ，ｍ∈Ｎ）表示一个圈Ｃｎ和一条与其不相交的路Ｐｍ组成的图，本文证明图Ｃｎ∪Ｐｍ是算术图。     

滚齿切削图形的解析求法

本文提出了求滚齿图形的解析方法,用该方法可以方便而精确地求出各种类型滚刀的切削图形,并能在计算机上直接打印出来。它既可以用来分析各种类型滚刀的切削过程,又可以作为滚刀计算机辅助设计的一个环节,以寻求更加高效和高耐用度的滚刀齿形。