基于自动机理论的UML活动图模型检验方法

UML活动图被认为是最合适的软件过程描述语言,研究UML活动图的模型检验方法是很有必要的。提出一种基于自动机理论的UML活动图的模型检验方法。该方法给出UML活动图的形式语义,通过计算RTC-STEP,得到LTS,并将LTS映射到Büchi自动机,用LTL表示系统性质,并将LTL公式转换为相应的Büchi自动机,用基于自动机理论的模型检验方法检验UML活动图。     

内嵌流体柔性板的流体自适应减振机理数值分析

基于内嵌流体自适应减振理论,对内嵌流体柔性板在一、二阶固有频率定频激励作用下的流体运动减振效果进行了数值研究.通过对内嵌流体柔性板的振动分析,将其转化为活动边界流体动力学模型.对不同模型进行仿真分析,揭示出封闭腔内流体运动的规律以及流体与板的力学相互作用特性,特别是流体运动的峰特征和自适应现象.提出了流体运动能耗量化准则,从能耗的角度阐明了内嵌流体单元运动减振的有效性以及自适应特性,并以此为标准对不同情况下的流体运动减振效果进行了评价.     

具有服务时长的在线TSP问题

针对城市快递揽件服务过程中,需求事先无法预知并且每个需求服务时长不确定的情形,提出具有服务时长的在线TSP问题.分别在一般网络图上和直线上证明了此问题的竞争比下界进而在一般网络上给出PAH-ST算法,在直线上给出PQR-ST算法,并对算法进行了竞争性能分析.本文提出模型是在线TSP问题的一般形式,结论可以为快递车辆的实时调度决策提供依据.     

一般状态空间马氏过程返回时的矩

对于离散时间一般状态空间马氏链,Meyn和Tweedie 证明了返回时的矩与漂移条件等价,并用于研究马氏链的正则性和遍历性。本文对马氏过程返回时的矩进行了研究,给出了返回时矩的递推关系,利用最小非负解方法,得到了马氏过程返回时的矩是相应方程的最小非负解,以及马氏过程的漂移条件等价于矩条件。
     

基于实时数据的角色运动建模与仿真

虚拟角色运动的实时控制是虚拟健身运动仿真中的难点。提出一种基于实时数据驱动的虚拟角色跑步控制方法,建立基于传感器的实时数据获取模型,分析人体跑步运动规律,建立跑步运动的数学模型,运用基于旋转角度的方法求解人体运动链上各个关节运动,采用L-?插帧法对关键帧之间的过渡帧进行运动插值运算,在Visual C++环境下结合EONSDK实现了虚拟人跑步运动的实时控制。测试效果表明:该控制方法能很好的满足健身运动仿真的需要。     

高斯曲率弹性模量对哑铃形开口膜泡形状的影响

基于自发曲率模型,研究了高斯曲率弹性模量(kg)对哑铃形开口膜泡形状的影响.通过打靶法数值求解开口膜泡在确定边界条件下的欧拉 拉格朗日方程,计算不同kg下膜泡的平衡形状.对两类特征形状研究了kg对膜泡平衡形状的影响.对于口径较大的形状,它可以看成是一个球形和另一个部分球形用细小脖子连接起来的形状,kg对这类膜泡形状的影响主要体现在中间连接处半径rc的变化上;而对于口径较小的接近闭合状的哑铃形膜泡,kg对这类膜泡的影响体现在其开口处形状的变化上.     

基于CCD图像处理方法自动定焦仪的研究

实验室测透镜焦距的传统方法是由测量人员在光具座上观测、记录、数据分析和计算结果,而用肉眼观察和判别往往容易产生差错。该文提出了一种基于CCD的数字图像处理方法自动测量透镜焦距的新设计——自动定焦仪,自动聚焦系统利用图像清晰度评价函数,由单片机控制马达转动镜头至对焦清楚的位置,实现数字化测量。     

丢番图方程x~4-Dy~2=1的几类可解情形和求解公式

利用初等方法及方程x⁴-Dy4-Dy²=1的解与Pell方程基本解的关系,找到使x2=1的解与Pell方程基本解的关系,找到使x⁴-Dy4-Dy²=1有正整数解的8类D值,并给出求解公式.当D=1 785,7 140,28 560时,能求出方程的一组解,对所给的其它D值,能求出方程的唯一解.结果表明,有无穷多个非平方的正整数D使方程x2=1有正整数解的8类D值,并给出求解公式.当D=1 785,7 140,28 560时,能求出方程的一组解,对所给的其它D值,能求出方程的唯一解.结果表明,有无穷多个非平方的正整数D使方程x⁴-Dy4-Dy²=1有正整数解.     

化乐勘探区煤矿水文地质特征及充水因素分析

以化乐勘探区煤矿为例,对化乐勘探区煤矿的水文地质特征、含隔水层特征、地下水动态及含水层间的水力联系等因素进行分析,并分析了化乐勘探区煤矿的充水因素。     

温度和应变率对拉伸载荷下记忆合金本构关系的影响

用于高温Split Hopkinson Bar(SHB)试验的新型快速加热电炉，可在1min左右将试件加热至500度，最高可加热至1000度，且金属材料和非金属材料均可加热，在20－800度和0．00208－350s^-1范围内研究了温度和变率对拉伸载荷下铁基形状记忆合金本构关系的影响，结果表明，随着应变率提高，材料强度提高，延伸率降低，材料强度，延伸率及应变率敏感性随温度升高而降低。