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.     

Multidisciplinary Simulation of the Maneuvering of an Aircraft

A computational methodology for the simulation of the transient aeroelastic response of an unrestrained and flexible aircraft during high-G maneuvers is presented. The key components of this methodology are: (a) a three-field formulation for coupled fluid/structure interaction problems; (b) a second-order time-accurate and geometrically conservative flow solver for CFD computations on unstructured dynamic meshes; (c) a corotational finite element method for the solution of geometrically nonlinear and unrestrained structural dynamics problems; (d) a robust method for updating an unrestrained and unstructured moving fluid mesh; and (e) a second-order time-accurate staggered algorithm for time-integrating the coupled fluid/structure semi-discrete equations of motion. This computational methodology is illustrated with the simulation on a parallel processor of several three-dimensional high-G pullup maneuvers of the Langley Fighter in the transonic regime, using a detailed finite element aeroelastic model.     

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.     

Optimal structural topologies with transmissible loads

In optimal topological design of structures one obtains the configuration of optimal structures when the design domain, the displacement boundary conditions and the applied loads are specified. In the optimal structure one often notices a marked difference between the main bearing structure and the load transfer zones. The latter are composed of relatively light elements the exact nature of which is not always very distinct. The main purpose of this paper is to allow the main bearing part of the structure to emerge. Moreover the actual location of the load along its line of action is not always a design requirement. In order to include this relaxed condition regarding the loading position the concept of transmissible or sliding forces is introduced in topological design of structures. A transmissible force is a force of given magnitude and direction which can be applied at any point along the line of action of the force. The optimization formulation is similar to standard topological design procedure in addition to the condition of transmissability of the forces. It is shown that this condition reduces to an equal displacement constraint along the line of action of the forces. The method is illustrated by typical structural examples. It is observed that this numerical method produces indeed crisp images of the main structural components, unblurred by the secondary load transfer elements. It is also indicated that many results are often replicas of Prager structures which were previously obtained by analytical methods. Received March 3, 1999     

The historical workstation project

Since 1978 research in the development of software dedicated to the specific problems of historical research has been undertaken at the Max-Planck-Institute für Geschichte in Göttingen. From a background of practical experiences during these years, a concept of what an appropriate workstation for an historian would be has been derived. It stresses the necessity of three components: (a) software, derived from a detailed analysis of what differentiates information contained in historical sources from such present in current material, (b) databases which are as easily available as printed books and (c) knowledge bases which allow software and data bases to draw upon the information contained in historical reference works. A loose network of European research projects, dedicated to the realization of such a setup, is described.Manfred Thaller has a Ph.D. (1975) in Modern and Medieval History and held a post-doctoral fellowship in sociology at the Institute for Advanced Studies (Vienna). Since 1978 he has been at the Max-Planck-Institute for History, where he is a research fellow for Historical Information Science.     

Interactive Ray Tracing of Large Models Using Voxel Hierarchies

We propose an efficient approach for interactive visualization of massive models with CPU ray tracing. A voxel‐based hierarchical level‐of‐detail (LOD) framework is employed to minimize rendering time and required system memory. In a pre‐processing phase, a compressed out‐of‐core data structure is constructed, which contains the original primitives of the model and the LOD voxels, organized into a kd‐tree. During rendering, data is loaded asynchronously to ensure a smooth inspection of the model regardless of the available I/O bandwidth. With our technique, we are able to explore data sets consisting of hundreds of millions of triangles in real‐time on a desktop PC with a quad‐core CPU.     

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.     

线性可分结构系对二进神经元的覆盖问题

二进神经网络中每个二进神经元等价于一个线性可分函数,但每个二进神经元所表达的线性可分函数的逻辑意义仍不完全清楚。对此,首先分析了已有的几种线性可分结构系;其次,讨论了其是否覆盖了所有的二进神经元;最后,指出阈值在某些范围内二进神经元所对应的线性可分函数的逻辑意义仍不清楚,这为进一步完善二进神经元的覆盖问题指明了方向。     

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

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

In-plane directional mechanical properties of carbon fabric skins in sandwich structures after thermoforming

In this paper, a representative unit volume finite element (RUV FE) model was employed to simulate thermoforming process of carbon fabric-polymeric foam sandwich structures. Thermoforming simulations, which capture crimp angles and amplitude changes of carbon fabric with respect to different operational pressure, were conducted with the help of RUV FE model. Micro-deformation of tow structures after thermoforming was rigorously reflected in the second stage FE model to determine the in-plane directional stiffness of skin parts. Tensile tests were carried out to investigate mechanical properties of skin parts in sandwich structures for the potential usage of automotives, electronic housings or the satellite structure design.