Making software more reliable using a new model for entropies of computers' internal state

使用计算机内部状态熵的新模型使软件更加可靠

• 批准号: DP120101413
• 负责人: Prof Charles Morgan
• 金额: $ 19.37万
• 依托单位: The University of New South Wales
• 依托单位国家: 澳大利亚
• 项目类别: Discovery Projects
• 财政年份: 2012
• 资助国家: 澳大利亚
• 起止时间: 2012-01-01 至 2017-12-31
• 项目状态: 已结题
• 来源: https://dataportal.arc.gov.au/RGS/Web/Grants/DP120101413
• 关键词: Making; software; more; reliable; using

A new mathematical analysis of the way computer systems exchange data between their components has led to novel design approaches for the programs implementing those systems. This reduces their cost and increases their reliability, with improvements ranging from small-scale smart devices to widely distributed internet protocols.

对计算机系统在其组件之间交换数据的方式进行了新的数学分析，这导致了实现这些系统的程序的新的设计方法。这降低了它们的成本，提高了它们的可靠性，改进范围从小规模的智能设备到广泛分布的互联网协议。