刷新
{{item.name}}会员
Advanced Sweep-Line State Space Reduction Methods for Verification of Concurrent and Distributed Systems
用于验证并发和分布式系统的先进扫描线状态空间缩减方法
基本信息
- 批准号：DP0210524
- 负责人：
- 金额：$ 12.51万
- 依托单位：
- 依托单位国家：澳大利亚
- 项目类别：Discovery Projects
- 财政年份：2002
- 资助国家：澳大利亚
- 起止时间：2002-01-01 至 2004-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
The rigorous design and analysis of distributed systems, such as the Internet and its applications, is known to be a difficult problem. This project will develop new techniques for reducing the memory and time required for computer-aided verification of c
分布式系统（如Internet及其应用程序）的严格设计和分析是一个困难的问题。这个项目将开发新的技术，以减少计算机辅助验证c
项目成果
期刊论文数量（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 Jonathan Billington其他文献
Prof Jonathan Billington的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Prof Jonathan Billington', 18)}}的其他基金
Aggregating Generalised Stochastic Petri Nets for improved Performance Analysis
聚合广义随机 Petri 网以改进性能分析
- 批准号：
DP0880928 - 财政年份：2008
- 资助金额：
$ 12.51万 - 项目类别：
Discovery Projects
Advances in the Verification of Communication Protocols
通信协议验证的进展
- 批准号：
DP0559927 - 财政年份：2005
- 资助金额：
$ 12.51万 - 项目类别：
Discovery Projects
Extending the scope of modular analysis for the validation of large systems
扩展模块化分析的范围以验证大型系统
- 批准号：
LX0454639 - 财政年份：2004
- 资助金额：
$ 12.51万 - 项目类别：
Linkage - International
相似国自然基金
SWEEP几何造型方法及其应用
- 批准号：60573151
- 批准年份：2005
- 资助金额：24.0 万元
- 项目类别：面上项目
相似海外基金
Control of dual displacement fronts by non-Newtonian reactive flow for improved sweep efficiency
通过非牛顿反应流控制双位移前沿以提高波及效率
- 批准号：
22KF0132 - 财政年份：2023
- 资助金额：
$ 12.51万 - 项目类别：
Grant-in-Aid for JSPS Fellows
Optimisation of a variable sweep morphing wingtip
可变后掠变形翼尖的优化
- 批准号：
2888183 - 财政年份：2023
- 资助金额：
$ 12.51万 - 项目类别：
Studentship
RUI: Development of Next-Generation Drift-Time Ion Mobility Spectrometry through the Application of Pulsed Ionization and Voltage Sweep Methodologies
RUI：通过应用脉冲电离和电压扫描方法开发下一代漂移时间离子淌度光谱法
- 批准号：
2203666 - 财政年份：2022
- 资助金额：
$ 12.51万 - 项目类别：
Standard Grant
MRI: Acquisition of a Millimeter-wave Vector Network Analyzer and a Probe Station Capable of a Single Sweep from 70 kHz to 220 GHz
MRI：获取毫米波矢量网络分析仪和能够在 70 kHz 至 220 GHz 范围内进行单次扫描的探针台
- 批准号：
2117305 - 财政年份：2021
- 资助金额：
$ 12.51万 - 项目类别：
Standard Grant
Reinjection of brine to maximise sweep within CO2 storage reservoirs
回注盐水以最大限度地扫除二氧化碳储存库内的水
- 批准号：
1929049 - 财政年份：2021
- 资助金额：
$ 12.51万 - 项目类别：
Studentship
SWEEP: Space Weather Empirical Ensemble Package
SWEEP：空间天气经验系综包
- 批准号：
ST/V00235X/1 - 财政年份：2020
- 资助金额：
$ 12.51万 - 项目类别：
Research Grant
Sweep flocculation in froth treatment and demulsification
泡沫处理和破乳中的扫掠絮凝
- 批准号：
485317-2015 - 财政年份：2018
- 资助金额：
$ 12.51万 - 项目类别：
Collaborative Research and Development Grants
South West Partnership for Environment and Economic Prosperity (SWEEP)
西南环境与经济繁荣伙伴关系 (SWEEP)
- 批准号：
NE/P011217/1 - 财政年份：2017
- 资助金额：
$ 12.51万 - 项目类别：
Research Grant
Development of a measurement apparatus "Sweep Frequency Impedance Meter (SFI)", which diagnoses middle and inner ear dysfunctions
开发诊断中耳及内耳功能障碍的测量装置“扫频阻抗计（SFI）”
- 批准号：
16K11194 - 财政年份：2016
- 资助金额：
$ 12.51万 - 项目类别：
Grant-in-Aid for Scientific Research (C)