Syntax and consistent equation semantics of hybrid Chi

The hybrid χ (Chi) formalism integrates concepts from dynamics and control theory with concepts from computer science, in particular from process algebra and hybrid automata. It integrates ease of modeling with a straightforward, structured operational semantics. Its ‘consistent equation semantics’ enforces state changes to be consistent with delay predicates, that combine the invariant and flow clauses of hybrid automata. Ease of modeling is ensured by means of the following concepts: (1) different classes of variables: discrete and continuous, of subclass jumping or non-jumping, and algebraic; (2) strong time determinism of alternative composition in combination with delayable guards; (3) integration of urgent and non-urgent actions; (4) differential algebraic equations as a process term as in mathematics; (5) steady-state initialization; and 6) several user-friendly syntactic extensions. Furthermore, the χ formalism incorporates several concepts for complex system specification: (1) process terms for scoping that integrate abstraction, local variables, local channels and local recursion definitions; (2) process definition and instantiation that enable process re-use, encapsulation, hierarchical and/or modular composition of processes; and (3) different interaction mechanisms: handshake synchronization and synchronous communication that allow interaction between processes without sharing variables, and shared variables that enable modular composition of continuous-time or hybrid processes. The syntax and semantics are illustrated using several examples.     

The prediction of solute transport in surcharged manholes using CFD.

Solute transport processes occur within a wide range of water engineering structures, and urban drainage engineers increasingly rely on modelling tools to represent the transport of dissolved materials. The models take as input representative travel time and dispersion characteristics for key system components, and these generally have to be identified via field or laboratory measurements. Computational Fluid Dynamics (CFD) has the potential to reveal the underlying hydraulic processes that control solute transport, and to provide a generic means of identifying relevant parameter values. This paper reports on a study that has been undertaken to evaluate the feasibility of utilising a CFD-based approach to modelling solute transport. Discrete phase modelling has been adopted, as this is computationally efficient and robust when compared with the time-dependent solution of the advection-dispersion equation. Simulation results are compared with published laboratory data characterising the dispersion effects of surcharged manholes, focusing specifically on an 800 mm diameter laboratory manhole for a flowrate of 0.002 m(3)/s and a range of surcharge depths. Preliminary indications are that the CFD results adequately replicate the measured downstream temporal concentration profiles, and that a threshold surcharge depth, corresponding to a change in hydraulic regime within the manhole, can also be identified.     

Transformations for nonideal uniform circular arrays operating in correlated signal environments

The Davies transformation is a method to transform the steering vector of a uniform circular array (UCA) to one with Vandermonde form. As such, it allows techniques such as spatial smoothing for direction-of-arrival (DOA) estimation in a correlated signal environment, developed originally for uniform linear arrays, to be applied to UCAs. However, the Davies transformation can be highly sensitive to perturbations of the underlying array model. This paper presents a method for deriving a more robust transformation using optimization techniques. The effectiveness of the method is illustrated through a number of DOA estimation examples.     

A heuristic for the label printing problem

Label printing finds many applications in industry. However, this task is still labor intensive in many printing factories. Since each template can only accommodate a fixed number of labels, an important task is to work out the compositions of templates by allocating suitable labels to each template in order to fulfill the order requirements effectively. The template design could be rather arbitrary, which usually ends up with a lot of excessive printed labels. Enhancing the template design will significantly improve the efficiency of the printing process, and, at the same time, reduce the waste of resources. This motivates the study of more automatic design methods. In this paper, the problem is first formulated as a nonlinear integer programming problem. The main variables in the formulation are the compositions and the printing frequencies of templates. For practical purpose, each type of label is confined to one template only which allows automated packing and handling. The structure of the problems is carefully analyzed and a new algorithm is proposed. Numerical results show that the proposed method is a simple but effective way of generating good template designs.     

Critical issues of wafer level chip scale package (WLCSP) withemphasis on cost analysis and solder joint reliability

