横向撞击荷载作用下中空夹层钢管混凝土构件的受力性能分析

利用ABAQUS软件建立中空夹层钢管混凝土构件在横向撞击作用下的有限元模型,其中考虑了钢管与落锤及混凝土之间的接触关系,并合理选取了内外层钢管和混凝土在动力加载下的材料模型.采用典型试件的试验数据对所建立的有限元模型的精度进行验证.在模型验证合理的基础上,对影响中空夹层钢管混凝土构件在横向撞击下的力学性能的主要因素进行参数分析.参数分析结果表明,空心率对构件的冲击力峰值有显著的影响,且随着空心率的增大,构件受撞击部位的局部变形增大;轴压比对该构件的冲击力平台值和变形发展有较大的影响;在相同空心率的情况下,截面形式为外圆内方的构件耐撞性能优于双层圆钢管的中空夹层钢管混凝土构件.     

基于概率与物理特征相结合的退化模型一致检验方法

提出了一种基于概率与物理特征相结合的退化模型一致性检验方法,从退化模型分布形式、空间距离和形状接近程度三方面综合验证模型的一致性。首先,考虑基于似然比检验的数据分布一致性检验,确定仿真数据和验证试验数据具有分布一致性;然后,基于改进的灰色关联分析法对退化模型数值接近性和曲线空间形状相似性进行一致性检验,确定关联度的大小,最终确定模型数值接近性和曲线空间形状相似性;最后根据模型同时满足基于似然比检验的数据同分布一致性检验和基于灰色关联的数值接近性和曲线空间形状相似性一致性检验,认为该模型通过一致性检验;反之,认为不通过一致性检验。以某加速度计为例,验证了所提方法的有效性。     

基于DoDAF2.0的多机协同探测系统体系结构设计

为适应体系作战研究需要,对DoDAF2.0体系结构框架进行研究,分析了DoDAF2.0的元模型、各类视角与模型及其之间关系。基于数据为中心的核心思想、不同视角作用与不同模型的功能,给出了以元数据为核心的体系结构开发过程与具体实施步骤。以多机协同探测为例在Rational Rhapsody下进行了体系结构建模,并对体系结构中动态视图验证与分析进行了阐述,最后对DoDAF2.0在体系作战研究中的应用进行了展望。     

分布式系统动态配置一致性算法的实现

在基于构件的分布式系统中进行动态配置是目前研究的重点与热点，动态配置必须保证系统的一致性.该文提出一种基于事务及其静止状态理论的动态配置一致性算法，采用等待方式驱动目标构件进入静止状态，即目标构件启动和参与的所有事务只可能处于未启动状态或已经正常完成状态，使得对目标构件实施任何动态配置意图都不会破坏事务的完整性，从而在所有动态配置场景下严格保证行为一致性.在基于CORBA的模型原型实现中对该算法的性能测试验证了其可行性.     

多用户远程协同工作系统一致性与并发控制模型

一致性与并发控制是计算机支持多用户远程协同系统要解决的关键问题之一。本文给出一种支持该系统工作一致性与并发控制模型，以适应协同工作环境下对实时性的要求。     

产业链协同商务平台构件组装与在线演化技术

根据产业链协同商务平台运行时动态演化的需求，将成组技术引入平台构件管理中，提出了基于成组分类的平台构件模型和基于XML的构件簇管理方案.在此基础上建立了基于连接适配器的业务功能组装以及基于平台集成框架的业务功能注册与动态演化机制，通过为每个业务功能建立相对独立运行的管理器实现运行时业务功能的动态替换，满足平台运行时动态演化的需求，并对.NET环境下，构件组装连接适配器及业务功能管理器的实现技术进行了研究.     

协同救援一致性推理模型及求解算法

针对传统的一致性推理模型多测重于单纯的定量、定性时态推理,难以适用于协同救援方案求取问题,基于Allen区间代数理论,添加逻辑约束,提出了一种协同救授一致性推理模型,该模型型同时包含救援行为时态约束和逻辑约束两类信息。基于该模型的等价类子网化简设计协同方案求解算法,并以海上协同教授一致性方案推理为例演示建模与求解过程。结果表明,该模型符合协同一致性方案求解对时态、逻辑两方面推理的需求,可应用于协同救援规划验证。     

大数据环境下供应链企业协同创新机制研究

