Newton-Leibniz公式的非标准分析法证明

利用非标准分析的观点,结合图析法,给出了Newton-Leibniz公式的证明,可以帮助学生更直观地理解Newton-Leibniz公式的本质含义。     

关于几种广义逆矩阵及其应用的探讨

矩阵是工程技术以及经济管理等领域的不可缺少的数学工具，凡是用到矩阵的地方，基本上都要涉及广义逆矩阵，尤其数值分析与数理统计有着重要作用。广义逆矩阵共15类，但最常用有5类，包括A{1}，A{1，2}，A{1，3}，A{1．4}，A{1，2，3，4}．主要讨论这5类广义逆矩阵的计算及其应用．     

风起云涌一览无穷

风云二号气象卫星从立项研制到今天D星的发射,历经20个春秋,航天人用生命与誓言,谱写了又一首迎难而上、勇于创新、誓攀科学技术高峰的壮丽诗篇。风云作证彰显中国创造或许以“风云”来命名中国人自己的气象卫星,体现的正是自主研制卫星的决策者和实践者们不惧风起云涌的坚定信心和豪迈气概。地球静止轨道气象卫星和地球保持相对静止,可对全球近三分之一的地区进行连续气象观测。起步于上世纪80年代中期的风云二号卫星研制,条件和基础都相对较差,经费也十分缺乏,面临的困难可想而知。但就是在这样的条件下,风云二号卫星创造出了多个“第一…     

环境一号卫星CCD相机相对定标数据处理

文章简要介绍了环境一号卫星CCD相机相对定标实验，分析了归一化系数法、两点法、最小二乘法的数学原理，然后运用分段归一化系数法、分段两点法、分段最小二乘法求取像元归一化系数，并进行了误差分析。     

集合论-泛逻辑悖论

对于一类 n(2≤n≤_n) 值逻辑可以给出一个一般形式的形式语言,通过一个六元组的模型,可以递归地定义出该形式语言中的公式的值.这构成了刻画这类逻辑的一个泛逻辑系统 UL ₁.在该系统中,可以定义出抽象否定、抽象蕴涵和抽象等值等联结词,它们分别是二值逻辑中的联结词否定、蕴涵和等值的一般化.利用这些联结词,可以给出Russell型造集谓词、Curry型造集谓词的一般形式.此外,还提出了一种新型造集谓词,这种造集谓词只包含等值联结词,而不涉及其它联结词.通过这3种造集谓词,利用该系统的逻辑工具,证明了在通常的有穷值逻辑、可数无穷值逻辑和不可数无穷值逻辑系统中,概括原则都将导致悖论.     

平滑零范数稀疏度约束下的盲稀疏回溯重构算法

现有的回溯迭代类算法具有重构速度快、精度高等优点,但实际中其需要已知信号稀疏度的条件有时难以满足。针对以上不足,提出了一种基于平滑零范数稀疏度约束的盲稀疏回溯重构算法,并证明了其收敛性。该算法不需已知稀疏度先验,在截断过程中以平滑零范数来估计信号的稀疏度并确定支撑集。新算法继承了现有回溯迭代类算法的有效性,同时避免了因稀疏度未知或估计不足导致的重构失败。理论分析和实验表明,新算法在无需信号稀疏度先验的条件下,重构性能优于现有典型回溯迭代类算法。     

基于归一化互相关的系统误差配准算法

雷达组网中由于系统误差存在,航迹不能正确关联,因而无法进行有效的误差配准。为了解决这一问题,理论分析了系统误差对目标航迹的影响并将该影响表示为目标航迹的旋转和平移量,结合图像信号时频域特性,提出了一种基于归一化互相关的误差配准算法。该算法采用归一化互相关来估计和补偿组网雷达目标航迹到融合中心航迹的相对旋转参数和平移参数,从而为后面的系统误差配准提供可靠的航迹关联数据。     

带有触觉的空间机械臂操控未知载荷特性识别

为在线准确辨识载荷特性参数,提出一种利用关节力矩和触觉传感信息进行未知载荷特性参数辨识的方法。该方法基于牛顿-欧拉方程,采用归一化最小均方误差法进行自适应滤波,从而辨识出未知载荷的特性参数。为校验算法,利用MATLAB/Simulink和ADAMS软件搭建未知载荷特性辨识仿真平台。该平台执行机构包括多自由度机械臂和二指爪末端操作器,机械臂关节具有力矩传感,末端操作器指爪内侧具有触力传感器。仿真表明,在具有激励信号幅值1 %的白噪声情况下,辨识误差小于2 %。     

IEEE 802.11 DCF在捕获效应下的饱和性能分析

研究了捕获效应对分布式协调功能(Distributed coordination function,DCF)饱和性能的影响。通过捕获概率的推导以及信道状态与节点状态同步变化的证明,提出了一种改进的时隙分析模型。利用这一模型,分析了IEEE802.11DCF在捕获效应下的饱和性能,导出了其归一化饱和吞吐量和平均接入时延的闭合表达式,并对饱和状态与平均接入时延之间的关系进行了阐释。理论分析与仿真结果表明,该时隙分析模型可有效提高IEEE802.11DCF机制的饱和性能的理论估计精度。     

一种基于ATI技术与分数阶傅立叶变换的SAR运动目标回波多普勒参数估计方法

多普勒参数估计是SAR对运动目标成像的关键。文章提出一种将沿迹干涉(ATI)技术与分数阶傅立叶变换相结合来估计运动目标的多普勒参数的方法。首先对采用ATI技术提取无杂波的运动目标回波信号的方法进行了理论分析,证明了该方法的可行性。然后,对采用分数阶傅立叶变换估计SAR运动目标回波的多普勒参数的原理进行了介绍和分析,并进行了计算机仿真,仿真结果证明了该方法的有效性。文章最后对分数阶傅立叶变换的数值计算中的几个问题进行了说明。