|
|||||
|
|
| 一种不确定性语义计算模型 | |
| 引用本文： | 苗德成,奚建清. 一种不确定性语义计算模型[J]. 微电子学与计算机, 2012, 29(1): 15-17,22 |
| 作者姓名： | 苗德成 奚建清 |
| 作者单位： | 1. 韶关学院数学与信息科学学院,广东韶关512000／华南理工大学计算机科学与工程学院,广东广州510000 2. 华南理工大学计算机科学与工程学院,广东广州,510000 |
| 基金项目： | 广东省科技计划项目，韶关学院科研项目 |
| 摘 要： | 随着软件系统复杂度的持续增长,如何保证大型复杂软件系统的健壮性与正确性逐渐成为一个热点问题,不确定性语义计算的研究是解决这一问题的关键.本文提出了一种不确定性语义计算模型,并应用模型对示例小语言设计了四种不同的形式语义,通过四种形式语义等价性的证明论证了模型的正确性与灵活性. |
| 关 键 词： | 不确定性 模型 软件系统 语义 程序设计 |
A Model of Uncertainty Semantics Computation |
|
| MIAO De-cheng,XI Jian-qing. A Model of Uncertainty Semantics Computation[J]. Microelectronics & Computer, 2012, 29(1): 15-17,22 | |
| Authors: | MIAO De-cheng XI Jian-qing |
| Affiliation: | 1 College of Mathematics and Information Science,Shaoguan University,Shaoguan 512000,China 2 College of Computer Science and Engineering,South China University of Technology,Guangzhou 510006,China) |
| 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: | uncertainty model software system semantics programming |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |