业务流程的形式化设计与验证

针对如何保证业务流程设计模型与业务需求的一致性问题,在研究有限自动机模型的基础上,提出了一种业务流程的自动机模型构建和验证方法.采用扩展的带约束条件的确定有限自动机对业务流程设计模型进行形式化描述,使用线性时序逻辑表示业务需求,分别给出业务流程设计模型到自动机模型和自动机模型到Promela描述的转换算法,并通过模型检测技术,使用Spin工具验证设计模型是否满足需求性质.若不满足性质,则能够获得反例执行的路径.实例分析表明,该方法可用于业务流程设计的正确性验证.      

基于分层递阶模型的多轴加工过程分析与运动度量规划

针对复杂曲面多轴数控加工过程的复杂性,提出了一种面向多轴加工的分层递阶构造模型,即利用铣削过程的几何、运动学与力学模型综合分析多轴加工规律.切削工件几何模型采用深度元素法,通过分析刀具与工件接触区域,得到刀具在不同瞬时的轴向范围及沿轴向各微元的切入角和切出角,转换为铣削力模型所需的几何信息,同时运动学模型又为几何与力学模型提供计算依据.采用序列二次规划法优化进给速度,使机床工作在多个约束条件的最大范围值内.五轴螺旋桨加工实验表明,在满足加工精度条件下,优化的进给速度使零件加工效率提高约20%.     

涂装车间漆雾过滤设备内流场数值模拟与设计优化

涂装车间在喷涂过程中会产生大量含有漆雾的喷涂废气,在处理喷涂废气之前需对其中的漆雾进行预过滤,在干式喷房中纸盒式漆雾过滤器由于更经济环保,越来越多地被投入使用。针对运行参数对过滤器过滤效率的影响,利用计算流体力学对折流板式纸盒过滤器的过滤效果进行了数值模拟研究,对过滤器的设计参数提出了优化建议。结果表明:设计参数对过滤器过滤效率的影响较大,过滤器对10 μm以下的漆雾颗粒过滤效率在10%~20%,过滤效率较低,对于10 μm以上的漆雾颗粒,过滤效率随粒径的增大而升高,对60 μm及以上的漆雾颗粒过滤效率达99%以上,部分大颗粒漆雾掉落至过滤器内,可实现漆雾储存;过滤器过滤效率随进口流速的增大而降低,随漆雾浓度的增大而升高,设备进出口压差随进口流速的增大而增大,但远低于喷房压阻限制。     

油层结构破坏和出砂导致油层污染的数值模拟

在油田开发过程中,由于胶结疏松的砂岩地层本身的胶结脆弱性、压力不平衡以及流体对砂粒的剪切、拖曳作用,会造成油层结构的破坏和出砂,影响到油田的正常开发。研究了造成油层结构破坏和出砂的机理,建立了相应的地质模型和数学模型,并采用有限元法对模型进行了求解。对常见的油层结构破坏的３种情况和实例进行了模拟计算。结果表明,本模型可以很好地模拟和预测由汕层结构破坏和出砂造成的油层污染过程及该类油层近井地带不同开发阶段的污染程度,对于油层的评价、增产措施的实施等具有重要意义。     

具有不同水平刚度的平板橡胶支座的网壳结构动力响应分析

通过有限元ANSYS软件模拟,在大跨度网壳结构中增加含有螺栓的平板橡胶支座.分别对含有6种不同水平刚度的平板橡胶支座的网壳结构进行分析,得到平板橡胶支座应用在大跨度结构中的动力响应.结果显示:水平刚度的增加有利于跨中挠度的减小,但杆件内力变化呈先增大后减小的趋势.     

用PLRC-FDTD法计算微波在激光等离子体中的反射和透射系数

用分段线性递归卷积时域有限差分(PLRC-FDTD)数值方法,研究了激光等离子体对微波传输特性的影响。应用该方法计算了微波的反射和透射系数。结果表明:对于均匀等离子体,等离子体频率越大,反射系数越大,透射系数越小;反射系数几乎为0 dB的带宽随等离子体频率的增加而增加;电子碰撞频率越高,反射系数越小,透射系数越大;非均匀等离子体不利于强反射的实现。研究结果为激光等离子体隐身技术提供了理论支持。     

季节性蓄存空气热能的地源热泵空调系统模拟

针对寒冷地区长期应用地源热泵系统出现的热平衡问题,提出了季节性蓄存环境空气热能的地源热泵供暖空调系统.介绍了该系统的组成及运行模式,建立了系统中各部分的数学模型,确定了系统的运行控制策略,并在此基础上,以哈尔滨地区某办公建筑为对象进行了瞬态数值模拟.由模拟结果可知,该系统能够保持土壤温度场以年为周期的热平衡,全年供暖空调平均性能系数为2.44,与燃煤锅炉供暖和分体空调供冷方案相比,该系统节能率为22.3%.     

应用ADAMS软件对点焊机器人大臂机构进行动力学仿真研究

针对六自由度点焊机器人设计过程中的动力学问题,通过建立Pro-E仿真模型,及其与大臂机械动力学模型等价的ADAMS仿真模型,在此基础上进行其动力学分析。仿真研究了机构关节的运动过程及其工作极限点;并在给定机构关节运动范围内,仿真研究其动力学特性。     

移动荷载下离散粘弹性点支承长梁的有限元分析

研究了单个和多个移动荷载作用下离散粘弹性点支承长梁的动力响应.把长梁、离散的粘弹性支座和移动荷载视为一个系统,利用弹性系统动力学总势能不变值原理及形成矩阵的"对号入座"法则建立该系统的振动方程组,用Wilsonθ法求解该振动方程组,得到梁的位移时程曲线.举例分析了梁的抗弯刚度、支座的粘弹性特性及移动荷载的速度对梁动力响应的影响.计算结果表明:增大支承点的弹簧刚度、阻尼系数及梁的抗弯刚度都有利于减小梁的动力响应;随荷载速度的提高,梁的动力响应有所增大.图7,表1,参16.     

随钻双感应测井仪器刻度响应研究

介绍一种随钻双感应测井仪器,利用三维有限元方法模拟实际仪器结构对仪器响应的影响,针对该仪器设计刻度环和刻度水箱,并探讨最优刻度环参数和水箱刻度校正系数。结果表明:钻铤和反射层是导致仪器响应非线性变化的主要因素,磁环主要导致仪器响应幅值增大。通过刻度环或水箱刻度,仪器响应和真实地层电导率具有较宽的线性响应范围。模拟结果可为随钻双感应测井仪器设计和刻度提供理论参考。