一个图类的研究

总结一类图的基本结论,研究图的代数性质.探讨了图的邻接谱与图的拉普拉斯谱,并分析了拉氏根的分布.     

曲面型介子泛函方程

提出一个介子泛函方程.它是在以根点次和非根顶点剖分向量为参数,数所有可定向曲面上的地图时萃取出来的.在一个整域扩张中,证明了它的解存在且唯一.进而,通过图的对称性,给出这个解的一个紧凑显式.     

A hierarchical multiple criteria model for eliciting relative preferences in conflict situations

A multiple criteria decision analysis(MCDA) approach is designed for capturing the relative preference information of a decision maker involved in a conflict.More specifically,an MCDA approach based on the outranking method,ELECTRE III,is employed for ranking states or possible scenarios in the conflict from most to least preferred,where ties are allowed,for a decision maker according to his or her value system.To demonstrate how this preference elicitation methodology can be conveniently implemented in practice within the framework of the Graph Model for Conflict Resolution,it is applied to a real world water supply crisis which occurred in the town of North Battleford,located in the Canadian province of Saskatchewan.     

多核乐观并行仿真的负载均衡研究

对于运行于多核计算机、基于多线程实现的乐观并行仿真,虽然操作系统可对线程进行调度以平衡各个核的负载,但它无法控制各逻辑进程本地虚拟时钟的平衡推进。提出了多核乐观并行仿真的四层负载分配模型及一种静态划分与动态负载均衡相结合的负载均衡方案。静态划分使用Metis图划分包对模型实例进行划分;动态负载均衡优先调度本地虚拟时钟较小的逻辑进程以实现各逻辑进程的平衡推进,无须进行模型迁移,易于实现。通过一序列实验检验了所提出的负载均衡方案的有效性。     

基于图论法的课程安排模型

随着我国高校不断的整合发展,各高校校区分散化程度明显提高.分散化的校区给大学管理提出了诸多新的问题,这其中就包括分散化校区的课程安排问题.根据高校校区分散化的的实际情况,在简化模型的情况下,利用运筹学中分层规划的思想将问题逐步分解,通过图论法把排课问题转化为二分图的边着色问题,并使用扩展的边着色理论,从教师、班级、教室3个角度出发,用匹配限制着色来解决课程安排问题.     

基于Petri网与改进A星搜索算法的矿井机车调度优化

为了提高煤矿井下机车调度效率、防止机车碰撞、堵塞,根据井下调度特点建立了机车运行赋时Petri网模型。针对原有启发式A*搜索算法存在的易陷入局部最优的缺点,提出了基于petri网的并发变迁遴选算法,引入变迁并发度概念,与启发式A*搜索算法相结合,得到改进的A*搜索算法。经过改进后算法的回溯计算,得到Petri可达图上的最佳路径,从而得出最优调度策略。根据以上算法进行MATLAB建模,最终仿真结果表明,经过改进的启发式A*搜索算法有效的避免了陷入局部最优解,其计算得出的调度路径及调度策略资源消耗量最少,调度效率较高且未出现机车堵塞碰撞等问题。     

几类图的符号星k控制数

通过对图G的边集分析的方法,对图的符号星k控制数进行研究,确定了几类图的符号星k控制数     

6长圈带2条悬边的8阶连通图的图设计

构造了所需的带洞图设计, 再结合一些小阶数的图设计的存在性, 得到了关于图Gi (i=1,2,3,4)的图设计(v, Gi ,1)-GD的存在谱, 其中图Gi (i=1,2,3,4)是给6长圈增加2条悬挂边所得的8阶连通图, 且G1, G2, G3, G4互不同构.     

血管张力在大鼠血栓栓塞大脑中动脉脑梗死模型中的应用

目的 利用血管张力固定改良PE管,制作血栓栓塞大脑中动脉脑梗死（Embolic middle cerebral artery occlusion, eMCAO）大鼠模型。方法 采用清洁级Sprague-Dawley大鼠20只制作eMCAO模型,均为单人制作,利用血管张力固定改良PE管。 结果 改良PE插管均成功,大鼠eMCAO造模成功率90%,制作时间每只平均30 min。 结论 利用血管张力法可单人操作制作大鼠eMCAO模型,有效节省造模所需时间以及人力物力。     

1995—2015年长江中下游流域景观格局时空演变

定量揭示长江中下游流域景观格局时空演变特征,为进一步优化景观格局和保护长江生态环境提供依据。