检索结果-内蒙古大学图书馆

海南大学学报(自然科学版) 2025年

作者：钟鹏岑选诚李闪王浩华海南大学数学与统计学院海南省工程建模与统计计算重点实验室

针对半乳糖丰度水平的涨落能直接或间接调控酵母表型问题，需解码多尺度噪声介导Gal4基因耦合正负反馈环路的表达调控机制。通过引入多源色噪声，构建等价Fokker-Planck方程，计算出稳态概率分布函数、平均首通时间的近似表达式，分析... 详细信息

针对半乳糖丰度水平的涨落能直接或间接调控酵母表型问题，需解码多尺度噪声介导Gal4基因耦合正负反馈环路的表达调控机制。通过引入多源色噪声，构建等价Fokker-Planck方程，计算出稳态概率分布函数、平均首通时间的近似表达式，分析相关动力学指标，进而揭示系统的动力学行为，最后定义敏感函数，从系统论的观点评估各个调控源的影响。结果表明：半乳糖丰度水平能直接调节Gal4基因表达系统的随机分岔；在色噪声诱导下，噪声强度及其自相关时间的变化会引起概率分布函数峰的结构、状态切换时间等发生改变，且乘性噪声对系统的影响大于加性噪声的影响。

关键词： Gal4基因色噪声稳态概率分布平均首通时间敏感函数

来源：评论

学校读者我要写书评

暂无评论

记忆诱导下肿瘤细胞发展的动力学演化

引用

海南大学学报(自然科学版中英文) 2025年第1期43卷 91-102页

作者：张盼盼白晓君张昕王浩华海南大学数学与统计学院海南海口570228 海南省工程建模与统计计算重点实验室海南海口570228

研究具有非马尔可夫性的肿瘤细胞生长模型,通过定义记忆尺度,刻画肿瘤细胞演化进程的非马氏依赖性。首先,证明了肿瘤细胞演化进程中有效转移速率的存在性,进而论证带记忆网络与马氏网络的等价性。此等价性依赖于记忆尺度的可控性,诱导... 详细信息

研究具有非马尔可夫性的肿瘤细胞生长模型,通过定义记忆尺度,刻画肿瘤细胞演化进程的非马氏依赖性。首先,证明了肿瘤细胞演化进程中有效转移速率的存在性,进而论证带记忆网络与马氏网络的等价性。此等价性依赖于记忆尺度的可控性,诱导肿瘤细胞生长进程的涨落,规范了不同进程下肿瘤细胞生长的噪声理论表达。数值模拟结果表明,细胞突变中的记忆尺度放大肿瘤细胞表达的噪声水平;反之,吞噬过程中的记忆尺度压制肿瘤进程的噪声,即肿瘤细胞的演化受记忆水平的双重影响。

关键词：肿瘤细胞生长模型分子记忆噪声非马氏过程网络等价性

来源：评论

学校读者我要写书评

暂无评论

基于网络调控视角下的慢性阻塞性肺疾病研究

中国统计科学学报

引用

中国统计科学学报 2025年第1期3卷 1-14页

作者：陈秋宇李欣蕾王怀星王浩华海南大学数学与统计学院海口570228 海南大学国际旅游与公共管理学院海口570228 海南大学海南省工程建模与统计计算重点实验室海口570228

慢性阻塞性肺疾病COPD作为一种常见且严重危害健康的呼吸系统疾病,深入解析其发病机制及调控网络意义深远。本文以精准揭示COPD的调控网络为核心目标,系统且严谨地探究其与多发病生物途径错综复杂的内在联系。研究紧密结合大量实际病例... 详细信息

慢性阻塞性肺疾病COPD作为一种常见且严重危害健康的呼吸系统疾病,深入解析其发病机制及调控网络意义深远。本文以精准揭示COPD的调控网络为核心目标,系统且严谨地探究其与多发病生物途径错综复杂的内在联系。研究紧密结合大量实际病例数据,并广泛参考前沿权威文献,运用先进的数据挖掘模型以及精细的网络调控模型,着力构建蛋白质-蛋白质相互作用PPI网络。在此过程中,充分利用吸烟暴露体所涵盖的数据信息,精准识别与之关联的RNA和miR-NA,为后续研究夯实基础。通过综合运用前沿的网络调控与追踪技术,成功构建起以latent TGF-β、Wnt、typeI(ACVR1)、ADRB2、SMAD7和ROCK1为关键节点的COPD调控网络。随后,采用高精准度的基因表达数据分析手段,针对这六个与COPD紧密相关的基因展开敏感度评估,并依据严格的标准将其敏感度从高到低进行排序,结果表明latent TGF-β敏感度位居首位,确认为敏感基因。最终,凭借科学设定各个基因表达的阈值以及制定与之适配的干预方案,切实达成对COPD病情的有效预警分析,为该疾病的早期诊断提供关键指向标,也为后续精准治疗筑牢坚实的科学依据根基,有望推动COPD临床诊疗水平迈向新高度。

