基于EFSM模型的不可行迁移路径判定

扩展有限状态机(Extended Finite State Machine:EFSM)虽然被广泛用作各种软件的底层模型,但如何判定其测试序列的不可行性是一个困难的问题,为此将迁移路径上的变量分为计数器变量、选择变量和矛盾变量,并从这三个角度进行路径的不可行判定.实验结果表明,EFSM模型中的不可行迁移路径主要由这三类变量引起,且本方法可以有效地判定出含这三类变量的不可行迁移路径.     

开关磁阻电机（SRM）新型定子极型及其电磁关系仿真研究

提出了开关磁阻电机的一新型的定子极型，研究了定子极型改进后电机的基本电磁关系，并用有限元法计算了其性能。通过理论分析和实例仿真计算可知，这种改进的定子极型可以使电机的转矩脉动降低、起动能力提高、输出转矩增加。     

讲好国际贸易实务课程的三要素

通过对国际贸易实务课程特点的分析，讨论了英语、国际惯例及案例三要素在国际贸易实务教学中的重要作用。     

自适应有限元方法在线性椭圆方程的应用

本文完整给了在凸多边形域上关于Ｐｏｉｓｓｉｏｎ方程的先验及后验误差估计及其验误差估计的自适应有限元方法，从理论上证明了这种自动误差控制的方法是可靠的，有效的，实例所得数值结果是非常理想的。     

违纪大学生的自尊水平及与家庭因素的关系

文章通过数据统计发现，违纪大学生的自尊水平与其他大学生在总体自尊，外貌，体能等方面有明显的差异，这种差异与家庭的经济状况，父母文化程度，是否独生子女显著相关。     

有限变形圆柱壳结构的运动学方程

以有限变形连续体的最小加速度原理为基础，导出了在任意位置受到横向集中动力载荷作用下的闭合圆柱壳的有限变形运动方程，该方程反映了膜力效应和转动惯性效应；推导过程直接、简便、不易出错，同时指出，所得到的控制方程对于描述有限变形的冲击动力学问题是适宜的。     

关于非线性双曲型方程半离散有限元方法的误差估计

主要研究了非线性双曲型方程半离散有限元方法，利用椭圆投影，获得了半离散有限元逼近的一些误差估计。     

铸件凝固过程数值模拟后处理的研究

针对采用有限差分法实施凝固过程数值模拟时数据结构的特点，提出了采用背面消除和画家方法进行消隐以生成三维图形的方法．为了提高绘图的速度，提出了替代视向变换矩阵运算的一种简便算法．根据由数值计算得到的铸件凝固时间，提出了在二维剖面上显示凝固动态过程的方法．经过实践证明，提出的方法可以快速地完成上千万网格单元数据的后处理．     

构造信息势场的一个偏微分方程模型

提出了用于构造传感器网络中的信息位势场的一个偏微分方程模型。一个抛物方程被引入并用于确定这个位势场;有限差分法则被用于数值求解。求解得到的位势场保留了大部分对实际应用有利的节点特征。归功于偏微分方程所具有的良好性质,多个信息位势场能够很自然地被聚合起来。     

某桁架式桥梁检测车垂直臂刚架结构的拓扑及尺寸优化

以某桁架式桥梁检测车垂直臂为研究对象,利用ANSYS参数化设计语言建立了该垂直臂的三维实体参数化有限元模型,选择了三种典型工况对垂直臂进行了有限元静力结构分析。采用面面接触单元来模拟垂直臂与连接架滑块之间的滑动副,准确计算了垂直臂与滑块间的受力和变形情况。分析了垂直臂主管臂厚、弦杆臂厚以及拓扑结构参数弦杆分布密度对其强度、刚度的影响,为提高垂直臂构件的力学性能提供了理论依据。基于分析结果,选出了垂直臂的最佳几何构型并应用于实际产品。