检索结果-内蒙古大学图书馆

IEEE International Symposium on Dependable, Autonomic and Secure Computing (DASC)

作者： Abdul Rafay Khatri Ali Hayek Josef Börscök Department of Computer Architecture and System Programming University of Kassel Kassel Germany Universitat Kassel Kassel Hessen DE

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.

关键词： Circuit faults Tools Hardware design languages Logic gates Benchmark testing Prototypes

来源：评论

学校读者我要写书评

暂无评论

Novel Concepts of Strongly Edge Irregular m-Polar Fuzzy Graphs

引用

International Journal of Applied and Computational Mathematics 2017年第4期3卷 3321-3332页

作者： Ghorai, Ganesh Pal, Madhumangal Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore 721 102 India

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 information by combining the theory of m-polar fuzzy sets with graphs. We introduce the notion of strongly edge irregular and strongly edge totally irregular m-polar fuzzy graphs. Some properties of them are also studied to characterize strongly edge irregular and strongly edge totally irregular m-polar fuzzy graphs. © 2016, Springer India Pvt. Ltd.

关键词： Highly irregular m-polar fuzzy graphs m-Polar fuzzy graphs Strongly edge irregular Strongly edge totally regular

来源：评论

学校读者我要写书评

暂无评论

Forming the logical conclusion about sufficiency of information of software requirements specification for software quality assessment by ISO 25010:2011 1

Forming the logical conclusion about sufficiency of informat...

引用

1st IEEE Ukraine Conference on Electrical and computer Engineering, UKRCON 2017

作者： Hovorushchenko, Tetiana Computer Engineering and System Programming Department Khmelnitsky National University Khmelnitsky Ukraine

ISBN: (纸本)9781509030064

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 information of software requirements specification (SRS) for software quality assessment (by ISO 25010:2011). The first time proposed method of generating and filling the template of ontology for the quality of the concrete software leaves in the relevant ontology only measures, which are available in the SRS for the concrete software. It provides forming the ontology for the quality of the concrete software. The first time developed method of forming the logical conclusion about the sufficiency of the SRS information for software quality assessment provides the conclusion about the sufficiency or insufficiency of the SRS information for software quality assessment by ISO 25010:2011. If the SRS information is insufficient, this method: provides the conclusion for which characteristics and sub-characteristics the information is insufficient;creates the sorted list of missing measures as the recommended priority of their addition in the SRS;evaluates the veracity of software quality assessment based on the available in the SRS measures. © 2017 IEEE.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Results of a pilot experiment on monitoring the condition of buildings and structures using unmanned aerial vehicles

引用

IOP Conference Series: Earth and Environmental Science 2021年第1期939卷

作者： M Yu Narkevich O S Logunova P I Kalandarov A N Kalitaev G V Tokmazov P Yu Romanov O Alimov Department of Design of Buildings and Building Structures Magnitogorsk State Technical University named after G.I. Nosov Magnitogorsk Russia Department of Computer Engineering and Programming Magnitogorsk State Technical University named after G.I. Nosov Magnitogorsk Russia Department of Automation and Control of Technological Process and Production Tashkent Institute of Irrigation and Agricultural Mechanization Engineers Tashkent Uzbekistan Department of Higher Mathematics Admiral F.F. Ushakov State Maritime University Novorossiysk Russia Department of Applied Mathematics and Computer Science Magnitogorsk State Technical University named after G.I. Nosov Magnitogorsk Russia Jizzakh Polytechnic Institute Jizzakh Uzbekistan

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Modeling and Analysis of an Imprecise Epidemic System with Optimal Treatment and Vaccination Control

引用

Biophysical Reviews and Letters 2018年第2期13卷 37-60页

作者： Anjana Das M. Pal Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore 721101 West Bengal India Department of Mathematics Sura Mahamaya Balika Vidyalaya Panskura 721152 West Bengal India

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.

关键词： Basic reproduction number imprecise parameter optimal control transcritical bifurcation

来源：评论

学校读者我要写书评

暂无评论

Developing an informational model of instrumental examination

引用

Journal of Physics: Conference Series 2019年第3期1260卷

作者： A Filatova A Povoroznyuk S Gavrylenko M Fahs Department of Computer Engineering and Programming National Technical University «Kharkiv Polytechnic Institute» Kharkiv Ukraine

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Impact of fluctuation interferences to the responders performance of secondary surveillance radar system

Impact of fluctuation interferences to the responders perfor...

