Banach空间中一阶脉冲微分方程初值问题解的单调迭代方法

在不假定f满足非紧性测度及上下解存在的情形下,运用单调迭代方法,讨论了无穷区间上一阶脉冲微分方程初值问题解的存在性与正解的存在唯一性,对脉冲函数没有加任何单调性结果,改进了已有的结果.     

Banach空间中一类非线性弹性梁方程正解的存在性

讨论了Banach空间非线性弹性梁方程{u^（4）（t）=λf（t,x（t））,t∈J u（0）=u″（0）=u′（1）=u″（1）=θ正解的存在性．通过构造一个特殊的锥,运用锥拉伸压缩不动点定理。证明了上述微分方程正解存在的条件,并给出一个例子说明主要结果．     

一类具有p-η-映射的集值变分包含组

利用与p-η-映射相联系的预解算子技巧,在实Banach空间中构造了一类寻求具有p-η-映射的集值变分包含组问题（SSVIP）近似解的新迭代算法.在适当条件下,证明了由该算法生成的迭代序列强收敛于（SSVIP）的精确解.     

无界域上二阶非线性脉冲边值问题解的存在性

利用压缩映像原理讨论了一类无界域上非线性二阶脉冲边值问题,得到了解存在的简单判别条件.     

Banach空间中度量投影的一点注记

本文利用对偶映射给出了Ｂａｎａｃｈ空间极大线性子空间上的度量投影的表达式。     

Implementing kinematics computation in FPGA co-processor for a 6-DOF space manipulator

Based on the coordinate rotation digital computer(CORDIC)algorithm,the high-speed kinematicscalculation for a six degree of freedom(DOF)space manipulator is implemented in a field programmablegate array(FPGA)co-processor.A pipeline architecture is adopted to reduce the complexity and time-consumption of the kinematics calculation .The CORDIC soft-core and the CORDIC-based pipelined kine-matics calculation co-processor are described with the very-high-speed integrated circuit hardware descrip-tion langua...     

Banach空间常微分方程广义解的正则性

证明了Banach空间中非线性项不连续的常微分方程的Bochner积分意义下的广义解是几乎处处可微的绝对连续解,反之几乎处处可微的绝对连续解也是在Bochner积分意义下的广义解。     

集值转移测度的几种收敛性间的关系

给出了集值测度的一些基本性质,讨论了集值转移测度几种收敛性间的重要关系.同时,给出了r-收敛的等价条件,即任给有界集KX,{d(x,Mn(ω,.),n≥1}在x∈K上一致收敛到d(x,M(ω,.)).     

基于概念词的特征提取方法

为解决因未考虑语义关联造成的VSM描述不准确的问题,基于知网本体库计算词语间的语义相似度,采用识别完全子图的方式生成概念词列表,再用概念词替换存在密切语义关联的词语.实验表明,该方法在改进文档特征提取效果的同时也明显降低了向量空间的维度.与不经概念词处理的特征提取方法相比,该方法在分类识别率上有一定提升.     

相变贮热材料及其在太空中的应用

相变贮热材料是绿色材料,种类达4300多种,具有清洁和节能等优点。系统地介绍了相变贮热材料分类及其特点,讨论了相变贮热材料在太阳能热动力发电、航天器仪器仪表的恒温控制、舱外航天服方面的应用。