首页> 中文会议>第十一届全国软件与应用学术会议（NASAC2012） >基于双格的多值模型的精化关系与对称化简

基于双格的多值模型的精化关系与对称化简

页面导航

摘要
著录项
相似文献
相关主题

摘要

多值模型是传统布尔模型的扩展.与布尔模型相比,多值模型更适合对包含不确定和不一致信息的软件系统进行建模.为了解决模型检测时的状态爆炸问题,本文研究了对基于双格的多值模型的对称化简方法.为此,本文首先提出了一种新的多值模型的精化关系,证明其保持对“演算公式的模型检测结果的正确性.进一步,本文定义多值模型的对称化简商结构,证明商结构与原模型之间存在互为精化的关系,因此对Ⅳ演算公式的模型检测在两者上可以得到相同的结果.

著录项

来源
《第十一届全国软件与应用学术会议（NASAC2012）》|2012年|1-9|共9页
会议地点南京
作者
Juanjuan Chen; 陈娟娟; Ou Wei; 魏欧; Zhiqiu Huang; 黄志球; Zhe Chen; 陈哲;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类调整、测试、校验;
关键词
多值模型; 检测脊柱; 精化关系; 对称化简商结构;

相似文献

中文文献
外文文献
专利

1. 基于双格的多值模型的精化关系与对称化简 [J] . 陈娟娟 ,魏欧 ,黄志球 . 计算机工程与应用 . 2013,第022期
2. 基于分解的多值模型的逼近关系 [J] . 陈娟娟 ,魏欧 . 计算机科学 . 2014,第006期
3. 基于特征融合与多元关系一致性的社会标签精化模型 [J] . 李云毅 ,苗夺谦 ,卫志华 . 南京大学学报：自然科学版 . 2016,第2期
4. 基于非对称误差修正模型的中国能源-经济-环境关系 [J] . 徐阳 ,何永秀 . 中国电力 . 2016,第009期
5. 国股指期货与指数现货价格引导关系研究——基于非对称门限协整模型的分析 [J] . 宋科艳 . 财经问题研究 . 2016,第009期
6. 多值Q收敛结构与多值重域系统的关系? [C] . 庞斌 ,方进明 . 2010年模糊数学与模糊系统第十五届年会 . 2010
7. 基于双格的多值模型精化关系及对称化简 [A] . 陈娟娟 . 2014

基于双格的多值模型的精化关系与对称化简

摘要

著录项

相似文献

相关主题

期刊订阅