多值非扩张非自映射的强收敛定理

对多值非扩张映射构造了两个迭代算法,在自反且严格凸Banach空间中证明了强收敛定理。研究结果推广了Matsushita-Takahashi的结果。     

敏捷遥感卫星工作模式研究

综述了国外商业遥感卫星发展情况,归纳总结了高分辨率商业卫星的主要技术指标和特点。在充分调研国外敏捷遥感卫星的基础上,从成像目标需求、分辨率与幅宽关系、立体成像三方面总结出此类卫星的技术特点,阐述了发展敏捷遥感卫星的重要意义和作用,并深入分析了实现姿态敏捷控制的技术途径。利用姿态的敏捷控制能力,研究提出了多点目标成像、立体成像、宽幅拼接成像、动态扫描成像等4种典型工作模式,完成了敏捷卫星主要工作模式的分析与设计,并基于此工作模式要求,提出了敏捷卫星工程实现的技术途径。     

Analysis and improvement of ionospheric thin shell model used in SBAS for China region

The most frequently used mapping function for converting slant total electron content (STEC) to vertical total electron content (VTEC) uses a simplified ionospheric single layer model in satellite based augmentation system (SBAS). Aiming at ionospheric single layer model altitude variation, we analyzed the statistical characteristic of mapping function in systemic approach particular for the region of China, and then experimental mapping function was proposed. The experimental mapping function is used in SBAS ionospheric correction and the precision of vertical correction is compared with standard mapping function. The results show that conversion factor errors depend on latitude, time and elevation, experimental mapping function is helpful to the vertical TEC estimation and may improve the precision of SBAS ionospheric refraction correction especially for the low latitude region of China.     

小行星形貌测绘与表征技术

小行星表面形貌测绘是深空小行星探测的首要任务。提出了一种适应探测器抵近观测的立体视觉在线测绘小行星形貌的方法,即先由立体相机获得所摄重叠区的三维地形,再用前后立体模型的连接点将各个独立模型连成一个完整地形信息,经整体最小二乘平差,确定小行星的形貌模型及特征;同时提出了一种基于等值线分析的撞击坑特征提取方法,即通过提取、分析地形等值线识别出地形中撞击坑特征。实验结果显示,本文所构建的原型系统能够快速重建出探测区域的三维地形,并识别出地形中撞击坑特征,证明了所提方法具有实用性。     

组合服务控制流测试

结合Web服务本体语言(OWL-S,Web Ontology Language for Services)和线性时态逻辑理论(LTL, Linear Temporal Logic),研究用于测试的组合服务流程形式化描述方法和动态测试信息分析方法.将OWL-S作为组合服务的需求参考模型,采用组合服务标准和形式化描述方法相结合的方式,用线性时态逻辑刻画OWL-S控制结构的动态语义,明确地表示出控制结构中各成分的执行顺序.进一步用线性时态逻辑公式集合描述组合服务的控制流需求,从而使原子服务的交互模式有了明确的表示.基于这种交互模式表示,采用LTL在有限状态序列上的语义,对组合服务实现执行过程中获取的动态信息进行分析,测试组合服务实现的执行过程与组合服务控制流需求的一致性.     

基于本体的语义相似在维修案例推理中应用

案例推理(CBR,Case-Based Reasoning)方法基于历史经验对新问题进行求解,适于飞机维修保障的知识表达和应用.针对飞机维修保障过程中涉及故障记录、诊断分析、维修处理等诸多方面和专业的特点,对相关信息和专业知识的分类方式及相互关系进行了讨论,给出维修保障领域知识和案例知识定义.通过面向对象分析方法建立了产品、故障模式、故障原因和数据字典等领域知识的本体模型,实现知识的一致性描述;重点对案例本体构建和检索进行了研究,基于领域本体结构的深度和出度计算案例特征的语义相似性,给出维修保障案例匹配方法,在此基础上开发了飞机维修保障知识管理系统并给出应用实例.     

复合Halpern迭代逼近一族m-增生映像公共零点

在严格凸的Banach空间E中,介绍了一种新的复合迭代方法强收敛到一族m-增生映像公共零点。K是E中非空闭凸子集,假定E的每个非空闭凸子集上的非扩张映像都存在不动点,Ai：K→E（i=1,2,…,r）是一族m-增生映像,{xn}是由复合Halpem格式定义的迭代序列,证明了当n→∞时,{xn}强收敛于方程Aix=0（i=1,2,…,r）的公共解,改进和推广了Zegeye和Shahzad等人的相应结果。     

复合Halpern迭代逼近可数个增生映像的公共零点

设E是严格凸和自反的实Banach空间且其范数是一致Gateaux可微的,K是E中非空闭凸子集,Ai：K→E（i∈N）是m-增生映像且公共不动点集非空,u∈K是给定点,X1∈K是任一初始点,{αn}^∞ n=1、{β}^∞ n=1是[0,1]中的实数列且满足如下条件：（i）lim n→∞αn=0,∑^∞ n=1 αn=∞,∑^∞ n=1｜αn＋1－αn｜〈∞;（ii）lim n→∞βn=0,∑^∞ n=1｜βn＋1－βn｜〈∞。设{Xn}^∞ n=1是由下面复合Halpern格式定义的迭代序列：{yn=βnXn＋（1-βn）SXn,n≥0 Xn＋1=αnu＋（1-αn）yn其中S=∑∞ i=1ξiJAi,JAi=（1＋Ai）^-1（i∈N）,那么{Xn}∞ n=1强收敛于{Ai}i∈N的公共0点。本文的结果改进和推广了Zegeye和Shahzad,Ofoedu以及其他作者的相应结果。     

一种修正的Mann迭代算法的强收敛性

设H是一Hilbert空间,C为H的非空闭凸子集,T：C→C为一非扩张映射。在假设零元素θ∈C的情况下采用正则化思想,提出了一种不涉及投影算子的Mann迭代修正算法来逼近T的不动点,证明了算法的强收敛性。     

Flight performance analysis of GRACE K-band ranging instrument with simulation data

A dual one-way ranging (DOWR) system provides very high accuracy range measurements between two satellites. The GRACE satellite mission implements the DOWR, called KBR (K-band ranging), to measure very small inter-satellite range change in order to map the Earth gravity field. The flight performance of the KBR is analyzed by using a hybrid software simulator that incorporates actual satellite orbit data into a comprehensive KBR simulator, which was earlier used for computing the GRACE baseline accuracy. Three types of experiments were performed. First is the comparison of the flight data with the simulated data in spectral domain. Second is the comparison of double differenced noise level. Third is the comparison of the range-rate difference with GPS clock estimates. The analysis shows a good agreement with the simulation model except some excessive high frequency noise, e.g. 10⁻⁴ m/√Hz at 0.1 Hz. The range-rate difference shows 0.003 cyc/s discrepancy with the clock estimates. These analyses are helpful to refine the DOWR simulation model and can be benefit to future DOWR instrument development.