数据流模型

作品数：47被引量：91H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：刘鹏汤小春李战怀周兵曹健更多>>
相关机构：浙江大学东南大学华中科技大学上海交通大学更多>>
相关期刊：《池州学院学报》《中原工学院学报》《微处理机》《电脑编程技巧与维护》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家科技重大专项陕西省科技攻关计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Uppaal的实时系统AADL数据流模型的转换与验证被引量：1
《计算机科学》2016年第1期211-217,共7页沈宁敏 李静 白海洋 庄毅 
中央高校基本科研业务费专项资金(NS2015092)资助
体系结构分析设计语言AADL是一种可支持软硬件一体化建模及同一模型多元分析的形式化与图形化建模语言。采用时间自动机形式化模型检验方法对AADL模型中的数据流进行转换和验证。考虑到单一数据流与混合数据流的差异性,分别设计了数据...
关键词：AADL 时间自动机模型 数据流时延 UPPAAL 软件验证 
传感器网络中协作任务的实时调度
《计算机科学》2007年第10期65-69,共5页胡侃 刘云生 
国家自然科学基金项目(60073045);博士点基金及国防预研基金(00J15.3.3.JW0529)资助
在传感器网络实时监测应用中,大量传感器散布在监测区域中感知监测域的各种环境或监测对象的信息,一组功能有限的传感器往往相互协作地完成一个大的实时感知任务,协作性是传感器网络的重要特性,它要求实时任务之间的资源共享。单纯的实...
关键词：实时系统 协作执行 流数据 数据流模型 传感器网络 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部