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

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

跨音速透平扭叶片的气动优化设计研究

以并行自适应差分进化算法为核心，耦合曲面造型方法以及计算流体动力学求解技术，发展了一种适用于叶轮机械三维气动优化设计的全局自动气动优化算法．利用该算法，以等熵效率最高为目标，在满足流量约束的条件下对跨音速扭叶片进行了气动优化设计．对优化结果的详细分析表明，最优叶栅的等熵效率比原始叶栅提高了1．1％，气动性能有显著的改善，算法具有良好的优化性能．在跨音速条件下，载荷分布对叶栅的气动性能有着巨大的影响，采用前加载设计可有效地减弱斜激波的强度，减少激波损失，提高流动效率．因此，通过优化叶栅型线来改变叶栅的载荷分布可有效地提高叶栅的气动性能。     

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

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

基于DEA理论对碳纤维/铝粉/BMI树脂复合材料的有效性分析

加入适当的碳纤维和铝粉对双马来酰亚胺（BMI）树脂进行复合增韧，可以有效改善其力学性能，通常只能通过多次试验结果的优劣比较来评价BMI树脂的力学性能，而不能判断其力学性能是否达最优值。为此，基于数据包络分析理论，给出BMI树脂力学性能的评价模型和计算方法，利用试验数据可以有效测算其最优值，控制碳纤维和铝粉的加入量，使BMI树脂的力学性能达到最优。     

双层优化交通模型及其算法

提出了一个用于交通工程实践的考虑用户路径选择行为的两层数学规划模型.该模型可以应用在交通网络 设计、道路收费、交通信号灯配时等方面.分析了两层规划模型的特性和求解难点所在.并提出了一种基于路段变 量的连续可导的边际函数和距离函数,从而把两层规划转化成单层规划问题.通过把距离函数罚到目标函数上,转 化后的单层规划问题可以方便求解.     

Matlab在区域大气环境规划中的应用

通过具体案例研究了Matlab软件在大气环境质量现状评价、高架点源污染物扩散高斯模拟、城市能源系统优化等领域的应用，展示其在区域大气环境规划中的应用潜力．最后总结了该软件在区域大气环境规划研究中的优势及今后进一步研究的方向．     

多目标进化算法研究综述

简要介绍了多目标进化算法(MOEAs)的基本框架、研究历史、总体分类和主要方法,同时讨论了进化算法(EAs)在多目标优化的应用中的几个关键性问题及今后需进一步研究的工作.     

图的最大亏格与面度

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

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

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

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

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