李代数的张量积所确定的Leibniz代数

讨论了李代数(g)以及由这个李代数诱导的Leibniz代数(g)(×)(g)的一些性质,主要从不变双线性型和导子看这两个代数之间的差异,证明了在特定条件下两者的不变双线性型维数是一致的.为进一步确定李代数(g)和(g)(×)(g)的差异,讨论了由(g)(×)(g)诱导的一类重要的李代数(g)(×)(g);最后证明了,如...     

基于物联网的产品质量监管系统

针对当前产品质量监管的现状,为了实现产品质量的动态监管,设计了一种基于物联网技术的产品质量监管系统。该系统综合运用射频识别技术、条码技术、GIS空间信息处理技术等,实现了对产品实施全程监管和质量追溯。     

Halin图的一个点强全染色法

针对Halin图的点强全染色问题,提出一个有效的染色法———逐圈着色法,而且方法给出的方案也是最优的,即用最少的颜色完成Halin图的点强全染色.同时还确定了最大顶点度是3的Halin图的点强全色数的上下界,即上界为6,下界为5.     

超立方体三次幂的可区别数研究

根据d维超立方体p次幂结构特性,研究了其顶点间距离与海明距离的关系,给出了确定顶点坐标的充分必要条件,并对d维超立方体三次幂H3d的可区别数进行了研究.得到H3d可区别数的一个上界:D(H3d)≤5(d≥6).     

码头岸壁的凹凸贴图绘制

介绍凹凸贴图的几种方法,详细分析了点乘凹凸贴图,特别是从物体空间到切线空间的变换过程.基于GPU顶点着色及像素着色,应用点乘凹凸贴图绘制码头岸壁,岸壁表面看上去凹凸不平,取得了逼真效果.为基于GPU进行船舶操纵模拟器的开发做了有益尝试.     

支持地铁车体开发的工程数据库系统

在车体产品数据模块和数据库功能分析的基础上,建立以SQL Server 2000为后台数据库,以Java为W eb Service开发工具的工程数据库系统,完成前台功能化查询、可视化查询和参数化查询的功能设计.数据库内存储所有已建CAD模型和CAE模型的一般信息、分析结果信息及模型指针.该数据库系统管理设计过程、图纸文件、设计结果和分析结果,支持产品的设计变更、审批和发布,实现快速设计信息的检索与查询.实际应用表明,该系统能有效地管理车体开发中的产品数据.     

无相邻三角形平面图的(4,1)*-可选性

若对任一顶点给定k种颜色的列表,染色时每个顶点的颜色只能从自身的颜色列表中选择且每个顶点至多有d个邻点染相同的颜色,总存在图G的一个顶点的正常着色,则图G称为(k,d)*-可选色的.文章证明了每个无相邻三角形的平面图是(4,1)*-可选色的.     

步长为1和n/2循环图的导出匹配可扩性研究

如果一个图的任何一个导出匹配都能包含在一个完美匹配当中,就称之为导出匹配可扩的.对有2n个顶点x1,x2,…,x2n的图,如果对于i-j≡±1(mod2n)或者i-j≡±n2(mod2n)的i和j,均有xixj∈E(G),则称其为步长为1和n2的循环图,记为C2n(1,2n).本文的主要结论为:C2n(1,2n),n#4,是导出匹配可扩的.     

一类正则二部图的邻强边染色

研究了一类正则二部图的邻强边染色,验证了文献[1]中猜想是正确的.     

空间4-UPU并联机器人的运动学研究

运用自然坐标法研究了空间4-UPU（万向铰-移动铰-万向铰）并联机器人的运动学正解问题．通过共用并联机器人两两构件间的公共点或公共向量的笛卡尔坐标减少自然坐标的数量,从而简化了整个分析过程．在用自然坐标法处理多体机器人系统时,由于变量仅仅引进了末端执行器上关键点的笛卡尔坐标,因此,约束方程或者是二次的或者是线性的,这就使得并联机器人的运动学分析中不会出现任何超越函数．该建模过程方法简单、统一,非常有利于计算机编程处理．