Banach空间中一类非线性积分微分方程的解

本文研究 Banach 空间C(I,E),I=[0,1]中非线性积分方程的解的存在唯一性,解的性质,对于 Volterra 型积分徽分方程,得到了解的存在唯一性定理,并给出了解的近似算法及误差估计,对于 Fredholm 型积分微分方程,得到了解的存在性定理。     

巴拿赫空间中Ishikawa过程非扩张映射不动点逼近

X是一致凸巴拿赫空间,其对偶空间X*有KK性质.C是X的有界闭的凸子集.TC→C是一非扩张映射.证明对于任意初始假设x0∈C,通过xn+1=tnT(snTxn+(1-sn)xn)+(1-tn)xn,n=0,1,2,…定义的Ishikawa迭代弱收敛到T的不动点,其中limsupn→+∞ sn≤1,{nk}+∞ k=0是满足∑+∞ k=0 tnk(1-tnk)发散的{n}+∞ n=0的子列.由此证明Zeng[6]的定理,Tan和Xu[3]的定理1,Reich[5]的定理.条件"X*有KK性质"比文献[6]中的"有Frechet导数模"严格地弱也被强调.     

基于数字摄影测量技术的三维建模

以数字航空遥感立体像对为基础 ,辅以地面数字近景摄影测量的方法 ,建立城市三维景观模型 .根据遥感像对之间的相互关系建立一个交会模型 ,得到地物点坐标 ,建立数字表面模型 (DSM) ,然后通过纹理映射描述细部 .实践证明 ,这一方法具有精度高和速度快等特点 ,能有效地实现速度和逼真度的兼顾 ,特别是对于大范围区域的三维建模更能显示其优越性 .     

Heyting代数定义的简化

Heyting代数是一类重要的代数。我们指出Heyting代数定义中的某个条件可略去，从而简化定义。     

大比例尺数字测图初探

文章论述了大比例尺数字测图的特点、作业方法和基本作业过程 ,提出测绘人员必须充分认识测绘技术发展的大势所趋 ,努力学习和提高自己     

基于曲面纹理映射的图像对象阴影快速生成方法

在虚拟环境中，对象阴影的轮廓与在光源位置对对象的观察视图相同。通过对图像对象的视图载体进行网格化分割，对每个网格点基于光线跟踪算法计算投影点，基于光源位置计算对象阴影轮廓，从而提出了一种三维地形场景中基于曲面纹理映射的图像对象阴影快速生成方法，并对算法的性能进行了分析。实验表明，在动态光照条件下，该方法在增强对象真实感的同时，能够获得较为理想的场景渲染实时性。     

理想成象面上飞行器运动轨迹映射研究

研究了飞行器轨迹三维坐标在理想观测象面上的二维映射方法，在此基础上，对飞行器在位于地球静止轨道上的传感器理想象面上的映射进行了仿真，实验效果较为理想。仿真过程中作者提出了把映射中用到的参数分为相机指向参数和定位参数等方法以更准确地描述飞行器运动轨迹的在理想象面上的映射。     

关于群体惩罚评分映射的理性条件

提出基数型群体决策的匿名性、中立性、正响应性、非负响应性、强Pareto原则和局部非独裁性等理性条件,证明了与群体惩罚评分方法相对应的群体惩罚评分映射满足所有这些条件.     

遮挡情况下运动目标的跟踪

遮挡是基于图像对运动目标识别与跟踪时经常遇到的问题,也是动态图像处理上比较难于解决的问题之一。首先给出了一种基于2-D图像序列的运动目标跟踪算法,并对其实现技术进行了讨论。最后给出了实验结果,从实验结果可以看出,该算法对短时间内被遮挡的运动目标的跟踪和预测效果良好。     

广义Hartogs多面体之间的全纯逆紧映射

给出C~N空间之间的两类广义Hartogs多面体之间的全纯逆紧映射存在的充分必要条件。这个充要条件与广义Hartogs三角形之间的全纯逆紧映射存在的充分必要条件相似。