Some of the critical issues of wafer level chip scale package (WLCSP) are mentioned and discussed in this investigation. Emphasis is placed on the cost analysis of WLCSP through the, important parameters such as wafer-level redistribution, wafer-bumping, and wafer-level underfilling. Useful and simple equations in terms of these parameters are also provided. Furthermore, the effects of microvia build-up layer on the solder joint reliability of WLCSP on printed circuit board (PCB) through the creep responses such as the deformation, hysteresis loops, and stress and strain are presented. Only solder-bumped with pad-redistribution WLCSPs are considered in this study     

Anhydrous esterification of myristic acid with propylene: Ion exchange resin and acid-treated clay as catalysts

Anhydrous esterification of myristic acid with propylene was carried out in the temperature range of 110–145°C and pressure from 190–195 psig in the presence of Amberlyst-15 (cation exchange resin) and Filtrol-24 (acid-treated clay) as catalysts. The product ester, isopropyl myristate finds use in cosmetic and topical medicinal preparations where good absorption through the skin is desired. Filtrol-24 is the catalyst of choice, and the recommended operating temperature is 130°C with a pressure of 190 psig.     

Synthesis and characterization of novel copolymers with the trimethylsilyl group for deep‐UV photoresists

N‐(4‐Acetoxyphenyl) maleimide (APMI) and three kinds of comonomers bearing a trimethylsilyl group were copolymerized at 60°C in the presence of azobisisobutyronitrile (AIBN) as an initiator in 1,4‐dioxane to obtain the three IP, IIP, and IIIP copolymers. These copolymers were removed from the acetoxy group in a transesterification process into new IVP, VP, and VIP copolymers with a pendant hydroxyl group. Two modified processes were adopted to prepare photoresists using these copolymers. The first process involved mixing the dissolution inhibitor, o‐nitrobenzyl cholate, with the new copolymers. Second, o‐nitrobenzyl cholate was introduced into the copolymers using 1,8‐diazabicyclo[5.4.0]undec‐7‐ene (DBU) in dimethylformamide (DMF). The cyclic maleimide structure is responsible for the high thermal stability of these copolymers. After irradiation using deep–UV light and development with aqueous Na₂CO₃ (0.01 wt %), the developed patterns showed positive images and exhibited good adhesion to the silicon wafer without using any adhesion promoter. The resolution of these resists was at least 0.8 μm and an oxygen‐plasma etching rate was 1/5.3 to that of hard‐baked HPR‐204. © 2002 Wiley Periodicals, Inc. J Appl Polym Sci 83: 2791–2798, 2002; DOI 10.1002/app.10255     

Energy release rates of crack kinking by boundary condition sensitivity analysis

The energy release rate, which is the total derivative of the energy with respect to crack length, is recognized as corresponding to the shape sensitivity analysis with the crack length change represented by the tangential component of design velocity. In this paper the sensitivity formula recently developed for a changing boundary condition has been further extended to cover crack kinking under mixed mode loading. Due to difficulty in defining the velocity field at the corner, the energy release rate at the onset of crack kinking is obtained by extrapolating the energy release rates for finite length kinked cracks. A rectangular plate with a single edge slant crack under uniform tension is taken as a numerical example. The multi-region technique in the numerical implementation of the boundary integral equation is adopted to consider the asymmetry of the problem. Excellent accuracy is observed as compared with reference analytic solutions.     

Electrical characterization of porous BaTiO3 using impedance spectroscopy in humid condition

The humidity response characteristics of La doped BaTiO₃ with different sintered densities and room temperature electrical conductivities were investigated using complex impedance measurement. The samples with low density and high resistivity showed the large and nearly linear sensitivity to the change of humidity. The impedance spectra of samples, when exposed to high humidity, can exhibit microstructure-related features, even though they do not give rise to a noticeable characteristic change when exposed to low humidity. The observed impedance patterns were dependent upon the density, and hence the oxidation kinetics of BaTiO₃.