VLSI and Circuits, Embedded and Hardware Systems Commons^™

From Verification To Implementation: A Model Translation Tool And A Pacemaker Case Study, Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam

Rahul Mangharam

Model-Driven Design (MDD) of cyber-physical systems advocates for design procedures that start with formal modeling of the real-time system, followed by the model’s verification at an early stage. The verified model must then be translated to a more detailed model for simulation-based testing and finally translated into executable code in a physical implementation. As later stages build on the same core model, it is essential that models used earlier in the pipeline are valid approximations of the more detailed models developed downstream. The focus of this effort is on the design and development of a model translation tool, UPP2SF, and …

Contextualized Mobile Support For Learning By Doing In The Real World, Ray Bareiss, Natalie Linnell, Martin L. Griss

Martin L Griss

This research addresses the use of mobile devices with both embedded and external sensors to provide contextualized help, advice, and remediation to learners engaged in real-world learn-by-doing tasks. This work is situated within the context of learning a complex procedure, in particular emergency responders learning to conduct urban search and rescue operations. Research issues include the design and delivery of contextualized performance support and the inferring of learner actions and intentions from sensor data to ensure that the right support is delivered just in time, as it is relevant to what the learner is doing.

Fpga Implementation Of Quranic Recitation For Pronunciation Correction: A Review, Noor Jamaliah Ibrahim, Zulkifli Mohd Yusoff, Zaidi Razak, Mohd Yamani Idna Idris, Noor Naemah Abdul Rahman, Emran Mohd Tamil, Noorzaily Mohamed Nor

Noor Jamaliah Ibrahim

This paper proposes recognition of Quranic verse recitation focus on Tajweed rules mainly for pronunciation correction using Hidden Markov Models with Field Programmable Gate Array ( FPGA) board. It introduces the basic principle of speech recognition system by using two main algorithms which is Mel Frequency Cepstral Coefficients ( MFCC ) and Hidden Markov Model ( HMM ). In term of HMM module, two different algorithms will be applies, which is Baum-Welch Algorithm for HMM training and Viterbi Algorithm for HMM testing. The most important part on this project is the hardware implementation by using Xilinx Field Programmable Gate Array …

Switch Yard Operation In Thermal Power Plant(Katpp Jhalawar Rajasthan), Radhey Shyam Meena Er.

Radhey Shyam Meena

Switchyard Provides the facilities for switching ,protection & Control of electric power. To handle high Voltage power with proper Safety measures. To isolate the noises coming from the grid with true 50Hz power SWITCH YARD IS IMPORTANT PART IN THERMAL PLANT. IN KALISINDH THERMAL 400KV AND 220KV SWITCH YARD LOCATED.

Modeling And Simulation Of Z-Source Inverter, Suresh L

suresh L

Z – source inverters have been recently proposed as an alternative power conversion concept as they have both voltage buck and boost capabilities. These inverters use a unique impedance network, coupled between the power source and converter circuit, to provide both voltage buck and boost properties, which cannot be achieved with conventional voltage source and current source inverters. To facilitate understanding of Z – source inverter, this paper presents a detailed analysis, showing design of impedance network, implementation of simple Boost control PWM technique and simulation of Z – source inverter for different values of modulation indices.

Universal Computer Aided Design For Electrical Machines, Aravind Cv, Grace I, Rozita Teymourzadeh, Rajkumar R, Raj R, Wong Yv

Dr. Rozita Teymourzadeh, CEng.