论文研究-非经典切片技术及其在形式验证中的应用综述.pdf
对形式背景上的G偏序集、M偏序集和GM偏序集的偏序关系作了进一步讨论，提出了对象上邻、对象下邻、属性上邻、属性下邻、对象上界、对象下界、属性上界、属性下界和极大对象下界等概念，并根据上下邻之间的关系给出G偏序图、M偏序图和GM偏序图的构建算法，最后给出了不需要建格而可直接在GM偏序图上进行规则提取的算法，并通过实例验证了算法的有效性。
文件下载
评论信息
其他资源
- Cobalt Strike下载
- 矩阵的特征值与特征向量的计算的matlab实现，幂法、反幂法和位移反幂法、雅可比(Jacobi)方法、豪斯霍尔德(Householder)方法、实对称矩阵的三对角化、QR方法、求根位移QR方法计算实对称矩阵 的特征值、广义特征值问题
- matlab gui串口通信程序
- SHT20温湿度传感器
- WPFC#.net 跨线程更新UI 线程测试 解决界面卡死
- LABVIEW中动态添加控件
- EWT 经验小波分解 matlab工具箱 toolbox
- ADK_QCC512X_QCC302X_WIN_6.4.0.34_part1
- 无线通信基础中文版-David Tse
- 汽车客运公司售票系统
- 脉冲响应与匹配滤波 实验3 通信原理实验 LabVIEW代码
- Sap配置学习笔记(MM+SD+FICO
- 宏电DTU的DDP协议GPRS DSC中心源代码DEMO SDK
- EXCEL动态管理合同
- 指纹门禁系统建模设计 软件设计 UML
- Qt131313135
- pybustools：Python函数读取kallisto-bustools格式-源码
- lenovodm 联想电脑管家
- c语言学生管理系统链表实现.rar
- robo3t-1.4.0
- Everything.exe
- 医院管理系统源码
- ACM-ICPC世界总决赛试题解析（2004-2011）第1章
- gcc6.2.0以及对应的gmp 、mpfr、mpc
免责申明
【只为小站】的资源来自网友分享，仅供学习研究，请务必在下载后24小时内给予删除，不得用于其他任何用途，否则后果自负。基于互联网的特殊性，【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查；无论 【只为小站】 经营者是否已进行审查，用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明