拉格朗日中值定理的证明及应用

中值定理是微分学的基本定理,是应用导数研究函数在区间上整体性态的有力工具,其中拉格朗日中值定理是核心内容.给出拉格朗日中值定理的三种证明方法及其在级数散敛性方面的应用.     

异地配置的雷达与电子支援措施异步航迹关联

针对异步条件下雷达与电子支援措施(electronic support measurements, ESM)航迹关联问题, 通过分析方位角异步测量值对交叉定位原理的影响, 提出一种无需时域配准的航迹关联算法。根据传感器存在时延以及采样率的不同, 给出不等长航迹序列的等长区间变换以及异步航迹交叉定位的区间化方法, 通过计算区间序列离散度实现异类传感器航迹关联。通过仿真验证, 区间序列离散度不受噪声分布的影响, 且对数据集整体特征的求解避免了传统算法中的逐点运算, 有效提高了算法运算率。与传统算法相比, 可在多种测量误差场景下对异步航迹直接进行准确关联。     

一种新的函数形式与高次方程的关系——极分

由x=f（x）定义了新的函数表达式,并由这个新的函数表达式讨论了方程共同解的问题以及讨论了一些高次方程的解法及单调性的判断,根据此方法得到了对更为广义的函数的讨论;给出了函数的一种新的表达式.     

基于区间证据推理的不确定性航线配船方法

为弥补不确定性航线配船模拟算法的不足,提出一种基于区间证据推理的航线配船解析算法.该方法以证据推理理论为基础,以船舶公司期望效用最大化为目标,考虑航线特征及船舶属性等因素,构建出一个多航线、多船型的航线配船模型.与目前的模拟算法相比,该方法具有稳定性好、准确性高、可以处理模糊数据等优点.最后,通过算例验证了模型的可行性和方法的有效性.     

一类区间不确定时滞系统超前/滞后补偿器设计

针对一类具有全极点的区间不确定时滞系统,给出了相位超前/滞后补偿器的一种图解鲁棒设计方法.对滞后因子采用一阶Pade近似,应用广义Kharitonov定理,证明了图解法设计出的相位超前/滞后补偿器可以镇定区间不确定近似系统.通过仿真验证了该补偿器亦可镇定原区间不确定时滞系统,并保持良好的系统性能.该种图解设计方法选择参数灵活,便于实际应用.     

基于正交试验设计的区间数立体决策方法

为了减少决策信息损失,针对区间数决策问题,提出了一种立体决策方法。将m维区间数决策向量看作具有2m个顶点的超矩形。利用Ls(2m)正交表在超矩形上均匀、分散地选取s个顶点代表该超矩形,再根据不同超矩形对应顶点之间的相对熵度量超矩形之间的差异,最后利用各决策方案同理想解的贴近度进行决策方案排序。实例验证表明该文方法有效、可行。由于选取了多个多维实数点代表区间数决策向量,在丰富了决策信息的同时也增加了计算量。     

高校本科双学位教育发展趋势研究

高校本科双学位教育经过了20多年,发展趋势逐渐与国际接轨。双学位的培养模式逐渐从校内发展到校际最后发展为国际合作。专业设置也将打破学科门类的限制,实现跨学科的融合,从单一的借助现有专业的双学位模式,发展为单独组建双学位模式。运用现代远程教育教学手段扩大双学位的受用群体,建设高校内部闭合的教学质量监控体系,确保双学位的教学质量。     

沿空留巷联合支护技术研究

基于巷旁支护前期的切顶作用以及后期支护体的高支撑力的要求,通过综合技术比较和经济比较,提出了一种将切顶支柱和间隔＂编织袋＂混凝土墙联合布置使用的方案。＂编织袋＂混凝土在充填采空区提供高强支撑力的同时可以有效防止采空区矸石冲击切顶支柱。工程实践表明,在采场顶板坚硬出现悬顶的中厚煤层中,该方案是一种理想的沿空留巷技术。     

对数正态总体的容忍限和容忍区间估计

对数正态总体在数理统计中占有重要的地位。本文从容忍限和容忍区间的定义出发，给出了对数正态总体的水平为（1-β，1-γ）的容忍限和容忍区间的估计。     

扩展Tempura语言统一模型检测算法

针对扩展区间时序逻辑目前没有可用的统一模型检测算法的问题,找到了该逻辑可执行子集即扩展Tempura语言的可判定子集——首先限定该逻辑一阶部分的常量与变量均为有穷可枚举类型,然后加上该逻辑的命题部分.在此基础上,提出了扩展区间时序逻辑统一模型检测算法,以判定由上述定义的语言子集所书写的规范程序是否满足命题版扩展区间时序...