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

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

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

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

板式蒸发器仿真计算模型

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

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

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

基于FPGA的数字示波器电路模块设计

如何利用新兴起的FPGA芯片设计出生产生活中常用的仪器是电路设计中的重点和难点。提出了一种新的实验思路,基于FPGA开发平台设计了一款数字示波器。对VGA控制原理和电路设计、A/D控制电路设计、D/A控制电路设计三个模块进行了详细分析,其中A/D控制电路主要用TI公司生产的TLC549芯片实现,D/A控制电路通过一个串并联电阻网络来模拟实现。整个设计操作简单,易于调节,显示直观。通过实验测量和对比,具有良好的精度和采样率,符合对数字示波器的简易要求,具有一定的应用前景。     

基于可视化技术构建《计算方法》课程探究式教学环境

通过可视化技术建立计算方法课程的探究式教学环境,提供专业相关的实际问题创设任务情境,引进可计算文档格式(CDF)建设可交互的可视化探究学习环境,使用数学软件MATLAB实现典型算法的计算过程可视化和结果可视化.通过可视化和交互性的探究过程,学生自主构建了典型算法的相关知识,有效提高了学生利用计算机技术解决实际问题的计算思维能力和创新能力.     

基于饱和脉冲控制的不确定系统的鲁棒镇定

首先,设计状态反馈控制律,采用脉冲控制及不连续的Lyapunov函数方法,分析了具有范数有界的不确定饱和脉冲系统在脉冲影响下的指数稳定性.结合饱和函数的凸组合表示,给出零解鲁棒指数稳定的充分条件以及零解吸引域的估计,该零解指数稳定的充分条件依赖于脉冲区间的上下界,降低了结果的保守性.然后,基于线性矩阵不等式,将状态反馈镇定的设计问题转化为凸优化问题.最后,通过数值例子验证了有效性.     

调频质量阻尼器参数设计优化算法

调频质量阻尼器在结构振动控制中 ,为了最大限度地发挥耗能减振作用 ,需寻找ＴＭＤ的最优参数 ,即最优频率比和最优阻尼比 ,以使得结构在不同频率激励作用下的最大动力放大系数最小 .研究利用复形调优法进行ＴＭＤ参数设计的优化计算问题 ,提供了一种能够快速准确地确定ＴＭＤ最优参数的新方法 ,算例证明该方法具有相当高的精度 ,既可用于无阻尼体系ＴＭＤ控制的最优参数计算 ,又可用于有阻尼体系ＴＭＤ控制的最优参数计算调频质量阻尼器参数设计优化算法@胡晓峰 @胡世德     

调频质量阻尼器参数设计优化算法

在结构振动控制中,为了最大限度地发挥调质量阻尼器耗用,需寻找ＴＭＤ的最优参数,即最优频率比和最优阻尼比,以使得结构在不同频率激励作用下的最大动力放大系数最小,为此研究了利用复形调优法进行了ＴＭＤ参数设计的优化计算问题, 一种能够快速准确地确定了ＴＭＤ最优新方法。算例证明该方法具有相当高的精度,既可用于无阻尼体系ＴＭＤ控制的最优参数计算,又可用于有阻尼体系ＴＭＤ控制的最优参数计算。     

大型桥梁多激励效应的研究现状与发展

首先简要地就多点激励的模拟、分析方法等介绍了近年来国内外多点激励问题的研究现状,然后主要针对大跨度桥梁,侧重阐述了不同结构型式对多点激励的反应特征等方面已取得的一些研究成果和结论,最后就如何进一步展开该领域的研究进行了初步探讨。