广义变换图G^＋∞（R,S）的边连通度

记Ａ＋∞（Ｒ,Ｓ）为具有行和向量Ｒ及列和向量Ｓ的所有ｍ×ｎ阶非负整数矩阵的集合．广义变换图Ｇ＋∞（Ｒ,Ｓ）的顶点定义为Ａ＋∞（Ｒ,Ｓ）中的矩阵,两个顶点（矩阵）相邻当且仅当它们可通过一次变换相互得到．并证明Ｇ＋∞（Ｒ,Ｓ）的边连通度等于其顶点的最小度δ（Ｇ＋∞（Ｒ,Ｓ））．     

一类色等价图的图特征

给出了一个有割点的连通图Ｇ是色唯一的充分必要条件为Ｇ由一个色唯一,顶点可迁图连一尾构成,进而证明了若Ｍ为色唯一,不含分离边的连通图,且Ｐ（Ｇ,λ）＝（λ－１）＾ｋｐ（Ｍ）则Ｇ含一子图同构于Ｍ及Ｋ个桥。     

一个简单船体模型的热像模拟（一）

红外热像在国防、工农业生产及科研各领域中有着广泛的应用,而其理论建模又具有极其经济和有效的特点。为此,我们查阅了大量的文献,根据国外的研究情况,在综合考虑各种热效应的基础上,通过合理简化,得到了相应的物理模型。在考虑到外界环境（太阳、天空、海面等）热辐射,空气对流换热和船体模型各部分之间传导及辐射等传热效应的基础上,建立了稳态热交换方程组。在给定一组外界环境参数、船体模型几何结构参数和材料热物性参     

高校校园景观设计之我见

校园景观规划设计是高校整体形象的关键,是校园文化的重要部分,对于学生德智体全面发展、树立教育品牌、提高教育质量、增强校园的凝聚力、向心力都具有重要现实意义。要做好大学校园景观规划需要抓住三个关键:主体建筑体系(出入口、校园中心区、开敞空间)、交通系统(步行和自行车交通系统、机动车及其停放系统)、景观系统(植物景观系统、文物和纪念物规划)。     

基于微元件键合图库的微机电系统动态建模与仿真

为了更好地支持微机电系统(MEMS)TopDown设计流程,针对MEMS仿真中的多能量域与非线性特点,采用键合图场元件与结型结构设计并实现了一个集中参数表达的MEMS键合图仿真元件库,同时基于该元件库提出了一种MEMS动态系统建模与仿真方法.采用参数化仿真模型与结构化体系构建的元件库,为MEMS设计流程中的概念设计阶段与系统级设计阶段的快速建模与仿真提供了方便,同时元件库内的所有元件均与MEMS器件级设计中的结构特征具有映射关系,这为用户需求空间功能原理空间结构空间之间的设计空间映射提供了方便.通过一个静电间隙执行器的系统建模过程与仿真结果,验证了利用该元件库进行建模与仿真的有效性.     

并发程序内部表示及静态切片算法的改进

通过分析Krinke切片算法对程序循环体内嵌套一个或多个线程结构会产生切片不精确现象,得出Krinke算法所基于的程序依赖图对线程间数据的依赖关系定义得过于粗糙,且对并发程序执行行为的合法性约束不够严格的结果.据此,提出一种新的并发程序依赖图,引入跨线程边界循环-承载数据依赖关系,并在此数据结构上改进了切片算法;引入区域化执行证据概念,进一步约束程序执行行为的合法性,并给出了添加跨线程边界循环-承载数据依赖关系的算法及新的并发程序切片算法的伪代码.实例分析与算法性能测试表明,改进的切片算法克服了Krinke算法的不精确现象,降低了时间开销,改善了算法的可伸缩性.     

图的最大亏格与面度

利用图在曲面上的嵌入特征,特别是面的度的大小,研究图的最大亏格的下界.     

与路正交的 (0,f)-因子分解

文章证明了，若G是（0,mf-m 1)-图，H为G的具有m条边的路，则G有（0,f)因子分解与H正交。     

基于神经网络的场景调度策略

虚拟场景的实时显示是虚拟现实技术的重要研究课题,优化场景的调度策略是解决实时显示的主要方法之一.根据虚拟装配的特点,建立视点状态变化的马尔可夫模型,并且使用径向基函数神经网络挖掘装配过程中视点变化的规律,提出基于神经网络的场景调度策略,利用该策略预测并提前调入装配过程中将要出现的场景.该策略可以使调度更加智能化,提高场景调度的效率,达到实时显示场景的目的.同时该调度策略也可以应用于虚拟现实的其他领域中,如虚拟场景漫游等.     

简单图含有完全子图的一个充分条件

从生活中的一个问题出发,运用图论知识进行了分析,得到了结论,并且对结论进行了推广 得到了在一般情况下简单图含有完全子图的充分条件 并且,在度数要求方面,这个结果是最佳可能的