一类含参半正二阶离散周期边值问题正解的存在性

用Guo-Krasnoselskii不动点定理给出半正二阶离散周期边值问题正解的存在性和多解性结果, 其中λ>0为参数, ［1,T］_z={1,2,…,T}, f: ［1,T］_z×［0,∞)→R连续且存在常数D>0, 使得f(t,u)≥-D, (t,u)∈［1,T］_z×［0,∞), a: ［1,T］_z→(0,∞), 02(π/2T).     

基于深度学习的中医古文献临床经验抽取

中医古文献蕴藏着丰富的临床经验，是古代中医在行医过程中对临床诊疗的经验性总结，体现了中医学形成和发展的理论框架和思想基础.然而这些宝贵的临床经验不仅量大，而且分散在不同的文献中，使得中医从业者手工很难快速全面地获取它们，文献检索工具也只能提供文档级别的信息筛选，无法为这种细粒度的信息获取提供支持.此外，古汉语相对于现代汉语的不同特点也限制了主流文本分析工具的使用效果.为此本文提出面向临床经验获取的中医古文献信息抽取任务，用于识别古文献中描述临床经验的文本片段，手工标注了样本数据用于这种抽取模型的训练和测试，并设计了基于深度学习的序列标注器用于完成该任务.考虑到标注数据量小可能带来的过度拟合问题，本文引入对抗训练和虚拟对抗训练来增强模型的泛化能力.一系列充分的实验验证了模型的有效性，表明利用信息抽取技术从古文献获取中医临床经验具有可行性，为这一新的信息抽取任务提供了有希望的研究基线和可复用的标注数据集.     

Banach空间分数阶微分方程边值问题正解的存在性

用非紧性测度估计技巧和凝聚映射的不动点指数理论, 证明Banach空间中分数阶微分方程边值问题正解的存在性.     

基于生物信息的未知二进制协议聚类方法

协议聚类是协议逆向工程技术中非常重要的一步，针对二进制协议更加透明且满足的协议种类更加广泛的特点，提出了一种基于基因和蛋白质生物信息的二进制协议聚类方法，能够从原始序列角度对大量协议直接进行聚类.本文方法首先将原始二进制报文转化成四进制基因形式，使用快速聚类方法计算碱基两两组合的k-seed值生成距离矩阵，并用UPGMA计算最小距离生成树得到初始分簇；其次，将每一簇四进制协议报文转化成十六进制蛋白质链，得到序列更有语义的方式并采用基于改进mBed算法的聚类方法将其进行高精度聚类.通过对已知和未知协议单纯和混合场景下的测试表明，该方法能够对二进制协议实现高效并且高准确率的聚类，具有较高的应用价值.     

一类数列极限存在性的证明及其求法

讨论了一类数列极限存在性的证明与其值的求法,通过考研真题和其他实例验证了提出的证明方法是有效、实用的.     

一个典型弹性梁方程涉及第一特征值的正解

运用锥理论和不动点指数方法,在与相应的线性算子第一特征值有关的条件下,获得了一个典型弹性梁方程正解的存在性,改进了相关文献的结论.     

污染环境下森林发展系统的最优控制

研究了污染环境下一类森林发展系统的最优控制问题。首先,提出所研究的模型并通过Banach不动点定理证明了解的存在唯一性,然后根据凸泛函的性质以及Mazur引理得出最优控制的唯一解。     

基于改进离散粒子群算法构建制造单元

在未知最佳分群单元数的情况下,考虑了零件多种可选工艺路径和零件工艺顺序,建立基于最小化零件跨单元移动次数的数学模型.通过引入自适应变异因子,提出一种改进的离散粒子群优化算法能动态地确定分群单元数,极大地减少了算法陷入局部最优解的可能.通过对文献中不同规模的单元构建问题进行求解,结果证明了该方法有效,并且无需预先设定分群单元数即可获得与文献中相同甚至更好的结果.     

活性氧化铝固定床吸附除氟的模型化研究

建立了活性氧化铝固定床吸附除氟过程的数学模型,通过连续实验获得了Langmuir吸附容量qm以及Langmuir常数KL,运用最小二乘法拟合了吸附过程的总传质系数ks,并使用龙格-库塔法求得模型的数值解。为了验证模型的可靠性,将所建立模型的计算结果与实验结果进行比较,使用相对误差法进行分析。结果表明当空速小于6.0 h-1时,6组模拟与实验数据的相对误差均小于10%,模拟与实验所得穿透曲线吻合良好。所建立模型的准确性能够满足工程应用和设备设计的需要。     

一类非线性微分方程耦合系统无穷边值问题解的存在性

在Banach空间中，利用M?nch不动点定理，结合一个新的比较结果，研究一类一阶非线性微分方程耦合系统无穷边值问题，其非线性项和边值条件均具有耦合性。获得该问题解的存在性定理，并给出一个应用实例。