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

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

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

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

二阶三点数值微分公式的外推算法

利用Taylor公式，给出了二阶三点数值微分公式在各点的截断误差的渐近展开式，并利用Richardson外推算法，提高二阶三点数值微分公式的收敛阶数，得到高精度的二阶数值微分公式．     

粒度对纳米氧化锌与硫酸氢钠溶液反应动力学的影响

以纳米氧化锌与硫酸氢钠溶液的反应为模型体系,研究了反应物粒度对动力学参数的影响规律。结果表明:反应物的粒度对反应的速率常数、反应级数、表观活化能和指前因子均有较大的影响;随着反应物粒径的减小,速率常数增大,反应级数增大,表观活化能减小,指前因子减小,并且表观活化能与反应物粒径的倒数呈线性关系。     

高阶Euler多项式和高阶Bernoulli多项式的计算公式

利用Stirling数给出高阶Euler多项式和高阶Bernoulli多项式的一类新的计算公式,这些公式结构精美,便于应用.     

图的最大亏格与面度

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

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

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

四阶龙格-库塔法在捷联惯导系统姿态解算中的应用

捷联式惯导系统相对于平台式惯导系统姿态解算要复杂得多,捷联系统通过提取陀螺仪和加速度计的测量值实时进行姿态矩阵更新,从而获得载体的姿态信息。介绍了利用四阶龙格—库塔法解捷联姿态微分方程的方法,并以典型圆锥运动作为输入进行仿真分析,适当地改变圆锥运动参数,检验该姿态算法的准确性及精度.仿真结果表明,在圆锥运动环境下四阶龙格—库塔法的姿态解算的精度随着计算周期τ的减小而增大,随着锥运动参数α和ω的增大而减小。     

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

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

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

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