武汉CBD规划建设问题初探

在武汉向国际性城市的目标迈进过程中，ＣＢＤ的规划建设问题是当前面临的重大问题之一。在ＣＢＤ理论基础上，指出了武汉ＣＢＤ的现状与存在的问题，最后提出了武汉ＣＢＤ规划建设的构想方案。     

SBS改性道路沥青

综述了沥青、ＳＢＳ、聚合物／ＳＢＳ改性沥青的发展沿革，以及聚合物改性沥青用于道路铺筑对社会带来的效益，并进行了展望。提出在ＳＢＳ改性道路沥青方面主要是解决ＳＢＳ与沥青混配问题，即相容性问题。而星型不等臂（ＳＢ）ｎＲ将是解决这一问题的有效方法。     

Benard问题的后向唯一性

证明Ｂｅｎａｒｄ问题解的后向唯一性，所用的方法源于ＣｏｎｏＮＨＢＮＯＢ。     

关于（A,B）型算子理想的某些注记

推导和证明由ＧｏｎｚａｌｅｚＭ和ＭａｒｔｉｎｏｎＡ．新近建立的（Ａ，Ｂ）型算子理想的某些本性质，对（Ｌ，Ｂ）是否与Ｂ的闭满射包重合问题进行了讨论，提出并且分析了一些有趣的问题。     

多媒体办公文书的存储管理

多媒体文书对象是一种二进制大对象（ＢＬＯＢ），而对于ＢＬＯＢ的存储管理至今还没有一个很完善的模型．但存储效率问题是文书管理急需解决的问题．本文提出了关于多媒体文书存储管理的组织模式和存取方法，实现一种非平面文件组织，建立一体化虚拟缓冲机制．较好地解决了对多媒体文书对象的存储和查询效率问题．     

依赖域型拟Newton法的全局收敛性

对一般无约束最优化问题从理论上证明了由依赖域型的Ｐｏｗｅｌｌ－对称－Ｂｒｏｙｄｅｎ拟Ｎｅｗｔｏｎ法与对称秩１拟Ｎｅｗｔｏｎ法产生的点列至少有一极限点是函数的稳定点。对于非线性最小二乘问题，Ｂｒｏｙｄｅｎ－Ｄｅｎｎｉｓ方法，Ｂｅｔｔｓ方法和Ｂｅｒｔｈｏｌｏｍｅｗ－Ｂｉｇｇｓ方法具有同样的全局收敛性。     

二维非零既约传递函数BIBO稳定的一种充要判据

讨论了其分子分母不具有零互质性的二维传递函数的ＢＩＢＯ稳定性，在一定条件下得到了一种新的充要判据。该判据将ＢＩＢＯ稳定性的判别问题转化为比较两个多项式结式的公因子重数问题，从而使问题在一定程度上得到简化。算例分析表明：该判据在某些方面的确优于许多现有结果。     

一种在非单调和不完全领域知识下的EBL方法

基于解释的学习（ＥＢＬ）克服了基于相似性的学习中的一些局限性，但是由于领域知识的不完全性和非单调法，在ＥＢＬ过程中会出现等多重解释问题，运用分层ＡＴＭＳ（基于解释的真值维护系统）来实现ＥＢＬ方法，由于分民支ＡＴＭＳ能处理非单调推理和多重假设集，因而它能根据不同原因解决了ＥＢＬ中的多重解释问题。     

非线性IMBq方程解的Blow—up

研究ＩＭＢｑ方程的定解问题，采用Ｇａｌｅｒｋｉｎ方法证明了局部强解的存在唯一性．利用凸性方法，在一定条件下，证明了ＩＭＢｑ方程的Ｂｌｏｗ－ｕｐ性质．     

关于矩阵乘积迹的两个问题

关于矩阵乘积迹的两个问题刘希普，黄少通文［１］证明了下述两个不等式成立：（１）设Ａ为Ｈｅｒｍｉｔｅ矩阵，Ｂ为斜Ｈｅｒｍｉｔｅ矩阵，则ｔｒ（ＡＢ）￣２＞ｔｒＡ￣２Ｂ￣２；（２）设Ａ，Ｂ均为余Ｈｅｒｍｉｔｅ矩阵，则ｔｒ（ＡＢ）￣２≤ｔｒ（Ａ￣２Ｂ￣２）。...