课题基金 / 基金详情

Foundation of Safe Autonomous Systems

Foundation of Safe Autonomous Systems
安全自治系统的基础
批准号：
RGPIN-2017-06002
负责人：
Lawford, Mark
金额：
$3.35万
依托单位：
McMaster University
依托单位国家：
加拿大
项目类别：
Discovery Grants Program - Individual
财政年份：
2021
资助国家：
加拿大
项目状态：
已结题
起止时间：
2021-01-01 至 2022-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=734679
关键词：
FoundationSafeAutonomousSystems

项目摘要

项目成果

Lawford, Mark的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Autonomous Systems; Cyber Phsyical Systems; Embedded Software; Formal Verification; Model Based Design; Safety Critical Systems
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Safety assurance at GM and using model management to support it
  • 批准号：
    515486-2017
  • 项目类别：
    Collaborative Research and Development Grants
  • 资助金额：
    $10.05万
  • 财政年份：
    2020
  • 负责人：
    Lawford, Mark
  • 依托单位：
    McMaster University
Foundation of Safe Autonomous Systems
  • 批准号：
    RGPIN-2017-06002
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.68万
  • 财政年份：
    2020
  • 负责人：
    Lawford, Mark
  • 依托单位：
    McMaster University
Foundation of Safe Autonomous Systems
  • 批准号：
    RGPIN-2017-06002
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.68万
  • 财政年份：
    2019
  • 负责人：
    Lawford, Mark
  • 依托单位：
    McMaster University
Safety assurance at GM and using model management to support it
  • 批准号：
    515486-2017
  • 项目类别：
    Collaborative Research and Development Grants
  • 资助金额：
    $24.54万
  • 财政年份：
    2019
  • 负责人：
    Lawford, Mark
  • 依托单位：
    McMaster University
国内基金
海外基金
叶绿体蛋白SAFE1和SAFE2介导单线态氧信号转导的机理研究
  • 批准号：
    32170284
  • 项目类别：
    面上项目
  • 资助金额：
    60万元
  • 批准年份：
    2021
  • 负责人：
    王良省
  • 依托单位：
    中国农业大学
基于Safe screening的多任务稀疏学习理论与算法的研究
  • 批准号：
    12071475
  • 项目类别：
    面上项目
  • 资助金额：
    51.0万元
  • 批准年份：
    2020
  • 负责人：
    徐义田
  • 依托单位：
    中国农业大学
醛糖还原酶（AR）激活SAFE（JAKs/STATs）通路在抵抗下颌下腺缺血再灌注损伤中的作用
  • 批准号：
  • 项目类别：
    省市级项目
  • 资助金额：
    10.0万元
  • 批准年份：
    2019
  • 负责人：
    张思恩
  • 依托单位：
    中山大学
基于Safe screening 的支持向量机的稀疏理论及其快速求解方法
  • 批准号：
    11671010
  • 项目类别：
    面上项目
  • 资助金额：
    48.0万元
  • 批准年份：
    2016
  • 负责人：
    徐义田
  • 依托单位：
    中国农业大学