一类用内积表达的函数凸性

本文研究用内积表达的某些函数,分析它们的凸性,其主要的结论如下:由一个实的半正定矩阵 An×n 及属于 n 维欧氏空间的向量 a,x 构成[x,Ax]+[a,x]+b(b 为常量)型关于向量 x 的一类内积函数,则此类函数为n 维欧氏空间上的凸函数。A,B 均为 n×n 阶实矩阵、a,x 均属于 n 维欧氏空间向量,那么由 Bx+a,A(Bx+a)构成关于 x 的内积函数,该函数在 n 维欧氏空间上凸的充分条件是 B为任意,A 为半正定的。     

关于第四类超Cartan域上的Bloch函数

给出了第四类超Cartan域上的Bloch函数的充分条件以及必要条件。     

一阶零点邻域反函数存在定理

证明了实变函数与解析函数在一阶零点邻域内反函数存在定理     

周期摄动保守系统的存在性定理

本文利用全局反函数定理讨论了一类非线性边值问题解的存在性与唯一性.     

带有非局部源项的发展方程全局解的不存在性

通过试验函数法,本文讨论了具有形如‖u‖p或‖ Du‖p的非局部源项的发展方程全局解的不存在性.     

Lyapunov稳定性逆定理的另一种证明

Lyapunov方法是研究非线性控制问题的重要手段,而Lyapunov稳定性逆定理又是应用此方法的主要定理,但其证明却非常烦琐.利用直接取指数函数的方法,简化了Lyapunov稳定性逆定理中关键函数G的构造,给出了Lyapunov稳定性逆定理的另一种简单的证明方法.     

基于改进等分节点法的启发式布局算法

针对集成电路标准单元模式的布局问题，提出了一个全新的基于改进等分节点法的启发式标准单元布局算法(TETP)，该算法在优化布局过程中采用改进的等分节点法寻找单元目标位置，同时结合局部寻优的启发式算法，对MCNC(Microelectronics Centre of North-Carolina)标准单元测试电路进行实验。结果表明，与布局工具Timber Wolf7．0和FengShui相比，电路布局的总线长度分别平均减少了16％和17％。     

高铁混合垢化学清洗技术

作者研制了高铁混合垢的化学清洗配方及工艺,经生产应用收到了良好效果,除垢率及缓蚀率均超过劳动部标准和水利电力部标准.     

结构动力分析一种简易的直接积分法

本文利用方块脉冲函数优良的运算性质,提出一种结构动力分析简易的直接积分法——方块脉冲函数法,具有无条件稳定的积分格式,并表明方法的可行和有效.     

关于Picard和Schottky定理的精确界

本文建立了一组与椭圆模函数密切相关的不等式。利用这组不等式得出了Picard定理与Schottky定理的精确界