基于交互的环境近似度量模型

J4 ›› 2013, Vol. 48 ›› Issue (7): 33-38.

基于交互的环境近似度量模型

马艳芳1,陈亮2*

1.淮北师范大学计算机科学与技术学院, 安徽淮北 235000;
2.淮北师范大学数学科学学院, 安徽淮北 235000

收稿日期:2013-06-17 发布日期:2013-12-03
通讯作者: 陈亮(1977- ),男,博士,副教授,主要从事数值计算、算法分析方面的研究. Email:clmyf2@163.com
作者简介:马艳芳(1978- ),女,博士,副教授, 主要从事进程演算、程序语义、软件可信度量模型的研究. Email:myf1978@gmail.com
基金资助:
安徽省自然科学基金资助项目(1308085QF117);安徽省高等学校省级自然科学研究项目(KJ2011A248, KJ2012Z347);淮北师范大学青年科研项目(2012XQ42)

The measure model of environment based interaction

MA Yan-fang1, CHEN Liang2*

1. School of Computer Science and Technology, Huaibei Normal University, Huaibei 235000, Anhui, China;
2. School of Mathematics Science, Huaibei Normal University, Huaibei 235000, Anhui, China

Received:2013-06-17 Published:2013-12-03

摘要/Abstract

摘要：

在一些关键领域中,需要构造与实际环境非常相近的实验环境来运行或测试软件的性能,由此需要计算环境的近似程度。基于进程代数理论,建立软件运行环境近似程度的度量模型。首先在完整迹语义的基础上,建立软件与环境交互程度的度量刻画。然后在交互度量基础上,建立环境之间近似程度的度量模型,讨论环境度量的代数性质。

关键词: 交互;环境;进程代数;度量

Abstract:

In some key fields, in order to test the attribution of software, a testing environment is often established. The degree of approximation between testing environment and real environment affects the execution result of software. The measure model of environment will be proposed based on process algebra. First, the iteration degree between software and its environment will be established using complete trace semantics. Then, the approximate degree between environments is presented, and some algebraic properties are proved.

Key words: iteration; environment; process algebra; measure

中图分类号:

O159

马艳芳1,陈亮2*. 基于交互的环境近似度量模型[J]. J4, 2013, 48(7): 33-38.

MA Yan-fang1, CHEN Liang2*. The measure model of environment based interaction[J]. J4, 2013, 48(7): 33-38.

参考文献

相关文章 11

[1]	汤积华陈保会史开泉. P-集合与(,F)-数据生成-辨识[J]. J4, 2009, 44(11): 83-88.
[2]	于秀清. P-粗积分与函数双向S-粗集的粗糙度[J]. J4, 2009, 44(11): 89-92.
[3]	黄江燕于秀清方文青. 粗积分的动态特征[J]. J4, 2009, 44(11): 93-96.
[4]	李令强金秋. Ω-滤子的一个等价刻画[J]. J4, 2009, 44(10): 51-53.
[5]	高山林李健阮小葭. 基于理想点的模糊数排序方法[J]. J4, 2009, 44(8): 86-89.
[6]	. 线性规划的宽邻域预估校正算法[J]. J4, 2009, 44(7): 66-70.
[7]	苏芬肖张玲. 函数单向S_PF-粗集与它的概率特征[J]. J4, 2008, 43(12): 56-60.
[8]	方文青于秀清史开泉. F-粗积分与它的面积覆盖-边界厚度特征[J]. J4, 2008, 43(12): 88-92.
[9]	苏芬肖陈保会. β-粗积分[J]. J4, 2008, 43(12): 61-65.
[10]	修明陈保会史开泉. F-粗规律与它的属性控制[J]. J4, 2008, 43(12): 66-72.
[11]	孙守斌,孟广武 . LF拓扑空间的Dα-导集[J]. J4, 2008, 43(5): 63-65 .

多维度评价

Viewed

Full text

Abstract

Cited

Shared

Discussed