平面图四色问题的一个必要定理

本文从逻辑推理角度讨论了关于四色问题的一个必要性定理。     

基于ElGamal体制的可验证的门限秘密共享方案

本文将E1Gamal体制与Shamir秘密分享方案相结合提出了一种可验证的门限秘密共享方案，其安全性是基于ElGamal体制中在有限域求解离散对数问题的难解性．在该方案中提出了如何防止恶意参与者进行恶意攻击以及如何检验合法参与者是否提供了假的秘密份额，同时也给出了检验由假冒Dealer的参与者以及检验Dealer是否分发了非法的秘密份额的一些有效措施。     

基于动力学模型的利比里亚埃博拉疫情分析

埃博拉疫情的爆发是对公共卫生安全的巨大挑战.由于未经过处理的埃博拉患者尸体仍具有传播性,建立了SEIRDF模型.通过对利比里亚确诊埃博拉患者数据进行拟合,获得感染率和传播系数.数值实验结果量化了防控措施强度,突出了预防工作重要性.     

浅谈沥青路面工程质量管理

针对沥青路面的早期质量问题,从几个方面阐述了沥青路面病害产生的原因,提出了一些对应的措施。     

一维抛物型方程的ETF-FDS-四阶紧致差分-MG算法

将ETF-FDS格式和四阶紧致差分格式应用于一维抛物型方程,提出了ETF-FDS-四阶紧致差分-MG格式,用傅里叶方法证明该格式是无条件稳定的,并使用了多重网格法.最后用数值试验验证了方法的精确性与可靠性.     

求解病态线性方程组的精细积分新主元加权迭代法

在精细积分法的基础上，通过构造一个特殊的加权矩阵，并将其应用于主元加权迭代法.提出了一种将主元加权迭代法与精细积分法相结合的求解病态方程组的新算法，并用该算法求解两个经典算例.实验结果表明，该算法在求解精度和迭代次数上都有明显提升，是一种可以有效求解病态方程组近似解的新算法.