Browsing Division of Electrical, Electronics, and Computer Science (EECS) by Title
Now showing items 942-961 of 1659
-
Model-based Deep Learning Algorithms in Mimo Receivers : Channel Estimation & Symbol Detection
With the advent of Massive multiple-input-multiple-output (MIMO) wireless communication systems, users can now enjoy high spectral efficiency and throughput leading to a better quality of service. The efficacy of these ... -
Model-based Safe Deep Reinforcement Learning and Empirical Analysis of Safety via Attribution
During initial iterations of training in most Reinforcement Learning (RL) algorithms, agents perform a significant number of random exploratory steps, which in the real-world limit the practicality of these algorithms ... -
Model-Checking in Presburger Counter Systems using Accelerations
(2018-04-18)Model checking is a powerful technique for analyzing reach ability and temporal properties of finite state systems. Model-checking finite state systems has been well-studied and there are well known efficient algorithms ... -
Model-Checking Infinite-State Systems For Information Flow Security Properties
(2017-02-16)Information flow properties are away of specifying security properties of systems ,dating back to the work of Goguen and Meseguer in the eighties. In this framework ,a system is modeled as having high-level (or confidential)events ... -
Modeling and Adaptive Scheduling Strategies for Distributed Graph Algorithms
Graph processing at scales of millions-billions of vertices and edges has become common to solve real-world problems in domains like social networks, smart cities and genomics. Distributed "Big Data" platforms for graph ... -
Modeling and analysis of adaptive window controlled randomly arriving file transfers in Internets
The Internet carries predominantly elastic traffic generated by applications such as email, web transfers, and file transfers, and the bandwidth sharing between such sessions is controlled by the Transmission Control ... -
Modeling and Analysis of Grid Connected Variable Speed Wind Generators
(2018-08-13)The growing demand for power and increased environmental concerns gave an impetus to the growth of clean and renewable energy sources like wind, solar etc. There is a remarkable increase in the penetration of wind energy ... -
Modeling And Design Of A Solar Hybrid Desalination System With Pressure Modulation
(2010-08-30)Shortage of drinking water in most parts of the world has been a growing concern in recent times. The situation has been getting worse in underdeveloped and developing countries due to sudden explosion in population growth ... -
Modeling and verification of database-accessing applications
Databases are central to the functioning of most IT-enabled processes and services. In many domains, databases are accessed and updated via applications written in general-purpose lan- guages, as such applications need ... -
Modeling Of Dust Loaded Electrical Characteristics And Collection Efficiency Of Industrial Electrostatic Precipitators
(2010-12-08)With the increase in population and industrial growth, the need for power has increased manifold. A major share of India’s power generation is coal-based generation. Thermal power generation through coal combustion produces ... -
Modeling of Lightning Attachment to Aircraft and a Novel Methodology to Quantify Strike Rate
Air transport plays a vital role in global economic growth and long-distance commutation. The aviation industry is found to double its fleet size every fifteen years. According to Air Transport Action Group (ATAG), 45 ... -
Modeling of Permittivity Variations in Stochastic Computational Electromagnetics
With the evolution of 5G systems offering high data rates, major changes are required in the design approach of the components of communication systems. Furthermore, building complex electromagnetic systems at the terahertz ... -
Modeling the Switching Dynamics of Advanced Power Semiconductor Devices: From Silicon Superjunction to Wide Bandgap Technologies
The advancement of power semiconductor devices has significantly transformed modern power conversion systems, enabling notable enhancements in energy efficiency, system miniaturization, and overall performance. Among the ... -
Modeling, Analysis and Control of Reconfigurable Battery/Grid Tied Solar Photo-Voltaic Inverter
Grid reliability and power outages are key concerns today, due to the ever-increasing energy demand. Traditionally, Uninterruptible Power Supplies (UPS) with battery storage have been employed to contend with grid outages. ... -
Modeling, Analysis And Control Of Single-Phase And Three-Phase PWM Rectifiers
(2009-06-16)Pulse width modulation (PWM) rectifiers are extensively used in battery charger, regulated dc voltage source, UPS systems, ac line conditioner and motor drives. The conventional control schemes for these rectifiers require ... -
Modeling, Analysis and Control of Switched Reluctance Generator
Switched reluctance machines (SRM) are permanent magnet-free and have a simple rotor with no current-carrying conductors. SRM can be operated as a generator and driven by renewable energy resources such as wind, solar-thermal, ... -
Modeling, Characterization, and Control of Switched Reluctance Motors
Switched reluctance machine (SRM) is known for many advantages such as permanent magnet-free operation, robust structure, low rotor inertia, low manufacturing cost, and excellent fault-tolerant capability. Hence, SRM has ... -
Modeling, Characterization, Control and Design of Switched Reluctance Machines
Switched reluctance machines (SRM) are permanent magnet free, and have a simple rotor construction with no current carrying parts. These are particularly suitable for high-temperature and high-speed applications. However, ... -
Modeling, Design and Control of Power-Electronic-Actuated Electromagnetic Bearings
Many practical electrical machines, turbines, and compressors operate in speeds ranging from tens of thousands of rpm to hundreds of thousands of rpm, also handling a significant amount of power. While high-speed operation ...