Intelligent Painting Process Planner for Robotic Bridge Painting

Due to increased government regulations on environment, health, and safety, the cost of on-site bridge painting has quadrupled over the past several years. The construction industry faces a great challenge in how to control the increased costs of bridge painting and meet the regulations at the same time. A possible solution to address this challenge is to develop a robotic bridge painting system. The development of the robotic system can be justified by the potential improvements in safety and productivity. This paper presents the development and testing of an Intelligent Painting Process Planner. The Planner, built based on bridge feature scheme, is the key component for the robotic bridge painting system that integrates the painting process planning, robot path planning, cost optimization, and quality control functions. During the development process, lab experiments were conducted to determine the values of painting process planning parameters and coating thickness distribution functions. Field tests demonstrated that the prototype robotic bridge painting system achieved the specified painting quality using the parameter values provided by the Planner. Areas that need to be improved in the future were also identified.     

Free-Edge and Ply Cracking Effect in Angle-Ply Laminated Composites Subjected to In-Plane Loads

This paper presents a semianalytical method for the prediction of interlaminar stresses and displacements near the free edges and ply cracks in general angle-ply laminates subjected to biaxial extensions and/or in plane shear deformation. The method is based on a state space representation of the three-dimensional equations of elasticity. Numerical solutions are obtained by using layer refinement in the through thickness direction and Fourier series expansion in the other directions. By this approach, an angle-ply laminate may be composed of an arbitrary number of monoclinic layers and each layer may have different material property and thickness. This method guarantees continuous fields of all interlaminar stresses across interfaces between material layers. Numerical results are compared with those obtained from other methods. It is found that the theory provides a satisfactory approximation to the stress singularities near the free edges and ply cracks. Numerical solutions for antisymmetric laminates under extension and general laminates under shearing are new in the literature and can be used as benchmarks for validating new models.     

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.