语境驱动的仿真模型测试方法论

来源 :系统仿真学报 | 被引量 : 4次 | 上传用户:renbaoshouxian
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
组合模型的有效性验证是利用模型组合实现仿真系统快速开发的迫切需求,也是组合仿真理论和方法研究的一个重要问题。在分析组合模型抽象层次的基础上讨论了不同层次组合有效性的研究内容,并针对组合模型的行为从测试的角度提出了语境驱动的仿真模型测试方法论,重点讨论了方法论中语境的概念、语境驱动的测试框架生成以及测试框架的嵌入和运行时刻检验等内容,目的是判断仿真模型及其组合行为是否忠实反映了设计信息,实现了行为无错的演化。
其他文献
分析了已应用在航天器上采用单端反激拓扑的DC/DC变换器基本工作原理,在此基础上,根据小信号平均建模的基本方法,对该DC/DC变换器进行小信号建模分析,得到了电压控制模式和电流控制模式下的传递函数。基于这种平均理论,通过Saber建立的模型,从电压、峰值电流、平均电流控制模式方面进行了阐述。并根据峰值电流控制模式方式建立了具体的仿真电路,进行了直流分析、瞬态分析以及交流小信号分析。实际电路的测试结
期刊
脑电图(electroencephalogram,EEG)中随机共振现象的研究对于分析大脑系统的行为具有重要理论意义和应用价值。为了模拟大脑系统中检测信号的机制,提出使用信噪比、互相关系数、互信息率对比评价方法,对EEG动力学模型中随机共振现象进行了研究。实验结果表明,EEG动力学模型不但存在着周期随机共振现象,同时也存在着非周期随机共振现象。此研究为大脑系统中存在着随机共振现象的观点提供了一种新
期刊
在声纳浮标多普勒最接近点方法基础上,提出一种新算法。与原算法相比:(1)新算法推导出一个无误差的求解公式,而原算法是一个近似公式;(2)新算法在使用上较原方法更为方便,公式需要的输入在实际中更容易得到。比较了新算法和原算法的关系,原算法主要使用测量两个关于最接近点对称的多普勒频移及最接近点的频率变化导数;新方法在使用多普勒频移的同时还利用了测量点的时间信息。最后给出了仿真结果,表明新算法可以精确求
期刊
针对中点钳位型三电平逆变系统SHEPWM开关角度的求解问题,提出了基于混沌蚁群算法的三电平中点钳位型逆变系统的SHEPWM优化方法。蚁群算法在求解SHEPWM非线性超越方程组时不需要求解方程特定的初值,而变尺度混沌算子融合到蚁群算法之中,可以有效防止算法陷入局部最优解,提高计算精度。仿真和实验结果证明了基于混沌蚁群算法的三电平NPC逆变系统消谐模型的有效性。
期刊
生物组织电磁能量吸收的研究多集中在外置辐射源的远场。利用比吸收率和电磁场之间的关系可以研究生物组织对内置源的电磁波能量的吸收情况。建立了内置电磁波能量吸收的数学模型,并根据模型进行了仿真试验。仿真试验的结果表明:生物组织对电磁能量的吸收随电磁波频率和组织材料电导率的增大而增大,当频率大于1GHz时,能量吸收急剧增大,而且能量吸收主要发生在辐射源的近场区域内。能量吸收也与组织厚度存在正比关系,但这种
期刊
结合双馈感应电机(DFIG)的特点和变速恒频交流励磁发电技术、矩阵变换器及矢量控制技术的优点,导出了双馈电机矢量控制下的数学模型,并建立了矩阵变换器励磁的双馈感应变速恒频风力发电系统定子磁链定向下的矢量控制系统框图。实现了风能最大功率点的跟踪,有功无功功率的独立调节。用c语言和Matlab仿真,其结果体现了系统的优良特性,证明了该方案的正确性和有效性。
期刊
基于偏微分方程的谱分解理论,针对VLSI中的互连线系统,提出了一种基于小波的自适应模型约减算法,选取逼近空间的一组基函数,通过积分合同变换,从而得到一个能够逼近原无穷维系统的有限低阶无源模型。该算法在不需要对互连线进行离散处理的情况下,能直接对非均匀互连线系统进行约减;利用了小波的多尺度和紧支撑特性,并采用自适应机制来平衡逼近精度和计算效率的矛盾。理论分析和数值仿真说明了该方法的有效性。
期刊
为了解决由于模糊加权指数选取不当而导致系统性能下降的问题,将熵函数引入到核映射的特征空间中,提出了一种基于模糊核熵的短语音说话人识别新方法。通过定义特征空间中的模糊核熵目标函数,设计了模糊核熵矢量量化器,在高维特征空间中对说话人的语音进行训练和识别匹配。引入熵的算法具有更加清晰简洁的数学形式和物理含义。为了进一步提高系统性能,利用模拟退火法对熵函数中的模糊熵度进行全局优化,提出了一种基于模拟退火的
期刊
提出近场光存储光学头飞行问题的综合仿真方案,采用控制体积法求解表面形貌复杂的空气轴承气浮力分布,采用准牛顿迭代法求解光学头稳定飞行姿态;并以此为基础,分析空气轴承表面形貌参数对光学头稳定飞行姿态的影响规律,对其进行优化设计;所设计的光学头飞高为73.87nm,且飞行姿态稳定,满足近场光存储信号读写的要求。
期刊
军事仿真系统的置信度评估,在不同的应用范围中侧重点不同。对于大规模军事仿真,仿真的功能和行为的完整性显得更加重要。提出基于作战行动(行为)及其影响的定性推理方法,来验证概念模型功能和行为的完整性,能够全面模拟实际行为,仿真即可达到良好的置信度条件。最后对由于联邦成员的变化对完整性的影响及其修改进行讨论。
期刊