一个不完全排错状态下的软件可靠性增长模型

在充分地考虑了软件排错过程特点的基础上,将现有的可靠性增长模型中“完全排错”的假设修改为“不完全排错”,使之更符合实际情况．通过将软件错误分为不同的两类来刻画,得到了一个软件可靠性增长模型,该模型含有两个参数,使用起来较为方便．     

一类具有状态依赖脉冲投放濒危物种的两种群竞争模型的周期解（英文）

提出了一类具有状态依赖脉冲投放濒危物种的两种群竞争模型.通过利用半连续动力系统的几何理论和类Poincare准则,得到了该模型的正阶-1周期解、半平凡周期解的存在性和稳定性的充分条件.     

基于决策图的三维模型无监督聚类算法

针对三维模型的无监督聚类问题,目前广泛采用基于词袋的方法具有两大缺陷,既无法准确知道聚类的数目,也不能适用于结构复杂(比如呈流形结构)的形状空间.为此,本文采用两大方法加以改进,其一利用有流形聚类功能的决策图方法取代K-means,其二使用核函数更加有效地衡量三维形状之间的差异.在SHREC2010库和SHREC2011库上的大量实验结果表明,两种技巧的有机结合使聚类的精确度和效率得到了显著的提升.     

两类非甾类终止妊娠药物代谢影响因素理论化学研究

采用半经验AM1量子化学方法计算了两类非甾类终止妊娠化合物的物理化学参数,并用多元线性回归分析法对所研究化合物的代谢强度进行QSAR研究,得到了较好的结果.两个模型互相验证,结果一致,有较高的预测能力.根据所建立的模型,化合物较高的生成热以及主要代谢位置上的前沿电子密度均为代谢的不利因素,这可能与化合物体内代谢历程有关.     

双因素不完全配对模型和分离聚类法

双因素分离聚类法是一种有广泛应用背景的处理双因素不完全配对模型的数理统计方法．在大样本下,该方法能有效地把影响试验结果的两个因素分离开来,并按事先确定的准则对每个因素的各水平聚类．     

一种基于非参数贝叶斯模型的聚类算法

鉴于聚类分析是机器学习和数据挖掘领域的一项重要技术, 并且与监督学习不同的是聚类分析中没有类别或标签的指导信息, 所以如何选择合适的聚类个数(即模型选择)一直是聚类分析中的难点. 由此提出了一种基于Dirichlet过程混合模型的聚类算法, 并用collapsed Gibbs采样算法对混合模型的参数进行估计. 新算法基于非参数贝叶斯模型的框架, 能够在不断的采样过程中优化模型参数并形成合适的聚类个数. 在人工合成数据集和真实数据集上的聚类实验结果表明: 基于Dirichlet过程混合模型的聚类算法不但能够自动确定聚类个数, 而且具有较强灵活性和鲁棒性.     

基于角色与目标注册元模型的语义互操作能力研究

为了促进需求模型间的语义互操作并有效评估角色与目标注册元模型为两种需求模型提供的语义互操作能力,提出了一种互操作能力评估方法.实验中以需求模型i＊和KAOS对会议安排进行建模得到需求模型实例,同时基于现有的角色与目标注册元模型以及对应的需求模型规格,通过连续两次映射,将需求模型的元素映射到角色与目标注册元模型的元类及其关联,并针对映射结果定量分析i＊模型与KAOS模型间部分语义互操作的程度.实验结果表明,该方法能有效评估需求模型间通过角色与目标注册元模型进行语义互操作的能力,并为需求模型间实现深度语义互操作提供度量支持.     

在CDMPC固定相上拆分的两个体系的HQSAR研究

用HQSAR方法研究了在3,5-二甲基苯基氨基甲酸酯纤维素手性固定相（CDMPC）上进行高效液相色谱拆分的两个体系（吡咯抗真菌类和有机磷酸酯类试剂）各15个化合物的定量构效关系．HQSAR方法是一种新的分子结构表征技术,分析快速,可重复性好．本文从构象搜索所得的低能结构出发构建化合物分子,建立HQSAR模型,得到了较好的结果．吡咯抗真菌类化合物的HQSAR模型的交叉验证系数q^2为0．797（10gk1）、0．541（10gk2）．磷酸酯类化合物的q^2为0．824（10gk1）、0．731（10gk2）．这些模型从理论上阐述了这两类化合物在CDMPC上拆分过程中的影响因素,为这类手性固定相上的类似拆分实验提供了理论支持．     

傅里叶正、余弦变换的加权卷积及其应用

傅里叶变换是求解积分方程常用的工具。基于傅里叶正弦变换与傅里叶余弦变换，定义了两类傅里叶混合加权卷积，得到了傅里叶正弦变换与傅里叶余弦变换的卷积定理，并研究了这两类卷积运算的性质及Young类不等式，将这两类混合加权卷积应用于求解卷积类积分方程，得到了卷积类积分方程的显式解。     

双价电子原子的一种势模型方法

以类铍原子或离子体系为研究对象,提出了一种双价电子原子体系的能级结构的计算方法:将这些原子或离子体系的内层电子等效为一个势模型,两个价电子则用组态相互作用的方法进行处理.同时,采用Slater基函数展开,从而给出双价电子的类铍原子或离子体系的波函数,结果与实验值符合较好.     

