课题基金 / 基金详情

Symbolic synthesis of knowledge-based program implementations

Symbolic synthesis of knowledge-based program implementations
基于知识的程序实现的符号综合
批准号：
DP120102489
负责人：
Prof Ron van der Meyden
金额：
$23.68万
依托单位：
The University of New South Wales
依托单位国家：
澳大利亚
项目类别：
Discovery Projects
财政年份：
2012
资助国家：
澳大利亚
项目状态：
已结题
起止时间：
2012-03-07 至 2016-12-31
来源：
https://dataportal.arc.gov.au/RGS/Web/Grants/DP120102489
关键词：
Symbolicsynthesisknowledgebasedprogram

项目摘要

项目成果

Prof Ron van der Meyden的其他基金

相似基金

相关文献

中文摘要
翻译
具有并发活动流的系统在计算机硬件和软件设计中无处不在，但在概念上很复杂，并且充满了故障和低效率。该项目旨在通过自动化系统设计的各个方面来解决这些困难，从而减轻设计者对信息流的复杂模式进行推理的需要。
英文摘要
Systems with concurrent streams of activity are ubiquitous in computer hardware and software designs, but are conceptually complex, and fraught with faults and inefficiency. The project aims to address these difficulties by automating aspects of system design, to relieve the designer of the need to reason about complex patterns of information flow.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
A formal foundation for security architecture
  • 批准号：
    DP1097203
  • 项目类别：
    Discovery Projects
  • 资助金额：
    $19.83万
  • 财政年份：
    2010
  • 负责人：
    Prof Ron van der Meyden
  • 依托单位：
    The University of New South Wales
Model Checking Knowledge and Probability in Pursuit-Evasion Games
  • 批准号：
    LP0882961
  • 项目类别：
    Linkage Projects
  • 资助金额：
    $26.02万
  • 财政年份：
    2009
  • 负责人：
    Prof Ron van der Meyden
  • 依托单位：
    The University of New South Wales
国内基金
海外基金
胆固醇合成蛋白CYP51介导线粒体通透性转换诱发Th17/Treg细胞稳态失衡在舍格伦综合征中的作用机制研究
  • 批准号：
    82370976
  • 项目类别：
    面上项目
  • 资助金额：
    48.00万元
  • 批准年份：
    2023
  • 负责人：
    郑凌艳
  • 依托单位：
    上海交通大学
“肠—肝轴”PPARα/CYP8B1胆汁酸合成信号通路在减重手术改善糖脂代谢中的作用与机制
  • 批准号：
    82370902
  • 项目类别：
    面上项目
  • 资助金额：
    49.00万元
  • 批准年份：
    2023
  • 负责人：
    田景琰
  • 依托单位：
    上海交通大学
lncGEI诱导湖羊卵巢颗粒细胞E2合成的分子机制
  • 批准号：
    32372856
  • 项目类别：
    面上项目
  • 资助金额：
    50.00万元
  • 批准年份：
    2023
  • 负责人：
    李隐侠
  • 依托单位：
    江苏省农业科学院
脂肪酸合成通过GDF15/IRS2介导胰岛素抵抗促进血管内皮细胞活化导致脓毒症肺损伤的机制研究
  • 批准号：
    82372203
  • 项目类别：
    面上项目
  • 资助金额：
    49.00万元
  • 批准年份：
    2023
  • 负责人：
    李然然
  • 依托单位：
    上海交通大学