大数据环境下,"知识"范畴扩大,为使供应链协同创新在大数据环境下实现最优,需要建立一种科学合理的协同创新机制体系。文章通过分析供应链企业协同创新过程的大数据环境,提出协同创新过程的大数据流构成与关系特征,即大数据环境下供应链协同创新机制体系所包含的五大机制及其相互间的关系,继而构建数学模型定量地验证各个机制对供应链整体协同效益的影响;进一步提出了大数据环境下如何建立协同创新平台以更好地发挥供应链协同创新机制体系的作用。     

多协议下智能家居协议的分类方法

针对市场上智能家居协议标准繁多,加大了流量识别与分类难度这一问题,提出了一种多协议下智能家居协议的分类方法.该方法利用数理统计计算出K-Means聚类算法的K值和聚类初始中心,基于向量空间模型(vec-tor space model,VSM)概念,使用数据对象间的相似度去代替K-Means聚类算法中数据对象间的距离,使用信息熵作为聚类好坏的评估.选用真实环境下捕获的实验数据进行测试验证.结果表明,该方法对多协议下智能家居协议的分类精度达到90％以上.     

支持分布式工作流数据交互一致性的中间件

为解决支持分布式工作流数据交互语义一致性的数据复制方法具有较高空间复杂度的问题,在统一信息资源平台的基础上,提出保证运行环境中工作流应用数据交互一致性的中间件,给出基于通用语言XML的从业务模型到中间件和从中间件到工作流模型的数据一致性映射方法.该系统被应用于实际,以验证有效性.实验结果表明: 该方法将数据交互的复杂度由O(n2)降低为O(n).利于工作流数据挖掘与分析,方便数据的管理与维护.     

考虑电子节气门开度的车辆队列纵向协同控制

针对车辆动力学模型,在车用无线通信技术（vehicle to everything,V2X）条件下设计了一种新的车辆队列纵向协同控制器,进行了理论分析与实验验证。基于三阶车辆模型,考虑前车跟随车通信拓扑,设计了一种考虑电子节气门开度的车辆队列纵向协同控制器,分析了系统稳定性和串稳定性以及电子节气门开度对稳定性的影响;针对网联车辆队列控制,开发了PreScan和Matlab/Simulink的联合仿真平台和车联网设备的实验平台,开展了仿真和实验验证。研究结果表明,所提控制器能够实现车辆队列控制的目标,但在现场实验中,车辆在加速度、速度和车辆间距的变化上不如仿真实验中光滑且严格收敛,在实验安全及误差范围内仍呈现出一致性的趋势,验证了所提控制器的有效性。     

基于纤维梁柱单元的钢筋混凝土柱往复荷载作用下破坏过程分析

为高效准确地模拟往复荷载作用下钢筋混凝土构件的破坏过程,基于结构精细化模拟分析平台(RSAPS)中的纤维梁柱单元模型,建立一种考虑损伤破坏的钢筋本构模型,并构建了材料破坏准则,从而建立了钢筋混凝土构件受力破坏的分析方法。应用RSAPS平台对钢筋混凝土柱往复加载试验进行模拟,结果表明考虑钢筋损伤破坏的模型可以很好地模拟构件的刚度和承载力退化过程,模拟结果与试验结果更为吻合;进一步对往复荷载作用下钢筋混凝土柱的破坏过程进行模拟分析,结果表明考虑钢筋损伤破坏的模型能够准确地模拟由于局部材料失效破坏导致的钢筋混凝土构件承载力退化、耗能能力降低等非线性行为,可以较好地描述往复荷载作用下钢筋混凝土构件的破坏过程,可用于地震作用下建筑和桥梁结构倒塌过程分析。     

适应协同设计的产品模型的表示方法

为适应协同设计环境对产品造型技术的要求,采用基于标识的实体模型和特征模型相结合的方法来进行产品模型的表示.提出了基于特征的拓扑元素的标识方法并建立了相应的标识机制,把拓扑元素的标识与特征联系起来.标识及标识机制的引入使产品模型中的特征语义元素和实体几何拓扑元素既相互独立又彼此联系,有效地维护了协同设计过程中模型修改前后拓扑结构的对应关系,从而实现了在保证协同设计过程中协同模型一致性的前提下,对产品模型的特征编辑.     

