公共文化服务平台

共 6 条记录，以下是 1-6

全选清除导出

排序方式：

小型水电站坝体质量检测系统的设计与应用研究: 在一些经济不发达地区，开发小型水电站是一种行之有效的发展区域经济的途径。但这些电站由于投资小，规模小，不能够配备完善的检、监测设备，加之质量意识薄弱等原因，造成这部分电站的质量难以控制。忽视施工质量检测的问题存在多方面的...; 楼志刚; 关键词：小型水电站无损检测水坝; 文献传递

对称逻辑度量次范整子空间及其性质: 2013年; 在经典逻辑度量空间中定义了加法和数乘运算,利用公式的距离引入了经典逻辑度量空间中的范数的概念,从而证明了经典逻辑度量空间作成线性次范整空间。引入了次范整线性子空间的概念。证明了n元逻辑公式之集中的对称逻辑公式子集构成了次范整线性子空间,并讨论了该子空间的简单性质。; 楼志刚刘宏昭胡明娣; 关键词：对称布尔函数次范整线性空间真度

格值离散事件系统的监控: 2012年; 引入了赋值域是格时离散事件系统的形式化定义,并提出了由它所生成的语言的可控性概念,以及给出并证明了格值离散事件系统的可控性的充要条件。最后得到了给定语言的极大可控子语言和极小可控超语言的存在性的证明以及它们的表达式。; 楼志刚刘宏昭; 关键词：离散事件系统

一类无线智能传感系统的实现: 2008年; 常见的低功耗、电池供电的无线数字传感器采用的节能方式主要是在传感器的无线发射端采用分时采样发送的方法节约电力.由于在许多场合接受端要求数据采集的频次远低于发射端数据发送的频次,因此,许多次发射是空耗的,浪费了能源.文中设计的无线数字智能传感器,采用上位机编程控制的方法,利用接受端按需要发送请求控制发送端发送数据的方法,在不影响数据采集质量的情况下,最大程度上降低了能耗.; 楼志刚胡明娣; 关键词：低功耗无线通信智能传感器微控制器

经典逻辑度量空间中的边角关系被引量：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-代数上相应滤子的性质的共同特征。; 胡明娣楼志刚; 关键词：蕴涵格素滤子

全选清除导出

共1页<1>

楼志刚