球面子流的一个余维可约化定理

设Ｓ＾ｎ＋ｐ（１）是ｎ＋ｐ维单位球面,Ｍ＾ｎ 紧致子流形,本文从两个方面推广了Ｙａｕ「Ａｍ．Ｊ．Ｍａｔｈ。,１９７４,９６：３４６;１９９５,９７：７６」证明的一个余维可约化定理。     

句子规划器的设计与实现

介绍生成多语种天气预报文本系统中句子规划器的设计与实现．句子规划主要由两部分组成：句子优化和语言资源映射．前者按照一定的优化规则在句子之间消除冗余成分;后者根据具体语言特点对句子进行结构化处理,确定文本结构树并为树中各节点添加语言资源信息,以供表层生成处理时使用．     

关于Gauss映射的一些结果

本文主要结果如下：１）Ｌｉｐｓｃｈｉｔｚ－Ｋｉｌｌｉｎｇ曲率沿单位法球丛的纤维积分可得Ｇａｕｓｓ曲率;２）证明了曲面的关于广义Ｇａｕｓｓ映射象的面积,全中曲率的关系的一个公式;３）广义Ｇａｕｓｓ映射的球面象不可能在一个开半球内。     

瓦斯突出等级预测模型

针对瓦斯突出等级评判方法预测准确度低的问题,提出一种基于拉普拉斯特征映射算法（LE）和改进的乌鸦搜索算法（ICSA）优化核极限学习机（KELM）的瓦斯突出预测模型。利用LE算法对瓦斯突出数据进行非线性降维,消除变量间的相互重叠;引入Tent扰动序列、自适应步长和自适应感知概率改进传统的乌鸦搜索算法（CSA）,有效避免算法陷入局部最优,提高算法的收敛性能;采用ICSA算法对KELM的相关参数进行寻优,建立基于LE和ICSA-KELM的瓦斯突出等级评判模型。经过对比试验表明,该模型能够有效提高预测准确率。     

B(X)上的(m,n)-Lie中心化子

设X是实数域或复数域F上维数大于1的Banach空间,Ф:B(X)→B(X)是一个可加映射。证明了如果存在正整数m,n使得(m+n)Ф([A,B])=m[Ф(A),B]+n[A,Ф(B)]对任意A,B∈B(X)且AB=P（其中P∈B(X)是一个固定的非平凡幂等元）成立,则存在λ∈F及在AB=P的换位子上为零的可加映射h:B(X)→F使得对任意A∈B(X),有Ф(A)=λA+h(A)I.     

基于Retinex的亮度-梯度协同引导色调映射算法

针对梯度域色调映射方法在图像主观显示性能方面存在的不足,利用人类视觉系统的感知能力和梯度域方法,提出一种基于Retinex理论的亮度-梯度协同引导色调映射算法.首先,提出作用域感知的自适应归一化方法,针对不同作用域算法构造归一化映射;然后,引入Retinex亮度引导项对背景亮度进行估计,并基于梯度引导项对图像进行动态范围压缩;最后,将亮度、梯度引导项联合进行统一建模,用指数平均局部方差权重抑制光晕.实验结果表明,该算法在动态范围压缩的同时抑制了过饱和与伪影现象,具有良好的视觉效果和鲁棒性.     

保持节点相邻的虚拟网络映射算法

网络虚拟化技术的应用依赖于将虚拟网络映射到底层基础设施的虚拟网络映射算法。现有虚拟网络映射算法的物理资源使用率较低,对于映射结果的优化较少。基于此,本文提出并设计实验证明了一种保持节点相邻的虚拟网络映射算法。该算法可以在略微降低映射效率的情况下,尽可能地保持相邻的虚拟节点在实际物理网络中的相邻,从而大大地缩短了物理链路,提高了物理资源的利用率;同时优化映射结果,提高了虚拟网络的工作效率,从而提高了服务质量。     

技能映射通过析取模型诱导的多分知识结构

基于程序性知识的评估,提出由项目自身的状态结构诱导多分知识结构的方法,以建立适用于问题解答的多分评估体系.首先,根据各项目的解答或操作步骤设定响应值集,通过项目状态转移函数定义项目状态空间;然后,用操作程序表示技能,由过程函数导出析取的技能映射;最后,讨论技能映射通过析取模型诱导的多分知识结构.结果表明：技能映射通过析取模型诱导的多分知识结构是多分知识空间.     

泛Loeb可测集的S-饱和性

在 K-饱和的非标准模型中,研究了泛 Loeb 可测集 m(A),pns(~*X),cpt(~*X),fin(~*X),ns(~*X)的 S-饱和性.当 A 是紧致 Hausdorff 空间 X 的子集时,得到了 st~(-1)(A)是标准集的充分条件.