论子函数在C语言数据格式输出中的应用

通过使用子函数封装数据格式输出功能,并使用图解方式对测试用例的输出结果进行解释,为正确地使用C语言数据格式输出进行编程提供了参考。

对于H.E.柯柏任斯基:《連續作用的数学机器》中电子函数構件的兩点意见

1954出版的H.E.柯柏任斯基的这本关于数学机器的書是一本很好的参考書。無疑的,它对我國目前正在开展的有关数学計算机这一新的科学部門的学習和工作是会起很大的作用的。

雷达干涉测量图像的梯度自适应光滑子函数滤波法

提出基于梯度的自适应光滑子函数滤波的新方法。通过相位梯度判断出干涉图中的噪声点。在噪声点处,将包含噪声点的InSAR图像窗口拟合为二次曲面,然后用光滑子函数对拟合曲面进行平滑去噪处理。利用北京地区的真实ALOS数据进行滤波试验,并与几种常用的滤波方法进行比较和分析。通过均方根误差、峰值信噪比、边缘保持指数和标准相位偏差等量化指标,验证了基于梯度的自适应光滑子函数滤波方法的可行性与有效性。此方法可有效抑制斑点噪声,较好地保留边缘信息并且干涉图相位偏差较少。

基于改进跟踪微分器的电磁悬浮控制系统研究

在电磁悬浮(EMS)控制系统中,如何实现间隙及间隙微分信号的有效提取是提升系统控制性能的关键问题。针对当前跟踪微分器(TD)存在的综合控制函数形式复杂、参数整定繁琐、输出存在抖振等问题,设计了一种改进的非线性跟踪微分器,旨在提升传感器信号的提取质量。首先通过引入反平方根函数与终端吸引子函数,设计了新型的跟踪微分器。之后应用稳定性理论对改进跟踪微分器的收敛性进行验证,并通过扫频测试进行频域特性分析,明确了该跟踪微分器的参数整定原则。最后进行了闭环控制系统仿真与实物验证,结果表明,ISRU-TD相对于其他3种TD方法在稳态误差方面表现出显著优势。输出位置信号的稳态误差减小了92.58%,相对于ATD减小了18.18%,相对于Fhan-TD减小了42.55%,而与HSTD相比则增加了3.7%。此外,ISRU-TD使输出位置信号的调节时间显著减小,相对于ATD减小了38.68%,相对于Fhan-TD减小了61.99%,相对于HSTD减小了58.06%。表明其具有出色的信号跟踪和噪声抑制能力。

满足严格雪崩准则相关免疫函数的代数免疫阶

以布尔函数的导数和自定义的e-导数为研究工具,讨论满足严格雪崩准则、具有相关免疫性、重量为2n-1+2n-2的H布尔函数的代数免疫问题。得出这类函数奇数(n≥17)元、偶数(n≥16)元的最优代数免疫函数及其构造方法,给出了代数免疫阶AI(f)≥8的n元代数免疫函数的构造方法;还给出了零化子及最低代数次数零化子的求法及其与布尔函数的导数的关系等结果。

一类特殊布尔函数的代数免疫度研究

构造具有好的代数免疫度的布尔函数是布尔函数研究的重要问题之一。基于布尔函数的级联构造方法,给出了一类具有好的代数免疫度的布尔函数;分析了所构造函数的性质,证明了构造布尔函数hn+1与其子函数代数免疫度之间的关系,并确定了已构造一阶级联函数的代数次数、平衡性以及非线性度。研究结果表明,在级联构造方法下,i次级联构造函数比一阶构造H0的代数免疫度有显著提高。

基本热力学函数关系的图－式表示法

在热力学第一、第二定律的基础上，以８个热力学函数关系建立了状态函数对称图形，通过与数学通式联合运用，能直接写出许多重要的热力学函数关系。

基于正切Sigmoid函数的跟踪微分器

通过引入神经网络中的正切Sigmoid激励函数和终端吸引子函数,构造了一种非线性跟踪微分器。采用完备的稳定性理论证明了所设计跟踪微分器的渐近收敛性,并通过扫频测试分析其频域特性,总结出参数整定规则。和之前的文献相比,进一步优化了跟踪微分器的结构,整合了功能重叠的参数使得更易调参。同时,加入了终端吸引子函数降低高频信号引起的颤振使得噪声抑制能力更强。仿真结果表明,所设计的跟踪微分器具备对包含一定噪声干扰的正弦信号的滤波和求导能力,且响应速度快、精度高,具备对方波信号的快速稳定跟踪和广义导数逼近的能力,且具有更强的噪声抑制能力。

基于反双曲正切函数的跟踪微分器设计与应用

通过引入反双曲函数与终端吸引子函数,构造了一种新型跟踪微分器。反双曲正切函数在平衡点较近处优异的线性特性可以保证系统收敛的平滑性,远离平衡点处的非线性特性能保证收敛的快速性。通过引入终端吸引子函数,降低了高频信号引起的抖振,增强了噪声抑制能力。通过扫频测试总结得出了参数整定规则后,与典型的跟踪微分器进行对比仿真,测试了所设计新型跟踪微分器的性能。最后,在控制器设计时,基于所提出的新型跟踪微分器构造了干扰观测器。通过仿真对比,证明所构造的干扰观测器实现了对模型不确定项的有效估计。

n阶导数具有相同小函数的亚纯函数的唯一性

解决了n阶具有公共小函数亚纯函数的唯一性问题 。

关于一类解析函数列的定理及其证明