关键词： COPD 敏感基因预警分析网络调控数据挖掘

来源：评论

学校读者我要写书评

暂无评论

具有非强制性低阶项的p(x)-Laplace方程的重整化解

引用

海南大学学报(自然科学版) 2025年第2期 198-207页

作者：黄博爱许少鹏海南大学数学与统计学院海南省工程建模与统计计算重点实验室

研究了有界域?上具有非强制性低阶项p（x）-Laplace椭圆方程满足Dirichlet边界条件的重整化解的存在性，其中方程左端项H是低阶项，没有强制性，但满足某些增长条件，右端项f∈L1（?）。运用变指数函数空间理论、截断函数和梯度估计等... 详细信息

研究了有界域?上具有非强制性低阶项p（x）-Laplace椭圆方程满足Dirichlet边界条件的重整化解的存在性，其中方程左端项H是低阶项，没有强制性，但满足某些增长条件，右端项f∈L1（?）。运用变指数函数空间理论、截断函数和梯度估计等方法，证明上述p （x）-Laplace方程重整化解的存在性。

关键词：重整化解变指数空间 Dirichlet边界

来源：评论

学校读者我要写书评

暂无评论

集成电路反向工程中HE-UNet的IC图像分割算法研究

引用

计算机工程 2024年

作者：程弘楠张晨光海南大学数学与统计学院海南省工程建模与统计计算重点实验室

芯片产业是国家安全和经济发展的重要基础，而集成电路反向工程作为分析芯片内部的手段是芯片产业链中的重要环节。集成电路反向工程包括从扫描电子显微镜（ScanningElectronMicroscope，SEM）逐层采集芯片图像、识别器件、提取栅极网... 详细信息

