AADL模型的ada代码自动生成及集成技术

基于模型驱动架构MDA方法，对AADL进行了研究，提出了AADL模型元素同ada语言元素之间的映射规则。开发了AADL模型的ada代码自动生成器Generator—ada，最后以实例证明将AADL模型自动转换为可执行的ada代码的有效性。     

B-值多线性映射的有界型核定理

讨论了取值于一般的Banach空间（不必须是自反的）的有界型多线性映射的核定理．     

关于p-一致光滑Banach空间中非自映像的Reich公开问题

在p -一致光滑的Banach空间(1相似文献   

基于信号稀疏性的EMT流型辨识

针对电磁层析成像流型识别率低的问题,提出基于信号稀疏性的EMT流型辨识方法.在Maxwell方程组电磁感应原理基础之上,用Comsol有限元仿真软件建立了带有8个电磁线圈的仿真模型.首先建立了几种不同流型的仿真模型并测量其电压值,将测量电压归一化后作为EMT流型辨识的判别依据;然后将其表示为稀疏性组合;最后通过信号稀疏性建立的数学模型求得最优解,从而实现流型归属.实验结果表明:本文方法能对环流、核心流等进行识别,且识别率较高,是一种值得进一步研究和推广的方法.     

饱和黏土的一维热固结特性试验研究

通过室内试验,研究了饱和黏土在不同温度作用下的固结效应.结果表明:温度对土颗粒的膨胀作用和孔隙比的收缩作用影响较小;高温作用下发生的热膨胀在一定程度上阻碍了变形的发生,高温条件下压缩指数较低温条件下有减小的趋势.但渗透性的增强使得该现象逐渐减弱.随着温度的升高,先期固结应力均随之减小.通过反分析得到了两种黏土的材料参数γ.材料参数γ越大,相同温度下的归一化先期固结应力越小.温度越高,水溶液的黏度越低,越容易被排出,其渗透系数越大,超静孔隙水压的消散越快,所以超静孔隙水压随着温度的升高而减小.渗透系数随着孔隙比的升高而升高.粒径较大试样的渗透系数大于粒径较小试样的渗透系数.     

L-Fuzzy理想的L-Fuzzy剩余类的刻画

给出当L是完全分配格时L-fuzzy理想的L-fuzzy剩余类的定义及若干刻画,并证明了若f:X→Y是环满同态,B是Y的L-fuzzy理想,则X关于L-fuzzy理想f -1(B)的L-fuzzy剩余类做成的环X/f-1(B)与环Y同构.     

基于启发式的多机器人SLAM地图融合方法研究

同步定位和地图构建（simultaneous localization and mapping,SLAM）是移动机器人在未知环境中完成地图构建和定位任务的关键技术。针对多机器人SLAM中的地图融合问题,提出一种启发式的搜索方法引导局部地图的重复区域进行地图融合。每个机器人可以在不了解其相对位置的情况下建立局部地图,并将局部地图信息发送至同一工作站中,以局部地图的相似性为判断指标融合得到最优的全局地图。在机器人实物平台上进行验证,结果证明了多机器人SLAM的地图融合算法的有效性和准确性。     

油气弹簧系统阻尼特性的仿真分析

本文主要对油气弹簧系统的阻尼特性进行分析.建立油气弹簧缸的物理模型,计算阻尼力和阻尼系数建立数学模型,并利用Matlab/Simulink系统对油气弹簧阻尼特性进行仿真.     

基于变异系数权重的灰色关联投影法在安全绩效评价中的应用

在提出施工企业安全绩效评价指标体系的基础上,运用灰色关联投影法对企业安全绩效进行评价。为避免指标的相对重要程度因人为赋权的主观性影响和指标权重分配的均衡化以及指标之间因量纲不同而对权重的影响,采取了变异系数法来对各指标确定权重。之后针对实地考察的施工企业进行实证分析,运用比较安全学的思想对安全绩效进行纵向对比,依据评价体系灰色关联度大小来判断施工企业安全绩效的水平高低。进而诊断出各企业安全绩效的优劣,为同类型的企业实际开展安全绩效评价提供指导性的方向和建议。     

敦煌莫高窟蒸散量的估算与非线性分析

通过应用野外称重法测定的折算系数对莫高窟林地的蒸散量进行估算与分析。结果表明,莫高窟林地的年蒸散量为6091mm,符合耗散结构的非线性原理,是较高水平蒸散耗散结构存在的表现。莫高窟林地75%的水分是通过植物根系将深层土壤水分转运出地面后以蒸腾的形式耗散掉的。蒸散量作为各参与因子时空异质性的综合反映,随着土壤水分状况、气候环境、植被种类和植物体量的变化呈现广泛非线性表现。而非线性系统不满足线性叠加原理。因此,本文通过使用折算系数,避免了用蒸发量和蒸腾量的简单的相互叠加,充分考虑了土壤蒸发、植被蒸腾和气候环境之间的相互影响。研究发现,莫高窟林地蒸散量是极干旱气候条件下高水分耗散结构的典型代表。