群组通信环境中的密钥管理协议

随着群组通信业务的普及，群组通信的相关安全研究也随之兴起。群组密码学的概念首先由 Desmedt 提出。与传统通信中的密码学方案相比，群组密码学具有很多优点，并已经成功地运用到视频点播和分布式系统等一些应用场景中。群签名，环签名，广播加密等密码学体制作为群组密码学的重要分支都得到了学术界的密切关注。本文的研究工作集中在群组密码学的一个重要组成部分：群组密钥管理，即多个（群组）用户在不安全的开放网络环境中通过一定的协议产生一个共享的会话密钥，为后面的通信提供各种安全性保护。 本文的研究工作主要包含两个方面，群组密钥分发协议和可证明安全的认证群组密钥协商协议。在对已有的群组密钥管理方案进行了大量的调查与分析后，我们在此基础上提出了一些有价值的研究成果。本文的主要成果包括： 1. 在第二章中，提出了一种高效的长期 self-healing 群组密钥分发方案。和已有方案相比，新方案的优势包括：（1）我们避免了使用指数运算, 而只是域上多项式的相关运算；（2）群组管理者广播消息次数比 Staddon 等人和Blundo 等人的方案少一次；（3）用户端存储私钥数目比 Staddon 等人的方案少将近一半；（4）新协议的安全性为无条件安全。 2. 在第三章中，构造了一个从一般群组密钥协商协议向基于口令认证的群组密钥协商协议转换的编译器。编译器的构造利用了对称加密体制，NM-CCA2 和 IK-CCA2 安全的公钥加密体制，以及 UF-CMA 安全的数字签名体制，从而使得编译器可以避免在线/离线字典攻击。 3. 在第四章中，提出了一个基于口令认证的群组密钥协商协议，使得网关在认证服务器的协助下和多个用户之间建立一个会话密钥，同时认证服务器不知道此会话密钥的任何信息（网关和认证服务器之间的信道是专用信道）。由于意识到口令的泄露往往是由于用户的不当使用造成的，所以，不同于已有的基于口令认证的门限密钥协商机制，我们的门限方案是在用户端实施。我们的门限方案要求把用户群组和认证服务器预先共享的口令（称之为群组口令）以秘密共享方式分散共享在群组用户之间，并且每个用户所存储口令的子秘密（share）值依然是一个易记忆的口令（称之为用户口令）。只有不少于 k 个用户一起才能恢复出群组口令。 4. 在第五章中，利用了Unified 模型（把用户长期私钥嵌入到密钥协商过程）构造了一个在 Strong Corruption 模型下可证明安全的强健的认证群组密钥协商协议。和已有类似方案相比，新方案所需要的签名数量明显减少，从而，计算复杂度和通信复杂度也随之降低。另外，新协议是在 Strong Corruption 模型下可证明安全，在此模型下的类似协议比较少。 5. 在第六章中，对 Desmedt 等人提出的 BD-II（树型）群组密钥协商协议做出改进。利用在树中各个节点上应用遮罩函数，我们把由于群组关系变化而对密钥更新所产生的影响限制在一个比较小的群组范围中，从而提高了协议在动态情况下运行的效率。新协议通过四个子算法：初始化，成员加入，成员撤销，子群组合并来分别应对群组密钥协商过程中所遇到的各种（动态）情况。

网驰平台统一部署框架的设计与实现

随着软件技术的发展，越来越多的应用系统采用组件技术来提高系统开发效率。企业级应用通常通过集成多种组件形成复杂软件，完成业务功能。各种组件之间存在直接或者间接的依赖关系以及配置限制，使得当前以手工为主的组件部署效率低下且容易出错。 针对分布式组件系统部署面临的问题，论文建立了一种基于约束规则的统一部署框架，支持各种组件的统一一致的自动化部署。论文首先分析总结了组件部署现状，设计了一种统一部署描述模型，刻画不同组件的部署需求，包括部署单元、部署目标、以及约束规则，为部署计划正确性验证以及自动部署提供基础。针对组件部署中缺乏提前验证的问题，论文还设计了一套基于约束规则的验证机制。通过总结当前多种组件平台中领域相关的约束规则，对约束规则进行分类，并使用声明式对象约束语言（Object Constraint Language）刻画约束规则。为不同类型约束设计了验证算法，并且设计了包含约束规则验证活动的组件部署流程。最后论文给出了网驰平台统一部署系统OnceUD的设计与实现，将前述研究成果引入其中，并通过应用案例评估了系统的功能。