对内闭一致有界的解析函数列所具有的重要性质进行了深入探讨,并给出相应的结论。在论证过程中充分利用了解析函数的性质,系统推导了内闭一致有界与内闭一致收敛的关系。

用数据选择器实现逻辑函数

简述数据选择器的功能、特点，以其数学模型为基础，介绍应用数据选择器实现逻辑函数的几个方案。

一维均匀势场中含时薛定谔方程的求解

本文详细讨论了一维均匀势场中含时薛定谔方程的求解.求解的思想是以均匀势场中经典粒子的运动作为参考,从经典粒子的运动轨迹出发,构建出量子情形下描述粒子运动的高斯波包形式的演化波函数,进而借助含时薛定谔方程确定波函数的具体形式.在上述思想指导下,推导得出了坐标表象和动量表象下均匀势场内一维粒子的传播子函数.同时,作为比较,狄拉克态矢量符号提供了另一种得到上述传播子函数的途径.

双曲正弦非线性跟踪微分器设计

针对传统跟踪微分器算法复杂、参数整定困难和噪声抑制能力有限的不足,设计了一种新型双曲正弦非线性跟踪微分器(HNTD)。引入终端吸引子函数和双曲正弦函数构造了HNTD的跟踪函数,并证明了其全局一致渐近稳定性。通过仿真分析设计参数变化对HNTD频域特性的影响,为其设计参数的整定提供参考。双曲正弦函数既能保证HNTD状态收敛的快速性,又能有效避免平衡点附近的颤振现象;终端吸引子函数则保证了HNTD对噪声良好的抑制效果。仿真结果表明,HNTD的跟踪和滤波效果与传统跟踪微分器相比,不仅结构形式简单、设计参数相对较少、整定规则明确,而且在跟踪精度、响应速度和滤波能力等方面均具有一定的优势。

TSVD正则化方法的参数选取及数值计算

对于求解不适定问题的TSVD正则化方法,给出了能达到渐进最优阶的正则参数的后验选取法.从数值实现角度看,TSVD正则化方法是求解不适定问题的十分有效的方法.

求解不适定问题的TSVD正则化方法

介绍了求解反问题中的不适定问题的TSVD正则化方法 ,给出了TSVD正则解的误差分析。给出了正则参数的先验选取 ,并通过正则参数的先验选取证明了正则解的误差具有渐进最优阶。从数值实现角度看 ,TSVD正则化方法是求解不适定问题的十分有效的方法。

基于奇异值分解建立的一种新的正则化方法

根据紧算子的奇异系统理论,引入一种正则化滤子函数,从而建立一种新的正则化方法来求解右端近似给定的第一类算子方程,并给出了正则解的误差分析.通过正则参数的先验选取,证明了正则解的误差具有渐进最优阶.

快速反正切跟踪微分器设计

针对反正切跟踪微分器存在整定参数困难和在平衡点附近收敛慢等问题,设计了一种快速收敛的反正切跟踪微分器。在反正切函数中引入线性函数和终端吸引子函数构造了快速反正切跟踪微分器,并证明了其稳定性,使系统在远离平衡点和接近平衡点都能快速并稳定地向平衡点收敛。这种线性与非线性组合的连续函数形式,提高了系统的跟踪能力,并且有效地抑制了噪声。可实现对信号快速而精确的微分和跟踪,且形式简单、易于实现。仿真结果表明快速反正切跟踪微分器具有优良的性能。

适用于BOC及其衍生信号的无模糊跟踪算法

针对二进制偏移载波调制及其衍生信号自相关函数的多峰特性带来的跟踪模糊问题,提出一种基于信号相关函数特点的子函数组合相关的无模糊跟踪算法。首先,通过构建的形状码向量得到二进制偏移载波调制基准及衍生调制信号的通用互相关函数表达式,将接收信号的伪码作为本地参考信号,设计特殊的本地码波形与相应的接收信号进行相关运算得到信号相关子函数,然后利用重构规则重新组合子函数,得到边峰完全消除,保留单峰的新的相关函数。改进跟踪算法的码跟踪环路结构,相比传统的码跟踪环路结构,减少了滤波电路,结构有了简化,硬件的实现复杂度也有所降低。仿真实验结果表明,相关函数副峰消除的同时保留了主峰的尖锐性。通过与传统跟踪算法对比可知,在相同载噪比的前提下,该算法的码跟踪精度更高,鉴相函数不存在除过零点外的其他误锁点,不会造成误锁现象。相比传统的跟踪模糊消除算法,该方法不仅能有效地适用于BOCs(m,n)一类的基准调制信号,对于复合类衍生信号CBOC(6,1,1/11)也能实现无模糊精准跟踪。

增益相位误差下基于部分校准嵌套阵列的DOA估计

现有的波达方向(Direction of Arrival,DOA)估计方法大多依赖于阵列导向矩阵的精确无偏条件,而实际工程中由于时钟偏移、阵元位置偏差的存在导致该条件往往难以满足.为匹配阵列实际接收条件,本文基于部分校准嵌套阵列,提出了一种增益相位误差下的DOA估计新方法.该方法首先利用连乘子函数和简单的代数运算完成初始增益相位误差估计,然后通过协方差矩阵向量化和稀疏表示理论构建具有连续自由度的稀疏表示向量模型,最后考虑有效样本的影响,在初始增益相位误差估计的基础上应用稀疏总体最小均方(Sparse total least squares,STLS)算法完成波达方向估计.本文所提方法不仅对阵列增益相位误差不敏感,而且可依靠嵌套阵列高自由度特性和STLS算法的抗扰动特性获得改进的分辨率和估计精度,计算机仿真结果验证了所提算法的有效性.