An empirical study of control logic specifications for programmable logic controllers

This paper presents an empirical study of control logic specifications used to document industrial control logic code in manufacturing applications. More than one hundred input/output related property specifications from ten different reusable function blocks were investigated. The main purpose of the study was to provide understanding of how the specifications are expressed by industrial practitioners, in order to develop new tools and methods for specifying control logic software, as well as for evaluating existing ones. In this paper, the studied specifications are used to evaluate linear temporal logic in general and the specification language ST-LTL, tailored for functions blocks, in particular. The study shows that most specifications are expressed as implications, that should always be fulfilled, between input and output conditions. Many of these implications are complex since the input and output conditions may be mixed and involve sequences, timer issues and non-boolean variables. Using ST-LTL it was possible to represent all implications of this study. The few non-implication specifications could be specified in ST-LTL as well after being altered to suit the specification language. The paper demonstrates some advantages of ST-LTL compared to standard linear temporal logic and discusses possible improvements such as support for automatic rewrite of complex specifications.     

Path Loss Modelling for Location Service Applications

The aim of this paper is the path loss modelling for the radiolocation services in radio communication networks, particularly in cellular networks. The main results of the measurements obtained in the physical layer of the UMTS are introduced. A new method for the utilization of the multipath propagation phenomenon to improve the estimation of the distance between the MS （mobile station） and the BS （base station） is outlined. This method significantly increases the quality of location services in systems which use a radio interface with DS （direct sequence） CDMA （code division multiple access）.     

Topology optimization of a cantilevered piezoelectric energy harvester using stress norm constraints

Vibrational piezoelectric energy harvesters are devices which convert ambient vibrational energy into electric energy. Here we focus on the common cantilever type in which an elastic beam is sandwiched between two piezoelectric plates. In order to maximize the electric power for a given sinusoidal vibrational excitation, we perform topology optimization of the elastic beam and tip mass by means of the SIMP approach, leaving the piezoelectric plates solid. We are interested in the first and especially second resonance mode. Homogenizing the piezoelectric strain distribution is a common indirect approach increasing the electric performance. The large design space of the topology optimization approach and the linear physical model also allows the maximization of electric performance by maximizing peak bending, resulting in practically infeasible designs. To avoid such problems, we formulate dynamic piezoelectric stress constraints. The obtained result is based on a mechanism which differs significantly from the common designs reported in literature.     

The Case of a Broken Plank

A construction worker was seriously injured after falling from a roof to a concrete floor. He was working on a plank while placing insulation material when the accident occurred. The plank broke into three pieces. Visual observation of the plank indicated a relatively new plank. Further investigation of the plank revealed a grade of structural plank no. 2. A common practice is for a construction worker to use scaffold grade plank, which has twice the capacity of a structural grade plank. This represents the most probable procedural cause of the plank's failure. The most probable enabling cause (internal cause) of the failure is a local split at the midspan, whereas the most probable triggering cause (external cause) is the impact loads produced by the weight of the worker and the insulation material he carried while walking on the plank. The study also concluded a failure mechanism that was initiated by a longitudinal split at the midspan of the plank. The split weakened the plank and led to a transverse break at the midspan.     

Cylindrical Dritt Chambers with Two Dimsional Readout

We have built and used a set of three cylindrical drift chambers with delay line readout. The azimuthal coordinate is obtained in the conventional way; the resolution obtained is about 300 microns. The axial coordinate is obtained fran signals induced on printed circuit delay lines with a resolution of ±5 mn FWHM. The chambers are 120 cm long and have diamters of 29.3 cm, 70.1 cm and 118.5.     

Analysis of Causes of Falsework Failures in Concrete Structures

A study of 85 major falsework collapses of bridges and buildings in the past 23 yrs has documented the types of collapsed falseworks and failed permanent structures, the construction stages at the time of collapse, and the causes of failures. Three causes of failure were identified: triggering; enabling; and procedural causes. Most failures occurred because of the interaction of the triggering and enabling events that were, in many cases, produced by inadequacies in the procedural methods. Impact forces resulting from concreting operations have repeatedly triggered falsework failures that were enabled by deficiencies in the falsework bracings, components, connections, foundations, and design. Inadequate review of falsework design and monitoring procedures were frequent problems that facilitated the occurrernce of these events. The findings emphasize the importance of proper delineation of responsibility of each party in the building process in order to reduce falsework failures in the future.     

Rationally and empirically derived dimensions of children's symptomatology: Expert ratings and confirmatory factor analyses of the CBCL.

Expert ratings and confirmatory factor analyses were used to develop an alternative system for scoring the Child Behavior Checklist (CBCL; T. M. Achenbach, 1991) to measure specific dimensions corresponding to current conceptualizations of child symptomatology. Data were from a nonclinic and 2 independent clinic samples. Subscales measuring Anxiety, Attention Problems/Hyperactivity, Conduct Problems, Depression, Oppositional Defiant, Social Problems/Immaturity, and Somatization were created. Logistic regressions were conducted to evaluate the diagnostic efficiency and discrimination of the new and original approaches to scoring the CBCL. Some of the new subscales demonstrated better sensitivity, positive predictive power, and discriminant validity than the original CBCL subscales; however, subscales from both approaches demonstrated low sensitivity. Results support the use of the new subscales for specific research purposes. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Operational window of a deammonifying sludge for mainstream application in a municipal wastewater treatment plant

The present work aimed to study the mainstream feasibility of the deammonifying sludge of side stream of municipal wastewater treatment plant (MWWTP) in Kaster, Germany. For this purpose, the deammonifying sludge available at the side stream was investigated for nitrogen (N) removal with respect to the operational factors temperature (15–30°C), pH value (6.0–8.0) and chemical oxygen demand (COD)/N ratio (≤1.5–6.0). The highest and lowest N-removal rates of 0.13 and 0.045 kg/(m³ d) are achieved at 30 and 15°C, respectively. Different conditions of pH and COD/N ratios in the SBRs of Partial nitritation/anammox (PN/A) significantly influenced both the metabolic processes and associated N-removal rates. The scientific insights gained from the current work signifies the possibility of mainstream PN/A at WWTPs. The current study forms a solid basis of operational window for the upcoming semi-technical trails to be conducted prior to the full-scale mainstream PN/A at WWTP Kaster and WWTPs globally.