一个新的公平非否认协议

在安全数据传输协议中，发送方和接收方的非否认性及公平性非常重要。通常可以通过采用数据传输中的双方非否认协议来达到这个目的。在克服CMPI协议缺陷的基础上，提出了一种新的公平非否认电子邮件协议。经过使用改进的Kailor逻辑分析验证，新的协议满足非否认性和公平性原则，可广泛应用于电子邮件、电子合同等电子商务应用中。     

一种湖泊分级分期旱限水位确定与动态控制方法

在抗旱领域,我国至今尚未建立起可用于抗旱应急管理工作的水位(流量)等干旱特征指标,水文报旱、旱情预警、抗旱会商、应急响应、水量调度等抗旱应急管理工作往往缺乏科学依据.在2011年水利部制定的《旱限水位(流量)确定办法》中,首次提出了旱限水位的概念,但没有具体针对湖泊制定旱限水位确定方法,且参照江河和水库旱限水位确定方法...     

天津市市售保健食品包装标识的调查分析

为了加强对保健食品的监督管理 ,维护消费者的身体健康与经济权益 ,促进我国保健食品事业的健康发展 ,我国于 1995年 10月 30日颁布的《中华人民共和国食品卫生法》(以下简称《食品卫生法》)对保健食品的监督管理作出一系列的规定 ,其中第二十二条明确规定“表明具有特定保健功     

变分水平集分割方法

针对三维图像多相分割问题,提出一种变分水平集分割方法。由变分方法和梯度坡降方法得到能量泛函取极小值的水平集函数演化方程,与基于区域模型的参数估计构成一个交替迭代过程。仿真结果表明,该方法简单高效,能快速实现三维图像的轮廓分割与重建,真实反映采集序列断层图像的信息,具有较好的应用价值。     

基于对象Petri网的信息系统建模技术

针对复杂管理信息系统分析与建模的困难性,提出了一种基于Petri网和面向对象的建模技术,给出了对象Petri网系统OPN的形式化定义,具体介绍了用OPN进行信息系统建模分析的基本思路与方法,并通过一个典型的租赁管理系统建模对该方法进行了应用。     

具有参数不确定性和外部扰动的非线性系统自适应鲁棒H∞输出反馈控制

本文针对一类同时具有参数不确定性和外部扰动的非线性系统,讨论了其自适应鲁棒H∞输出反馈控制问题。提出的设计方法结合自适应控制和鲁棒H∞控制,基于Hamilton-Jacobi不等式得到了控制问题可解的充分条件和动态输出反馈控制器的形式。     

不锈钢电阻点焊过程中的动态电阻变化规律分析

对利用自动数据采集技术获取的不锈钢点焊过程中的动态电阻信息进行系统研究.结果表明,不锈钢点焊过程中动态电阻能够灵敏且有规律地反映点焊工艺参数的变化,蕴含着丰富的点焊质量信息.焊接过程中动态电阻变化与熔核生长过程具有明显的对应关系,动态电阻曲线的拐点时间及终点值等特征量分别与熔核出现时间和最终熔核尺寸有很强的相关性.点焊过程喷溅会导致动态电阻骤降,其动态电阻变化率曲线在相应位置出现尖峰,为喷溅的自动识别提供了依据.     

一种新的密码协议分析方法及其应用

针对传统时序逻辑把协议看成封闭系统进行分析的缺点, 提出一种新的基于策略的ATL逻辑方法分析密码协议。最后用新方法对Needham-Schroeder协议进行了严格的形式化分析,结果验证了该协议存在重放攻击。工作表明基于博弈的ATL逻辑比传统的CTL更适合于描述和分析密码协议。     

探析家居用品的造型创意与设计

家居用品造型设计经历了一个由幼稚到成熟的发展历程,其发展受到时代、宗教、地域、民族等诸多因素制约和影响。继承优秀传统文化、借鉴外来文化、创新思维,利用情感、艺术、趣味等设计方式是提升家居用品设计风格和品位、促进其更好发展的有效途径。     

冠军源自不断创新——访威盛亚（上海）有限公司业务部高级经理徐晓

成功总是属于那些肯努力而又不惧怕失败的人。威盛亚从一个毫无根基的外资企业发展威为国内最大的耐火板产销商．其努力是有目共睹的。面对国内耐火板市场的广阔前景和激烈的市场竞争．威盛亚的成功除了有良好底子，其经营与管理也有许多值得借鉴之处。