摘要：针对软件开发过程中安全性分析与设计不足的问题,在研究现有软件安全性建模及形式化验证技术的基础上,提出了一种适用于面向对象的软件安全性建模与验证方法.建立软件安全属性的非形式化UML模型,采用安全扩展有限自动机创建其形式化模型,并使用线性时序逻辑描述安全属性,将形式化模型与安全属性共同作为模型检测器的输入,得到模型是否满足性质的验证结果,从而实现了软件安全设计与验证技术的有机结合.实验结果表明,该方法能够在软件设计初期对所涉及的安全性进行有效分析与验证.

摘要：黄土地基因渗漏水导致局部地基增湿从而引起的工程事故时有发生,但目前对渗水增湿过程及增湿变形尚难预测.首先对渗水量已知情况下的黄土地基渗水增湿过程进行理论分析,建立了二维湿陷性黄土地基线源入渗增湿计算模型,该模型揭示出黄土地基非饱和增湿过程,这与实际是相符的.入渗增湿计算得到黄土地基含水量变化后,进一步根据含水量确定模量,采用分层总和法计算黄土地基增湿前后的沉降量,前后的沉降量之差即为增湿变形。

摘要：采用有限元法分析了高厚比超限的Q460钢焊接工字形截面压弯构件局部和整体弯扭相关屈曲的极限承载力,研究了腹板高厚比、翼缘宽厚比、构件长细比和荷载相对偏心率对其相关屈曲承载力的影响,提出了Q460钢焊接工字形截面压弯构件的局部和整体弯扭相关屈曲极限承载力修正计算公式。研究表明:有限元模型能够较好地模拟焊接工字形截面压弯构件局部和整体弯扭相关屈曲极限承载力;腹板高厚比、翼缘宽厚比、构件长细比及荷载相对偏心率增大均会导致构件无量纲化极限承载力降低;基于《钢结构设计规范》(报批稿)GB 50017提出的修正公式计算值与有限元计算值吻合较好。

摘要：根据神经-模糊控制理论和减震结构混合控制理论,利用基于弹塑性时程分析自动提取减震结构模糊控制规则的方法获取原始训练样本,能考虑不同地震动特性的影响.应用带偏差单元的递归神经网络(RN-NWBU)形成减震结构模糊控制规则的关系生成方法和推理合成算法,能够实现神经网络驱动的混合控制结构体系模糊推理,从而能实现神经-模糊控制器的设计,应用装设有神经-模糊控制器的系统能够在线控制结构地震反应.通过半主动调谐质量阻尼器(SATMD)与消能减震相结合的混合控制结构体系的数值仿真分析,可看出本文方法能有效地在线控制结构地震反应.本文对推动结构控制理论的发展具有重要意义.

摘要：为了有效控制车辆悬架振动及回收振动能量,提出了一种基于滚珠丝杠式作动器和磁流变减振器的车辆馈能型混合悬架结构。建立了1/4车辆2自由度混合悬架动力学模型,分析了混合悬架的主动控制模式和具有电磁阻尼力反馈调节的半主动控制模式,设计了混合悬架多模式协调控制器,并利用MATLAB/Simulink软件对混合悬架多模式协调控制的动态性能、悬架系统的自供能进行了仿真分析,开展了混合悬架台架试验研究。仿真和试验结果表明:与被动悬架相比,随机路面谱输入条件下混合悬架的簧载质量加速度均方根减小了30%以上,混合悬架减振效果显著。

摘要：海洋立管是海上油气集输系统的重要组成部分,用于连接海底油气井口与海上油气集输站。在油气储运工程中,海洋油气集输介质多为油气水三相流体。为了研究油气水三相流海洋立管系统在严重段塞流作用下产生的耦合振动问题,进行了数值计算与实证研究。基于多相流体力学与动力学理论,构建了油气水三相严重段塞流模型和海洋立管结构动力学模型,结合这2个模型,模拟了立管耦合振动响应过程,并设计了下倾管倾斜角度为3°的L型油气水三相流立管系统进行实验。对模型计算值和实测值进行对比,结果表明:所提出的耦合振动响应模型比现有严重段塞流瞬态数学模型更适用于油气水三相段塞流引起的海洋立管耦合振动响应问题的研究,计算结果与实验结果较吻合;立管底部压强与底部位移呈周期性变化,且变化周期基本一致;流体压强是引发立管系统耦合振动响应问题的关键因素。研究结果为油气水三相流海洋立管系统在严重段塞流作用下的耦合振动响应特性分析及其结构设计提供了参考。

摘要：文章借鉴系统动力学模型构建了我国区域文化创意产业竞争力影响因素指标,利用我国2015年和2016年各省份文化创意产业的62组基本数据在原有的区域文化创意产业竞争力静态SEM模型的基础上,运用系统动力学模型（SD）对结构方程模型（SEM）进行升级与转化,构建了我国两区域文化创意产业竞争力的动态博弈模型方程,并对区域文化创意产业竞争力发展趋势进行预测;通过调整模型中主要的参数,发现可持续发展等四个因素在区域文化创意产业竞争力博弈过程中起着重要的作用。

摘要：依据信息加工观,研究了机构设计过程的基本思想、方法与技术。通过分析机构设计过程在人脑与计算机中的表征形式、演变过程与相应的信息处理方法,提出信息加工观下的机构设计原理及其CAD技术框架,并就参数化技术下的机构行为分析、基于实例与仿真的性能分析CAD方法进行了探讨。给出了基于语言文字的抽象概念信息处理方法、基于属性特征匹配的抽象与形象表征形式转换方法、基于辅助基准装配的机构方案与性能设计方法。以连杆机构方案创新设计为例,实现了人机交互环境下的智能化、自动化设计过程。

摘要：针对管材的精密下料问题,对管料外表面不同类型环状缺口的缺口效应进行了研究,并对管料环状V型缺口根部应力场的参数进行了分析,确定了缺口张角、缺口深度和缺口根部底角半径是影响环状V型缺口根部应力场的3个主要参数,并推导出了适合管料下料的管料V型缺口参数的数学表达式。提出了管材疲劳断裂精密下料缺口的设计,并分别对表面带有环状V型缺口试样、环状U型缺口试样、朝着与背着下料端方向45°的不对称V型缺口试样4种缺口形式进行了数值模拟计算,得到朝着下料端方向45°不对称V型缺口和环状V型缺口这两种缺口形式是比较适合的缺口形式,并对每种缺口在相同实验条件下产生的裂纹扩展长度做了相关试验研究,试验结论和数值模拟结论相吻合。

摘要：针对刀盘的工作性能问题,分析了盾构机刀盘的布刀方式,运用Solidworks建立了刀盘的虚拟样机模型;分析并计算了滚刀的受力情况。通过有限元分析了刀盘装配体的强度及布刀的合理性,分析了盘形滚刀位置误差对刀盘工作性能产生的影响等,并提出了改进方案。