课题基金 / 基金详情

Aggregating Generalised Stochastic Petri Nets for improved Performance Analysis

Aggregating Generalised Stochastic Petri Nets for improved Performance Analysis
聚合广义随机 Petri 网以改进性能分析
批准号:
DP0880928
负责人:
Prof Jonathan Billington
金额:
$10.75万
依托单位国家:
澳大利亚
项目类别:
Discovery Projects
财政年份:
2008
资助国家:
澳大利亚
项目状态:
已结题
起止时间:
2008-03-27 至 2011-12-31

项目摘要

项目成果

Prof Jonathan Billington的其他基金

相似基金

相关文献

中文摘要
翻译
澳大利亚的经济非常依赖复杂的人造系统的运行。重要的例子是电信网络和服务(如因特网)、制造工厂、组织流程、军事后勤和运输系统(如空中交通管制)。这些系统的性能对它们的成功至关重要。因此,在系统实现之前能够预测性能在它们的设计中非常重要。该项目将为一类重要的实用系统开发前沿的性能分析技术和工具。有可能将由此产生的工具和方法商业化,并将专业知识转移到行业中。
英文摘要
Australia's economy is very dependent on the operation of complex man-made systems. Important examples are telecommunication networks and services (e.g. the Internet), manufacturing plants, organisational processes, military logistics and transport systems (e.g. air traffic control). The performance of these systems is critical to their success. Thus being able to predict performance before systems are implemented is very important in their design. This project will develop leading-edge performance analysis techniques and tools for an important class of practical systems. There is potential to commercialise the resulting tools and methodology and to transfer the expertise to industry.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Advances in the Verification of Communication Protocols
  • 批准号:
    DP0559927
  • 项目类别:
    Discovery Projects
  • 资助金额:
    $14.15万
  • 财政年份:
    2005
  • 负责人:
    Prof Jonathan Billington
  • 依托单位:
Extending the scope of modular analysis for the validation of large systems
  • 批准号:
    LX0454639
  • 项目类别:
    Linkage - International
  • 资助金额:
    $0.64万
  • 财政年份:
    2004
  • 负责人:
    Prof Jonathan Billington
  • 依托单位:
Advanced Sweep-Line State Space Reduction Methods for Verification of Concurrent and Distributed Systems
  • 批准号:
    DP0210524
  • 项目类别:
    Discovery Projects
  • 资助金额:
    $12.51万
  • 财政年份:
    2002
  • 负责人:
    Prof Jonathan Billington
  • 依托单位:
海外基金