高喷防渗在田西水库安全加固工程中的应用

本文介绍了高喷防渗工艺的原理、工法特点及适用范围，以及防渗加固工程中的高喷工艺及技术参数，供广大工程技术人员做参考。     

矩阵函数不定积分性质的修正

根据矩阵函数的不定积分的定义，用反例证明矩阵函数不定积分的“齐次性质”不成立，并对该性质进行了修正。     

求最小生成树的矩阵算法

最小生成树问题是运筹学网络优化中一个常见的基本问题．提出了一种新的求最小生成树的矩阵算法，此算法可以不必在原图上进行操作而得到最小生成树，过程简单易懂．     

二阶K-可换矩阵Kronecker积的性质

探讨了二阶K-可换矩阵的Kronecker积的若干性质,得到了一些新的结果.     

变时滞非线性细胞神经网络稳定性分析

通过构造新的Lyapunov-Krasovskii泛函和线性矩阵不等式(linear matrix inequatity,LMI),研究变时滞非线性细胞神经网络渐近稳定性,利用牛顿-莱布尼兹公式,一些参数矩阵表达出系统变量之间的关系。从而得出一个具有变时滞相关的全局渐近稳定性判据,其扩展并改善了以前文献的结果。数值及仿真例子验证了结果的有效性。     

四阶椭圆方程的一个十四参数非协调四面体元(英文)

针对四阶椭圆方程,构造一个十四参数非协调四面体元,并在三维空间中证明了该单元关于重调和方程模型收敛.     

一种消除锯齿的图像放大算法

为了最大程度消除图像放大后出现的锯齿现象,提出了一种新的二次导数连续的多结点立方卷积插值函数,通过增加结点使得插值曲线更加的平滑;同时对插值函数引入逆梯度约束条件,然后根据图像放大的倍数定义一个适当的模板对图像进行卷积操作,自适应的消除图像放大后出现的锯齿现象。实验结果表明,该算法在对图像执行高倍放大时,几乎看不到锯齿,同时图像的清晰度也保持的较好。     

高层建筑消防浅谈

论述了高层建筑消防特点,指出了高层建筑消防中存在的问题,并提出了相应的解决方法,旨在为高层建筑消防的设计提供指导。     

平面梁单元的温度应力

介绍了能量原理在结构矩阵分析方面的原理及应用。以虚位移原理为理论依据,采用MATLAB符号运算的方法,分析了平面梁单元在荷载及温度变化影响下的单元刚度矩阵。计算表明:该方法在形成和求解由平面梁单元组成的工程结构时,具有较大的速度优势及良好的程序可读性。     

一类高阶线性微分方程的算子解法及其解的稳定性

本文利用微分算子研究一类高阶线性微分方程的解法及其解的稳定性,推广了文[3]的有关结果.