A Model of Uncertainty Semantics Computation

MIAO De-cheng; XI Jian-qing

Chinese

您当前的位置：

首页 >

文章列表页 >

A Model of Uncertainty Semantics Computation

更新时间：2026-09-04

- A Model of Uncertainty Semantics Computation
- Vol. 29, Issue 1, Pages: 15-17(2012)
- 作者机构：
  
  1. 1 韶关学院机构数学与信息科学学院,广东,韶关,512000
  2. 2 华南理工大学计算机科学与工程学院,广东,广州,510000
- 作者简介：
- 基金信息：
- DOI：
  CLC：
- Published：2012
- 稿件说明：
移动端阅览
苗德成, 奚建清. 一种不确定性语义计算模型[J]. 微电子学与计算机, 2012, 29(1): 15-17,22.

MIAO De-cheng, XI Jian-qing. A Model of Uncertainty Semantics Computation[J]. 2012, 29(1): 15-17.
苗德成, 奚建清. 一种不确定性语义计算模型[J]. 微电子学与计算机, 2012, 29(1): 15-17,22. DOI：

MIAO De-cheng, XI Jian-qing. A Model of Uncertainty Semantics Computation[J]. 2012, 29(1): 15-17. DOI：

摘要

随着软件系统复杂度的持续增长

如何保证大型复杂软件系统的健壮性与正确性逐渐成为一个热点问题

不确定性语义计算的研究是解决这一问题的关键.本文提出了一种不确定性语义计算模型

并应用模型对示例小语言设计了四种不同的形式语义

通过四种形式语义等价性的证明论证了模型的正确性与灵活性.

Abstract

Software system complexity has increased continuously with the promoting of users requirements.Therefore

how to keep robustness and correctness of large-scaled complicated software system has gradually become a hot issue

and study on uncertainty semantics computation is the key solution to this question.By analyzing the relevant study work

this paper makes a model of uncertainty semantics computation

designs four kinds of different formal semantics for a small typical language

and also proves the correctness and flexibility of this model by proof of equivalences for four kinds of formal semantics.

关键词

Keywords

references

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Aerial small object detection algorithm based on improved RT-DETR

Steganography model guided by attention mechanism and improved dense convolution

Monte carlo analysis of V-layout trench SiC neutron detector

A high-efficiency charge pump for ultra-low voltage boost systems

Lightweight countermeasures against Spectre attacks on the branch prediction unit

Related Author

No data

Related Institution

No data

AI问答

Postal code：100079
Tel：（010）53879206 Email：tmw@bjxintong.com.cn
Technical support is provided by Beijing Founder electronics co., LTD 京ICP备09082226号-64 京公网安备11010602201714号
It is recommended to read the content of this site in Chrome&IE9+. Please switch to extreme mode in browser 360.
Cookies We use cookies to help provide and enhance our service and tailor content. By continuing, you agree to the use of cookies.

⁰