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

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

一类色等价图的图特征

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

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

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

可再生能源分布式发电系统能量互补控制的研究

为了解决可再生能源分布式发电系统的稳定性问题,在系统中加入了储能设备,使总线电压得到了平滑.介绍了可再生能源分布式发电系统的能量互补控制原理,并建立了能源分布式发电系统的数学模型.采用直接转矩控制算法对系统的能量互补控制过程进行了仿真实验,在系统的风机模拟器和飞轮上的仿真与实验结果表明当直流总线电压低于300V时,飞轮转速迅速下降,飞轮释放能量,系统维持稳定;当直流总线电压高于300V时,飞轮转速上升,飞轮存储能量,系统维持稳定.     

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

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

图的最大亏格与面度

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

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

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

函数插值在Flash动画补间中的应用研究

探讨在flash中用ActionScript代码来进行动画补间的方法。介绍几种函数插值的动画补间，最后讨论使用函数插值的一般方法。     

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

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

复杂电路中独立回路选择的新方法

利用图论思想方法,讨论了复杂电路中独立回路的选择,提出了断圈、避圈选择独立回路,使用实践表明:此方法适用于任何复杂电路的独立回路的选择.