芯片产业是国家安全和经济发展的重要基础，而集成电路反向工程作为分析芯片内部的手段是芯片产业链中的重要环节。集成电路反向工程包括从扫描电子显微镜（ScanningElectronMicroscope，SEM）逐层采集芯片图像、识别器件、提取栅极网表、推断其功能等步骤，而将电气元件和金属线从集成电路（IntegratedCircuit，IC）图像背景中分割出来是识别器件等步骤的前提。然而，传统图像分割方法因为缺乏专家经验的学习不能适应IC图像复杂多变的电路情况。本文提出了名为HE-UNet的方法，用于提取IC图像中金属线与过孔，该方法包含三个步骤，首先利用U-M2(MobileNetV2-UNet)网络提取芯片图像的含噪特征，其次利用霍夫圆检测算法去除过孔周围的噪声，最后利用边缘检测池化去除远离过孔的噪声。本文提出的方法主要贡献包括：1）这种方法可以完全自动检测金属线与过孔的位置，而无需人工的干预；2）结合U-M2(MobileNetV2-UNet）、霍夫圆检测和边缘检测池化这三种混合方法，用于确定检测金属线与过孔的精确位置。本文在企业提供的一万多张尺寸为1024×1024的IC图像上的实验结果表明，只需选取其中399张图像用于训练，HE-UNet就可以有效完成金属线和过孔的分割。其中，平均交汇比（Mean Intersection over Union，mIoU）为98.24%，平均像素精确率（Mean Pixel Accuracy，MPA）为99.11%，均优于现有方法。

关键词：集成电路反向工程图像分割霍夫圆检测 HE-UNet

来源：评论

学校读者我要写书评

暂无评论

关于Seksenbaev-Robinson定理

引用

数学年刊（A辑） 2024年第2期45卷 185-204页

作者：刘合国张继平赵静徐行忠廖军海南大学数学与统计学院海口570228 北京大学数学科学学院北京100871 海南省工程建模与统计计算重点实验室海口570228 湖北大学数学与统计学学院武汉430062

剩余有限群也被称为是可以有限逼近的群,其特性常常由它的有限商群的性质决定.Seksenbaev定理断言:若对无限多个素数p,多重循环群G都是剩余有限p-群,则G是有限生成的无挠幂零群.Robinson把该定理推广为:设G是有限秩的可解群,若对无限多... 详细信息

剩余有限群也被称为是可以有限逼近的群,其特性常常由它的有限商群的性质决定.Seksenbaev定理断言:若对无限多个素数p,多重循环群G都是剩余有限p-群,则G是有限生成的无挠幂零群.Robinson把该定理推广为:设G是有限秩的可解群,若对无限多个素数p,G都是剩余有限p-群,则G是有限秩的无挠幂零群.这是无限可解群里的两个经典结果.本文证明了有关无限可解群的两个剩余有限性定理.本文的结果完善了Seksenbaev-Robinson定理.

关键词：可解群剩余有限性不可约多项式整群环下中心列

来源：评论

学校读者我要写书评

暂无评论

基于张量网络的多标签学习方法

引用

海南大学学报（自然科学版） 2023年第4期41卷 335-342页

作者：李丹萌张晨光刘天杜雪姣海南大学理学院海南海口570228 海南大学海南省工程建模与统计计算重点实验室海南海口570228

利用关系分类模型,将标签之间的相关性以及特征对标签相关性的影响形式化为分数模型,通过要求模型能够区分真实数据和噪声数据的得分建立了基于张量网络的多标签分类模型.多个数据集上的实验表明,相较于传统多标签学习方法和已有考察标... 详细信息

利用关系分类模型,将标签之间的相关性以及特征对标签相关性的影响形式化为分数模型,通过要求模型能够区分真实数据和噪声数据的得分建立了基于张量网络的多标签分类模型.多个数据集上的实验表明,相较于传统多标签学习方法和已有考察标签相关性的多标签学习方法,本文方法在平均精确度和错误率等多标签评价指标上提升近一倍,且拥有更低的计算成本.

关键词：多标签学习标签相关性特征相关性关系模型张量网络

来源：评论

学校读者我要写书评

暂无评论

概率二分模式下随机传染病模型的平稳性与控制研究

引用

海南大学学报（自然科学版） 2024年第1期42卷 8-18页

作者：李举张靖文王浩华海南大学理学院海南海口570228 海南大学海南省工程建模与统计计算重点实验室海南海口570228

提出了具有概率分流模式下的随机传染病模型,考察隔离个体诊断率(也包括疫苗功效)和环境扰动(噪声)的生物功效.首先,证明了随机模型正解的存在性和唯一性,然后确立了疾病灭绝和持续存在的充分条件.当噪声强度固定和疫苗效力增加时,Rs0... 详细信息

提出了具有概率分流模式下的随机传染病模型,考察隔离个体诊断率(也包括疫苗功效)和环境扰动(噪声)的生物功效.首先,证明了随机模型正解的存在性和唯一性,然后确立了疾病灭绝和持续存在的充分条件.当噪声强度固定和疫苗效力增加时,Rs0会变大并且灭绝时间会呈现负指数衰减.数值结果表明噪声的引入可以加快疾病的灭绝,从而达到对疾病的最优控制,其不仅能有效地降低感染人数,而且能加快疾病的灭绝.

关键词：传染病模型环境扰动稳态分布疾病灭绝最优控制

来源：评论

学校读者我要写书评

暂无评论

基于脉冲接种扰动下随机传染病模型的稳定性分析

引用

应用数学进展 2022年第6期11卷 4032-4040页

作者：肖思佳张靖文王志刚王浩华海南大学理学院数学系海南海口海南省工程建模与统计计算重点实验室海南海口热带特色林木花卉遗传与种质创新教育部重点实验室海南海口

脉冲接种是一种有效控制疾病传播的方式,对传染病研究有重要意义。本文建立了一个具有标准发生率和垂直传播的噪声干扰脉冲接种随机SIR传染病模型,并研究了其在理论分析和数值模拟两个方面的动力学性质。首先构造辅助函数证明系统等价... 详细信息

脉冲接种是一种有效控制疾病传播的方式,对传染病研究有重要意义。本文建立了一个具有标准发生率和垂直传播的噪声干扰脉冲接种随机SIR传染病模型,并研究了其在理论分析和数值模拟两个方面的动力学性质。首先构造辅助函数证明系统等价于一个不含脉冲的随机模型,并证明其正解的存在唯一性,其次利用伊藤公式给出疾病灭绝的充分条件,然后通过随机比较原理证明边界周期解的全局稳定性,最后用Matlab数值模拟来验证理论结果的正确性。

关键词： SIR传染病模型伊藤公式标准发生率系统等价随机比较脉冲接种周期解全局稳定性

来源：评论

学校读者我要写书评

暂无评论

波方程与欧拉伯努利板方程耦合系统的全局吸引子

引用

数学物理学报（A辑） 2023年第4期43卷 1179-1196页

作者：彭青青张志飞华中科技大学数学与统计学院武汉430074 湖北省工程建模与科学计算重点实验室华中科技大学武汉430074

该文研究了黎曼流形上半线性波方程与欧拉伯努利板方程耦合系统的长时间性态,该系统具有边界耗散结构.在逃逸向量场存在性假设下利用乘子方法证明了原耦合系统全局紧吸引子的存在性,该存在性与黎曼度量的曲率性质有关.

关键词：全局吸引子波/板耦合几何乘子法非线性边界耗散

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：