循环荷载作用下铝合金耗能支撑本构关系

基于国产铝合金材料研制防屈曲耗能支撑构件,并进行了拟静力试验.试验结果表明构件滞回曲线稳定饱满,具有较好的耗能能力,相对于钢材而言铝合金材料的应变强化现象十分明显.基于Chaboche循环塑性本构模型,通过试验数据标定了相关材料参数并应用于构件有限元分析,分析结果与试验结果吻合较好.利用Abaqus软件平台二次开发了能够应用于梁单元进行减震结构弹塑性分析的单轴双面模型,通过与Chaboche模型的对比分析,验证了单轴双面模型的准确性.研究结果可为准确分析铝合金构件在地震作用下的受力性能提供相应依据.     

专用短程通信协议一致性测试平台设计与分析

为实现对专用短程通信协议进行自动化协议一致性测试,设计实现了一种以TTCN-3语言为工具的专用短程通信协议一致性测试平台,并使用有限状态机的模型对部分协议测试套进行了设计开发和测试验证.通过实际的测试和对结果的分析,证明该测试平台可以正确的实现协议一致性测试,验证了专用短程通信协议一致性测试的可行性.该平台为后续专用短程通信协议一致性测试系统的建立和完善提供了必要的技术基础和保证.     

基于三层Client／Server模式的构件服务模型设计

针对基于构件的软件开发如何与面向对象方法有效结合,设计并实现高度灵活、可复用的构件式应用程序,从而实现软件分析、设计与实现的连续性与一致性问题,提出了基于三层Client/Server模式的构件服务模型,研究了从OOA＆OOD模型建立应用程序的构件服务模型的方法,同时给出了形式化的构件服务模型描述,这不仅为构件服务模型的形式化验证方法提供了新的研究思路,也为基于构件的软件开发提供了基础。文中的方法已成功用于实际的项目开发中,且取得了较好效果。     

基于LSC模型检验的性质抽取

采用LSC(live sequence chart)描述基于场景的需求规格说明,根据设计模型必须满足需求规格说明的一致性原理,针对安全性、可达性、活性等性质,设计3种用于自动生成和抽取性质的覆盖准则,并根据准则从LSC需求规格说明中抽取与设计模型相关的性质.抽取的结果可用于自动化验证,为验证需求模型与设计模型的一致性提供保障.     

一种有效的分布式构件交互性质验证方法

目的在基于构件的分布式系统开发过程中,更大程度地消除对构件交互风格和交互协议描述与验证产生的所谓的状态爆炸现象。方法提出一种有效的基于π-演算的构件交互协议验证方法——状态约减验证算法,在模型组合之前,将与性质定义无关的状态剥离,然后再进行模型组合。结果用标记转移系统证明了该验证算法的有效性,采用π-演算描述的同步请求/响应交互模型作为例证,证明上述算法比传统算法更有效。结论该算法缩小了组合模型的状态空间,提高了验证效率。     

双金属复合管混凝土轴拉 性能有限元分析

选择合理的材料本构模型、单元类型、网格划分技术和边界条件,建立双金属复合管混凝土构件在轴拉荷载作用下的有限元分析模型,并利用双金属复合管混凝土(CFBT)轴压试验和钢管混凝土(CFST)轴拉试验的结果对模型的可靠性进行验证.基于验证后的有限元模型,对CFBT轴拉构件的受力机理和破坏形态进行研究,分析不同参数对构件轴拉承载力的影响规律.研究结果表明:核心混凝土可有效限制双金属复合管在拉伸过程中的内缩变形,使钢管处于复合受力状态;CFBT构件的轴拉承载力比双金属复合管提高15%左右;随着不锈钢厚度的增大,构件的轴拉承载力逐渐提高;核心混凝土的强度对构件承载力的影响不明显.     

关于应用程序构件服务模型的设计及实现

基于构件的软件开发方法如何与面向对象方法有效地结合,从而实现软件分析、设计与实现的连续性与一致性是值得研究的问题.本文结合三层客户/服务器模型,探讨了在基于构件的应用程序开发中,从OOA&OOD模型建立应用程序的构件服务模型的方法,为基于构件的软件开发提供了基础.本文中所提出的开发方法已经用于实践的项目开发中,且取得了较好的效果.同时,文中也针对构件服务模型的形式化验证方法提出了研究思路.