《数理逻辑教程》

鉴于国内外数理逻辑科学的迅速发展,为适应我国四化建设的需要,华中工学院出版社已出版莫绍揆教授著的《数理逻辑教程》一书.全书约245千字,定价1.40元.本书非常注意理论与实践相结合的原则,对数理逻辑各重要概念的来龙去脉以及数理逻辑各家学说介绍得特别详细而有系统,为同类书籍所少有.本书提出了一些理论方面的创见与新说法,例如,约束词新说法可使读者对数理逻辑最重要的基本概念有清晰而深刻的理解;又如,永真假性的特征数的概念是这方面的总结性理论.这些都是过去书中所没有的.     

基于多模式融合的双自由度太阳能追踪系统的研究与设计

随着资源与环境问题的日益剧增,新能源的发展迫在眉睫。为破解太阳能利用率相对较低的难题设计了一款基于多模式融合的双自由度太阳能追踪系统,可通过控制电池板的旋转提高光伏发电的效率。系统选用MSP430F149微控制器,将光电检测与视日运动轨迹两种追踪模式进行融合,采取双自由度的结构确保太阳能吸收装置实现水平、垂直多自由度旋转;系统通过光电检测判断、信号传输、驱动电机调整太阳能板角度,能够有效提升太阳能板光电转化效率。     

线性偏微分方程组Cauchy问题一致适定性的行列式判别法

本文仿线性常微分方程组零解稳定性的判别法,研究线性偏微分方程组的Cauchy问题,得到该问题一致适定性的行列式判别法,导出一类抛物型方程组.     

一元不连续函数的白恩斯坦多项式的微分性质

本文在文献[1]的基础上,研究一元不连续函数的白恩斯坦多项式的各阶导数的收敛性质,所得结果与[2][2]不同。我们沿用[1]中有关概念和记号。     

工艺因素对煤矸石莫来石化的影响

以天然煤矸石为原料采用粉末烧结法制备莫来石,利用XRD、SEM对烧成试样进行表征,并检测其显气孔率及体积密度,分析原料粒度和烧成温度等工艺因素对所制莫来石的致密化程度、物相组成以及显微结构的影响。结果表明,煤矸石粉料的粒度越小,大小越均匀,烧成试样的致密化程度就越高;烧成温度达到1250℃时试样中有莫来石相生成,烧成温度超过1500℃后,试样中主晶相为莫来石,但试样体积密度低,显气孔率高;在1600℃×3h的烧结条件下可获得体积密度为2.81g/cm3、显气孔率为6%的压块烧成莫来石,其中柱状自生长莫来石晶体呈交织网络状结构分布,晶粒大小为5~14μm。     

高校科研经费管理问题研究

科研经费管理是高校财务管理的重要组成部分,该文通过分析我国高校科研经费的管理现状及存在的问题,对如何加强科研经费管理,完善科研经费的监督机制进行了研究.     

线性偏微分方程组Cauchy问题一致适定性的共轭转置判别法

本文基于文献[1],讨论线性偏微分方程组的Cauchy问题,得到了一致适定性的共轭转置判别法。     

二维非线性微分方程组解的全局稳定性

本文用在相平面上分区域构造Ляпунов函数v(x,y)的方法,讨论二维非线性微分方程组解的全局稳定性问题.许可v(x,y)在区域边界上不可微,甚至不连续,推广了文献[1]中n=2时的主要结果.     

一类二阶微分方程J曲线的存在定理

本文用与文献[1]和[2]不同的构图方法,在比文献[3]较弱的条件下,证明了一类二阶微分方程J曲线的存在定理.