logo
教育论文中心  教育论文中心   广告服务  广告服务   论文搜索  论文搜索   论文发表  论文发表   会员专区  会员专区   在线购卡   在线购卡   服务帮助  服务帮助   联系我们  联系我们   网站地图  网站地图   硕士论文  会员专区   博士论文
当前位置:教育论文中心首页--硕士论文--同步数据流语言Lustre*的可信时钟检查
博硕论文分类列表
工业技术 交通运输 农业科学
生物科学 航空航天 历史地理
医学卫生 语言文字 环境科学
综合图书 政治法律 社会科学
马列主义、毛泽东思想 艺术
数理科学和化学 文学
天文学、地理科学 军事
文化科学、教育体育 经济
自然科学总论 哲学
查看更多分类
 
论文搜索
 
 
相关论文
同质氧化铪双层膜的界面耦合与忆阻
次网格对流输送及其对尺度的依赖性
基于Lustre集群存储系统
面向Lustre文件系统存储系
基于FPGA高频时钟分频和分
面向NVMLustre客户端持
大规模Lustre集群文件系统关
基于Bang-Bang数字锁相环
基于Lustre文件系统MPI-
基于等级划分可信网络中可信策略
基于Open vSwitch
基于Lustre文件系统并行I
大规模网络存储系统数据布局策略
地震资料处理PC集群并行效率研究
基于对象存储固态盘存储加速技术
高性能计算集群文件系统优化技术
并行技术在气象卫星海量数据可视化
可信网站”凭什么可信?
移动回传网中时钟同步IEEE 1
车载自组网可信路由与可信接入服
可信计算在骨科研究中应用
可信计算在骨科研究中应用
GPS高精度时钟设计和实现
基于用户行为可信可信软件构造方
基于等级划分可信网络修复技术
语言发生学理论假设语言观和语言
基于IPv6可信汽车网络服务平
面向Xen安全计算机中可信
语言接触与语言变化社会—心理语
关于具有自主知识产权CPK标识
他汀“红色警报”可信
“老妓无毒”之说可信
Ⅲ型前列腺炎实验室检查与病理检
 
科目列表
市场营销 管理理论 人力资源
电子商务 社会实践 先进教育
伦理道德 艺术理论 环境保护
农村研究 交通相关 烟草论文
电子电气 财务分析 融资决策
电影艺术 国学论文 材料工程
语文论文 数学论文 英语论文
政治论文 物理论文 化学论文
生物论文 美术论文 历史论文
地理论文 信息技术 班主任
音乐论文 体育论文 劳技论文
自然论文 德育管理 农村教育
素质教育 三个代表 旅游管理
国际贸易 哲学论文 工商管理
证券金融 社会学 审计论文
会计论文 建筑论文 电力论文
水利论文 园林景观 农林学
中医学 西医学 心理学
公安论文 法学法律 思想汇报
法律文书 总结报告 演讲稿
物业管理 经济学 论文指导
计算机 护理论文 社会调查
军事论文 化工论文 财政税收
保险论文 物流论文 语言教育
教育教学 给水排水 暖通论文
结构论文 综合类别 硕士论文
博士论文    
 
 
同步数据流语言Lustre*的可信时钟检查
 
     论文目录
 
摘要第3-4页
Abstract第4页
主要符号对照表第7-8页
第1章 引言第8-14页
    1.1 研究背景第8-9页
    1.2 相关工作第9-11页
    1.3 主要内容与贡献第11-12页
    1.4 论文组织与各章内容第12-14页
第2章 同步数据流语言Lustre*第14-22页
    2.1 同步数据流语言第14页
    2.2 Lustre语言第14页
    2.3 Lustre* 语法简介第14-17页
    2.4 条件算子第17-18页
    2.5 时钟算子第18-19页
    2.6 时态算子第19-21页
    2.7 高阶算子第21页
    2.8 本章小结第21-22页
第3章 时钟演算规则第22-37页
    3.1 时钟定义第22-23页
    3.2 时钟环境和形式断言第23页
    3.3 Lustre* AST的时钟演算规则第23-28页
        3.3.1 程序时钟演算规则第23-24页
        3.3.2 时钟算子第24-26页
        3.3.3 时态算子第26页
        3.3.4 高阶算子第26-28页
    3.4 Lustre W和Lustre V的类型规则第28-36页
        3.4.1 时钟与传统类型组合定义第28-29页
        3.4.2 环境和形式断言第29页
        3.4.3 类型规则第29-36页
    3.5 本章小结第36-37页
第4章 时钟检查器的实现与证明第37-46页
    4.1 Coq简介第37-40页
    4.2 Lustre* AST定义第40-41页
    4.3 时钟检查算法第41-42页
    4.4 时钟检查证明第42-45页
    4.5 本章小结第45-46页
第5章 总结与未来工作第46-47页
    5.1 总结第46页
    5.2 未来工作第46-47页
参考文献第47-50页
致谢第50-52页
附录A Lustre* 语法第52-56页
    A.1 Program第52页
    A.2 Type Block第52页
    A.3 Const Block第52-53页
    A.4 Node Block第53-56页
附录B Lustre* AST时钟演算规则第56-67页
    B.1 Common第56页
    B.2 Initialization of Clock Environments第56-57页
    B.3 Temporal and Clock Expressions第57-59页
    B.4 Call Expressions第59-60页
    B.5 Higher-Order Operations第60-62页
    B.6 Array and Struct Expressions第62-63页
    B.7 Other Expressions or Sub-Expressions第63-65页
    B.8 Equations第65页
    B.9 Equation List, Nodes and Programs第65-67页
个人简历、在学期间发表的学术论文与研究成果第67页

 
 
论文编号BS4643325,这篇论文共67
会员购买按0.35元/页下载,共需支付23.45元。        直接购买按0.5元/页下载,共需要支付33.5元 。
我还不是会员,注册会员
会员下载更优惠!充值送钱!
我只需要这篇,无需注册!
直接网上支付,方便快捷!
 您可能感兴趣的论文
版权申明:本目录由www.jylw.com网站制作,本站并未收录原文,如果您是作者,需要删除本篇论文目录请通过QQ或其它联系方式告知我们,我们承诺24小时内删除。
 
 
| 会员专区 | 在线购卡 | 广告服务 | 网站地图 |
版权所有 教育论文中心 Copyright(C) All Rights Reserved
联系方式: QQ:277865656 或写信给我