Owing to the condensed size of components in digital designs on the FPGA, it is difficult to guarantee an acceptable degree of reliability due to soft-errors. These designs are mostly available in Hardware Description...
详细信息
Owing to the condensed size of components in digital designs on the FPGA, it is difficult to guarantee an acceptable degree of reliability due to soft-errors. These designs are mostly available in Hardware Description Languages (HDL) at various abstraction levels, e.g. gate-level, data-flow, and behavioural. Fault Injection (FI) is a well-known technique to assess the dependability of such designs. Broadly, FI techniques for FPGA-based designs are categorized into emulation and simulation-based techniques. Simulation-Based FI (SBFI) tools work on hardware models of designs and help designers to test and verify designs at an early phase of the FPGA design & development flow. Testing, dependability analysis, and fault simulation applications require a faulty model of the original design during fault injection campaign. Therefore, we require a tool which can automatically generate the faulty model of the original design written at any abstraction levels and perform fault injection testing and dependability analysis. In this paper, a fault injection tool (RASP-FIT) is presented, which consists of an automatic code modifier (fault injection algorithm), fault injection control unit and result analyser. Previously, the tool is used for code-modification, test and hardness analysis for gate-level designs. In this paper, an enhancement of a code modifier along with result analyser techniques are applied to the data-flow benchmark designs and presented.
A graph structure is a useful tool in solving the combinatorial problems in different areas of computer science and computational intelligence systems. In this paper, we present a frame work to handle m-polar fuzzy in...
详细信息
The aim of this study is the development of the method of generating and filling the template of ontology for the quality of the concrete software and method of forming the logical conclusion about the sufficiency of ...
详细信息
The purpose of the experimental study presented in the paper is to generate new knowledge about the possibility of using unmanned aerial vehicles to survey buildings and structures for subsequent extraction of informa...
The purpose of the experimental study presented in the paper is to generate new knowledge about the possibility of using unmanned aerial vehicles to survey buildings and structures for subsequent extraction of information about their condition in hard-to-reach or remote places. As objects for the pilot experiment, the following were selected: a residential building in an urban environment that has been destroyed during operation; an object of unfinished construction; a roadway on the carriageway. An unmanned aerial vehicle of the model: DJI Mavic Air was used to survey the objects. The results of the study of objects are recorded in the form of photo and video streams for each object. Comparison of the results of the inspection of objects by experts and unmanned aerial vehicles showed the possibility and necessity of using new means to collect information about the condition of buildings and structures. The primary processing of the obtained images revealed their features: the effect of illumination on the color characteristics of the object of study; the presence of a textural component that complicates the process of separating the defect from the background; the presence of objects in the image that are not related to the elements of surface destruction; the change in the initial size of the object over time. The detected features of the images allow the use of standard algorithms and processing and require the synthesis of unique trajectories of their application.
In this paper, we propose and analyze a Susceptible-Vaccinated-Exposed-Infected-Recovered (SVEIR) type infectious disease model with imprecise parameters. Introducing the interval numbers in functional form, the SVEIR...
详细信息
In this paper, we propose and analyze a Susceptible-Vaccinated-Exposed-Infected-Recovered (SVEIR) type infectious disease model with imprecise parameters. Introducing the interval numbers in functional form, the SVEIR model is proposed and formulated. The existence of possible equilibrium points with their feasibility criteria and an explicit value of basic reproduction number is obtained. The asymptotic stability of the system at different equilibrium points are also discussed. Next by considering treatment and vaccination as two control parameters, an optimal control problem is formulated and solved. Finally, some computer simulation works are given in support of our analytical results.
This document presents the development of an informational model of instrumental examination of a patient using the data flow diagrams (DFD). The developed informational model of the instrumental examination is presen...
This document presents the development of an informational model of instrumental examination of a patient using the data flow diagrams (DFD). The developed informational model of the instrumental examination is presented in the form of a context diagram, its decomposition, and the decomposition of the subsystems «Registration and analysis of biomedical signals and images with locally concentrated features» and «Diagnostics». Taking into account the proposed information model, UML diagrams of the activity of the biomedical decision support system based on morphological analysis of biomedical signals and images with locally concentrated features, of the module for morphological analysis of an electrocardiogram, and of the module for improving the quality of visualization of biological objects on radiological images based on the IMRI method are developed.
The principle of network construction and the principle of request signals service of Secondary surveillance radar systems predetermined the work of the respondents of the considered systems in conditions of intra-sys...
详细信息
The purpose of this study is the development of the method of activity of ontology-based intelligent agent (OBIA) for evaluating the software requirements specifications (SRS). OBIA works on the basis of the developed...
详细信息
The purpose of this study is the development of the method of activity of ontology-based intelligent agent (OBIA) for evaluating the software requirements specifications (SRS). OBIA works on the basis of the developed method, and evaluates the sufficiency of information in the SRS for assessing the non-functional software features - provides the conclusion and the numerical evaluation of the level of sufficiency of information in the SRS for assessment of non-functional features.
Formal methods (in a broad sense) have been around almost since the beginning of computer science. Nonetheless, there is a perception in the formal methods community that take-up by industry is low considering the pot...
详细信息
暂无评论