偏序约简相关论文
以电力系统数据的多维度以及空间混乱等特征为基础,创建了一类基于偏序约简的大数据属性约简预处理方法。此种方法主要应用了MapRe......
模型检验是硬件和软件形式化验证最成功的技术之一.目前大部分的模型检验技术是基于状态的而不考虑迁移上的操作和事件.这导致模型......
一般硬件系统和软件系统都存在大量的相同的或同构的组件,相应地,它们的模型常常在结构上存在对称性,这种对称结构一般具有相同或......
针对电力一次系统和电力信息系统的数据所具有的多维度、时空混杂等特征,建立了一种基于偏序约简的大数据属性约简预处理方法。该......