刷新
{{item.name}}会员
Expressive power and complexity of temporal logics for model-checking
用于模型检查的时序逻辑的表达能力和复杂性
基本信息
- 批准号：LX0242359
- 负责人：
- 金额：$ 0.35万
- 依托单位：
- 依托单位国家：澳大利亚
- 项目类别：Linkage - International
- 财政年份：2002
- 资助国家：澳大利亚
- 起止时间：2002-05-01 至 2003-04-30
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
Hardware verification based upon mathematical logic is now routinely
used in industry to verify the correctness of large digital circuits
using a technique called model-checking. Such discrete systems move
from one state to another according to the reg
基于数学逻辑的硬件验证现在已成为常规
在工业中用于验证大型数字电路的正确性
使用一种称为模型检查的技术。这种离散系统移动
根据法规从一个州到另一个州
项目成果
期刊论文数量（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 Rajeev Gore其他文献
Prof Rajeev Gore的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Prof Rajeev Gore', 18)}}的其他基金
Machine-checked Foundations for Verified Vote Counting
用于验证计票的机器检查基础
- 批准号：
DP140101540 - 财政年份：2014
- 资助金额：
$ 0.35万 - 项目类别：
Discovery Projects
Mechanised foundations of proof calculi
证明演算的机械化基础
- 批准号：
DP120101244 - 财政年份：2012
- 资助金额：
$ 0.35万 - 项目类别：
Discovery Projects
相似国自然基金
基于切平面受限Power图的快速重新网格化方法
- 批准号：62372152
- 批准年份：2023
- 资助金额：50 万元
- 项目类别：面上项目
多约束Power图快速计算算法研究
- 批准号：61972128
- 批准年份：2019
- 资助金额：58.0 万元
- 项目类别：面上项目
复合气体条件下可逆固体氧化物电池“电-气”转换特性研究
- 批准号：51877173
- 批准年份：2018
- 资助金额：61.0 万元
- 项目类别：面上项目
网格曲面上质心Power图的快速计算及应用
- 批准号：61772016
- 批准年份：2017
- 资助金额：46.0 万元
- 项目类别：面上项目
离散最优传输问题，闵可夫斯基问题和蒙奇－安培方程中的变分原理和Power图
- 批准号：11371220
- 批准年份：2013
- 资助金额：50.0 万元
- 项目类别：面上项目
几何约束视角下异构群体队形光滑变换控制方法研究
- 批准号：61300118
- 批准年份：2013
- 资助金额：26.0 万元
- 项目类别：青年科学基金项目
云计算环境下数据中心的power capping关键问题研究
- 批准号：61272460
- 批准年份：2012
- 资助金额：81.0 万元
- 项目类别：面上项目
基于信道Time/Power度量指标的TOA测距误差模型及其应用研究
- 批准号：61172049
- 批准年份：2011
- 资助金额：60.0 万元
- 项目类别：面上项目
离散谱聚合与谱廓受限的传输理论与技术的研究
- 批准号：60972057
- 批准年份：2009
- 资助金额：36.0 万元
- 项目类别：面上项目
低功耗集成多级放大器的设计研究
- 批准号：60976028
- 批准年份：2009
- 资助金额：35.0 万元
- 项目类别：面上项目
相似海外基金
Addressing the complexity of future power system dynamic behaviour
解决未来电力系统动态行为的复杂性
- 批准号：
MR/S034420/2 - 财政年份：2024
- 资助金额：
$ 0.35万 - 项目类别：
Fellowship
Addressing the complexity of future power system dynamic behaviour
解决未来电力系统动态行为的复杂性
- 批准号：
MR/Y00390X/1 - 财政年份：2024
- 资助金额：
$ 0.35万 - 项目类别：
Fellowship
CSR: Small: Evolution of Computer Vision for Low Power Devices, Breaking its Power Wall and Computational Complexity
CSR：小：低功耗设备计算机视觉的发展，打破其功耗墙和计算复杂性
- 批准号：
2146726 - 财政年份：2021
- 资助金额：
$ 0.35万 - 项目类别：
Standard Grant
Reduced complexity mapping of oxycodone self-administration and stress responsiveness in rats
大鼠羟考酮自我给药和应激反应的复杂性降低图
- 批准号：
10359156 - 财政年份：2020
- 资助金额：
$ 0.35万 - 项目类别：
Reduced complexity mapping of oxycodone self-administration and stress responsiveness in rats
大鼠羟考酮自我给药和应激反应的复杂性降低图
- 批准号：
10576397 - 财政年份：2020
- 资助金额：
$ 0.35万 - 项目类别：
Addressing the complexity of future power system dynamic behaviour
解决未来电力系统动态行为的复杂性
- 批准号：
MR/S034420/1 - 财政年份：2019
- 资助金额：
$ 0.35万 - 项目类别：
Fellowship
CSR: Small: Evolution of Computer Vision for Low Power Devices, Breaking its Power Wall and Computational Complexity
CSR：小：低功耗设备计算机视觉的发展，打破其功耗墙和计算复杂性
- 批准号：
1718538 - 财政年份：2017
- 资助金额：
$ 0.35万 - 项目类别：
Standard Grant