摘要：移动主体模型可以实现协同侦测网络攻击和区域预警的功能;它利用元组空间(TUPLE SPACE)构建移动主体服务集群(RMAS CMAS)网络结构及侦测ARP攻击的主体.为了证明该模型逻辑的有效性,验证策略设计了可以分析ARP攻击数据包从初始组态到终结组态的动态空间树;利用空间树嵌套演算推理协同侦测系统的组态迁移过程,分析模块的动态移动重组以及消息的并行传递机制.对模型验证策略的研究可以消除在模型设计阶段出现的冗余组态,提高移动系统的设计水平.

摘要：复合材料加筋壁板在结构轻量化设计中,由于材料组分、几何尺寸具有不确定性,导致了壁板结构在服役条件下承载特性的不确定性。针对上述问题,提出了一种考虑参数不确定性的复合材料加筋壁板后屈曲模型验证方法。首先基于正交试验设计方法进行了不确定性参数的显著性分析,然后采用Kriging模型构建了能够表征后屈曲特性的代理模型,利用蒙特卡洛随机模拟获得加筋壁板后屈曲载荷概率分布,最后通过壁板结构在典型承载条件下的力学实验数据验证了分析模型的准确性。该分析方法对于壁板件在实际工程中的应用具有一定指导意义。

摘要：针对复杂仿真模型验证中海量数据的相似性分析问题,提出了一种基于集成学习的仿真模型验证方法。将仿真时间序列与参考时间序列的相似性分析问题转换为相似性等级分类问题,进而利用神经网络、支持向量机、集成学习等机器学习方法,设计了一种集成分类系统对时间序列的相似性等级进行分类。为了增强基分类器的多样性,提出了基于惩罚因子的多样性筛选准则;通过挑选具有最大差异性的基分类器,构造高性能集成分类系统。最后利用相关数据,对所提出的方法进行应用研究,验证了方法的有效性。

摘要：磁流体动力学(magneto-hydro-dynamic,简称MHD)传感器是测量航天器平台宽频微角颤振的关键器件之一。鉴于MHD传感器的误差与噪声特性会影响星载惯性导航系统的精度与分辨率,对所设计的MHD传感器进行误差分析与试验验证。采用样机数据分析与组件物理建模相结合的方法,分析与验证MHD传感器灵敏度特性与误差模型。结果表明:传感器的误差主要受到重力方向与温度条件的影响,并且该项误差对无温控MHD传感器的误差起决定作用;当温度变化较小时,变压器磁芯磁导率的工艺误差占总误差的一半;差分放大器的噪声对传感器噪声具有显著影响。

摘要：气泡泵结构单一、运行稳定差、效率低，为解决此问题该文提出渐缩式变截面直立管气泡泵和改进发生器出口，建立气泡泵理论模型，对其在绝热弹状流下的提升特性进行理论分析，对该理论结果进行实验验证并与直径相当的直管气泡泵提升性能进行对比。结果表明：沉浸比小于0．30和气体流量在0．05—0．15g／s时，理论值与实验值曲线吻合性较好，而超出此范围由于提升管内流型改变两曲线逐渐偏离；在热源功率250～350W时变截面管气泡泵提升效率高达12．8％；低驱动功率为气泡泵充分利用低品位热源提供可能。分析表明变截面直立管应用和发生器出口改进有利于提高气泡泵工作性能，为利用太阳能，工业余热废热驱动的气泡泵优化设计、性能改善提供理论依据。

摘要：主控室盘台具有功能性要求,鉴定结果的可靠性十分重要,必须对分析使用的模型加以验证以确保模型尽可能地还原试验件的真实情况,特别是动态特性的情况。本文通过描述SRO盘台试验件的模型验证流程,简要阐述了在AP1000主控室盘台抗震鉴定中有限元模型验证所使用的方法。验证过程中根据试验的结果对多项模型参数进行了调整。特别考虑到1E级电子元件的鉴定,需要调整时程计算的参数使结果逼近试验结果。通过调整得到的模型可以在质量,整体模态,重要电子元件附近的局部模态以及地震载荷下电子元件附近的反应谱等各个方面和试验结果相匹配。经过验证的模型能够准确地表现出试验件的动态特性,模型能够用于之后的鉴定分析。

摘要：一、前言对悬臂式卸荷板(图1)能否减少墙背土压力的争论由来已久。现有许多靠卸荷板节省断面的方块码头,并在护岸和桥台结构上得到推广,被视为重力式挡土结构的重要改进措施;但也有人认为卸荷的根据不足。从分析卸荷板下土隔离体平衡关系出发,似乎不能得出土压力减少的结论,怀疑卸荷板码头没垮的原因是其他安全储备因素在起作用,或是危险尚未暴露而已。前不久,世界银行贷款工程设计审查中发生的准不准接卸荷板有效观点进行设计的争论。

摘要：传统控制系统方案设计得到控制对象的数学模型都是经过一定程度的简化或等效,不能够真正反映出准确的实物模型,导致设计的控制系统存在一定的误差,而在高精度的设计要求场合这种模型简化带来的误差更是不能忽略的。在虚拟样机环境中建立机械臂模型来替换各种简化得来的数学模型,不仅可以减小简化或等效过程中带来的误差,同时也可以根据实物模型的真实情况来完成控制系统方案的设计和优化。控制系统采用PID加重力补偿的联合控制方案可以完成机械臂模型的轨迹跟踪控制,能够更加直观的体现ADAMS和MATLAB这两种软件的优点,省去了在MATLAB中建立系统模型和在ADAMS中使用控制函数的繁琐步骤,使处理复杂问题简单化。

摘要：随着嵌入式系统在各个领域的广泛应用,嵌入式系统变得越来越复杂,研究一种支持嵌入式系统从分析、设计、验证到编码这一整个开发过程的模型系统及建模方法变得越来越重要。UML(UnifiedModelingLanguage,统一建模语言)作为面向对象的分析与设计技术的代表,已经获得了广泛的承认,并在多个领域中有成功的应用。然而,UML是一种符号化语言系统,其语义采用自然语言描述,没有完全形式化,无法精确和严格地描述模型的行为从而实现模型的验证。为了解决这个问题,文章提出了一种用于嵌入式系统UML模型验证的方法,其核心是可执行(Executable)UML,它是UML的增强性子集,采用与UML相同的符号表示法,并集成了状态图(StateChart)所用的形式化语义定义。嵌入式系统的UML模型经过语义分析能够很方便地生成可执行UML模型,并实现系统模型的验证。

摘要：在传统的基于时序逻辑的模型检查框架下验证Statechart模型面临三大挑战:全状态空间搜索、多次重复搜索和复杂时序逻辑公式难写。基于上述问题和实践工作,提出一种新的Statechart模型验证方法。该方法的中心是一种强化了的属性描述语言———属性状态图,并利用属性状态图中存在的先后关系和并发关系,把各个属性状态图有机地结合成一个树结构———属性树。属性树涵盖了目标系统要求验证的属性空间,因此可自上而下的验证整棵属性树。在验证过程中系统Statechart模型对应状态空间是逐步展开的,每验证部分属性就展开相应的部分状态空间并对其进行验证,验证过程是基于属性树转换并以step为单位,验证step的初始status和结束status是否满足对应属性树节点公式对其的属性约束,这样既能够迅速找出错误又能屏蔽step内部系统Statechart模型的状态变化,使得验证过程更简单快捷。为了说明属性状态图和基于其的验证算法是实用和易用的,通过一个例子说明了从模型设计到具体验证整个过程。