Well-structured languages

This paper introduces the notion of well-structured language. A well-structured language can be defined by a labelled well-structured transition system, equipped with an upward-closed set of accepting states. That peculiar class of transition systems has been extensively studied in the field of computer-aided verification, where it has direct an important applications. Petri nets, and their monotonic extensions (like Petri nets with non-blocking arcs or Petri nets with transfer arcs), for instance, are special subclasses of well-structured transition systems. We show that the class of well-structured languages enjoy several important closure properties. We propose several pumping lemmata that are applicable respectively to the whole class of well-structured languages and to the classes of languages recognized by Petri nets or Petri nets with non-blocking arcs. These pumping lemmata allow us to characterize the limits in the expressiveness of these classes of language. Furthermore, we exploit the pumping lemmata to strictly separate the expressive power of Petri nets, Petri nets with non-blocking arcs and Petri nets with transfer arcs.     

Verification of RANS solvers with manufactured solutions

This paper discusses code verification of Reynolds-Averaged Navier Stokes (RANS) solvers with the method of manufactured solutions (MMS). Examples of manufactured solutions (MSs) for a two-dimensional, steady, wall-bounded, incompressible, turbulent flow are presented including the specification of the turbulence quantities incorporated in several popular eddy-viscosity turbulence models. A wall-function approach for the MMS is also described. The flexiblity and usefulness of the MS is illustrated with calculations performed in three different exercises: the calculation of the flow field using the manufactured eddy-viscosity; the calculation of the eddy-viscosity using the manufactured velocity field; the calculation of the complete flow field coupling flow and turbulence variables. The results show that the numerical performance of the flow solvers is model dependent and that the solution of the complete problem may exhibit different orders of accuracy than in the exercises with no coupling between the flow and turbulence variables.     

First impressions: A multicultural content analysis of professional psychology program Web sites.

With the ascension of the Internet as an information resource, Web sites are likely to be the first exposure applicants have to specific programs. The authors evaluated professional psychology program Web sites for ethnic and sexual orientation minority content, discovering that diversity content of Web sites was considerably less than in previously examined paper application materials. Clinical psychology programs were more likely to state a commitment to diversity training while counseling psychology programs were more likely to state a diversity minor/track. School psychology programs had the lowest diversity content on their Web pages. This article explores how graduate psychology program Web sites communicate multicultural information and offers recommendations on using the World Wide Web as a cost-effective tool to attract a diverse student body. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

正弦振动结晶器摩擦力与负滑脱参数对比分析

结晶器摩擦力是反映结晶器与铸坯间相互作用、评价保护渣润滑性能的重要参数.由于摩擦力的检测与计算比较复杂,一般通过对振动工艺参数的理论分析来估算结晶器与铸坯间的润滑与摩擦.基于液压振动装置的板坯连铸试验平台,对结晶器摩擦力和振动速度进行了检测实验研究.通过对理论与实测计算结果的对比分析,讨论了结晶器摩擦力状态与负滑脱参数的关系及二者随拉速的变化趋势.该研究在制定适宜的振频-拉速匹配关系、定量理解结晶器与铸坯间的瞬态摩擦行为等方面具有一定的指导作用.     

Influence of oxidized polyethylene wax (OPW) on the mechanical,thermal, morphological and biodegradation properties of PHB/LDPE blends

Blends of poly(β-hydroxybutyrate) (PHB) and low density polyethylene (LDPE) were prepared in proportions of 100/0, 75/25, 50/50, 27/75 and 0/100 (PHB/LDPE wt.%), with and without oxidized polyethylene wax (OPW, 5 wt.%), and the mechanical, thermal (differential scanning calorimetry and melting flow index, morphological (scanning electron microscopy) and biodegradation (aging in simulated soil) properties were evaluated. The addition of OPW increased the tensile strength and Young’s modulus but decreased the elongation at break of the blends. Similarly, OPW increased the T _g of the pure LDPE and enhanced the melt flow index. Scanning electron microscopy showed that OPW reduced the phase separation of LDPE and increased the biodegradation during aging in simulated soil.     

System integration of high voltage electrostatic MEMS actuators

A system integration for High Voltage (HV) electrostatic MicroElectroMechanical Systems (MEMS) actuators is introduced on a micro-Printed Circuit Board. The system includes a programmable microcontroller, a programmable DC/DC converter, a multi output HV interface and electrostatic MEMS actuators. The system produces high output voltages (10–300 V) and can control a large variety of MEMS capacitive loads (1 to 50 pF) by combining diverse semiconductor technologies. This system proves that technologies, such as low voltage CMOS of different processes, high voltage DMOS and MEMS, can interact, communicate and even be integrated as a System In Package (SIP), providing significant size and cost reductions. The system was programmed to control electrostatic MEMS actuator. The DC/DC converter was made from components of different technologies and two addressable high voltage CMOS interfaces were fabricated with DALSA's 0.8 μm High Voltage process. A prototype of the global system has been built and tested.     

Multiple multi-level redundancy allocation in series systems

This paper deals with a multiple multi-level redundancy allocation problem (MMRAP) in which all available items for redundancy (system, module and component) can be simultaneously chosen. Due to a well-known principle that the redundancy at the component level (component redundancy) is more effective than the redundancy at the system level (system redundancy), the object of redundancy allocation has been limited to the component redundancy. In addition, multi-level redundancy allocation problems (MRAP) have been addressed, considering the redundancy at the subsystem level (modular redundancy). In this paper, the MMRAP is formulated and a GA algorithm is presented to solve the problem. Some numerical examples are illustrated.     

Modeling of Discharge Lamp Characteristics by Using Floating Memristor Circuit Emulator with Tunable Threshold

Abstract

A gas discharge lamp is a device, which operates as a light source by producing electrical discharge in ionized gaseous medium. Discharge lamps are commonly used in the market and according to their physical properties they can be mainly classified in three different categories: high pressure, low pressure and high-intensity lamps. Ionized gases have tendency to produce ongoing discharges and finally electrical arcs, which exhibit memristor characteristics proposed by Leon Chua. This paper introduces a novel fully floating memristor circuit emulator with tunable threshold characteristics which mimic discharge lamp characteristics. In order to investigate discharge lamp characteristics a test set-up is designed and commercially available discharge lamps are tested. The proposed memristor circuit displays distinctive characteristics in contrast to well-known smooth switching memristor characteristics in terms of hard switching capability. Proposed memristor has unique switching behavior and fully capable of modeling discharge lamps since it satisfies required zero-crossing, pinched hysteresis and frequency dependent characteristics of the discharge lamps. The comparisons of the current-voltage characteristics for both memristor and discharge lamps are supplied and investigated.