论文部分内容阅读
为了实现AADL（体系结构分析与设计语言）行为模型验证,基于行为附件的文法结构及行为描述方式,提出了AADL行为模型与BIP行为模型之间的状态转换规则。
基于BIP的AADL行为模型验证方法
【摘 要】
：
为了实现AADL（体系结构分析与设计语言）行为模型验证,基于行为附件的文法结构及行为描述方式,提出了AADL行为模型与BIP行为模型之间的状态转换规则。
【机 构】
：
长江水利委员会水文局长江上游水文水资源勘测局,重庆师范大学涉外商贸学院
【出 处】
：
电子技术与软件工程
【发表日期】
：
2016年1期
其他文献
目的探讨水平式乳腺旋切技术切除肿物上缘与皮肤距离≤1.0 cm浅表良性乳腺肿瘤的可行性。方法2018年7月~2019年6月,采用水平式旋切(旋切刀槽在肿物的水平正侧方,超声探头与旋
1997年7月4日,在全国金卡工程首批12个试点城市中,上海市金卡工程首先通过国家验收。1997年6月,上海金卡网络交换中心与市工、农、中、建、交行,浦东发展银行、上海城市合作
江苏宝应县柳堡镇迎湖村养殖户利用池塘10亩,从事常规鱼养殖,同时池塘坡埂进行种草,2019年底养殖产量达21 275千克,平均单产2 127.5千克,亩平效益9 107元。现介绍如下。一、
结合广西区情开展高职＂毛泽东思想和中国特色社会主义理论体系概论＂课教学是服务建设富裕文明和谐新广西的需要,是进一步增强课程教学针对性和实效性的需要,广西各族人民在新民
通过研究，对矿山生产特点以及矿山岩石力学特征进行了系统性的分析，核心目的是通过对矿山生产工程项目的设计分析，保证资源运用的合理性，并为矿山岩石力学结构的合理优化提供有力
计算机技术已经成为了信息飞速发展过程中必不可少的专业技术之一,多媒体教学也是高校教学的重要教学模式之一。所以,这就对高校的计算机机房多媒体设备日常的管理与维护提出
近10年来智能电表得到了广泛的普及推广,晶体谐振器作为智能电表中的一个关键器件,在计量和时钟等线路中发挥着不可或缺的作用,其应用和品质日益受到国家电网以及电表生产厂家的重视。由于压电器件是一个较为冷门的学科,整机设计人员对此了解较少。笔者根据20多年和电表生产企业配套的经验,针对智能电表用的晶体谐振器的选用及注意事项进行一些总结和归纳,以作为相关人员的参考。
一、IC卡(Integrated Circuit Card)简介 随着电子技术日新月异的迅猛发展,许多国家和地区日益广泛地采用各种电子货币来取代传统的现金支付手段。电子货币的应用程度和发展