网络实时系统的一种活动性描述语言

来源 :计算机应用研究 | 被引量 : 2次 | 上传用户：olivehht

【摘要】

：

介绍了ADL,它是一种基于网络实时系统的活动性描述语言,一种描述并发处理中时态和功能行为的新的形式规格说明符号。ADL专用于计算机网络,是DOR IS的一种形式语言扩充。它组合了状态机活动(ASM)的图形符号和基于模型的活动功能行为(AFB)符号;提供了关于ASM的抽象语法和静态、动态语义。最后通过一个小实例说明该语言是如何解释指定网络实时系统的。

【作者】

：

彭伟洁张立臣

【机构】

：

广东工业大学计算机学院

【出处】

：

计算机应用研究

【发表日期】

：

2007年04期

【关键词】

：

结构描述语言形式规格说明实时处理 architecture description language （ADL） formal specificatio

【基金项目】

：

国家自然科学基金资助项目（60474072,60174050）,广东省自然科学基金资助项目（04009465,010059）,广东省高校自然科学基金资助项目（Z03024）

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

液化天然气（LNG）在浙江省城市燃气中的应用研究

就液化天然气在浙江省城市燃气中的应用进行研究,从LNG资源、LNG的价格优势、LNG在培育城市燃气市场中的作用及LNG在城市燃气中的应用技术等方面分析其应用的前景和可行性.

期刊

液化天然气城市燃气应用技术浙江省应用LNG价格优势燃气市场

基于扩频原理的秘密水印方案

借用扩频技术的基本思想,提出了一种基于频域的秘密水印方案。利用椭圆曲线密码体制密钥短、安全强度高等特点,设计了一种基于椭圆曲线的安全性能好、抗攻击能力强,且适合有限资源条件下的秘密信息传输的方案。同时,对椭圆曲线秘密信息频域隐藏的嵌入算法和提取算法等进行了详细而周密的设计,最后还对方案的特点进行了分析。

期刊

信息安全秘密水印扩频技术椭圆曲线information security secret watermark extending frequency

漏洞扫描与入侵检测联动系统的研究

提出漏洞扫描与入侵检测系统联动工作模型。通过定期对系统进行漏洞扫描,及时修补系统安全漏洞,同时IDS根据漏洞扫描结果,对模式库进行动态更新,删除和得到与修补的漏洞有关的攻击模式,缩减模式库的规模,从而可以有效地提高IDS检测效率。根据该模型,系统采用开放接口方式实现双方联动,使用基于插件的开放式模块化方法编程,以提高系统的可扩展性。

期刊

漏洞扫描入侵检测联动开放接口vulnerability scanner intrusion detection interaction open

基于网络处理器的零拷贝技术

通过分析网络处理器系统的收发机制,提出了一种基于网络处理器的零拷贝技术。该技术不仅实现了在网络处理器系统下的零拷贝技术,而且也体现出网络处理器中不同数据处理层的协作框架。

期刊

网络处理器零拷贝Network Processor Zero Copy

实验技能自动测评系统框架研究与设计

介绍了框架的概念、特征、应用案例及其在实验技能自动测评系统中的应用思路,并给出了实验技能自动测评系统框架设计与实现的技术路线。

期刊

计算机辅助测评框架实验技能computer assisted assessment（CAA） framework laboratory-skill

矢量图数字水印技术

介绍了矢量图数字水印的基本要求,并对二维矢量图数字水印技术进行了分析、比较。二维矢量图数字水印主要采用基于特征集合的方式进行水印信号的嵌入,其关键是对矢量图进行特征分析,并找出好的模型表达方式。