单率异步数据流语言的RTL文法设计

来源 :工程设计 | 被引量 : 0次 | 上传用户:atian_net
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
数据流语言是面向虚拟仪器的可视化编程环境的核心.为了使这些基于数据流的编程环境能够应用到实时系统设计中,必须引入一种严格定义的实时文法.RTL文法适合描述数据流语言,但是异步节点的表述问题以及时间基准选择问题并未解决.提出了一种用于描述单率、异步数据流语言的RTL文法.该文法中引入传输事件常量与状态谓词(state predicates)解决了异步节点的RTL文法描述问题.
其他文献
乳腺癌在祖国医学中称"乳岩"、"乳石痈"、"乳栗"等,近年来其在我国的发病率逐年提高,已逐渐跃居女性恶性肿瘤首位.中医药治疗乳腺癌历史悠久,临床经验丰富.庞德湘教授是浙江
文章从多个层面对"特罗理论"进行了初步剖析,指出了其在诱人的光环下暴露于逻辑、维度和方法等诸方面的漏洞,以期给我国高等教育发展提供警示.
利用数理统计与概率论的有关理论,在定义了以置信区间的长度与船舶交通量日均估计值之比作为"相对误差"的基础上,得到了船舶交通量观测时间与精度关系的有关结论.该结论可作
比较了常用的3种辐照剂量计,并详细介绍了PMOS辐照检测传感器的优点、制备工艺、工作模式、AVth-D特性及测试电路的原理图.
研究了叠氮乙酰胺与C60 反应 ,其反应机理为经过一个三唑啉中间体结构形成最终产物 ;分析表征了C60氮乙酰胺 ,通过量化计算确定了氮丙啶闭环结构为热力学稳定结构 ;应用倍频N
种植已逐渐成为临床缺牙修复的首选方案,但种植体失败的情况仍难以避免.现有研究发现,种植体失败常发生在植入后早期,本文就与种植体早期失败相关的因素作一阐述.
提出了一种基于重复控制和瞬时值反馈控制的逆变电源控制系统.系统利用重复控制抑制非线性负载下的电压畸变,利用瞬时值反馈控制加快负载突变时的动态响应过程.这些特点在7.5
为实现电子海图系统在不同地域、不同领域上的应用及信息获取与发布,满足电子海图系统的标准化及其应用领域多元化的要求,在论述了电子海图系统中应用组件技术的可行性与必要
龋病的渗透治疗(caries infiltration)是指将低黏度树脂渗透到早期龋损体部,以阻塞因脱矿而产生的微孔和晶间空隙,从而阻断龋病的发展,它为早期龋病的治疗提供了一种新选择.
目的探讨再生障碍性贫血(aplastic anemia,AA)患者骨髓间充质干细胞(bone marrow mesenchymal stem cells,BM-MSCs)对正常CD4-细胞功能的影响。方法采集和分离15例AA患者和10