基于黑箱子学说的连续统问题解答之第二部分

2013年,连续统问题取得突破。本文证明第二数类无基数;提出最大集无基数无序数;得出有基集与无基集等等,终于,问题彻底解决。     

多假设跟踪的移动机器人SLAM算法

针对基于视觉定位的移动机器人自主定位过程中容易产生多种候选位姿.提出一种基于多假设跟踪的同时定位和地图创建方法.该方法通过提取图像SIFT特征进行视觉量测,修正里程计累计误差,再利用多假设跟踪方法获得当前时刻的最优位姿,实时产生环境的栅格地图,并且随着机器人的位姿变化实时更新.研究结果表明:此算法不仅能够较好地创建环境地图,而且能够有效解决机器人"绑架"问题,提高自主定位精度.     

一维损伤变量的合理定义方法

针对利用"弹性模量衰减法"定义损伤变量是否合理这一问题,借助有效应力的概念以及应变等效假设,从本质上阐述了一维情况下材料损伤变量应该以何种弹性模量来定义.指出从应变等效假设的角度准确度量材料的损伤程度必须首先确定材料的无损伤参考工作状态;将直线形式的应力-应变关系作为无损伤材料的参考工作状态是没有根据的.按照弹性损伤和弹塑性损伤两种状况推导出损伤变量的合理定义,证明卸载模量的退化可以作为弹塑性材料损伤变量的定义.同时,结合所提出的混凝土受压损伤本构方程,验证弹性应变等效假设,并给出一维损伤本构模型的合理建立方法.     

基于负信息的改进多假设定位算法

为了克服多假设定位算法在特征非唯一环境中假设数量大、收敛速度慢的问题,提出了利用负信息的改进算法.改进算法首先分析"传感器未检测到环境特征"的事件为定位提供的信息,建立与传感器模型类似的负信息模型.其次,在算法流程中考虑传感器数据中未包含期望特征和未收到传感器数据的情况,在假设权重的评价中加入负信息因子,从数学形式上相当于增加一组独立传感器,为定位提供了额外的信息.仿真实验表明,该算法能够减少假设数量,加快算法收敛,并能够在特定条件下解决多假设定位算法无法唯一定位的问题.     

求解Lyapunov方程的特征值方法

应用了一种求解Lyapunov方程的新方法,称之为特征值方法。首先从大型矩阵的krylov子空间法降阶开始,再假设矩阵A是可以被对角化,就可以用A的特征值分解式来代替A和A^T,由此变换后Lyqpunov方程就容易的求解了。最后利用简单的线性变换求得原来方程的解。     

大范围运动柔性梁的连续力法撞击动力学分析

该文研究了柔性梁作大范围旋转运动时的撞击动力学问题.采用子系统法建立了考虑"动力刚化"效应的系统刚柔耦合动力学方程,并采用假设模态法描述变形,将偏微分形式的动力学方程转化为常微分方程.采用Hertz接触理论和非线性阻尼理论建立接触-碰撞模型,导出柔性梁含碰撞的动力学方程.文中给出了算例,验证了该文方法,并对大范围旋转运动下的柔性梁的动力学进行了探讨.     

汉语连动关系发生重新分析的条件

连动关系的特征体现在句法和事理两个层面上：句法层面的特征是动词连用缺乏形式标记且句法地位平等（即“意合特征”）;事理层面的特征是表示客观世界中发生的各桩行为间的时序关系。连动关系的重新分析取决于句法和事理两个层面间的对应关系：意合特征是其发生重新分析的前提条件;时序关系衍生为抽象关系是萁发生重新分析的最终条件。     

刚体一柔性梁及末端质量系统的动力学分析

研究刚体一柔性梁带末端质量系统作大范围旋转运动时的动力学问题,采用子系统法建立考虑“动力刚化”效应的系统刚柔耦合动力学方程,并采用假设模态描述变形,将偏微分方程转化为常微分方程进行求解,文中给出了算例,比较刚体一柔性梁带末端质量系统与不带末端质量系统的动力学响应的差异.     

浅论成本会计的理论结构

成本会计是会计学相对独立的一个分支学科。成本会计的理论结构是由成本会计的目标、假设、对象、原则等要素构成的有机联系的整体。加强其研究,不仅具有重要的理论价值,而且具有现实指导意义。     

在做出数学假设时一定要严谨

数学奖：授予历史上各色的世界末日预言家们,以表彰他们“以实际行动告诉世人,在进行数学假设时小心谨慎是多么的重要”。