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

来源 :电子科技大学学报 | 被引量 : 0次 | 上传用户:qwezxcasdqwezxc
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了在复杂系统开发过程的不同阶段,以及在不同建模工具和设计部门之间更加准确地描述系统的顶层模型,提出了一种新的面向复杂系统开放式顶层建模方法。基于元对象机制的元建模框架,对SysML进行基本衍型扩展和simulink(衍型扩展;在顶层建模中,把复杂系统划分为静态结构模型、动态行为模型以及两种模型间的交互关系;并对各抽象层次模型进行形式化定义,实现多种异构模型的有效集成。最后,在某无人机飞控系统顶层建模实例中,对基于顶层模型进行了飞控系统的统一建模描述,实现了复杂系统中多种异构模型的高层次抽象,验证了该方法
其他文献
一座城市,有着五彩缤纷的梦想,也有着无数为梦想不断奋斗的人们。这些城市奋斗者,日月轮转地工作,全力以赴地奔波,在偌大的城市里,他们是各行各业的新鲜力量,是城市的一抹晨
为了评估周期性疲劳载荷作用下的结构可靠度,设结构初始强度为服从任意分布的随机变量,推导出周期性疲劳载荷作用下的结构剩余强度袁达式.利用通用生成函数法对结构剩余强度和疲
针对一般混沌系统模糊脉冲控制问题,提出了一种基于时变Lyapunov函数的分析方法。与时不变的Lyapunov函数方法相比,该方法能充分利用脉冲区间的信息,从而推导出具有较少保守性的
从我国行政区界的现状出发,结合行政勘界工作的目的,对目前开展这项工作时应注意的几个技术性问题作了探讨。
针对低成本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)信号,研究了该信号的模糊函数、正交性以及距离分辨等方面的性能;讨论了降低互相关峰值和减小多普勒失配的信号参数设
蒙药额尔敦-乌日勒是由多种名贵药材组成,能防治多种疾病,尤其对脑瘫、脑溢血、半身不遂、认知能力减退等治疗效果显著,具有悠久临床使用史的代表性珍贵蒙药方剂。文章通过查
在随机密钥预配置模型的基础上提出了一种基于密钥种子的密钥管理方案。首先节点预存储密钥种子子集,根据密钥种子与生成因子共同生成密钥的思想给出不同类型密钥的建立及更新