统一建模技术研究

统一建模是指采用UML语言并运用RUP过程进行软件系统建模的技术.分析了统一建模的特点,总结了在统一建模过程中使用的一些技术,包括如何分析用例,如何在设计中保持一致的体系结构风格,如何识别和重组设计元素等.

An eigenfunction expansion-variational method in prediction of the transverse thermal conductivity of fiber reinforced composites considering interfacial characteristics

An eigenfunction expansion-variational method based on a unit cell is developed to deal with the steady-state heat conduction problem of doubly-periodic fiber reinforced composites with interfacial thermal contact resistance or coating. The numerical results show a rapid convergence of the present method. The present solution provides a unified first-order approximation formula of the effective thermal conductivity for different interfacial characteristics and fiber distributions. A comparison with the present high-order results, available experimental data and micromechanical estimations demonstrates that the first-order approximation formula is a good engineering closed-form formula. An engineering equivalent parameter reflecting the overall influence of the thermal conductivities of the matrix and fibers and the interfacial characteristic on the effective thermal conductivity, is found. The equivalent parameter can greatly simplify the complicated relation of the effective thermal conductivity to the internal structure of a composite. (c) 2010 Elsevier Ltd. All rights reserved.

Cluster preformation in heavy nuclei and radioactivity half-lives

Various cluster radioactivities of heavy nuclei have been investigated by using the unified fission model (UFM). The cluster preformation factors have been extracted by employing the UFM connected with the experimental half-lives, and the relationship of preformation probability between the cluster and alpha-particle has been discussed in detail. In addition, the cluster preformation probability has been studied in the framework of statistical physics. Some useful predictions on the cluster emission half-lives are provided for future experiments.

Faddeev-Jackiw canonical path integral quantization for a general scenario, its proper vertices and generating functionals

We generalize the Faddeev-Jackiw canonical path integral quantization for the scenario of a Jacobian with J=1 to that for the general scenario of non-unit Jacobian, give the representation of the quantum transition amplitude with symplectic variables and obtain the generating functionals of the Green function and connected Green function. We deduce the unified expression of the symplectic field variable functions in terms of the Green function or the connected Green function with external sources. Furthermore, we generally get generating functionals of the general proper vertices of any n-points cases under the conditions of considering and not considering Grassmann variables, respectively; they are regular and are the simplest forms relative to the usual field theory.

alpha-decay half-lives and Q(alpha) values of superheavy nuclei

The alpha-decay half-lives of recently synthesized superheavy nuclei (SHN) are investigated by employing a unified fission model (UFM) where a new method to calculate the assault frequency of alpha emission is used. The excellent agreement with the experimental data indicates the UFM is a useful tool to investigate these alpha decays. It is found that the alpha-decay half-lives become more and more insensitive to the Q(alpha) values as the atomic number increases on the whole, which is favorable for us to predict the half-lives of SHN. In addition, a formula is proposed to compute the Q(alpha) values for the nuclei with Z >= 92 and N >= 140 with a good accuracy, according to which the long-lived SHN should be neutron rich. Several weeks ago, two isotopes of a new element with atomic number Z = 117 were synthesized and their alpha-decay chains have been observed. The Q(alpha) formula is found to work well for these nuclei, confirming its predictive power. The experimental half-lives are well reproduced by employing the UFM with the experimental Q(alpha) values. This fact that the experimental half-lives are compatible with experimental Q(alpha) values supports the synthesis of a new element 117 and the experimental measurements to a certain extent.

一种基于粒子的牛顿流体与粘弹性流体统一模拟方法

在越来越受到人们关注的基于物理流体动画领域,目前分别模拟牛顿流体或粘弹性流体的方法很多,但很少有统一模拟两者的方法.文中基于光滑粒子流体动力学方法,通过对传统纳维-斯托克斯方程添加弹性应力项,提出了一种新的统一模拟牛顿流体和粘弹性流体的方法.通过实验说明该方法不仅有效,易于实现,而且具有良好的可控性,仅仅通过调节参数就可以模拟不同粘弹性、不同类型的流体现象.

Residual properties of an injection-molded poly(phenylene ether ketone) carbon composite during flexural fatigue

