This is a discussion of the essential features of product development traceability maps in relation to requirements, architecture, functional models, components, and tests as a set of order type hierarchies and their cross-links. This paper lays out the structure of these ideal traceability relationships that define the essence of the product under development. The importance of the trace relat...

Image segmentation plays a vital role in image analysis for diagnosis of various retinopathy diseases. For the detection of glaucoma and diabetic retinopathy, manual examination of the optic disc is the standard clinical procedure. The proposed method makes use of the circular transform to automatically locate and extract the Optic Disc (OD) from the retinal fundus images. The circular transfor...

BACKGROUND In this paper, we propose a non-linear calibration method for hand-eye system equipped with a camera undergoing radial distortion as the rigid endoscope. Whereas classic methods propose either a separated estimation of the camera intrinsics and the hand-eye transform or a mixed non-linear estimation of both hand-eye and camera intrinsics assuming a pin-hole model, the proposed approa...

The information extraction capability of two widely used signal processing tools, Hilbert Transform (HT) and Wavelet Transform (WT), is investigated to develop a multi-class fault diagnosis scheme for induction motor using radial vibration signals. The vibration signals are associated with unique predominant frequency components and instantaneous amplitudes depending on the motor condition. Usi...

Trace validation is the process of evaluating a formal specification over a log of recorded events produced by a system. In addition to the numerous techniques developed specifically for that purpose over the years, a range of peripheral tools such as model checkers and database engines can also be used as bona fide trace validators. We present an evolvable software environment that provides a ...

This paper investigates the axial unsteady flow of a generalized Burgers’ fluid with fractional constitutive equation in a circular micro-tube, in presence of a time-dependent pressure gradient and an electric field parallel to flow direction and a magnetic field perpendicular on the flow direction. The mathematical model used in this work is based on a time-nonlocal constitutive equation for s...

In trace processors, a sequential program is partitioned at run time into “traces.” A trace is an encapsulation of a dynamic sequence of instructions. A processor that uses traces as the unit of sequencing and execution achieves high instruction fetch rates and can support very wide-issue execution engines. We propose a new class of hardware optimizations that transform the instructions within ...