Ionospheric eclipse factor method (IEFM) for determining the ionospheric delay using GPS data

Foracertainionosphericregion,duetomanyfactorsespeciallytheinvisiblesolarradiation,thechangelawofthetotalelectroncontent(TEC)isdifferentindaytimeandnighttime.ThecorrespondingmathematicalexpressionsofTECshouldalsobedifferent.Therefore,whenusingGPStomodelpreciseionosphericdelay,oneofthecriticalfactorsistoexactlydistinguishtheionosphericdaytimeandnighttimeandreasonablydescribetheTECchangecharacteristicsofthedifferentperiodsattheionosphericpiercepoint(IPP).Inthepast,inthefieldsofGPSresearcha…     

无穷区间上分数阶微分方程m-点边值问题的正解

利用半序Banach空间中两个算子之和的不动点定理,证明一类无穷区间上分数阶微分方程m-点边值问题正解的存在唯一性,并通过实例给出其应用.     

航班到港延误时长预测及特征分析

为破除XGBoost模型的黑盒特性,增强模型的说服性,提出一种基于SHAP的可解释性航班到港延误时长预测模型。首先,对航班历史数据、天气数据进行融合,在融合数据的基础上进行异常值处理,并利用递归特征消除方法进行特征选择;其次,构建航班延误时长预测模型,利用遗传算法进行参数调优,并与目前常用的模型进行对比;最后,在航班延误时长预测的基础上结合SHAP模型,从总体特征和特征间的相互关系2个角度分析特征的重要程度。实验结果表明,经过遗传算法调优的XGBoost模型预测精度更高,其中MAE降低了8.94%,RMSE降低了19.85%,MAPE降低了6.15%,且其模型精度更高。因此,SHAP模型破除了XGBoost模型的黑盒特性,增强了模型的可解释性,可为降低航班延误时长提供技术支持。     

深孔直眼分段掏槽技术研究

对立井深孔直眼分段掏槽糕爆破机理进行了分析探讨,并建立了其爆破参数的计算方法,经实践证明效果良好.     

基本阶,无穷零点和绝对能控能观系统

基本阶，无穷零点是Morgan问题中最重要的概念，本文讨论它们和绝对能控能观子系统的关系。     

代数表示型的判定

确定一个代数的表示型是代数表示论中的主要任务之一．本文给出了无限表示型代数的某些判定方法，通过一个代数的ＡｕｓｌａｎｄｅｒＲｅｉｔｅｎ箭图的某个分支上仅仅一小部分的一些特性来推断该代数的表示型．     

具有无界时滞微分方程解的振动性

考虑具有ｎ个变时滞的泛函微分方程ｘ＇（ｔ）＋Σｉ＝１↑ｎｑｉ（ｔ）ｘ（ｔ－σｉ（ｔ）），ｔ≥ｔ０，其中ｑｉ（ｔ），σｉ（ｔ）∈Ｃ（［ｔ０，∞），（０，∞）），ｉ＝１，２，…，ｎ。在时滞σｉ（ｔ）（ｉ＝１，２，…，ｎ）非一致有界（有界或无界）情况下证明了Ｈｕｎｔ－Ｙｏｒｋｅ型定理及猜想。     

高温气冷堆 Fuzzy-Smith 控制系统的仿真研究

结合１０ＭＷ高温气冷实验堆（ＨＴＲ－１０）数学模型的推导和控制系统的设计，介绍解决大延迟系统控制的Ｆｕｚｚｙ－Ｓｍｉｔｈ预估控制器。热工动特性中，堆芯部分用集中参数近似，冷却剂用分布参数处理；蒸汽发生器分为预热段、蒸发段、过热段，建立高温气冷堆的数学模型。扰动量为从额定核功率１００％减小到３０％，调节氦风机的转速和给水流量使主蒸汽出口温度跟随给定值。仿真结果表明，Ｆｕｚｚｙ－Ｓｍｉｔｈ预估控制器兼顾了Ｆｕｚｚｙ控制和Ｓｍｉｔｈ预估控制器的优点，既对延迟特性有较好的补偿作用，又对被控对象参数变化有较强的适应能力，适合于高温气冷堆控制系统设计。     

可编程逻辑器件PLD的故障检测与诊断

本文提出的可编程逻辑器件易测试方法，充分利用了ＰＬＤ本身固有的可编程特点，简化了器件故障诊断的难度；所有延时、逻辑故障全部可以检测，对延时故障和交叉点故障具有诊断功能，故障检测、诊断十分简便     

多步Runge-Kutta法求延时微分方程的P_m-稳定性

给出了多步Runge－Kutta法（MIRK）解延时微分方程（DDEs）的Pm-稳定性．着重研究此法用于下列具有m个延时量的线性试验方程时的稳定性态。u’（t）＝au（t）＋（t－τj），t≥0．u（t）＝（t），t≤0．其中a，bj（j＝1，2，…，m）　∈C，τm≥τ(m－1)≥…≥τ＞0，（t）给定．证明了m＝2时，MIRK法是P2－稳定的．对于m＞2，得到同样的结果（Pm－稳定）．