元对象机制驱动的复杂系统开放式顶层建模

来源 :电子科技大学学报 | 被引量 : 0次 | 上传用户:qwezxcasdqwezxc
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了在复杂系统开发过程的不同阶段,以及在不同建模工具和设计部门之间更加准确地描述系统的顶层模型,提出了一种新的面向复杂系统开放式顶层建模方法。基于元对象机制的元建模框架,对SysML进行基本衍型扩展和simulink(衍型扩展;在顶层建模中,把复杂系统划分为静态结构模型、动态行为模型以及两种模型间的交互关系;并对各抽象层次模型进行形式化定义,实现多种异构模型的有效集成。最后,在某无人机飞控系统顶层建模实例中,对基于顶层模型进行了飞控系统的统一建模描述,实现了复杂系统中多种异构模型的高层次抽象,验证了该方法
其他文献
针对低成本RFID系统常用的基于Hash运算认证协议的安全性进行研究,分析了该类协议存在的安全缺陷和不足,给出设计低成本RFID认证协议满足安全需求的思路,提出了一种轻量级的RFID双向认证协议,运用BAN逻辑的形式化分析方法,对该协议的安全性进行证明。结果显示,该认证协议能满足RFID应用中面临的机密性、完整性和可追踪性的安全需求,可抵制跟踪、标签假冒、重放等攻击,弥补已有基于Hash运算的认证
【摘 要】 目的:建立HPLC法测定刺楸皮中常春藤皂苷元的含量。方法:色谱柱Thermo C18( 4.6mm×250mm,5μm),流动相为乙腈-0.1%磷酸(60∶40),流速1.0mL/min,柱温为30℃,检测波长为210nm,进样量10μL。结果:常春藤皂苷元的含量在0.1632~0400μg范围内线性关系良好,平均回收率99.17%,RSD为1.18。结论:本方法简便、灵敏、准确,可作
针对基于常规距离向DBF接收技术的回波分离方法存在数据量大的缺点和基于SCORE技术的分离方法受地形影响导致回波接收增益损失严重的问题,提出了一种结合距离向子阵SCORE技术
结合LFM信号和cDMA技术,提出了一种正交码分线性调频(OCD-LFM)信号,研究了该信号的模糊函数、正交性以及距离分辨等方面的性能;讨论了降低互相关峰值和减小多普勒失配的信号参数设