刘熠
- 作品数：44 被引量：77H指数：5
- 供职机构：内江师范学院数学与信息科学学院更多>>
- 发文基金：国家自然科学基金四川省教育厅青年基金四川省教育厅科学研究项目更多>>
- 相关领域：理学自动化与计算机技术文化科学经济管理更多>>
- 二值谓词逻辑中公式的向量真度被引量：3
- 2013年
- 首次将谓词逻辑系统中一阶语言的有限解释按照其论域的势进行分层,提出每一层解释类下公式的n真度,最终给出公式向量真度的定义,更直观精确地刻画一阶公式的真实程度.接着证明向量真度的一些基本性质,指出向量真度保持谓词逻辑形式推理的MP规则、HS规则与推广规则,从而为进一步在谓词逻辑系统中开展近似推理研究提供一种可能的框架.
- 秦晓燕徐扬刘熠
- 变精度覆盖粗糙集的新型算子研究
- 基于邻域的变精度覆盖粗糙集模型中,β上,下覆盖近似算子的交不保持交运算。通过定义一对新的覆盖边界上,下算子,并讨论了它们的性质。应用新定义的算子,能够将覆盖上下近似算子交运算的不等式变成等式,防止了信息的丢失。
- 陈钉均刘熠李涵吴开腾
- 关键词：算子
- 文献传递
- 某些极大子群对有限群结构的影响被引量：5
- 2009年
- 利用某些极大子群的π-拟正规性,得到了包含超可解群类的饱和群系的一个充分条件:设F是包含超可解群U类的一个饱和群系,且N是有限群G的一个正规子群使得G/N∈F.如果F*(N)的任意奇阶Sylow子群Q的所有极大子群均在NG(Q)中π-拟正规嵌入,F*(N)的Sylow2-子群的极大子群在G中π-拟正规嵌入,则G∈F.
- 刘熠钟纯真秦亚陈钉均
- 关键词：极大子群饱和群系超可解群
- 基于格值一阶逻辑LF(X)的多元α-归结原理的注记被引量：1
- 2015年
- 进一步深入研究了基于格蕴涵代数的格值一阶逻辑系统LF(X)的多元α-归结原理的基本理论,给出了在基于LF(X)的多元α-归结演绎中参与多元α-归结的广义文字个数随着归结演绎的推进而动态变化的基本原则。对基于LF(X)的多元α-归结原理的有效性进行了一定分析;这为建立基于LF(X)的多元α-归结方法以及构造多元α-归结算法建立了理论基础。
- 刘熠徐扬贾海瑞
- 关键词：格蕴涵代数
- 剩余格的TL-滤子与TL-同余关系被引量：3
- 2012年
- 将有界格上的t-模T应用于剩余格的滤子和同余上,提出了剩余格的TL-滤子与TL-同余关系。首先,研究TL-滤子与TL-同余的性质与一些等价刻画。得到了TL-滤子的集合与TL-同余关系的集合是同构的。最后研究了剩余格的商结构与同态定理,这些理论在其他逻辑代数系统中依然成立。
- 刘熠徐扬秦晓燕秦亚
- 关键词：剩余格
- 几类非确定型量子程序的终止验证被引量：1
- 2016年
- 程序验证是保证程序正确性的关键技术.由于经典世界和量子世界的本质不同,经典程序验证的技术和工具不能直接应用到量子系统.而量子程序设计语言是描述量子系统的一种新的形式化模型,量子程序的验证问题就显得更为迫切和必要.本文首先讨论了量子通讯中常用的比特翻转、相位翻转、去极化、幅值阻尼、相位阻尼等信道作为特殊的非确定型量子程序从计算基态开始运行时的可达集合和终止集合等程序验证问题.其次,把上述五种量子程序两两组合组成非确定型量子程序,根据这五种量子程序的可达集合之相似点,最终合并成三种非确定型量子程序,重点讨论了这三种非确定型量子程序从计算基态开始运行时的终止和发散等程序验证问题.研究表明:这三种非确定型量子程序从计算基态0开始运行时都是终止的;而从计算基态1开始运行时:比特翻转信道和去极化信道组成的非确定型量子程序的终止和发散与分别刻画它们的两个参数有关;比特翻转信道和相位翻转信道组成的非确定型量子程序的终止和发散只与刻画比特翻转信道的参数有关;幅值阻尼信道和相位阻尼信道组成的非确定型量子程序是发散的,其发散条件与刻画量子信道的两个参数都没有关系.本文的结果可以为量子信息安全中量子通讯协议的验证提供理论和技术支持.
- 雷红轩彭家寅刘熠
- 关键词：量子通讯信息安全
- 变精度覆盖粗糙集的新型算子研究
- 2010年
- 基于邻域的变精度覆盖粗糙集模型中,β上,下覆盖近似算子的交不保持交运算。通过定义一对新的覆盖边界上,下算子,并讨论了它们的性质。应用新定义的算子,能够将覆盖上下近似算子交运算的不等式变成等式,防止了信息的丢失。
- 陈钉均刘熠李涵吴开腾
- 关键词：算子
- 地方高师院校《高等代数》课程教学内容优化研究被引量：2
- 2016年
- 地方高师院校正处于转型发展中,各个专业的培养目标也发生改变。为了适应转型发展的需要和培养目标的实现,探讨了高等代数教学内容的优化,主要对高等代数课程教学内容的整合与优化的基本原则进行了研究。
- 刘熠钟纯真
- 关键词：高等代数教学内容
- 格蕴涵代数的T-模糊滤子被引量：4
- 2010年
- 将T-模和模糊滤子结合,引入了T-模糊滤子;研究了T-模糊滤子的性质及其等价刻画,推广了模糊滤子.
- 秦亚钟纯真刘熠
- 关键词：格蕴涵代数
- 程度变精度覆盖粗糙集模型被引量：6
- 2010年
- 针对程度覆盖粗糙集和变精度覆盖粗糙集模型的特点,通过引入误差参数,给出了一种新的程度变精度覆盖粗糙集模型。并且讨论了所给模型上﹑下覆盖近似算子的一些性质,给出了相关重要定理。
- 陈钉均李涵刘熠吴开腾
