邓辉
- 作品数：2 被引量：2H指数：1
- 供职机构：北京交通大学计算机与信息技术学院更多>>
- 发文基金：国家教育部博士点基金国家自然科学基金广西教育厅科研项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 线性半代数变迁系统的近似互模拟等价被引量：1
- 2013年
- 针对软件程序状态间转移关系存在不等式约束的问题,给出一种形式化的程序描述系统,即线性半代数变迁系统。在该系统的基础上,为简化软件程序结构,采用特征列的方法,提出了基于线性半代数系统共同零点的互模拟等价概念及计算方法。但在工程应用中大多数实验所得数据仅为给定误差范围内的近似值,精确的系统等价关系缺乏容错性及灵活性。为获得更恰当的系统关系,利用奇异值分解对系统进行近似处理,建立了系统的近似互模拟等价概念及计算方法。通过符号与数值混合计算,实现误差可计算及可控制。最终选取近似等价系统代替原复杂系统。并发通信程序中的实例分析表明,该方法在简化软件程序设计中具有合理性及有效性。
- 邓辉吴尽昭
- 关键词：计算机软件特征列奇异值分解
- 多项式程序模型的互模拟等价被引量：1
- 2011年
- 针对程序的行为等价性,提出多项式程序模型的互模拟等价,适用于代数程序模型描述的软件系统设计和验证分析.给出多项式程序模型互模拟等价概念,建立互模拟等价的符号计算方法,选取结构简单的模型,简化程序设计,缓解状态爆炸导致的形式化验证方法计算复杂度过高而难于实现的问题.最后给出并发程序的相关实例.
- 邓辉吴尽昭
- 关键词：互模拟等价非确定性并发
