[a,b]区间上函数的傅立叶展开

从区间变换和变量变换2个方面给出了函数在[a,b]区间上的傅立叶展开式.     

[a,b]区间上函数的傅立叶展开

本文仅从区间变换和变量变换两个方面给出函数在[a,b]区间上的傅立叶展开式.     

基于MRO状态的巴基斯坦地铁橙线高架区间安全模糊决策研究

为对受地面沉降漏斗区威胁的巴基斯坦拉合尔地铁橙线高架区间MRO(维护、维修、运行)状态进行监测,研究了基于MRO状态的地铁高架区间安全模糊决策问题。提出地铁高架区间MRO状态等级,地铁高架区间MRO威胁等级,形成基于MRO状态的地铁高架区间风险等级矩阵。构建地铁高架区间MRO威胁决策模型,对拉合尔地面沉降漏斗区地铁高架区间监测设备布设方案进行优选,运用系数伸缩变换法避免模糊决策失效的可能性。研究成果为地面沉降漏斗区地铁高架区间安全研究提供了参考。     

MUSIC法的有限域单向快速频率搜索

快速傅里叶变换(FFT)算法在应用中速度快,精度较低,而MUSIC法精度高,实时性差。该文通过分析两者联合谐波频率估计的可能性,提出利用FFT算法对谐波频率进行预估计,用二分法将频域划分为有限个细小的频率区间,根据可能的有效频率选取有效区间,再通过MUSIC方法在有限的搜索区间进行频率细化,并在细化的过程中采用趋向谱幅值增大的单向搜索。通过仿真研究,该方法能有效提高信号的处理速度,加强MUSIC算法的应用。     

部分核实数据下基于比例差的置信区间宽度的样本量确定

基于无金标准的部分核实数据,从比例差的区间宽度的角度给出了比较两组患病率是否有显著性差异所需要的样本量。在2种不同的二重抽样模型下,分别基于Wald、对数变换、Logit变换、Score和似然比检验统计量构造的置信区间给出了在给定置信水平下区间宽度控制在指定范围内的样本量估计方法。模拟研究了在估计的样本量下区间估计的经验覆盖概率和经验覆盖宽度,并基于疟疾数据利用所提出的方法进行了验证。结果表明:所提出的样本量估计方法是准确有效的。     

关于广义区间对角占优矩阵

定义了区间对角乘积占优、区间拟对角占优、区间拟对角乘积占优及区间共轭对角占优等区间矩阵。给出了它们的性质和相互关系及其与区间H矩阵之间的关系。将本文的有关结果及含文献[1]的主要结果给予了推广。     

基于时间区间时序逻辑的实时系统统一模型检测

在同一个逻辑框架内无法自动验证实时区间模型的实时区间性质。为此,该文使用一个离散时间区间时序逻辑公式建立实时系统模型,使用另一个离散时间区间时序逻辑公式描述实时系统需要满足的性质,在此基础上,离散时间区间时序逻辑统一模型检测问题即可归约为目前已解决的离散时间区间时序逻辑可满足性判定问题。该文证明了新方法的有效性以及正确性,为区间实时逻辑这一类的模型检测问题提供了方法。     

半群的区间值直觉模糊理想

为进一步了解半群的模糊结构,丰富半群的模糊理论,将区间值直觉模糊集的概念应用于半群。给出了半群的区间值直觉模糊理想的概念,讨论了它的相关性质,得到了半群的区间值直觉模糊理想与区间值模糊理想之间的关系。证明了半群的区间值直觉模糊理想的交集和积仍然是区间值直觉模糊理想。给出的半群的区间值直觉模糊理想及其相关结果能够丰富和完善半群的模糊理论。     

物资调运时间为区间数的最短路问题研究

针对紧急状态下物资调配时间为区间数问题,在经典的Dijkstra算法基础上,通过定义一个算子,把区间数序关系转换成实数序关系,对区间数进行排序,给出了区间数的最短路算法。     

一类区间矩阵特征值界的性质

对称三对角区间矩阵特征值界的计算在工程领域和力学问题中具有很重要的应用价值。证明了对满足一定条件的对称三对角区间矩阵,区间特征值的上下界必定在矩阵元素区间的端点上取到。本文的结果为计算此类对称三对角区间矩阵特征值界的方法提供了良好的判据。