Practical experience suggests that usage and understanding of UML diagrams is greatly affected by the quality of their layout. While existing research failed to provide conclusive evidence in support of this hypothesis, our own previous work provided substantial evidence to this effect. When studying different factors like diagram type and expertise level, it became apparent that diagram size p...

Timing diagrams are popular in hardware design. They have been formalized for use in reasoning tasks, such as computer-aided veriication. These eeorts have largely treated timing diagrams as interfaces to established notations for which veriication is decidable; this has restricted timing diagrams to expressing only regular language properties. This paper presents a timing diagram logic capable...

Forming limit curves are used as a parameter in finite element analysis to control the material's level of formability. In this research, forming limit diagram (FLD) of SS304L sheet was obtained by ABAQUSfinite element software. In practice, the experimental determination of a forming limit curve is a very time-consuming procedure which requires special and expensive equipment. Forming limit di...

We investigate the correlation functions of the one-dimensional Asymmetric Simple Exclusion Process (ASEP) with open boundaries. The conditions for the boundaries are made most general. The correlation function is expressed in a multifold integral whose behavior we study in detail. We present a phase diagram of the correlation length. For the case the correlation length diverges, we further giv...

Flavour-singlet gA and the QCD sum rule incorporating instanton effects Tetsuo NISHIKAWA Institute of Particle and Nuclear Studies, High Energy Accelerator Research Organization, 1-1, Ooho, Tsukuba, Ibaraki, 305-0801, Japan (Dated: February 2, 2008) Abstract We derive a QCD sum rule for the flavour-singlet axial coupling constant g (0) A from a two point correlation function of flavour-singlet ...

It is used the Chua circuit to demonstrate the possibility of obtaining synchronization of chaos with numerical simulations of a coupled nonlinear system consisting of two coupled non-identical circuits. Synchronization is demonstrated through a correlation diagram while the dynamic behavior is explained with a bifurcation diagram. One of the circuit has an additional noise source, while to the...