TLS握手协议的计算模型分析*

本文用BR模型对TLS握手协议进行了计算分析与安全性证明. TLS握手协议作为典型的认证密钥交换协议,可以自然结合到BR认证协议计算模型分析框架当中. 本文对该协议主要通信过程进行了总结、建模和分析,证明当协议所采用的公钥加密函数和消息认证函数均满足计算模型安全性要求时,TLS握手协议在BR计算模型下是安全的.     

拱坝坝体温度观测资料分析实例

利用三角正弦函数拟合的方法,对拱坝多年的实测坝体温度资料进行分析,得到各测点连续的温度变化,了解混凝土拱坝坝体温度的变化规律,为坝体应力计算提供可靠的温度荷载。     

遗传算法与幻方构造

文章首先简单介绍了基本遗传算法的原理以及构造随机幻方的必要性。然后列举出一种构造随机幻方的遗传算法并加以分析和评论;并且引进部分匹配交叉算子以及设计了一种新的交叉算子和一种新的变异算子,形成了一种较高效率的构造幻方的遗传算法。通过实验比较,改进的算法要优于先前的算法。最后提出了用遗传算法构造幻方的一种研究思路。     

C语言中变量的性质

讨论了C语言中变量的特性，分析了变量的分类、作用域、存储类型厦存储方式。     

分段函数求导问题的多种解法

求分段函数在分段点处的导数，不能直接利用求导公式或求导法则；但是可以借助其它数学工具，如导数极限定理、泰勒公式等等，将问题转化，进而得到求解该问题的多种方法。     

例析分离参数法在不同函数中的应用

分离参数法的本质即是将原问题转化为多个函数之间的关系,本文主要探讨了分离参数法在分段函数以及复合函数中的应用.     

可控随机非完整Hamilton系统的矩稳定

研究了可控随机非完整Hamilton系统的矩稳定性的条件，通过恰当地选择控制参量u，从而使系统满足稳定性条件，首先，给出可控随机非完整Hamilton系统的运动方程和平衡方程，然后，讨论了可控随机非完整Hamilton系统的均值稳定性的条件。     

用格林函数法求解双层球面间的非对称电场问题

用格林函数法求出了双层球面间的非对称电场的第一类边值问题的解析解，它概括了常见教材、文献中关于格林函数法往往限于“简单”、“接地”、“轴对称”等特殊情况。     

谈离婚损害赔偿的问题

近年来，由于一方的过错而导致离婚的案件逐年增多，在这类案件中，过错方的过错行为给无过错方造成了巨大的身体创伤和精神痛苦，在离婚时本应得到裣，但现行婚姻法无此规定，故笔者建议在新个性的婚姻法中增加离婚损害赔偿制度，并具体谈了三个问题：一是离婚时损害赔偿的提起；二是离婚损害赔偿发生的状况；三是建立损害赔偿制度的意义。     

离散频谱最优校正方法选择策略的仿真研究

针对在不同工程应用环境中离散频谱校正方法的选择问题,提出离散频谱最优校正方法的选择策略。该策略以校正方法的性能指标作为最优校正方法选择的主要依据,将校正方法选择问题转化为优化问题,通过计算优化函数获取选择结果。蒙特卡洛仿真实验的结果表明,在不同信噪比情况下,经选择策略产生的校正方法与其他4种单一校正方法(相位差法、比值法、能量重心法和全相位法)相比,校正精准度和实时性均有提高,因此证明了校正方法选择策略的有效性和可行性。