理学 >>> 数学 >>> 数理逻辑与数学基础 >>> 演绎逻辑学 证明论 递归论 模型论 公理集合论 数学基础 数理逻辑与数学基础其他学科
搜索结果: 1-15 共查到知识库 数理逻辑与数学基础相关记录1409条 . 查询时间(4.873 秒)
对运行设备安装双贮备设备是实现系统高可靠性的有效方法.在双贮备系统冷/温/热三种贮备模型中,选择哪种贮备模型对系统性能指标和经济指标均有重要影响,因此对如何选择双贮备系统的贮备模型从而使系统性能最优或经济效益最大的问题进行研究具有现实意义。
实际工业过程中,量测数据除了在线仪表采集的快速率数据,还有离线化验等慢速率辅助量测数据.为了更好地利用离线化验数据,增加在线估计的精度,针对随机跳变系统,引入迁移学习思想,提出迁移交互多模型估计(Transfer interacting multiple model state estimator,IMM-TF)新策略.首先,将离线化验数据的边缘分布作为可以迁移的知识,迁移到贝叶斯后验分布,实现辅...
针对缺失数据生成模型精度低和训练速度慢的问题,本文基于流模型框架提出了一种改进非线性独立成分估计(Nonlinear independent components estimation,NICE)的缺失时间序列生成方法.该方法依靠流模型框架生成模型精度高、训练过程速度快的优势,并结合粒子群优化算法(Particle swarm optimization,PSO)优化NICE生成网络采样的退火参数,...
司法量刑问题,关乎刑罚公正,是刑事正义的终极体现。为实现“努力让人民群众在每一个司法案件中感受到公平正义”,国家持续推进量刑规范化改革,规范刑罚裁量权,促进量刑公正。
In this paper, noting that the prediction of time series follows the temporal order of data, we propose a frequentist model averaging method based on forward-validation. Our method also considers the ...
In this paper, noting that the prediction of time series follows the temporal order of data, we propose a frequentist model averaging method based on forward-validation. Our method also considers the ...
Obtaining a satisfactory numerical solution of the classical three-dimensional drift-diffusion (DD) model, widely used in semiconductor device simulations, is still challenging nowadays, especially wh...
按照股价泡沫的定义,泡沫识别的本质是一个联合检验问题,面临着二难逻辑困境。不少学者因此尝试绕开泡沫定义,通过假设投机的行为特征来直接提出对应的泡沫价格随机过程模型,然后围绕这些模型的统计性质来创建识别方法。然而,目前的随机过程模型对泡沫形态的限制性较强,忽略了很多的泡沫形态,导致泡沫识别的灵敏度不高。另外,大部分模型缺乏对泡沫崩溃风险率的动态建模,使得对泡沫的实时预警缺乏理论支持。为了克服传统模型...
In time series analysis, the autoregressive model serves as a primary tool. Early relevant literature, such as Hannan (1969), Box and Jenkins (1970), Parzen (1974), Anderson (1977) and Hamilton (1994)...
针对工地、危险区域等场景需要实现同时佩戴安全帽与口罩的自动检测问题,提出一种改进的YOLOv3算法以提高同时检测安全帽和口罩佩戴的准确率。首先,对网络模型中的聚类算法进行优化,使用加权核K-means聚类算法对训练数据集聚类分析,选取更适合小目标检测的Anchor Box,以提高检测的平均精度和速度;然后,优化YOLO网络内部的Darknet特征网络层,将4倍降采样提取的特征图进行2倍上采样,再与...
研究切换状态下具有饱和发病率的随机SIQR流行病模型,得到系统全局正解的存在唯一性和疾病灭绝的充分条件。通过构造合适的Lyapunov函数,证明系统解的正常返的存在性。最后,数值模拟验证了理论结果。
近年来,基于局部一阶近似的谱图卷积方法在半监督节点分类任务上取得了明显优势,但是在每次更新节点特征表示时,只利用了一阶邻居节点信息而忽视了非直接邻居节点信息.为此,本文结合切比雪夫截断展开式及标准化的拉普拉斯矩阵,通过推导及简化二阶近似谱图卷积模块,提出了一种融合丰富局部结构信息的改进图卷积模型,进一步提高了节点分类性能.大量的实验结果表明,本文提出的方法在不同数据集上的表现均优于现有的流行方法,...
邻域粗糙集可以直接处理数值型数据,F-粗糙集是第一个动态粗糙集模型.针对动态变化的数值型数据,结合邻域粗糙集和F-粗糙集的优势,提出了F-邻域粗糙集和F-邻域并行约简.首先,定义了F-邻域粗糙集上下近似、边界区域;其次,在F-邻域粗糙集中提出了F-属性依赖度和属性重要度矩阵;根据F-属性依赖度和属性重要度矩阵分别提出了属性约简算法,证明了两种约简方法的约简结果等价;最后,比对实验在UCI数据集、真...
为研究海运通道与其沿海经济区域发展的相互作用关系和演化趋势,在交通经济带理论中拓展海运部分,以海运通道运输量和经济带陆向纵深为共生规模变量,建立海运交通经济带单方非独立共生演化的Logistic模型,以运输经济、烟羽模型、微积分等方法提出其变量作用系数的量化途径和形式,解决未知参数,实现交通运输和地理空间不同范畴、无法直接关联的量的量化联系,并得到作用系数的增长因素和减少因素。研究表明两规模变量的...
为缓解船用发动机NOx排放过高问题,提出柴油掺烧丁醇并结合EGR(exhaust gas recirculation)技术的试验方案。在4190ZLC-2型柴油机台架基础上,利用AVL_FIRE软件建立柴油-丁醇CFD模型。设置丁醇掺混比0%、10%、20%、30% 4组变量,EGR利用率0%、7.5%、10.0%、12.5%、15.0%、17.5% 6组变量,对发动机NO、碳烟(Soot)和CO...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...