| 线性半代数变迁系统的近似互模拟等价 |
| |
| 引用本文： | 邓辉,吴尽昭.线性半代数变迁系统的近似互模拟等价[J].吉林大学学报(工学版),2013,43(4):1052-1058. |
| |
| 作者姓名： | 邓辉 吴尽昭 |
| |
| 作者单位： | 1. 北京交通大学计算机与信息技术学院,北京,100044
2. 广西民族大学广西混杂计算与集成电路设计分析重点实验室,南宁,530006 |
| |
| 基金项目： | 国家自然科学基金项目，高等学校博士学科点专项科研基金项目，广西自然科学基金项目，广西壮族自治区主席科技基金项目，广西教育厅科研项目 |
| |
| 摘 要： | 针对软件程序状态间转移关系存在不等式约束的问题,给出一种形式化的程序描述系统,即线性半代数变迁系统。在该系统的基础上,为简化软件程序结构,采用特征列的方法,提出了基于线性半代数系统共同零点的互模拟等价概念及计算方法。但在工程应用中大多数实验所得数据仅为给定误差范围内的近似值,精确的系统等价关系缺乏容错性及灵活性。为获得更恰当的系统关系,利用奇异值分解对系统进行近似处理,建立了系统的近似互模拟等价概念及计算方法。通过符号与数值混合计算,实现误差可计算及可控制。最终选取近似等价系统代替原复杂系统。并发通信程序中的实例分析表明,该方法在简化软件程序设计中具有合理性及有效性。
|
| 关 键 词： | 计算机软件 近似互模拟 线性半代数变迁系统 特征列 奇异值分解 并发通信程序 |
Approximate bisimulation for linear semi-algebraic transition systems |
| |
| DENG Hui,WU Jin-zhao.Approximate bisimulation for linear semi-algebraic transition systems[J].Journal of Jilin University:Eng and Technol Ed,2013,43(4):1052-1058. |
| |
| Authors: | DENG Hui WU Jin-zhao |
| |
| Affiliation: | 1.School of Computer and Information Technology,Beijing Jiaotong University,Beijing 100044,China;2.Guangxi Key Laboratory of Hybrid Computation and IC Design Analysis,Guangxi University for Nationalities,Nanning 530006,China) |
| |
| Abstract: | |
| |
| Keywords: | computer software approximate bisimulation linear semi-algebraic transition systems characteristic set singular value decomposition concurrent communication program |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