引用

2018 International Conference on Information and Telecommunication Technologies and Radio Electronics, UkrMiCo 2018

作者： Svyd, I.V. Goriushkina, A.E. Zavolodko, G.E. Maltsev, O.S. Kharkiv National University of Radio Electronics KNURE Dept. Radiotechnologies Information and Communication Systems Kharkiv Ukraine National Technical University KhPI NTU KhPI Department of Computer Science and Programming Kharkiv Ukraine National Technical University KhPI NTU KhPI Department of Information Systems Kharkiv Ukraine

ISBN: (纸本)9781538652640

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-system and intentional correlated and uncorrelated interferences. The article estimates the impact of masking fluctuation interferences on the quality of the request signals detection. It is shown that the choice of time-interval codes as the request signals predetermined the low noise immunity of the considered systems when a channel is exposed by the fluctuation interference. © 2018 IEEE.

关键词： Signal detection

来源：评论

学校读者我要写书评

暂无评论

Correction to: A new cognitive clock matching phenotypic and epigenetic ages

引用

Translational psychiatry 2022年第1期12卷 452页

作者： M I Krivonosov E V Kondakova N A Bulanov S A Polevaya C Franceschi M V Ivanchenko M V Vedunova Institute of Biology and Biomedicine Department of Neurotechnology N. I. Lobachevsky State University Nizhny Novgorod Russia. krivonosov@itmm.unn.ru. Institute of Information Technology Mathematics and Mechanics Department of Applied Mathematics N. I. Lobachevsky State University Nizhny Novgorod Russia. krivonosov@itmm.unn.ru. Research Center for Trusted Artificial Intelligence The Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow 109004 Russia. krivonosov@itmm.unn.ru. Research Center for Trusted Artificial Intelligence The Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow 109004 Russia. Institute of Biology and Biomedicine Department of Basic and Medical Genetics N. I. Lobachevsky State University Nizhny Novgorod Russia. Faculty of Computer Science School of Data Analysis and Artificial Intelligence HSE University Moscow Russia. Faculty of Social Sciences Department of Psychophysiology N. I. Lobachevsky State University Nizhny Novgorod Russia. Institute of Information Technology Mathematics and Mechanics Department of Applied Mathematics N. I. Lobachevsky State University Nizhny Novgorod Russia. Department of Experimental Diagnostic and Specialty Medicine (DIMES) University of Bologna Bologna Italy.

来源：评论

学校读者我要写书评

暂无评论

Evaluating the Software Requirements Specifications Using Ontology-Based Intelligent Agent

Evaluating the Software Requirements Specifications Using On...

引用

International Scientific and Technical Conference on computer Science and Information Technologies

作者： Tetiana Hovorushchenko Olga Pavlova Computer Engineering and System Programming Department Khmelnitsky National University (KhNU) Khmelnitsky Ukraine Informatics department Khmelnitsky Gymnasium No.2 Khmelnitsky Ukraine

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.

关键词： Software Software requirements specification (SRS) Ontology Intelligent agent (IA) Ontology-based intelligent agent (OBIA)

来源：评论

学校读者我要写书评

暂无评论

A proposal of an example and experiments repository to foster industrial adoption of formal methods 8th

A proposal of an example and experiments repository to foste...

引用

8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018

作者： Schlick, Rupert Felderer, Michael Majzik, Istvan Nardone, Roberto Raschke, Alexander Snook, Colin Vittorini, Valeria Center for Digital Safety and Security AIT Austrian Institute of Technology GmbH Vienna Austria Department of Computer Science University of Innsbruck Innsbruck Austria Department of Software Engineering Blekinge Institute of Technology Karlskrona Sweden Department of Measurement and Information Systems Budapest University of Technology and Economics Budapest Hungary University of Naples Federico II Naples Italy Institute of Software Engineering and Programming Languages Ulm University Ulm Germany Electronics and Computer Science University of Southampton Southampton United Kingdom

ISBN: (纸本)9783030034269

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 potential benefits. We take a look at possible reasons and give candidate explanations for this effect. To address the issue, we propose a repository of industry-relevant example problems with an accompanying open data storage for experiment results in order to document, disseminate and compare exemplary solutions from formal model based methods. This would allow potential users from industry to better understand the available solutions and to more easily select and adopt a formal method that fits their needs. At the same time, it would foster the adoption of open data and good scientific practice in this research field. © Springer Nature Switzerland AG 2018.

关键词： Formal methods

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：