基于多方会话的多时钟同步规范合成与验证机制的研究
61902108
2019
F0202.系统软件、数据库与工业软件
白宇
青年科学基金项目
讲师
河北科技大学
24万元
形式化分析;模型化设计;同步编程语言;可靠通讯
2020-01-01到2022-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
| 序号 | 标题 | 类型 | 作者 |
|---|---|---|---|
| 1 | Wind Turbine Bearing Temperature Forecasting Using a New Data-Driven Ensemble Approach | 期刊论文 | Guangxi Yan;Chengqing Yu;Yu Bai |
| 2 | Synthesis of Heterogeneous Dataflow Models fromSynchronous Specifications | 会议论文 | Omair Rafique;Yu Bai;Klaus Schneider;Guangxi Yan |
| 3 | A Model-based Design Flow for Asynchronous Implementations from Synchronous Specifications | 会议论文 | Yu Bai;Omair Rafique;Klaus Schneider |
| 4 | Consistency Validation Method for Java Fine-Grained Lock Refactoring | 期刊论文 | Zhang Yang;Li Chunxia;Bai Yu |
| 5 | Efficient Implementation of Heterogeneous Dataflow Models using Synchronous IO Patterns | 会议论文 | Omair Rafique;Yu Bai;Klaus Schneider;Guangxi Yan |
| 6 | A New Hybrid Ensemble Deep Learning Model for Train Axle Temperature Short Term Forecasting | 期刊论文 | Guangxi Yan;Chengqing Yu;Yu Bai |
查看更多信息请先登录或注册
