This paper presents a synthesis method for delay time evaluation in the printed circuit boards based on Timed Hard Petri Nets. For the specification and modeling of the delay time evaluation system, Timed Synchronous Petri Nets (TSPN) are... more
This paper presents a synthesis method for delay time evaluation in the printed circuit boards based on Timed Hard Petri Nets. For the specification and modeling of the delay time evaluation system, Timed Synchronous Petri Nets (TSPN) are used, which allow conflicts identification and exclusion related to both the processes time synchronization and processes timing constraints. The developed TSPN model of the delay time evaluation system comprises the test signal generator and the time delay analyzer. The transition to the hardware description of the system is achieved by translating the TSPN into Timed Hard Petri Net (THPN). THPN consists of processing elements and logical connections between them. For each processing element analytical model and AHDL code were developed. The implementation of the delay time evaluation system was done by direct mapping of the THPN into the Field-Programmable Gate Array (FPGA) circuits. FPGA architectures present advantages such as high parallelism,...
Research Interests:
Agent-oriented hardware and software are proposed to use in order to improve security of intrusion detection system. A generalized structure of intelligent intrusion detection system was developed. A neural network was used as its main... more
Agent-oriented hardware and software are proposed to use in order to improve security of intrusion detection system. A generalized structure of intelligent intrusion detection system was developed. A neural network was used as its main agent. Neural network immune detectors were implemented on the programmable logic arrays in order to detect and classify intrusions. Mamdani fuzzy inference rules were applied to counteract intrusions. A decision-making subsystem structure was developed.
Research Interests: Engineering and IEEE
Research Interests:
Research Interests:
Research Interests:
This paper contains the obtained results in the research and design of cognitive systems with distributed computing and its applying in Intelligent Agriculture. Only some aspects of Intelligent Agriculture related to the organization of... more
This paper contains the obtained results in the research and design of cognitive systems with distributed computing and its applying in Intelligent Agriculture. Only some aspects of Intelligent Agriculture related to the organization of the irrigation process and the efficient use of water resources are approached. The functionality of the system is based on the development of a network of data processing nodes and local control of the water distribution process. The architecture of the distributed computing system presents a network of nodes with Mesh topology, in which the computing power is evenly distributed. Fuzzy logic models and Neural Networks are used as data processing and knowledge interpretation models. The paper presents: how to define the irrigation space for Smart Agriculture, mathematical models, the result of designing data processing and water distribution nodes, sequence diagram, and a case study that explains how the distributed computing system with cognitive pr...
Research Interests:
In this work is proposed a hardware implementation method of Safe Petri Nets (SaPN) models. The processing structure presents an interaction between homogeny processing elements functional defined. On dependence of interconnections of... more
In this work is proposed a hardware implementation method of Safe Petri Nets (SaPN) models. The processing structure presents an interaction between homogeny processing elements functional defined. On dependence of interconnections of elements, there can be implemented any complexity of Safe Petri Net model. The processing elements represent a flexible architecture, which permit to adjust them to Safe Petri Nets models. Using this architecture and interactions of elements we obtained a reduced time of processing to checking Safe Petri Nets to reachability, viability and other behavior properties.
Research Interests:
Research Interests:
This paper describes a digital system design method based on direct translation of a Petri net model into an FPGA circuit netlist. A proposed CAD tool allows digital system specification, modeling validation and synthesis using ordinary... more
This paper describes a digital system design method based on direct translation of a Petri net model into an FPGA circuit netlist. A proposed CAD tool allows digital system specification, modeling validation and synthesis using ordinary Petri nets. The digital system synthesis is based on Hardware Petri nets that are composed of two kinds of processing elements (Places and Transitions) and data flow path between them. The use of Hardware Petri nets in CAD tools allows the automation of the FPGA implementation process and substantially reduces the design time and cost.
Research Interests:
Research Interests:
This paper is dedicated to solve some issues related to climate change that negatively affect the productivity and quality of agricultural products. Agricultural production processes are spatially distributed processes and require a... more
This paper is dedicated to solve some issues related to climate change that negatively affect the productivity and quality of agricultural products. Agricultural production processes are spatially distributed processes and require a special approach in the development of control systems. The paper proposes the development of an adaptive computing system based on Intelligent Agents. Two types of Agents are defined with functions of perceiving the controlled process and with functions of action on the process. The set of Agents forms a mesh network that ensures the communication between them in order to exchange the decisions taken by each Agent. The decisions generated by the multitude of Agents are based on the application of the knowledge and mathematical models on which the Fuzzy Logic and the Neural Networks are based. The functionality of the Agents and the system as a whole is demonstrated on the basis of the functional schemes and the sequence diagram specifying the mode of co...
Research Interests:
Modelarea şi analiza proceselor concurente în sistemele proiectate în baza HDL este importantă pentru asigurarea funcţionalităţii corecte a acestor circuite. În lucrare sunt prezentate două exemple de sinteză a circuitelor logice în baza... more
Modelarea şi analiza proceselor concurente în sistemele proiectate în baza HDL este importantă pentru asigurarea funcţionalităţii corecte a acestor circuite. În lucrare sunt prezentate două exemple de sinteză a circuitelor logice în baza codului AHDL şi VHDL pentru care este posibilă trecerea în regim de hazard. În scopul excluderii condiţiilor de hazard în modelarea şi analiză funcţională sunt utilizate modele de reţele Petri Hardware. Cuvinte cheie: AHDL, VHDL, Reţele Petri, Reţele Petri Hardware, modelarea şi analiza concurenţei. 1. Instrucţiuni Limbajele de descriere Hardware (HDL), sunt limbaje algoritmice, care permit descrierea proceselor paralele şi concurente. Execuţia paralelă a mai multor instrucţiuni permite creşterea vitezei de procesare a datelor. Însă, nu tot timpul, execuţia paralelă a mai multor instrucţiuni duce la rezultate corecte. În aceste cazuri apare problema sincronizării proceselor concurente, totodată, păstrând şi paralelismul oferit de limbajele HDL [1-5]...
Research Interests:
This paper presents a synthesis method of real-time control systems based on direct mapping of Petri net model into Field Programmable Gate Array (FPGA) circuit. Synchronous timed Petri nets have been developed to specify and model the... more
This paper presents a synthesis method of real-time control systems based on direct mapping of Petri net model into Field Programmable Gate Array (FPGA) circuit. Synchronous timed Petri nets have been developed to specify and model the control system. Switching to hardware description of the system is achieved through Hard Timed Petri Nets (HTPN). Direct correspondence between the elements of the original specification and circuit components ensures that the behavioral properties and time constraints, under which activate the control system, will be respected.
236 Abstract — This paper describes the digital systems synthesis based on direct mapping of Petri nets model into FPGA circuit. A design flow that includes the specification of the system using Synchronous Petri Nets, verification of the... more
236 Abstract — This paper describes the digital systems synthesis based on direct mapping of Petri nets model into FPGA circuit. A design flow that includes the specification of the system using Synchronous Petri Nets, verification of the behavioral properties of the model, generation of the mathematical model of Hard Petri Nets (HPN), used for automatic generation of the AHDL code is described. The direct mapping approach avoids algorithmic complexity inherent in logic synthesis based on state encoding and substantially reduces the design time and cost. The method used for modeling and implementation of the digital systems was validated using MAX+PLUS II design environment.
This work presents the results of the Multi-Robot System designing that works on the basis of Swarm Intelligence models and is used to search for optimal solutions. The process of searching for optimal solutions is performed based on a... more
This work presents the results of the Multi-Robot System designing that works on the basis of Swarm Intelligence models and is used to search for optimal solutions. The process of searching for optimal solutions is performed based on a field of gradient vectors that can be generated by ionizing radiation sources, radio-electro-magnetic devices, temperature generating sources, etc. The concept of the operation System is based on the distribution in the search space of a multitude of Mobile Robots that form a Mesh network between them. Each Mobile Robot has a set of ultrasonic sensors for excluding the collisions with obstacles, two sensors for identifying the gradient vector of the analyzed field, resources for wireless storage, processing and communication. The direction of the Mobile Robot movement is determined by the rotational speed of two DC motors which is calculated based on the models of Artificial Neural Networks. Gradient vectors generated by all Mobile Robots in the system structure are used to calculate the movement direction.
Research Interests:
Research Interests:
Research Interests:
A method of speech coding and decoding is proposed. The speech coding algorithm is based on first derivate calculation of input speech signal, identification of critical points and input signal amplitude in these points, time period... more
A method of speech coding and decoding is proposed. The speech coding algorithm is based on first derivate calculation of input speech signal, identification of critical points and input signal amplitude in these points, time period measurement between critical points. The result of codification represents a sequence of amplitudes and time periods. The decoding algorithm utilizes values of COS or SIN functions for reconstruction on the input speech. The codec structure that consists from encoder and decoder units is proposed.
Research Interests:
In this work is proposed a hardware implementation method of Safe Petri Net model (SaPN). The processing structure presents an interaction between homogeny processing elements functional defined. On dependence of interconnections of... more
In this work is proposed a hardware implementation method of Safe Petri Net model (SaPN). The processing structure presents an interaction between homogeny processing elements functional defined. On dependence of interconnections of elements, there can be implemented any complexity of Safe Petri Net model. The processing elements represent a flexible architecture, which permit to adjust them to Safe Petri Net model. Using this architecture and interactions of elements we obtained a reduced time of processing to checking Safe Petri Net to reachability, viability and other behavior properties.