随动载荷作用下非线性粘弹性简支板条的混沌运动

考虑材料的粘性和非线性弹性性质,研究了板条在随动载荷作用下的混沌运动,建立了相应的非线性动力方程,利用Melnikov函数给出发生混沌运动的临界条件,结合Poincare映射、相平面轨迹及时程曲线判定系统是否处于混沌状态,并对通向混沌的道路进行了讨论。     

全局灵敏度分析的支持向量机方法

结构全局灵敏度分析中存在隐式极限状态函数和高计算量困难问题,提出支持向量机和蒙特卡洛方法相结合的一种新的全局可靠性灵敏度分析方法。该方法采用支持向量机拟合输入变量与输出响应之间的关系,同时采用均匀映射得到更多数量的失效样本以获得高精度的代理模型,故仅需少量样本即可将隐式极限状态函数显式表达,与直接蒙特卡罗方法相比,可显著提高计算效率。数值算例和工程算例表明所提方法具有一定的工程应用价值。     

企业模型与ERP系统间映射技术

 企业资源计划(ERP)系统刚性太强是其实施成功率较低的一个重要原因。为提高ERP系统的柔性,支持业务系统随企业业务变动而改进其适应性,提出了一种企业模型与ERP系统间的映射元模型,给出了企业模型到ERP系统功能单元、数据、功能单元与数据间关系以及权限的映射信息和映射规则,为快速实施企业资源计划提供了一种支持技术。研究成果已成功地应用于某大型航空企业两种型号的研制,实践证明所提出的方法是可行的和有效的。     

领域本体的自动维护研究

针对领域本体维护的重要性与合并本体存在的异构本体及不一致性错误等问题,提出了一种基于本体合并的领域本体自动维护方法,对相关实现过程作了详细介绍,重点给出了概念的相似性匹配算法.该算法通过计算概念的定义、实例、属性、关系及推理的相似度,得到了本体中概念之间的相似度.本文还探讨了本体不一致性的错误,分析了概念间的上下位关系、非通用关系及相关特性的不一致,并给出了解决方案.实验结果表明,该方法具有一定的实用性和可靠性,能够得到较正确的领域本体的维护结果,并能够解决相关不一致的错误.     

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

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