The flexibility of Commercial-Off-The-Shelf (COTS) SRAM based FPGAs is an attractive option for the design of artificial satellites, however, the functional verification of HDL-based designs is required and is of fund...
详细信息
ISBN:
(纸本)9781479905959
The flexibility of Commercial-Off-The-Shelf (COTS) SRAM based FPGAs is an attractive option for the design of artificial satellites, however, the functional verification of HDL-based designs is required and is of fundamental importance. Formal verification using model checking represents a system as formal model that are automatically generated by synthesis tools. On the other hand, the properties are represented by temporal logic expressions and are traditionally manually elaborated, which is susceptible to human errors increasing the costs and time of the verification. This work presents a new method for automatic property generation for formal verification of Hardware Description Language (HDL) based systems. The industrial case study is a communication subsystem of an artificial satellite, which was developed in cooperation with the Brazilian Institute of Space Research (INPE).
A modified Dijkstra's algorithm to determine the average cost of interconnections in computing architecture for every pair of nodes is proposed. Verification of the criterion, when evaluating the effectiveness of ...
详细信息
ISBN:
(纸本)9781467364614
A modified Dijkstra's algorithm to determine the average cost of interconnections in computing architecture for every pair of nodes is proposed. Verification of the criterion, when evaluating the effectiveness of different topologies of computational structures is performed.
In passive Radio Frequency IDentification (RFID) systems, tags do not have their own power source and they receive their operating energy from continuous modulated RF carrier transmitted by the reader. The tag while r...
详细信息
In passive Radio Frequency IDentification (RFID) systems, tags do not have their own power source and they receive their operating energy from continuous modulated RF carrier transmitted by the reader. The tag while receiving this carrier randomly selects a slot and sends back its RN16 using backscatter modulation for purpose of its identification. The efficiency of the existing UHF RFID systems is limited, as only response from a single tag in a slot can be decoded successfully. If multiple tags select the same slot collision happens, information of physical layer is discarded and retransmission is executed. In this work, a multi-tone carrier wave is exploited to make the collided tag signals decodable. In addition, a novel method to acknowledge the multiple tag signals in a single slot is proposed. The system performance in terms of expected throughput is significantly improved with the use of both multi-tone carrier and the multiple acknowledgements technique at the same time.
This paper is concerned with the design of a dynamic multivariable PID control for multi input multi output (MIMO) process. Four multivariable PID control schemes using Davison, Penttinen-Koivo, Maciejowski and a comb...
详细信息
ISBN:
(纸本)9781467357661
This paper is concerned with the design of a dynamic multivariable PID control for multi input multi output (MIMO) process. Four multivariable PID control schemes using Davison, Penttinen-Koivo, Maciejowski and a combined method were applied. The controller parameters for all control strategies were designed based on dynamic condition using singularly perturbed system. The purpose of the study is to investigate the effectiveness in the performance of dynamic control based on different multivariable PID control strategies. To attain the best result, numerous tuning parameters were tested. The simulation results show the significance of the study whereby the proposed dynamic MPID control scheme shows better improvement in control tuning of nonlinear system.
This paper introduces an event based feedforward categorization system, which takes data from a temporal contrast Address Event Presentation (AER) sensor. The proposed system extracts bio-inspired cortex-like features...
详细信息
This paper introduces an event based feedforward categorization system, which takes data from a temporal contrast Address Event Presentation (AER) sensor. The proposed system extracts bio-inspired cortex-like features and discriminates different patterns using AER based tempotron classifier (a network of leaky integrate-and-fire (LIF) spiking neurons). One appealing character of our system is the event-driven processing. The input and the features are both in the form of address events (spikes). Experimental results on a posture dataset have proved the efficacy of the proposed system.
The objective of the paper is to present some results of experiments for structural health monitoring by utilizing a wireless sensor network technology based on GPS. Sensor nodes equipped with GPS are installed on the...
详细信息
ISBN:
(纸本)9781479904051
The objective of the paper is to present some results of experiments for structural health monitoring by utilizing a wireless sensor network technology based on GPS. Sensor nodes equipped with GPS are installed on the top of the roof of a building and allow to detect the position of this sensor nodes during several instants of time. This information is collected through wireless communication. At first, the description of the system is presented. Then, an application of the wireless sensor network technology based on GPS to one building is discussed.
The assessment of vibration and noise characteristics for Hydro- Turbine machinery has always been a new experience and challenge along with the ISO (International Standard Organization). This study outlines the main ...
详细信息
As the complexity of integrated circuit design increases and production schedules become shorter, the dependency on post-silicon validation for capturing design errors that escape from pre-silicon verification also in...
详细信息
As the complexity of integrated circuit design increases and production schedules become shorter, the dependency on post-silicon validation for capturing design errors that escape from pre-silicon verification also increases. A major challenge in post-silicon validation is the limited observability of internal states caused by the limited storage capacity available for post-silicon validation. Recent research has shown that observability can be enhanced if trace and scan signals are combined together, compared with the debugging scenario where only trace signals are monitored. This paper proposes an enhanced and systematic algorithm for the efficient combination of trace and scan signals to maximize the observability of internal circuit states. Experimental results on benchmark circuits show that the proposed technique provides a higher number of restored states compared to the existing techniques.
Dynamic changes in the present day quality of life and quality of environment are greatly influenced by the space sciences and technology. Notwithstanding the dual use of space technology the irreversible impacts on h...
详细信息
ISBN:
(纸本)9781629939094
Dynamic changes in the present day quality of life and quality of environment are greatly influenced by the space sciences and technology. Notwithstanding the dual use of space technology the irreversible impacts on health, resources and ecology for each abuse of finite resources are alarming. Over two decades of development reviewed by UN Systems during 1970-90s reveal that Participation is the key to Sustainability at Community Levels. Space vision of a stewardship for the present generation to sustain a healthy and safe Space ship are challenging (UNCED.1992). The next two decades after Rio'92 have also provided ample break through Space Education Out Reach activities all over the globe. Few such are Bharath Jana Vigyaan Jatha {Indian People Science March ( 1987), Earth Day Network(1972) and Clean Up the World(2000) Campaigns to name a few and thousands of Community Empowerment Models which have started providing the Tunnel Effect as a societal catalyst. Thus, these living through role eco literacy models enrich and add value to the Space Education and Outreach initiatives.. Space Eco Literacy Model (Jagannatha, COSPAR 2012) provides one such simple Space Education Tool for empowering community for sustainable Development. UNESCO/UNEP/IEEP 1977 Tbilisi conference provided historical mandates for nations to embark on formal and informal environmental education. Objectives of Environmental Education for individuals and community as awareness, attitude, knowledge, skills and participation have lived through the Rio Earth ***- Active role of nations are vital to address and show case compliance to United Nations mandates. Public outreach activities need to be networked with various diversified activities aimed at space eco-literacy both at Individual and Community Levels. An EESS { Ecological Environmental Studies by Students model developed in 1987 is one such Eco education Model which was cited as one of the 20 Best Eco Education Models.(Earth Day Netwo
暂无评论