高效数字化测图方法——拼音简码法

拼音简码法是编码测图的一个分支，是在外业采集细部点时，采用点名拼音简码形式快速记录点位的信息属性，单位时间测绘效率是全野外采点绘制草图法的1．5倍。介绍了拼音简码法的操作方法，并与传统誊集方法做了比较。     

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

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

电压反馈型正激变换器中分岔与混沌现象的研究

研究了电压反馈型正激变换器的分岔与混沌.基于功率变压器的简化模型,建立其离散映射模型.在此模型的基础上得到以变压器的初次级匝比为分岔参数的分岔图,根据此分岔图分析了正激变换器混沌出现的途径.然后在PSpice中进行仿真实验,得到了电容两端电压和电感电流的时域波形图及其相图,获得了与数值仿真一致的电路仿真结果.     

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

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

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

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

映射法与Klein-Gordon方程新的精确解

运用映射法,结合辅助方程,利用计算机代数系统Mathematica求出了非线性Klein-Gordon方程的一系列新的精确周期解,补充了前面研究的结果.这些精确解可在极限情况下(m→1)退化为孤波解.该方法简化了求解过程,并可以用来求解其他的非线性演化方程,如Schrǒdinger方程、KP方程等.     

基于网格资源可用度的元任务映射算法

针对Min-Min启发式算法没有充分考虑网格的异构特性,导致资源负载不均衡的问题,提出一种基于资源可用度的启发式映射算法,在元任务与资源映射过程中,先计算资源对元任务的可用度,然后将元任务划分为优先映射与次优先映射两部分,再对这两组元任务分别应用经典Min-Min算法进行映射.采用仿真软件模拟网格异构环境,在元任务与资源一定的情况下,分别模拟这两种算法的元任务与资源的映射过程,得到这两种情况下的任务完成时间.实验结果表明,基于资源可用度的启发式算法在异构的网格环境中任务完成时间更短.     

典型场景下EKF-SLAM估计一致性分析

分析了典型场景下基于扩展卡尔曼滤波的同步定位和地图创建(EKF-SLAM)算法的估计一致性.通过理论分析证明了在移动机器人保持静止并持续对一个路标进行观测的场景下,如果机器人的初始位姿协方差矩阵为对角阵,则机器人位置估计的均值和协方差保持不变,而朝向估计将逐步失去一致性.此外,通过蒙特卡罗仿真给出了机器人朝向和路标估计下界的分布情况.结果表明,两者均服从正态分布,因此EKF-SLAM算法在概率意义下给出SLAM系统状态向量的无偏估计.     

非矩形探测器阵列在相向运动中的成像优势分析

针对一种非矩形Retina-like探测器进行建模与仿真,研究其相向运动过程的模型.在不同场景及不同模糊度条件下对Retina-like探测器及矩形探测器的图像进行质量评价,不同的评价参数均表明Retina-like探测器在相向运动过程中的成像质量优于矩形探测器,具有抗辐射状模糊的效果,在相向运动过程中有明显的优势,为探索高速相向运动成像过程中的非矩形探测器面阵设计提供帮助.     

Banach空间中满足Monch条件的连续映射的新不动点定理

利用Banach空间中满足Monch条件的连续映射的1个基本不动点定理,在适当的边界条件下,得到了Banach空间中满足Monch条件的连续映射的新不动点定理.特别地,得到了Banach空间中满足Monch条件的连续映射的Altman定理、Roth定理和Petryshyn定理及其各种推广形式.