The present work investigates the effects of cyclic fatigue loading on the residual properties of an injection-molded composite, carbon-fiber-reinforced poly(phenylene ether ketone) (CF/PEK-C), and damage development in this material under fatigue lending. Test specimens, which had been conditioned to various preselected fatigue damage stages, were measured for their residual properties. The results indicated that cyclic fatigue loading alters the constitutive behavior of the injection-molded composite, especially in the non-linear portion of the stress/strain curve. The residual strength decreases with increase in the number of fatigue cycles as a consequence of the accumulation of fatigue damage, which is dominated by the growth of microcracks. While the residual modulus increases slightly with cyclic fatigue loading, this is probably due to the oriented hardening resulting from creep deformation which is induced during cyclic loading. (C) 1997 Elsevier Science Limited.

Stress corrosion cracking of AISI 321 stainless steel in acidic chloride solution

The stress corrosion cracking (SCC) of LambdaISI 321 stainless steel in acidic chloride solution was studied by slow strain rate (SSR) technique and fracture mechanics method. The fractured surface was characterized by cleavage fracture. In order to clarify the SCC mechanism, the effects of inhibitor KI on SCC behaviour were also included in this paper. A study showed that the inhibition effects of KI on SCC were mainly attributed to the anodic reaction of the corrosion process. The results of strain distribution in front of the crack tip of the fatigue pre-cracked plate specimens in air, in the blank solution (acidic chloride solution without inhibitor KI) and in the solution added with KI measured by speckle interferometry (SPI) support the unified mechanism of SCC and corrosion fatigue cracking (CFC).

Elliptic Object Detection Based on Shape Preserving and Active Contour

本文通过形状约束方程(组)与一般主动轮廓模型结合,将目标形状与主动轮廓模型融合到统一能量泛函模型中,提出了一种形状保持主动轮廓模型即曲线在演化过程中保持为某一类特定形状。模型通过参数化水平集函数的零水平集控制演化曲线形状,不仅达到了分割即目标的目的,而且能够给出特定目标的定量描述。根据形状保持主动轮廓模型,建立了一个用于椭圆状目标检测的统一能量泛函模型,导出了相应的Euler-Lagrange常微分方程并用水平集方法实现了椭圆状目标检测。此模型可以应用于眼底乳头分割,虹膜检测及相机标定。实验结果表明,此模型不仅能够准确的检测出给定图像中的椭圆状目标,而且有很强的抗噪、抗变形及遮挡性能。

基于形状保持主动轮廓模型长直条的检测

通过形状约束方程(组)与一般主动轮廓模型结合,将目标形状与主动轮廓模型融合到统一能量泛函模型中,提出一种形状保持主动轮廓模型。模型通过参数化水平集函数的零水平集表示某一类特定形状,不仅达到了分割即目标的目的,而且能够给出特定目标的定量描述。根据形状保持主动轮廓模型,建立一个用于长直条状目标检测的统一能量泛函模型,导出相应的Euler-Lagrange常微分方程并用水平集方法实现了长直条状区域的检测。此形状保持模型的一种特殊情况可以用于直线状地平(海天)线提取。实验结果表明,该模型不仅能够准确地检测出给定图像中的长直条状区域而且有很强的抗噪、抗变形及遮挡性能。

制造系统的可重构性

可重构制造模式是一种指导管理和控制制造系统重构过程的制造哲理 ,它使制造系统有效地响应不断变化的环境。制造系统具有可重构能力是其生存和发展的基本手段 ,具有较高可重构性的公司在风云突变的环境中将远远超过其竞争对手。本文探讨了可重构制造模式的基本定义和内涵 ,并从组织、过程、产品、加工系统和信息平台等五个方面研究了制造系统的可重构性。

过程系统管理与技术的综合集成

在激烈的市场竞争中，过程企业不仅要重视技术、更要加强管理，实现全局优化运行。提高过程企业的市场竞争能力必须全面综合集成人、组织、战略管理、经营管理、过程管理及信息自动化技术等因素。本文以石化企业为背景，对过程企业面临的问题及发展趋势进行了分析，并且对过程企业管理模式、过程企业的体系结构以及过程集成与优化技术进行了探讨。

知识表达语言(NFA)及其在石油测井解释专家系统中的应用

石油测井解释是一项逻辑推理和数值计算交错进行的复杂过程。为了描述测井解释专家的这种知识、经验并模拟其思维方式,在扩充纯产生式规则的基础上,我们开发了知识表达语言——NFA,它把逻辑推理和数值计算综合成统一的形式。石油测井解释专家系统 LIX 先后在 INTERDATA-85机和 PE-3230机上实现,现场(胜利油田)运行近两年,解释了130余口井,符合率94%以上。LIX 实质上是 NFA 语言的解释系统,它的研制成功,说明了 NFA 语言的有效性和实用性。