刷新
{{item.name}}会员
Design Verification
设计验证
基本信息
- 批准号：530756-2018
- 负责人：
- 金额：$ 0.33万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Experience Awards (previously Industrial Undergraduate Student Research Awards)
- 财政年份：2018
- 资助国家：加拿大
- 起止时间：2018-01-01 至 2019-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
No summary - Aucun sommaire
没有摘要--Aucun Sommaire
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
Pierce, Zoe其他文献
Pierce, Zoe的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
相似海外基金
FMitF: Track I: Formal Verification for Mechanism Design
FMITF：第一轨：机制设计的形式验证
- 批准号：
2319186 - 财政年份：2023
- 资助金额：
$ 0.33万 - 项目类别：
Standard Grant
Design and Verification of Time-Critical Byzantine Fault-Tolerant Systems
时间关键拜占庭容错系统的设计和验证
- 批准号：
EP/W034514/1 - 财政年份：2023
- 资助金额：
$ 0.33万 - 项目类别：
Research Grant
Medium- and long-term verification of developing competencies on lesson design and learning assessment through lesson study based on learning science
通过基于学习科学的课程研究，对课程设计和学习评估能力的发展进行中长期验证
- 批准号：
23K02727 - 财政年份：2023
- 资助金额：
$ 0.33万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Design and Verification of Fault Tolerant Distributed Systems
容错分布式系统的设计与验证
- 批准号：
2885821 - 财政年份：2023
- 资助金额：
$ 0.33万 - 项目类别：
Studentship
Collaborative Research: FET: Medium: Engineering DNA and RNA computation through simulation, sequence design, and experimental verification
合作研究：FET：中：通过模拟、序列设计和实验验证进行 DNA 和 RNA 计算
- 批准号：
2211792 - 财政年份：2022
- 资助金额：
$ 0.33万 - 项目类别：
Continuing Grant
Design and Model-Based Safety Verification of a Volitional Sit-Stand Controller for a Powered Knee-Ankle Prosthesis
动力膝踝假肢自主坐站控制器的设计和基于模型的安全验证
- 批准号：
10570170 - 财政年份：2022
- 资助金额：
$ 0.33万 - 项目类别：
Collaborative Research: FET: Medium: Engineering DNA and RNA computation through simulation, sequence design, and experimental verification
合作研究：FET：中：通过模拟、序列设计和实验验证进行 DNA 和 RNA 计算
- 批准号：
2211793 - 财政年份：2022
- 资助金额：
$ 0.33万 - 项目类别：
Continuing Grant
Design and Model-Based Safety Verification of a Volitional Sit-Stand Controller for a Powered Knee-Ankle Prosthesis
动力膝踝假肢自主坐站控制器的设计和基于模型的安全验证
- 批准号：
10388466 - 财政年份：2022
- 资助金额：
$ 0.33万 - 项目类别：
Supplement: Design and Model-Based Safety Verification of a Volitional Sit-Stand Controller for a Powered Knee-Ankle Prosthesis
补充：动力膝踝假肢自主坐站控制器的设计和基于模型的安全验证
- 批准号：
10785336 - 财政年份：2022
- 资助金额：
$ 0.33万 - 项目类别：
Formal Verification in the CIRCT Open-Source Hardware Design Stack
CIRCT 开源硬件设计堆栈中的形式验证
- 批准号：
2737542 - 财政年份：2022
- 资助金额：
$ 0.33万 - 项目类别：
Studentship