数字信号处理和时序分析(续完)

10.1 石油和天然气的勘探 地球是一个巨大的热动力发动机,用太阳以及内部贮存的大量热能作燃料,并受引力的约束。地球的外壳不断地受到牵引而处     

不可否认协议形式化分析的Petri网方法

Petri网是一种描述及分析并发行为的工具,在安全协议的形式化分析中得到了广泛的应用,但目前还没有人使用Petri网来分析不可否认协议.本文以一般安全协议的Petri网分析方法为基础,提出了使用Petri网分析不可否认协议的建模及分析方法,该方法可以描述并分析一些其它形式化方法无法描述的协议性质.使用该方法分析J. Zhou和D. Gollmann的公平不可否认协议发现了它议的一个许多其它形式化方法不能发现的已知缺陷.     

农村离婚妇女土地权利流失及其保护

我国农村离婚妇女土地权利受到侵害的原因与我国农村妇女土地权利问题一样复杂多样,但从根本上说,主要是由我国土地资源的稀缺性和拥挤性、"父权社会"结构和男权主义文化以及法律与政策的漏洞所决定的.只有从父权结构、根本法律和专门法律配套、社会特别是村社传统、风俗习惯等多方面进行循序渐进的变革或改造,才能真正保护我国农村离婚妇女这一社会弱势群体的土地权利.     

板式蒸发器仿真计算模型

对板式蒸发器建立仿真计算模型。并利用模型，精确计算了板式蒸发器里流体沿流道方向温度、压力的分布以及冷热流体的速度分布和板壁温度分布。根据模型的计算结果，分析换热器运行性能，阐述仿真结果的理论依据，说明了板式换热器的换热和流体流动情况，为板式换热器的优化设计和系统仿真提供了基础。     

大跨V形刚构桥标高控制动态可靠性及灵敏度研究

提出基于响应面法进行大跨V形刚构桥标高控制动态可靠性及灵敏度分析的方法,该方法包括试验设计、有限元分析、响应面函数拟合、标高控制动态可靠性评估和灵敏度分析.以镇大公路运河大桥为例,在考虑有关参数变异的情况下,对施工过程中的标高控制动态可靠性及可靠性灵敏度进行评估,定量分析了各结构参数对标高控制动态可靠性的影响.研究结果表明:大跨混凝土V形刚构桥施工监控过程中随着悬臂长度的增加,标高控制动态可靠性和可靠性敏感性绝对值变化较大,应根据动态可靠性分析结果确定施工过程中的挠度变化允许最大误差.     

等约束条件下多元函数条件极值的充分条件

等约束条件下多元函数极值的充分条件问题通常是采用二阶微分法来判断,该方法原理虽然简单,但计算量大,尤其是随着变量和约束条件个数的增加,要计算出d2 L并判断出其符号就显得更加困难而不可行。文章用Lagrange乘数法、多元隐函数求导法以及有条件极值化无条件极值的方法推导证明了多元函数极值的充分条件,并给出易于计算且切实可行的方法和定理,从不同的角度做出了理论的探索与尝试。     

三次对称多项式x3+y3+z3-3xyz的因式分解及其应用(Ⅲ)

与文献[1-2]的思想一致,给出三次对称多项式x~3+y~3+z~3-3xyz的因式分解的一些应用。这连续三篇文章足以证明:运用多项式x~3+y~3+z~3-3xyz的相关性质可以处理不少问题,该方法简易直接,具有广泛的应用价值。     

人际助益品性发展的可行性及培养途径探析

人际助益品性是指在人际互动过程中发展起来的一种人与人之间的促进成长的关系。从人际助益品性发展的理论渊源、人际助益品性培养途径及其可行性等角度进行理论阐述,力争激发个体发展亲密的人际关系,促进个体的人格健全发展,进一步促进社会的和谐稳定。     

黄芪治疗肾缺血再灌注损伤的文献分析

分析黄芪治疗肾缺血再灌注损伤的效果。以"黄芪"和"肾缺血"为关键词在中国期刊网检索其收录的文献,并对文献进行分析。1990年1月~2016年6月共有文献24篇,对其中符合标准的13篇进行分析,13篇文献均为动物在体实验。黄芪及其有效成分均可以有效治疗肾缺血再灌注损伤现象,但需要更严谨的实验设计和方法、样本量大、检验效能高和干预时间更长的试验研究进一步证实。