This paper presents a study on a class of algorithms based on Uniform Theory of Diffraction (UTD) for multiple diffractions. S-UTD-CH model can be used for fast and more accurate field prediction for multiple diffract...
详细信息
This paper presents a study on a class of algorithms based on Uniform Theory of Diffraction (UTD) for multiple diffractions. S-UTD-CH model can be used for fast and more accurate field prediction for multiple diffractions in transition zone. An extensive simulation results for comparison of UTD based algorithms with respect to the computation time and accuracy was provided.
This paper presents a simulation environment, which is a C++/SystemC based integrated framework for functional verification of designed components or electronic architectures and enhances the existing computer archite...
详细信息
Due to the complexity of microprocessor, an efficient testing is a crucial point and serious challenge in safety systems. A new instruction opcode for ALU based Built-In-Test (BIT) is proposed in this paper. With this...
Due to the complexity of microprocessor, an efficient testing is a crucial point and serious challenge in safety systems. A new instruction opcode for ALU based Built-In-Test (BIT) is proposed in this paper. With this novel method stuck-at-fault in Multiplexer (MUX) for Arithmetic Logic Unit (ALU) can be determined. A model that consists of the command and faulty states is developed. According to the designed state model, an algorithm and pseudo program that tests the stuck-at-fault in MUX is implemented and described in this paper.
In order to use electronic systems comprising of software and hardware components in safety related and high safety related applications, it is necessary to meet the Marginal risk numbers required by standards and leg...
In order to use electronic systems comprising of software and hardware components in safety related and high safety related applications, it is necessary to meet the Marginal risk numbers required by standards and legislative provisions. Existing processes and mathematical models are used to verify the risk numbers. On the hardware side, various accepted mathematical models, processes, and methods exist to provide the required proof. To this day, however, there are no closed models or mathematical procedures known that allow for a dependable prediction of software reliability. This work presents a method that makes a prognosis on the residual critical error number in software. Conventional models lack this ability and right now, there are no methods that forecast critical errors. The new method will show that an estimate of the residual error number of critical errors in software systems is possible by using a combination of prediction models, a ratio of critical errors, and the total error number. Subsequently, the critical expected value-function at any point in time can be derived from the new solution method, provided the detection rate has been calculated using an appropriate estimation method. Also, the presented method makes it possible to make an estimate on the critical failure rate. The approach is modelled on a real process and therefore describes two essential processes - detection and correction process.
Software-Engineering is very important today. In industry (specifically by software critical system) it is important to produce high reliable software, i.e. software with low proportion of faults. To produce such reli...
详细信息
When dealing with complex systems design and application the notion of ontologies helps the process of application integration. To solve the problems with discover, interpret and reuse data we have to recognize ontolo...
详细信息
Liver is a vital organ of a body that has numerous functions. Severe malfunctioning of these functions causes a liver necrosis. The diagnosis of this necrosis is performed by a specialist who uses appropriate microsco...
详细信息
Liver is a vital organ of a body that has numerous functions. Severe malfunctioning of these functions causes a liver necrosis. The diagnosis of this necrosis is performed by a specialist who uses appropriate microscopic analysis. However, because this analysis is based on specialist's opinion, the results could be subjective and error prone. The aim of this study is to quantify the hepatic necrotic areas using computer aided algorithms and provide quantitative results that are not prone to errors.
The purpose of the automatic conversion of scientific data into canonical format is to provide a link between raw representation of data and database schemas. On the basis of these concepts Web services are developed ...
详细信息
A data security and validation framework of a SOA based system for management, storage, processing and visualization of data obtained from scientific experiments is proposed in this paper. The framework covers the thr...
详细信息
This paper is concerned with the design procedures of an automated testing tool, developed in Matlab®/Simulink® environment, that performs software verification during runtime on a PLC (Programmable Logic Co...
详细信息
暂无评论