一类离散SIRS传染病模型的Lyapunov函数

研究了两类离散SIRS传染病动力学模型.得到了无病平衡点和地方病平衡点的全局稳定性.通过归纳法得到了解的正性与有界性,并构造适当的离散的Lyapunov函数,得到无病平衡点和地方病平衡点的全局渐近稳定性的判别准则,且平衡点的全局稳定性由阈值来完全决定.     

两个参数受到随机干扰的一类传染病模型研究

研究了两个参数同时受到随机干扰的一类SI传染病动力学模型,采用Fokker-Planck方程的方法,详尽的分析了该模型的动力学性质,而且得到了系统均衡解的均值和方差的显示表达式,从而该系统的的动力学行为就被完全弄清楚了。     

基于元胞自动机的甲型H1N1流感病毒的模型

目前甲型H1N1流感是一种危害全球的疾病,它的许多特性还有待进一步发现．本文利用元胞自动机的特点,将人群分为易感者,患病者,治愈者,建立元胞自动机传染病模型对甲型H1N1流感给予研究．模拟结果表明：所建模型可以有效地模拟甲型H1N1流感,同时针对疾病的发生变化,模型可以调整得到有效的结果．特别考虑隔离措施的影响,表明有效隔离是阻止疾病传播的有效手段．     

浙江省新型冠状病毒肺炎（COVID-19）疫情时空演化与影响因素分析

新型冠状病毒肺炎（COVID-19）疫情全球暴发,严重危害人们身体健康,阻碍经济快速发展。基于地理学视角对重点地域时空传播模式进行解析,有助于疫情防治。鉴于此,以浙江省为研究区,借助多源时空数据,综合运用文本分析、数理统计、空间回归分析等方法,解析确诊病例的社会人口学特征与疫情的时空演化过程,进而分析其影响因素。结果表明：（1）确诊病例年龄分布跨度较大,呈“中段大,两端小”的正态分布格局。（2）在时间上,疫情发展演化可分为初发期、暴发突增期、稳步下降期、内部稳定期、境外输入期5个时期;新增确诊病例通报时间与发病时间间隔集中于0~6 d,外地病例通报时间与发病时间间隔长于本地病例,且外地病例多发病于离开原住地当天;日发病人数性别构成比无明显差异,年龄构成比具有阶段性特征。（3）在空间上,确诊病例呈“东南-西北”走向,演变趋势呈“单一散发”向“多地群发”再至“重点输入”演变,具有“高-高”“高-低”集聚特征;确诊病例路径迁移呈现明显的核心-边缘结构,迁出地以武汉市为核心的首位流显著。（4）老龄人口比、人均GDP、第三产业占比、规模以上工业企业数、与武汉市的空间距离是影响疫情分布的主导因素。最后,提出了针对性的防控建议,指出了研究中的不足与未来努力的方向。     

一类传染病模型的全局解

研究一个具时滞和扩散的传染病模型,该模型数学上可用非线性反应扩散方程组描述,重点研究了该方程组解的定性性质.用上下解的方法证明了该方程组全局解的存在唯一性.     

具有垂直传染非自治SIR传染病模型的持久性和灭绝性

通过对一类具有垂直传染的非自治SIR传染病模型的研究，在较弱的条件下，不仅得到了疾病一致强持久（即疾病流行）的充分必要条件．而且给出了疾病消失的判别准则．     

一类流行性传染病生态模型的摄动解

研究了一类流行性传染病.描述了传播动力学的生态模型.利用摄动的方法,得到了相应模型的渐近解,再利用微分不等式理论,证明了得到的渐近解的一致有效性,从而可以对相应模型的状态作出预报和控制.     

一类与环境有关的传染病模型的稳定性分析

研究了一类与环境有关的SIQR的传染病模型,得到了基本再生数R0.证明了当R0<1时无病平衡点全局渐近稳定,当R0>1时地方病平衡点全局渐近稳定.     

新冠疫情后浙江省服务贸易空间结构解析

服务贸易正在成为全球自由贸易的重点和焦点, 受疫情影响, 传统服务贸易更面临着转型与重构. 以2020年疫情初期发展阶段为参照, 采用区位熵值法测算浙江省与京、沪、广、深四大城市在三大产业上的发展差异, 以服务业区位熵值对浙江省内10个地级市进行产业空间结构分析. 结果表明: (1)浙江省第三产业发展水平较发达地区仍存在一定差距, 产业数字化为服务贸易转型升级提供新的机遇与挑战. (2)浙北地区数字贸易创新、浙南地区传统服务贸易数字化转型、浙东自由贸易区升级均表现出明显的新兴服务贸易空间集聚态势. (3)疫情后以贸易链衍生策略优化浙江省服务贸易空间结构, 能够为共同富裕示范区建设提供持续健康发展动力.     

预防接种情况下具有非线性传染率的SEIR传染病模型的全局分析

研究一类具有预防接种的非线性传染率SEIR传染病模型,得到了各类平衡点存在的阈值条件。利用Lia-punov-Lasalle不变集原理证明了无病平衡点全局渐近稳定,利用Hurwitz判别法得到了地方病平衡点的局部渐近稳定的充分条件。应用微分方程轨道稳定和复合矩阵的相关理论得到了地方病