ElAr :: Перегляд за автором "Gharibi, W."

Перегляд за автором "Gharibi, W."

Зараз показано 1 - 12 з 12

Algebra-Logical Repair Method for FPGA Logic Blocks
(ХНУРЭ, 2009) Hahanov, V. I.; Gharibi, W.; Guz, O. A.; Litvinova, E. I.
An algebra-logical repair method for FPGA functional logic blocks on the basis of solving the coverage problem is proposed. It is focused on implementation into Infrastructure IP for system-on-a chip and system-in-package. A method is designed for providing the operability of FPGA blocks and digital system as a whole. It enables to obtain exact and optimal solution associated with the minimum number of spares needed to repair the FPGA logic components with multiple faults.
Coverage Method for FPGA Fault Logic Blocks by Spares
(EWDTS, 2009) Hahanov, V. I.; Litvinova, E. I.; Gharibi, W.; Guz, O. A.
A fault coverage method for digital system-on-chip by means of traversal the logic block matrix to repair the FPGA components is proposed. A method enables to obtain the solution in the form of quasioptimal coverage for all faulty blocks by minimum number of spare tiles. A choice one of two traversal strategies for rows or columns of a logic block matrix on the basis of the structurization criteria, which determine a number of faulty blocks, reduced to the unit modified matrix of rows or columns is realized. The problem of testing technologies adaptation for new digital system-in-package (SiP), which gradually develops the market of electronic technology [1-6] is considered. SiP forms new challenges of real-time Infrastructure IP for system functionalities, which differs from embedded diagnosis of SoC components essentially. Yervant Zorian is leading scientist in the field of Design and Test in the world [3] and he said now the main problem of digital system repairing is designing the methods and technologies for on-chip logic repairing although it occupies no more 10% of chip area. Objective of the research is design of a method for on-chip diagnosis of digital system-on-a-chip on the basis of traversal the rows and columns to increase SiP testability, quality and reliability. The problems are: 1) design of a matrix model for the FPGA logic blocks in the form of tiles, which contain faults; 2) design of a coverage method for faulty logic blocks by spare tiles in the traversal of matrix rows or columns; 3) testing and verification of the method on examples of logic block matrixes, containing various faulty configurations.
Cyber Physical Social Systems – Future of Ukraine
(EWDTS, 2014) Hahanov, V.; Gharibi, W.; Kudin, A. P.; Hahanov, I.; Ngene, C.; Yeve, T.; Krulevska, D.; Yerchenko, A.; Mishchenko, A.; Shcherbin, D.; Priymak, A.
A fundamental solution of topical problem for economic, social and technological future of Ukraine and the world is proposed. The problem lies in the elimination of corruption through the formation and implementation of the state program «Creation of Cyber Physical Space for Digital Monitoring Technological Processes and Optimal Resource Management in order to Achieve Socially Important Goals». The cyber technology for human-free managing social resources (staff and finance) includes two cloud service: 1) the distribution of government contracts and finance between the structures, undertakings and entities, based on competition of their competence matrices for a given metric; 2) allocation of staff vacancies in scalable social groups based on competition of the competence matrices of applicants for a given metric. The competence metric is a measuring method of the distance between objects or processes based on the use of the parameter vector that defines the space or a competence matrix of a person or social group in real time. A competence matrix is a model of integrated activity and skills of a person or social group at a given metric and time interval. As an alternative solution of the problem it is considered a cyber physical system for managing human and financial resources (Cyber Social Systems - CSS), as a scalable cloud service, available to the social groups, government agencies, private companies and private individuals; it provides lifelong monitoring competencies of corresponding subjects in real time in order to carry out cyber staff management through appropriate career, moral and material incentives according to the results of their constructive activity. The cyber social system is focused on the total destruction of the corruption in the actions of managers at all levels by eliminating the subjectivity in the management of human and financial resources on the basis of the transfer of the official functions to independent cloud cyber service. The system consists of two interacting components: 1) accumulative monitoring of all kinds of human (social group) activity that generates a competence matrix in realtime; 2) the optimal management through career, moral and material incentives of individuals and social formations based on the analysis and rating of the corresponding competence matrices. A cyber system is based on the use of the following technologies: Big Data, Internet of Things, Smart Everything, parallel virtual processors and focused on serving individuals, government agencies and companies. For each subject two unique metrics of competencies are generated: 1) the gold standard of indexes for each category of professional activity; 2) the current competence matrix of the subjects filled in the process of their life, which are ranked by metrical comparison or evaluation of the results of work with standard or better values.
Cyber-Physical Emerging Computing
(Харьковский национальный университет радиоэлектроники, 2018) Hahanov, V. I.; Ka Lok Man; Gharibi, W.; Hahanova, A. V.; Litvinova, E. I.
The main trends of the development of the cyber- physical structure presented in Gartner's Hype Cycle 2017 are described to apply them in science, education, transport, industry and state structures. Prospective directions of the market-feasible technologies, related to green cyber-social monitoring and management of society, are proposed. An expanded description of technologies focused on the creation of the smart digital world, green cities and 5G telecommunications is performed. Recommendations are given for using the top 10 technologies of 2017 in business, scientific and educational processes of higher education.
Cybercomputer for Information Space Analysis
(EWDTS, 2011) Litvinova, E. I.; Hahanov, V. I.; Gharibi, W.; Park, Dong Won
This article describes an infrastructure and technologies for analyzing information space, based on virtual cybercomputer. A model and metrics for cyberspace, where subjects are the interacting processes or phenomena with the physical carrier in the form of computer systems and networks, are proposed. The structural model of high-speed multimatrix processor designed for fast and accurate search of information objects in cyberspace is described. Purpose of this article is creation of the individual and virtual computer in cyberspace for intelligence transactions of data and services, focused on each person. The problems are: 1) Defining the functional infrastructure for virtual PCC. 2) Creating a structured database for storing information and services. 3) Developing a PCC template as a set of related services and tools focused to the needs of the user. 4) Developing a system for protection of personal cyberspace, data and services, including authentication, keys, digital signature, cryptography. 5) Creating intelligent tools for searching, pattern recognition and decision making as a set of filters, focused to a specific user. 6) Developing PCC prototype and its testing for different kinds of users. 7) Offering prototype to the companies, which have access to the market of electronic technologies, as well as public relations through Internet, TV, conferences and seminars. References: Cyberspace and its analysis for searching information [1-5]; Hardware engines for high-speed information retrieval [6-10]; Synthesis of computer structures and functionalities [11-13]. The essence of the research is creation of the infrastructure for optimal organization of the individual cyberspace as a virtual computer with the following services: 1) e-mail and telephony; 2) Internet-browsers for searching, recognition and decision making; 3) audio and video players; 4) text and sound editors; 5) electronic banking and shopping; 6) individual business browser for the organization of working days; 7) browser for the management of holidays, culture and sport; 8) traveling browser; 9) structured relational database to store the history and all types of data; 10) external interface Public Relations; 11) medical care and services; 12) comprehensive security system for information and services.
General Testing Models of SOC Hardware Software Components
(KNURE, 2008) Hahanov, V. I.; Litvinova, E. I.; Gharibi, W.
Innovative testable design technologies of hardware and software, which oriented on making graph models of SoC components for effective test development and SoC component verification, are considered. A novel approach to evaluation of hardware and software testability, represented in the form of register transfer graph, is proposed. Instances of making of software graph models for their subsequent testing and diagnosis are shown.
Models and Methods for Verification and Diagnosis of SoC HDL-code
(ХНУРЭ, 2010) Hahanov, V. I.; Gharibi, W.; Litvinova, E. I.; Chumachenko, S. V.
Xor-metrix for object relations in a vector logic space and a structural testing model are proposed. Assertion-based models and methods for the verification and diagnosis of HDL-code functional failures, which make possible to reduce considerably time-tomarket of software and hardware, are developed. An architectural model of multimatrix reduced logical instruction set processor for embedded diagnosing is offered.
Quantum Technology for Analysis and Testing Computing Systems
(EWDTS, 2013) Gharibi, W.; Hahanov, V. I.; Anders, C.; Hahanova, I. V.; Filippenko, I. V.
A theory of quantum models, methods and algorithms for improving the performance of existing software and hardware tools for analysis and synthesis of digital computing devices by increasing the dimension of the data structures and memory are proposed. The basic concepts, terminology and definitions are introduced, which are necessary for the understanding the theory and practice of quantum computation. In recent years quantum computing becomes interesting for analyzing cybernetic space, developing cloud Internet technologies, which is explained by their alternativeness to the existing models of computing processes. Market feasability of quantum methods and qubit models is based on the high parallelism when solving almost all discrete optimization problems, factorization, minimization of Boolean functions, effective compression of data, their compact representation and teleportation, fault-tolerant design through significant increase in hardware costs. But now it is acceptable, because of nano-electronic technologies propose now up to 1 billion gates, located on a chip of the dimension 2х2 sm with the substrate thickness 5 microns. At that modern technologies allow creating a package (sandwich) containing up to 7 dies, which is comparable with the quantity of the human brain neurons. Practically wireless connection of such chips is based on through-silicon vias (TSV) - the technological capability of drilling about 10 thousand through vias in 1 square centimeter of wafer or die. In addition, the emergence of FinFET transistors and 3D-technology based on them for implementation of digital systems provide almost unlimited hardware capabilities to researchers for creating new parallel computing devices. So, it is necessary to use hardware-focused models and methods for creating high-speed tools for parallel solving real world problems. Discreteness and multiple-valuedness of the alphabets for describing information processes, the parallelism, inherent in the quantum computing, are particularly important when developing effective and intelligent engines for cyberspace, cloud structures and services of Internet, and tools for synthesis of fault-tolerant digital devices, testing and simulation of digital systems-on-chips, technologies for information and computer security . We do not consider the physical basis of quantum computing, originally described in the works of scientists, focused on the use of non-deterministic quantum interactions within the atom. We do not address the physical foundations of quantum mechanics, concerning non-deterministic interactions of atomic particles, but we use the concept of information quantum as a joint definition of the power set (the set of all subsets) of states for the discrete cyberspace area that provides the high parallelism level of the proposed quantum models and methods.
Security Risks and Modern Cyber Security Technologies for Corporate Networks
(ХНУРЭ, 2010) Adamov, A.; Hahanov, V.; Gharibi, W.
The article aims to highlight current trends on he market of corporate antivirus solutions. Brief overview of modern security threats that can destroy IT environment is rovided as well as a typical structure and features of ntivirus suits for corporate users presented on the market. he general requirements for corporate products are etermined according to the last report from avomparatives.org [1]. The detailed analysis of new features is rovided based on an overview of products available on the market nowadays. At the end, an enumeration of modern trends in antivirus industry for corporate users completes this rticle. Finally, the main goal of this article is to stress an ttention about new trends suggested by AV vendors in their olutions in order to protect customers against newest security hreats.
SoC Software Components Diagnosis Technology
(EWDTS, 2008) Chumachenko, S. V.; Gharibi, W.; Hahanova, A. V.; Sushanov, A.
A novel approach to evaluation of hardware and software testability, represented in the form of register transfer graph, is proposed. Instances of making of software graph models for their subsequent testing and diagnosis are shown. There are technologies of hardware testing and testable design, which enable to solve the problem of SoC service effectively. On the other hand, there are not effective models and methods of the given problem solving on the electronic technology market. To realize testable design and diagnosis of SoC software components the universal model of software components representation in the form of register transfer and control graph is developed. An algorithm of software diagnosis is proposed. An instance of software diagnosis technology utilization is considered. The research aim is adaptation of the hardware testing methods to the service of SoC software components. The research problems: 1) Adaptation of ThatteAbraham-Sharshunov register transfer model to the solving of software testing problem; 2) Application of the model for faulty statements diagnosis on basis of use the fault detection table.
Synthesis of Qubit Models for Logic Circuits
(EWDTS, 2012) Zaychenko, S. A.; Gharibi, W.; Dahiri Farid; Hahanova, Yu. V.; Guz, O. A.; Ngene, C. U.; Adiele Stanley
Qubit (quantum) structures of data and computational processes for significantly improving performance when solving problems of discrete optimization and fault-tolerant design are proposed. We describe superpositional method for synthesizing cube of functionality for its implementation in the structural components of programmable logic chips. The estimates of synthesis time, as well as hardware costs for creating qubit models of logic circuits are represented. Quantum computing becomes interesting for cyberspace analysis, creating new Internet technologies and services, which is explained by their alternative to the existing models of computing processes. Market appeal of quantum (qubit) models is based on the high parallelism when solving almost all discrete optimization problems, factoring, minimization of Boolean functions, effective compression of data, their compact representation and teleportation, fault-tolerant design through significant increase in hardware cost. But now it is acceptable, because there are problems of use silicon chip, which contains up to 1 billion gates on a substrate thickness 5 microns. At that modern technologies allow creating a package (sandwich) containing up to 7 chips, which is comparable with the quantity of the human brain neurons. Practically, through-silicon via (TSV) connection is based on the technological capability of drilling about 10 thousand through vias in 1 square centimeter of wafer or die. Layout the indicated volume of useful functionality on chip is currently problematic. So, it is necessary to develop hardwarefocused models and methods for creating high-speed tools of parallel solving real world problems. Considering the discreteness and multiple-valuedness of the alphabets for description of information processes, the parallelism, inherent in the quantum computing, is particularly actual when developing effective and intelligent engines for cyberspace or Internet, tools for synthesis of fault-tolerant digital primitives and systems, testing and simulation of digital systems-on-chips, technologies for information and computer security, brain-like models for computing, analysis and synthesis of linguistic constructions.
The diagnostic model of computer system in the form of Petri Net
(Науково-технічний журнал : Радіоелектронні і комп'ютерні системи (РЕКС), 2008) Krivoulya, G. F.; Laptev, M.; Gharibi, W.
The construction of structural computer system model in the form of automatic, limited Petri Net are considered in the article. Proposed model can be used for building diagnosability provision of the computer system. Increasing quantity and complexity of current computer systems (CS) usability leads to necessity of it quality service. Modern computer engineering decides this problem by creating the diagnostic systems and automatic searching for the faults. With usage of them service and repair becomes simpler (1). For modeling the automation diagnostic system of CS necessary to have structure model of CS (2), which permit to define CS transitions from one state to another having different combination of input signals. In this work the structural model of CS in the form of automatic, limited Petri Nets (PN) are proposed.

Перегляд за автором "Gharibi, W."

Результатів на сторінку

Варіанти сортування