刷新
Reasoning about, and stepwise development of, quantum programs: a predicate transformer semantics approach
量子程序的推理和逐步开发：谓词变换器语义方法
基本信息
- 批准号：FT100100218
- 负责人：
- 金额：$ 39.58万
- 依托单位：
- 依托单位国家：澳大利亚
- 项目类别：ARC Future Fellowships
- 财政年份：2011
- 资助国家：澳大利亚
- 起止时间：2011-01-01 至 2014-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
The project will provide a framework to reason about, and stepwise develop, quantum programs by rigorous predicate transformer semantics, and generate breakthrough theory and frontier techniques for quantum software engineering.
该项目将提供一个框架，通过严格的谓词变压器语义来推理并逐步开发量子程序，并为量子软件工程生成突破性理论和前沿技术。
项目成果
期刊论文数量（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 }}
Prof Yuan Feng其他文献
Prof Yuan Feng的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Prof Yuan Feng', 18)}}的其他基金
Formal Verification of Quantum Logic Circuits
量子逻辑电路的形式验证
- 批准号：
DP220102059 - 财政年份：2022
- 资助金额：
$ 39.58万 - 项目类别：
Discovery Projects
Verification and analysis of quantum programs
量子程序的验证和分析
- 批准号：
DP180100691 - 财政年份：2018
- 资助金额：
$ 39.58万 - 项目类别：
Discovery Projects
Model-checking quantum Markov chains: towards verification techniques for quantum cryptographic systems
模型检查量子马尔可夫链：面向量子密码系统的验证技术
- 批准号：
DP130102764 - 财政年份：2013
- 资助金额：
$ 39.58万 - 项目类别：
Discovery Projects
相似国自然基金
关于超导量子比特芯片层面关联性错误的探错和纠错
- 批准号：12304556
- 批准年份：2023
- 资助金额：30.00 万元
- 项目类别：青年科学基金项目
关于彩虹子图存在性问题的研究
- 批准号：12301459
- 批准年份：2023
- 资助金额：30.00 万元
- 项目类别：青年科学基金项目
关于边传递图若干问题的研究
- 批准号：12301449
- 批准年份：2023
- 资助金额：30 万元
- 项目类别：青年科学基金项目
关于具有G基的（仿）拓扑群几个问题研究
- 批准号：12361012
- 批准年份：2023
- 资助金额：27 万元
- 项目类别：地区科学基金项目
关于 Teichmuller 空间的 Gardiner-Masur 紧化的一些研究
- 批准号：12361014
- 批准年份：2023
- 资助金额：27 万元
- 项目类别：地区科学基金项目
相似海外基金
Amalgamating Evidence About Causes: Medicine, the Medical Sciences, and Beyond
合并有关原因的证据：医学、医学科学及其他领域
- 批准号：
AH/Y007654/1 - 财政年份：2024
- 资助金额：
$ 39.58万 - 项目类别：
Research Grant
NGO-Prosecutorial Complex in Universal Jurisdiction Cases: Structure and Consequences for Justice and Public Knowledge about Human Rights Violations
普遍管辖权案件中的非政府组织-检察复合体：正义的结构和后果以及公众对侵犯人权行为的了解
- 批准号：
2314061 - 财政年份：2024
- 资助金额：
$ 39.58万 - 项目类别：
Standard Grant
Understanding communication about advance care planning across the lifespan
了解有关整个生命周期预先护理计划的沟通
- 批准号：
DP240100072 - 财政年份：2024
- 资助金额：
$ 39.58万 - 项目类别：
Discovery Projects
Learning about ChatGPT for educational purposes: Examining the role of online teacher communities for supporting teachers in Japan
了解用于教育目的的 ChatGPT：检查在线教师社区在支持日本教师方面的作用
- 批准号：
24K16767 - 财政年份：2024
- 资助金额：
$ 39.58万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Thinking about possibilities: Towards a unified cognitive framework
思考可能性：走向统一的认知框架
- 批准号：
FT230100010 - 财政年份：2024
- 资助金额：
$ 39.58万 - 项目类别：
ARC Future Fellowships