楼志刚
- 作品数：6 被引量：6H指数：2
- 供职机构：西安理工大学机械与精密仪器工程学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：理学自动化与计算机技术水利工程更多>>
- 小型水电站坝体质量检测系统的设计与应用研究
- 在一些经济不发达地区，开发小型水电站是一种行之有效的发展区域经济的途径。但这些电站由于投资小，规模小，不能够配备完善的检、监测设备，加之质量意识薄弱等原因，造成这部分电站的质量难以控制。忽视施工质量检测的问题存在多方面的...
- 楼志刚
- 关键词：小型水电站无损检测水坝
- 文献传递
- 对称逻辑度量次范整子空间及其性质
- 2013年
- 在经典逻辑度量空间中定义了加法和数乘运算,利用公式的距离引入了经典逻辑度量空间中的范数的概念,从而证明了经典逻辑度量空间作成线性次范整空间。引入了次范整线性子空间的概念。证明了n元逻辑公式之集中的对称逻辑公式子集构成了次范整线性子空间,并讨论了该子空间的简单性质。
- 楼志刚刘宏昭胡明娣
- 关键词：对称布尔函数次范整线性空间真度
- 格值离散事件系统的监控
- 2012年
- 引入了赋值域是格时离散事件系统的形式化定义,并提出了由它所生成的语言的可控性概念,以及给出并证明了格值离散事件系统的可控性的充要条件。最后得到了给定语言的极大可控子语言和极小可控超语言的存在性的证明以及它们的表达式。
- 楼志刚刘宏昭
- 关键词：离散事件系统
- 经典逻辑度量空间中的边角关系被引量：3
- 2011年
- 目的研究逻辑度量空间的内蕴结构,讨论其中三角形的结构及相关性质。方法利用计量逻辑学理论中建立的距离函数进行计算。结果首先证明了在经典逻辑度量空间([F(S)],ρ)中存在等边多边形,直角三角形等特殊图形。其次证明了不存在边长大于或等于2/3的等边三角形,但存在边长可任意接近2/3的等边三角形。同时证明了Lindenbaum代数上的反射变换φ*和平移变换ηG保持等边三角形、直角三角形的边角关系不变。最后证明了在经典逻辑度量空间中三逻辑公式构成的三角形中,内角的余弦在[0,1]中稠密,即,它们的内角在[0,π2]上稠密分布。结论等边三角形的边长可任意接近2/3,但是逻辑度量空间中不存在边长大于或等于2/3的等边三角形。并且,Lindenbaum代数上的反射变换和平移变换保持等边三角形、直角三角形的边角关系不变。以上结论为进一步讨论和找寻经典逻辑度量空间中的基本结构奠定了基础。
- 胡明娣楼志刚
- 关键词：LINDENBAUM代数等距变换内角
- 蕴涵格的正规MP滤子与素滤子被引量：3
- 2008年
- 在蕴涵格上定义了MP-滤子、生成滤子、正规MP-滤子与素滤子的概念,研究了它们的特征性质,讨论了正规MP-滤子和MP-滤子之间的关系,得到正规MP-滤子是MP-滤子的结论,证明了蕴涵格的素滤子定理。它们是R0-代数或MV-代数上相应滤子的性质的共同特征。
- 胡明娣楼志刚
- 关键词：蕴涵格素滤子
