海洋平台灰预测和支持向量机的逆控制

导管架式海洋平台在随机波浪等外载荷作用下极易产生有害振动,且其动力响应具有极强的非线性和时变性,采用被动控制方法和基于精确数学模型的主动控制方法控制海洋平台的有害振动很难达到理想的控制效果.结合灰预测和支持向量机的优点,提出了基于灰预测和支持向量机的自适应逆控制方法,并将其与动态刚度阵法相结合应用于导管架式海洋平台的振动主动控制中.数值算例分析表明,该控制方法可有效地控制波浪和风载荷作用下引起导管架式平台的有害振动,并能解决由于控制信号传输等原因引起的时滞问题.     

基于访问结构上秘密共享的自治愈群组密钥分发方案

自治愈的群组密钥分发能够在不可靠的网络中建立安全的群组会话密钥.基于用户可自行选取子秘密访问结构上的秘密共享方法,提出了一个自治愈的群组密钥分发方案,该方案能够让群组成员自行选取个人秘密信息,而不需要在群组管理员和每个群组成员之间建立安全信道.安全性分析表明,该方案是一个具有撤销能力的、保证前向保密性和后向保密性的、计算上安全的自治愈群组密钥分发方案.性能分析表明,该方案具有较小的存储开销和通信开铕.     

Continuity versus Discretization

The threefold interest in architecture, biology and mathematics motivated us to examine and justify new architectural forms. We discuss some notions of rhythm: Euclidean, morphogenetic and morphologic. Contemporary relationships between structure and form are based on the generation of shape by technological processes, thus the resulting objects are restricted to their material expression. Here a phenomenological organisation of form and its continuity with the landscape arise out of the mathematical and architectural creativity. The use of the computer is applied from outside to inside instead from inside to outside; this means that we are dealing with the organisational processes via continuous methods instead of evolutionary processes given by computer simulations, known as genetic algorithms, where the resulting configurations are reduced to a matter of routine. The role of design as an aesthetic component innovates the theoretical framework of structural engineering to establish the architectural environments.     

Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5

We begin by showing how to faithfully encode the Classical ModalDisplay Logic (CMDL) of Wansing into the Calculus of Structures(CoS) of Guglielmi. Since every CMDL calculus enjoys cut-elimination,we obtain a cut-elimination theorem for all corresponding CoScalculi. We then show how our result leads to a minimal cut-freeCoS calculus for modal logic S5. No other existing CoS calculifor S5 enjoy both these properties simultaneously.     

A Generalization of a Lower Bound Technique due to Fredman and Saks

{In a seminal paper of 1989, Fredman and Saks proved lower bounds for some important data-structure problems in the cell probe model. In particular, lower bounds were established on worst-case and amortized operation cost for the union-find problem and the prefix sum problem. The goal of this paper is to turn their proof technique into a general tool that can be applied to different problems and computational models. To this end we define two quantities: Output Variability depends only on the model of computation. It indicates how much variation can be found in the results of a program with certain resource bounds. This measures in some sense the power of a model. Problem Variability characterizes in a similar sense the difficulty of the problem. } Our Main Theorem shows that by comparing a model's output variability to a problem's problem variability, lower bounds on the complexity of solving the problem on the given model may be inferred. The theorem thus shows how to separate the analysis of the model of computation from that of the problem when proving lower bounds. We show how the results of Fredman and Saks fit our framework by computing the output variability of the cell probe model and the problem variability for problems considered in their paper. This allows us to reprove their lower bound results, and slightly extend them. The main purpose of this paper though is to present the generalized technique. Received January 25, 1999; revised July 30, 1999.     

Buckling of carbon fiber composite pyramidal truss core sandwich columns

This paper deals with the theoretical prediction of global buckling loads for carbon fiber composite pyramidal truss core sandwich columns. Different from thin plate structures, transverse shear effect can not be neglected for sandwich structures. In addition, the attributes of the laminated face sheets are considered in the present paper. A zig-zag displacement approximation is made. Based on the principle of minimum potential energy, equilibrium equations and boundary conditions are derived via the variational method. The critical buckling loads under various boundary conditions are presented. In order to validate the reasonableness of the equivalent-core method, the strain energies stored in the actual discrete truss members and the equivalent continuous homogenous core layer are calculated respectively and compared, and a good agreement is obtained. The proposed analytical method is verified by comparing with the published theoretical predictions and experimental results.     

水工混凝土结构裂缝成因挖掘的粗集方法研究

裂缝是水工混凝土结构常见病害之一,针对水工混凝土结构运行期的裂缝问题,应用粗集理论,结合实测资料,对裂缝产生的主要原因进行了系统地研究,提出了裂缝成因挖掘的粗集方法.