梁常建

作品数：13被引量：16H指数：2
导出分析报告
供职机构：陕西师范大学数学与信息科学学院更多>>
发文主题：截集代数性质计算树逻辑线性时序逻辑阈值更多>>
发文领域：理学自动化与计算机技术自然科学总论文化科学更多>>
发文期刊：《赤峰学院学报（自然科学版）》《陇东学院学报》《太原师范学院学报（自然科学版）》《电子学报》更多>>
所获基金：河南省基础与前沿技术研究计划项目国家自然科学基金国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
具有DP的广义可能性模糊时态CTL模型检测
《计算机科学与探索》2019年第10期1781-1792,共12页魏杰林 袁申 李永明 梁常建 
国家自然科学基金~~
为了增强计算树逻辑在时序上的表达能力,以广义可能性测度、决策过程和计算树逻辑为基础,研究了具有决策过程的广义可能性模糊时态计算树逻辑的模型检测。首先采用广义可能性决策过程作为系统模型;然后引入模糊时态算子,构造了模糊时态...
关键词：模糊时态 决策过程 广义可能性测度 计算树逻辑 模型检测 
具有模糊时态的广义可能性线性时序逻辑的模型检测被引量：10
《电子学报》2017年第12期2971-2977,共7页梁常建 李永明 
国家自然科学基金(No.11271237;No.11671244;No.11401363;No.11501345);高等学校博士学科点专项科研基金项目(No.20130202110001)
本文首先定义了具有模糊时态的广义可能性线性时序逻辑GPoFLTL(Generalized Possibilistic Fuzzy Linear Tempora Logic)的语构以及基于路径和基于语言的两种语义解释,证明了GPoFLTL在模糊时态方面对GPo LTL(Generalized Possibilistic ...
关键词：模糊时态 可能性性质 线性时序逻辑 时间复杂度 阈值模型检测 
广义可能性计算树逻辑的模型检测问题被引量：7
《电子学报》2017年第11期2641-2648,共8页梁常建 李永明 
国家自然科学基金(No.11271237;No.11671244;No.11401363;No.11501345);高等学校博士学科点专项科研基金(No.20130202110001)
本文首先分别给出了"约束可达","总是可达"这两个公式在广义可能性计算树逻辑(GPo CTL)中的另外两种等价形式;其次讨论了基于广义可能性测度的计算树逻辑的模型检测问题,将GPo CTL的模型检测问题规约为经典的CTL模型检测问题,利用截集...
关键词：可能性理论 计算树逻辑 模型检测 时间复杂性 规约 
教育实习成绩的模糊数综合评价被引量：1
《太原师范学院学报（自然科学版）》2015年第3期10-12,共3页梁常建 
商丘师范学院校级教改项目(2013jgxm15)
首先把评价指标体系中的各级评价指标建立在模糊区间值上,使对教育实习的评价建立在更广的范围上,然后利用模糊数对教育实习成绩进行综合评价,从而使对学生教学素养的评价更为客观、合理、有效.
关键词：模糊数 模糊区间 评价函数 
MATLAB在模糊数学教学中应用示例
《考试周刊》2012年第11期44-45,共2页杨春志 梁常建 
淮南师范学院校级教学研究项目(NO.HSJY201016)
作者探讨了在模糊数学教学中运用MATLAB软件来辅助课程教学的方法，并以示例积极推进可视化教学，提高了教学质量。其结果表明教学效果明显．
关键词：MATIAB模糊数学 教学效果 
格值正则语言截集的封闭性
《陇东学院学报》2011年第6期12-14,共3页梁常建 王景梅 
河南省前沿与技术研究项目(092300410148);河南省技术攻关项目(092102210152)
主要研究了格值正则语言截集的同态、逆同态、连接、商和反转乘积等代数运算的封闭性质.
关键词：格值正则语言 截集 封闭性 
格值正则语言截集的封闭性
《赤峰学院学报（自然科学版）》2011年第10期3-5,共3页梁常建 朱民 
河南省前沿与技术研究项目(092300410148);河南省技术攻关项目(092102210152)
本文主要研究了格值正则语言截集的交,并,补等代数运算的封闭性质.
关键词：格值正则语言 截集 封闭性 
学生成绩管理系统设计被引量：1
《科技信息》2011年第22期218-218,共1页朱民 梁常建 
利用现代的计算机技术开发基于B/S的成绩管理系统,提高学校信息化水平,达到无纸化办公,从而不断提高现代化的教育理念和手段,更好地为教学服务、为师生服务。本文按照角色对拥有功能划分,使用三层体系结构进行设计,讲述了数据库的设计。
关键词：成绩系统 三层体系 表示层 角色 
关于群的弱同态的一个结论
《高师理科学刊》2011年第6期31-32,共2页王景梅 梁常建 
设G1,G2为群,映射f∶G1→G2是弱同态映射,通过在G1中构造同态元集和反同态元集,证明了f不是同态映射就是反同态映射.与相关文献相比,该证明过程简洁明了.
关键词：弱同态 同态 反同态 
格值正则语言的逼近性质
《太原师范学院学报（自然科学版）》2010年第2期22-24,共3页梁常建 邵海成 
河南省前沿与技术研究项目(092300410148);河南省技术攻关项目(092102210152)
文章主要在格半群L=[0,1]上研究了格值正则语言的逼近性质,从覆盖、拟正定等方面给出了格值正则语言可被正则语言逼近的充分或必要条件.
关键词：格值正则语言 ε-覆盖 拟正定 逼近性质 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部