【摘 要】
：
AADL是一种基于组件的半形式化建模语言,采用结构化方法对大型复杂软件系统的软硬件进行统一建模,有效描述系统的功能行为、非功能属性以及运行时的体系结构动态演化,但其许
【机 构】
：
韶关学院数学与信息科学学院,华南理工大学计算机科学与工程学院
【基金项目】
：
国家自然科学基金资助项目（61103038）, 广东省教育部产学研结合项目（2010B050800038）, 韶关学院科研项目（201020704）
论文部分内容阅读
AADL是一种基于组件的半形式化建模语言,采用结构化方法对大型复杂软件系统的软硬件进行统一建模,有效描述系统的功能行为、非功能属性以及运行时的体系结构动态演化,但其许多问题需要进一步研究与完善。本文首先分析了AADL形式语义研究现状,然后定义了AADL进程子集的形式语言,建立了AADL进程子集通信模型,通过对事件的形式化定义和分析体现了事件在系统状态转变过程中的重要作用,对AADL进程子集行为语义进行了研究。与相关研究成果的对比说明了本文的优势。本文为AADL语言及其形式语义的发展提供了一种有益的参考,进
其他文献
目的 分析乙型肝炎(乙肝)表面抗体阴性的儿童加强免疫后抗体滴度的影响因素。方法 选取2017年1—12月期间海南省妇幼保健院乙肝疫苗免疫后乙肝表面抗体阴性的84名儿童作为研
为了提高渗透测试团队的工作效率和能力，本文以构件渗透测试知识的本体为基础，建立了渗透测试用例复用模型，在知识的形式化描述、组织和查询方面给出了解决方法，形成了一套切实可
针对激光成像数据的多视拼接问题,采用先粗后细的拼接策略,提出了一种新的粗拼接算法。该算法首先估计出待拼接点云数据存在的旋转偏移角,再通过相应的旋转来消除这种偏移,从而实现粗拼接。在此基础上,采用精确拼接ICP算法作最终拼接。实验表明,本文提出的粗拼接算法能够有效地实现不同视点下激光成像数据的粗拼接,该方法简单、高效,且适用于不同分辨率的数据拼接。
目的为提高药物制剂技术课程的教学水平提供参考。方法选取学校2011级和2012级药学系学生作为对照班和试验班进行实践研究,采用以问题为导向的教学方法（PBL）,在药物制剂技术课
信息熵保证原始空间特征最大确定性的概率分布,且能够处理缺失值、噪声等问题;流形学习方法局部线性嵌入能够在降维后的子空间中较完整地表现原空间流形结构中特征间的关系.
20世纪初卡内基教学促进基金会对美国高等教育发展的影响主要体现在相互联系的两个方面：一是通过参与设定院校标准推进提高高校办学水准；二是开展专业教育调查研究，志在全美的专
市政工程施工中极容易对周围环境带来不良影响,伴随着当前 市政工程施工中环保意识的提升,如何切实做好环境保护工作成为研 究热点和重点。本文即重点围绕着市政工程施工中如
为了便于飞行事后分析,根据民用客机机载数据,本文采用了轨迹积分法重现飞行轨迹并用经纬度转换法进行校正,首次利用几何高度表示飞行轨迹中的高度。为实现在三维场景中进行飞行动态回放研究,设计了三维飞行回放程序,重点设计了飞行轨迹以及姿态的变化在三维场景中的展示。通过程序演示表明:该方法能正确流畅地对飞行进行事后回放演练,有利于观察分析,可用于飞行事后调查与研究。
党的十九届五中全会是全党政治生活中的一件大事,当前,各级党组织和广大党员干部自觉将学习贯彻全会精神作为一项重要政治任务,以集体学习、个人自学,看宣讲视频、听辅导报告
以示例证明英语单词词义的丰富性。例如 :Ａ、Ｔｈｅｌｉｔｔｌｅｃｈｉｌｄｃａｎｃａｎａｃａｎｏｆｆｉｓｈ．（这个小孩会用开罐头的刀开鱼罐头。）Ｂ、Ｄｏｎ’ｔｔｒｏｕｂｌｅｙｏｕｒｓｅｌｆｔｉｌｌｔｒｏｕｂｌｅｔｒｏｕｂｌｅｓ ｙｏｕ．（别自寻烦恼。）让枯燥的单词充满活力 ,以收到扩大词意的效果。例如 :Ａ、Ｔｈｅｃｏｍｐａｎｙｉｓｉｎｔｈｅｒｅｄｎｏｗ．(亏损、负债 )Ｂ、Ｔｏｍｉｓａｙｅｌｌｏｗｄｏｇ．(卑