梁常建
- 作品数：16 被引量：16H指数：2
- 供职机构：陕西师范大学数学与信息科学学院更多>>
- 发文基金：河南省基础与前沿技术研究计划项目国家自然科学基金国家教育部博士点基金更多>>
- 相关领域：理学自动化与计算机技术自然科学总论文化科学更多>>
- 学生成绩管理系统设计被引量：1
- 2011年
- 利用现代的计算机技术开发基于B/S的成绩管理系统,提高学校信息化水平,达到无纸化办公,从而不断提高现代化的教育理念和手段,更好地为教学服务、为师生服务。本文按照角色对拥有功能划分,使用三层体系结构进行设计,讲述了数据库的设计。
- 朱民梁常建
- 关键词：表示层角色
- 格值正则语言截集的代数性质
- 本文主要研究了格值正则语言在水平结构意义下的交,并,补等运算的封闭性,给出了格值正则语言的水平结构关于这些运算的封闭或不封闭的条件.
- 梁常建李永明
- 关键词：模糊语言
- 文献传递
- 格值正则语言截集的封闭性
- 2011年
- 主要研究了格值正则语言截集的同态、逆同态、连接、商和反转乘积等代数运算的封闭性质.
- 梁常建王景梅
- 关键词：截集
- 格值正则语言的代数性质
- 2009年
- 本文主要从可容集的角度研究了格值正则语言,给出了一个语言是格值正则语言的充要条件,并说明了格值正则语言关于商是封闭的.
- 邵海成梁常建
- 关键词：代数性质
- 格值正则语言截集的封闭性
- 2011年
- 本文主要研究了格值正则语言截集的交,并,补等代数运算的封闭性质.
- 梁常建朱民
- 关键词：截集
- 格值正则语言的逼近性质
- 2010年
- 文章主要在格半群L=[0,1]上研究了格值正则语言的逼近性质,从覆盖、拟正定等方面给出了格值正则语言可被正则语言逼近的充分或必要条件.
- 梁常建邵海成
- 关于群的弱同态的一个结论
- 2011年
- 设G1,G2为群,映射f∶G1→G2是弱同态映射,通过在G1中构造同态元集和反同态元集,证明了f不是同态映射就是反同态映射.与相关文献相比,该证明过程简洁明了.
- 王景梅梁常建
- 关键词：同态反同态
- 教育实习成绩的模糊数综合评价被引量：1
- 2015年
- 首先把评价指标体系中的各级评价指标建立在模糊区间值上,使对教育实习的评价建立在更广的范围上,然后利用模糊数对教育实习成绩进行综合评价,从而使对学生教学素养的评价更为客观、合理、有效.
- 梁常建
- 关键词：模糊数评价函数
- 格值正则语言截集的逼近性质
- 2010年
- 主要在格半群L=[0,1]上研究了格值正则语言截集的逼近性质,从覆盖、拟正定等方面给出了格值正则语言的截集语言可被正则语言逼近的一些充分或必要条件.
- 梁常建韩忠民
- 关键词：截集
- 基于广义可能性时序逻辑的定量模型检测
- 经典的模型检测由于其自动化的特点被广泛用于系统的功能正确性和可靠性验证,其强调系统功能的绝对正确,是一种定性的验证方法.随着系统日益复杂,系统中不可避免地会出现一些不确定的信息,这就要求验证过程中不仅要考虑系统的功能需求...
- 梁常建
- 关键词：时序逻辑截集模糊矩阵
- 文献传递
