运城学院科研基金(2009003)
- 作品数：4 被引量：2H指数：1
- 相关作者：姚喜妍王宝丽段惠琴常敏慧更多>>
- 相关机构：运城学院更多>>
- 发文基金：运城学院科研基金山西省高等学校科技开发基金更多>>
- 相关领域：理学自动化与计算机技术更多>>
- 由合取范式求主析取范式的一种新方法被引量：1
- 2010年
- 通过构造树,给出一种由合取范式求主析取范式的方法,该方法能够比较方便地得到命题公式的主析取范式。
- 王宝丽姚喜妍
- 关键词：合取范式主析取范式
- 子空间框架算子之逆的逼近
- 2011年
- 设H是Hilbert空间,{Wi}i∈I是H中的子空间框架。构造了一个算子序列Tn(.)=∑i∈Inv2iUn-2PnπWi(·),运用有限维逼近方法,证明了算子序列Tn在强拓扑意义下收敛于子空间框架算子SW,v之逆SW-,1v.
- 姚喜妍常敏慧
- 关键词：HILBERT空间
- Hilbert C＊-模中g-框架的一些性质被引量：1
- 2011年
- 本文运用算子理论方法，给出Hilbert C＊-模中g-框架的一些性质并讨论g-框架的扰动性，得到g-框架的和的一些刻画,所得结果推广和改进了已有的结果．
- 姚喜妍
- 关键词：HILBERTG-框架
- 二次筛选法求信息系统的约简
- 2012年
- 文中定义了区分属性集的码函数,并通过对区分矩阵中区分属性集码函数值的二次筛选得到区分函数的最小析取范式,最小析取式的每一个合取项即为信息系统的一个约简,该算法可以计算出信息系统的所有约简.
- 王宝丽段惠琴
- 关键词：析取范式
