Supervisory control and fault diagnosis of hybrid systems need to have complete information about the discrete states transitions of the underling system. From this point of view, the hybrid system should be abstracted to a Discrete Trace Transition System (DTTS) and represented by a discrete mode transition graph. In this paper an effective method is proposed for generating discrete mode trans...

introduction in recent years methods based on radio frequency waves have been used for detecting breast cancer. using theses waves leads to better results in early detection of breast cancer comparing with conventional mammography which has been used during several years. materials and methods in this paper, a new method is introduced for detection of backscattered signals which are received by...

In this paper, we study the progressive collapse of three-dimensional framed structures made of reinforced concrete after the sudden loss of a column. The structures are represented by elastoplastic Euler-Bernoulli beams with elongation-rotation failure threshold. We performed simulations using the discrete element method considering inelastic collisions between the structural elements. The res...

We present a method of smoothing discrete breakup S-matrix elements calculated by the method of continuum-discretized coupled-channels (CDCC). This smoothing method makes it possible to apply CDCC to four-body breakup reactions. The reliability of the smoothing method is confirmed for two cases, Ni(d, pn) at 80 MeV and the E1 transition of He. We apply CDCC with the smoothing method to a He bre...

for designing tillage implements it would be better to estimate soil forces exerted to the implements. many researches showed that numerical method of discrete element method (dem) is the cheapest and fastest technique for modeling granular material such as soil and especially sandy soil. in this study, paraplow and bentleg tines performance was compared with conventional tine using experimenta...

A simulator is presented for computing the interconnect capacitances of ICs and PCBs using Green's functions. The capacitance simulator forms part of a simulation program [1] for a complete signal analysis of PCBs and ICs. The tool is suitable for computing discrete and coupling capacitances of arbitrary geometries. The model approximates the charge density of the conductors by dividing the sur...

XTR is a general method that can be applied to discrete logarithm based cryptosystems in extension fields of degree six, providing a compact representation of the elements involved. In this paper we present a precise formulation of the Brouwer-Pellikaan-Verheul conjecture, originally posed in [4], concerning the size of XTR-like representations of elements in extension fields of arbitrary degre...

In this paper we establish a best approximation property of fully discrete Galerkin finite element solutions of second order parabolic problems on convex polygonal and polyhedral domains in the L∞ norm. The discretization method uses of continuous Lagrange finite elements in space and discontinuous Galerkin methods in time of an arbitrary order. The method of proof differs from the established ...