广义圈的同构因子分解

广义圈是一个简单图G＝(V，E)，其中点集V＝V0∪…∪Vn-1,|V0|=…=|Vn-1|，边集E=|uv|u∈Vi,v∈Vi=1,i=0,…，n-1,i 1=mod(n)|，证明了广义圈可以分解为t个同构因子的充要条件是t可以整除该广义圈的边数．     

非致冷红外焦平面阵列驱动电路优化设计

提出了基于复杂可编程逻辑器件 (CPLD)及低压差 (LDO)线性稳压器实现 3 2 0× 2 40长波红外非致冷焦平面阵列 (UFPA)驱动电路优化设计的方法 .选用Altera公司的MAX70 0 0AE系列CPLD作为硬件设计平台 ,运用VHDL语言对驱动时序进行硬件描述 ;选用TI公司的LDO线性稳压器及 14bit视频A/D转换器THS14 0 8实现UFPA偏置电路及视频输出信号的模数转换电路的设计 .测量与仿真结果证明是可行的 .     

K-vertex-connectivity minimum augmentation for undirected unweighted graphs

For an undirected unweighted graph G0＝(V0,E0) and a positive integer K, the K-vertex-connectivity minimum augmentation problem (K-VCMAP) is to find a minimum set of edges Emin such that the graph H0＝(V0,E0∪Emin) is K-vertex-connected. Results in the literature have given polynomial time algorithms for K-VCMAP in several special cases such as where k≤3, or G0 is a tree. However, it still remains open whether or not there exist polynomial time algorithms for K-VCMAP for any graph G0 and any integer K. In this paper, we settle the problem by describing an efficient algorithm (KUCA) with time-complexity of O(K|V(G0)|5) for the K-VCMAP for any G0 and any positive integer K.     

图 S＊的边幻和标号以及超边幻和标号

研究了对？n∈N＊图 S＊的边幻和标号以及超边幻和标号,得到了两种标号的算法 A 和 B,给出了对？n∈N＊图 S＊具有超边幻和常数 C1=5n＋6以及边幻和常数 C2=7n＋6,其中图 S＊由具有 n＋1个顶点星图 S（u）和 n＋1个顶点星图 S（v）组成,从而证明了 S＊不仅是边幻和图,而且还是超边幻和图等结论。     

一类带有纽结分支的边—不交链图

为进一步探讨边—不交链图的分类,研究其中至少有一个链的分支是非平凡纽结的情形,给出了带有纽结分支的边—不交链图的定义。在给出内在纽结图H0的基础上,利用其与边组成的图形成完全图K7,并采用该方法构造出一类带有纽结分支的边—不交链图H（43）。分析点扩张对H（43）的作用,得到了点扩张的图变换不保持带有纽结分支的边—不交链图的性质这一结论。     

箱体类零件各视图尺寸的分配

论述的内容为“箱体类零件工作图尺寸智能化标注”的一部分。简要介绍了尺寸标注的内容，零件各视图尺寸分配的原则，并着重介绍了各视图尺寸分配的具体方法     

一种新的红外焦平面阵列非均匀性校正技术

在分析了红外焦平面陈列非均匀性的噪声特性基础上,提出用噪声抵消的方法来对红外焦平面阵列的非均匀性进行自适应校正,针对实际图像进行了实验,结果表明该方法比神经网络法能得到更好的校正效果。     

两圆锥相接平面的定位计算及其应用

用自动绘图机绘制接口为平面曲线的两圆锥表面展开图,先要准确计算接口平面的位置,再按接口展开的曲线方程,编制两圆锥相交后的表面展开的绘图程序。本文探讨了不同锥度的两圆锥相接平面的定位计算,得出了两圆锥相接平面的定位计算公式。最后,应用本文所推导的公式,简化和论证了有关圆锥相接的若干作图方法。     

焊制三通在面内弯矩作用下的塑性极限载荷

文中使用ANSYS软件对面内弯矩作用下的焊制管道三通进行了弹塑性有限元应力分析,建立了覆盖常用三通几何尺寸的塑性极限面内弯矩有限元解数据库,并拟合得到高精度的三通塑性极限面内弯矩计算公式,为管道三通元件的强度分析提供了基础数据及方法。     

基于支持向量机的人脸识别身份验证技术研究

利用K-L变换首先对人脸图像进行特征参数提取,再利用支持向量机进行识别。由于支持向量机的推广性取决于核函数参数与误差惩罚因子的选择,为此采用思维进化算法对其参数进行优化选择,提出支持向量机与思维进化算法相结合的新型算法进行分类识别,算法解决了支持向量机参数选取的难题,利用ORL人脸库进行仿真实验,结果表明,基于改进的支持向量机的人脸识别技术识别效率高、方法有效。