Uncertainty analysis based on sensitivity applied to angle-ply composite structures

This article describes a finite element-based formulation for the statistical analysis of the response of stochastic structural composite systems whose material properties are described by random fields. A first-order technique is used to obtain the second-order statistics for the structural response considering means and variances of the displacement and stress fields of plate or shell composite structures. Propagation of uncertainties depends on sensitivities taken as measurement of variation effects. The adjoint variable method is used to obtain the sensitivity matrix. This method is appropriated for composite structures due to the large number of random input parameters. Dominant effects on the stochastic characteristics are studied analyzing the influence of different random parameters. In particular, a study of the anisotropy influence on uncertainties propagation of angle-ply composites is carried out based on the proposed approach.     

Vertical Vibration of a Flexible Plate with Rigid Core on Saturated Ground

In this paper, the vertical vibration of a flexible plate with rigid core resting on a semi-infinite saturated soil is studied analytically. The behavior of the soil is assumed to follow Biot’s poroelastodynamic theory with compressible soil skeleton and pore water, and the response of the time-harmonic excited plate is governed by the classical thin-plate theory. By virtue of the Hankel transform technique, the fundamental solutions of the skeleton displacements, stresses, and pore pressure are derived, and a set of dual integral equations associated with the relaxed boundary and completely drained condition at the soil-foundation contact interface are also developed. These governing integral equations are further reduced to the standard Fredholm integral equations of the second kind and solved by numerical procedures. Comparison with existing solutions for a rigid permeable plate on saturated soil confirms the accuracy of the present solution. Selected numerical results are presented to show the influence of the permeability, the size of the rigid core, and the plate flexibility on the dynamic interaction between the elastic plate with rigid core and the underlying saturated soil.     

Algorithms in the W-Hierarchy

We show new upper bounds for problems in the W-hierarchy of fixed-parameter complexity. A crucial ingredient of our proofs is an extension to the W-RAM model, which permits more-powerful operations but remains equivalent to the original. We use the extended model to give new upper bounds for Subsetsum, Maximum Irredundant Set, and various problems concerning intersection of finite-state machines.     

The Computational Complexity of One-Dimensional Sandpiles

We prove that the one-dimensional sandpile prediction problem is in LOGDCFL, a subset of AC¹. The previously best known upper bound on the ACⁱ-scale was AC². Furthermore, we prove that the one-dimensional sandpile prediction problem is hard for TC⁰ and thus not in AC^1-ε for any constant ε > 0.     

Polynomial-Space Decidable Membership Problems for Recurrent Systems over Sets of Natural Numbers

A finite recurrent system over sets of natural numbers of dimension n is a pair composed of n n-ary functions over sets of natural numbers and an n-tuple of singleton sets of natural numbers. Every function is applied to the entries of the tuple and computes a set of natural numbers, that may also be empty. The results are composed into another tuple, and the process is started anew. Thus, a finite recurrent system defines an infinite sequence of n-tuples containing sets of natural numbers. The last entry of a generated n-tuple is called the output of a step, and the union of the output sets of all steps is the set defined by the finite recurrent system. Membership problems ask whether a given number is in a specified output set or in some output set. We study membership problems for special finite recurrent systems, whose functions are built from the set operations union, intersection and complementation and the arithmetical operations addition and multiplication. Sum and product of two sets of natural numbers are defined elementwise. We restrict the set of operations from which functions are built and determine the impact on the complexity of the membership problems. We focus on PSPACE-decidable membership problems and show completeness results for the complexity classes NL, NP and PSPACE.     

Dynamic Complexity Theory Revisited

Dynamic complexity investigates the required effort to maintain knowledge about a property of a structure under changing operations. This article introduces a refined notion of dynamic problems which takes the initial structure into account. It develops the basic structural complexity notions accordingly. It also shows that the dynamic version of the LOGCFL-complete problem D₂LREACH(acyclic) can be maintained with first-order updates.     

Truthful Approximation Mechanisms for Scheduling Selfish Related Machines

We consider the problem of scheduling jobs on related machines owned by selfish agents. We provide a 5-approximation deterministic truthful mechanism, the first deterministic truthful result for the problem. Previously, Archer and Tardos showed a 2-approximation randomized mechanism which is truthful in expectation only (a weaker notion of truthfulness). In case the number of machines is constant, we provide a deterministic Fully Polynomial-Time Approximation Scheme (FPTAS) and a suitable payment scheme that yields a truthful mechanism for the problem. This result, which is based on converting FPTAS to monotone FPTAS, improves a previous result of Auletta et al., who showed a (4 + ε)-approximation truthful mechanism.     

CODIRO: A New System for Obtaining Data Concerning Consumer Behavior Based on Data Factors of High Interest Determined by the Analyst

The aim of this paper is to propose a new system for the strategic use of customer data that includes and integrates such differing data sources as company databases, mobile telephone networks and Internet data and is a consumer research support system for the discovery of new marketing opportunities. This system, called CODIRO, will be discussed in this paper using a case study of the effects on sales of processed food product television commercials. A system for verifying the validity of consumer behavior models will also be described and discussed. Use of the CODIRO analysis system makes it easy to introduce, into the analytic model, consumer attitude changes and in-store data of many types that have not been used to measure advertising and promotional activity effectiveness in the past.