新混沌系统的动力学分析及计算机仿真

构造了一类新的含有包含绝对值的非线性项的三维二次自治混沌系统,根据稳定性理论分析了系统的定性行为,并借助Matlab软件进行了数值模拟,得到了系统的部分动力学特性。通过Lyapunov指数谱讨论了系统参数对系统混沌特性的影响,结果表明随着系统参数的变化,系统的动力学行为也发生了变化。进一步通过分岔图、Poincare截面图以及相图验证了上述结论。     

赋值Banach代数的锥度量空间中的一类新型不动点定理

定义了一种向量版本的α-可容许函数,在不考虑锥的正规性的条件下,给出了赋值Banach代数的锥度量空间中的带有α-可容许函数条件的几类压缩型映射的不动点定理,所得结果大大地改进了前人的一些结果,并且举例验证了所得到的结论.      

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

拼音简码法是编码测图的一个分支，是在外业采集细部点时，采用点名拼音简码形式快速记录点位的信息属性，单位时间测绘效率是全野外采点绘制草图法的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系统状态向量的无偏估计.