Open Access. Powered by Scholars. Published by Universities.®
Electrical and Computer Engineering Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Physical Sciences and Mathematics (424)
- Computer Engineering (378)
- Computer Sciences (258)
- Electrical and Electronics (227)
- Power and Energy (163)
-
- Materials Science and Engineering (117)
- Electromagnetics and Photonics (81)
- Mechanical Engineering (81)
- Physics (74)
- Chemical Engineering (66)
- Engineering Science and Materials (63)
- Chemistry (62)
- Physical Chemistry (57)
- Materials Chemistry (55)
- Systems and Communications (55)
- Biomedical (53)
- Optics (51)
- Signal Processing (50)
- Social and Behavioral Sciences (49)
- Electronic Devices and Semiconductor Manufacturing (45)
- Civil and Environmental Engineering (40)
- Other Electrical and Computer Engineering (40)
- Information Security (38)
- Law (37)
- Computer Law (36)
- Forensic Science and Technology (36)
- Legal Studies (36)
- Nanoscience and Nanotechnology (36)
- Institution
-
- TÜBİTAK (163)
- Missouri University of Science and Technology (151)
- Brigham Young University (88)
- California Polytechnic State University, San Luis Obispo (85)
- University of Nebraska - Lincoln (84)
-
- Technological University Dublin (81)
- Purdue University (72)
- Chinese Chemical Society | Xiamen University (55)
- University of Central Florida (55)
- University of South Carolina (53)
- Air Force Institute of Technology (48)
- Embry-Riddle Aeronautical University (41)
- Marquette University (38)
- University of Texas at Arlington (35)
- Portland State University (34)
- University of Arkansas, Fayetteville (33)
- University of Kentucky (30)
- University of Nevada, Las Vegas (29)
- Old Dominion University (26)
- Universitas Indonesia (26)
- Utah State University (26)
- Cleveland State University (21)
- Louisiana State University (20)
- University of South Florida (19)
- Michigan Technological University (17)
- University of Texas at El Paso (17)
- Wright State University (17)
- Clemson University (14)
- University of Denver (13)
- Virginia Commonwealth University (13)
- Keyword
-
- Applied sciences (46)
- Simulation (15)
- Department of Electrical Engineering (14)
- Electrical engineering (14)
- Daniel Felix Ritchie School of Engineering and Computer Science (12)
-
- Modeling (11)
- Optimization (11)
- Genetic algorithm (10)
- Optics (9)
- #antcenter (8)
- Classification (8)
- FPGA (8)
- Image processing (8)
- Machine learning (8)
- Photovoltaic (8)
- Pure sciences (8)
- Solar cells (8)
- Electromagnetics (7)
- MEMS (7)
- Sensor (7)
- Stability (7)
- Support vector machines (7)
- Adaptive control (6)
- Electric power distribution (6)
- Energy efficiency (6)
- Lithium ion battery (6)
- Microfabrication (6)
- Microgrid (6)
- Parameter estimation (6)
- Security (6)
- Publication
-
- Turkish Journal of Electrical Engineering and Computer Sciences (163)
- Theses and Dissertations (114)
- Electrical and Computer Engineering Faculty Research & Creative Works (110)
- Department of Electrical and Computer Engineering: Faculty Publications (72)
- Electronic Theses and Dissertations (72)
-
- Journal of Undergraduate Research (58)
- Journal of Electrochemistry (55)
- Electrical Engineering (38)
- Open Access Dissertations (33)
- Articles (31)
- Master's Theses (31)
- Electrical and Computer Engineering Faculty Publications (30)
- Graduate Theses and Dissertations (30)
- Dissertations and Theses (26)
- Makara Journal of Technology (26)
- Journal of Digital Forensics, Security and Law (23)
- Theses and Dissertations--Electrical and Computer Engineering (23)
- Masters Theses (21)
- Electrical and Computer Engineering Faculty Research and Publications (20)
- USF Tampa Graduate Theses and Dissertations (19)
- Conference papers (18)
- Electrical Engineering Dissertations - Archive (18)
- All Graduate Theses and Dissertations, Spring 1920 to Summer 2023 (17)
- Browse all Theses and Dissertations (17)
- Doctoral Dissertations (17)
- Electrical Engineering Theses - Archive (17)
- Electrical and Computer Engineering Faculty Publications and Presentations (17)
- Open Access Theses & Dissertations (17)
- Electrical and Computer Engineering Publications (16)
- Faculty Publications (16)
- Publication Type
- File Type
Articles 1501 - 1530 of 1565
Full-Text Articles in Electrical and Computer Engineering
Tunable Fano Resonances Based On Two-Beam Interference In Microring Resonator, Ting Hu, Ping Yu, Chen Qui, Huiye Qui, Fan Wang, Mei Yang, Xiaoqing Jiang, Hui Yu, Jianyi Yang
Tunable Fano Resonances Based On Two-Beam Interference In Microring Resonator, Ting Hu, Ping Yu, Chen Qui, Huiye Qui, Fan Wang, Mei Yang, Xiaoqing Jiang, Hui Yu, Jianyi Yang
Electrical & Computer Engineering Faculty Research
In this paper, a resonant system is demonstrated on silicon-on-insulator wafer to achieve tunable Fano resonances. In this system, the Fano resonance originates from the interference of two beams resonant in the microring resonator. The shapes of the Fano resonances are tunable through controlling the phase difference of the two beams. Both large slope and high extinctionratio (ER) are obtained when the phase difference is 0.5π or 1.5π. Experimental results show that Fano resonances with steep slope and ER over 20 dB are achieved in the whole free spectral range by controlling the microheaters to meet the phase condition.
Estimation Of Performance Indices For The Planning Of Sustainable Transportation Systems, Alexander Paz, Pankaj Maheshwari
Estimation Of Performance Indices For The Planning Of Sustainable Transportation Systems, Alexander Paz, Pankaj Maheshwari
Electrical & Computer Engineering Faculty Research
In the context of sustainable transportation systems, previous studies have either focused only on the transportation systemor have not used a methodology that enables the treatment of incomplete, vague, and qualitative information associated with the available data. This study proposes a system of systems (SOS) and a fuzzy logic modeling approach. The SOS includes the Transportation, Activity, and Environment systems. The fuzzy logic modeling approach enables the treatment of the vagueness associated with some of the relevant data. Performance Indices (PIs) are computed for each system using a number of performance measures. The PIs illustrate the aggregated performance of each …
Framework For Simulation Of Heterogeneous Mpsoc For Design Space Exploration, Bisrat Tafesse, Venkatesan Muthukumar
Framework For Simulation Of Heterogeneous Mpsoc For Design Space Exploration, Bisrat Tafesse, Venkatesan Muthukumar
Electrical & Computer Engineering Faculty Research
Due to the ever-growing requirements in high performance data computation, multiprocessor systems have been proposed to solve the bottlenecks in uniprocessor systems. Developing efficient multiprocessor systems requires effective exploration of design choices like application scheduling, mapping, and architecture design. Also, fault tolerance in multiprocessors needs to be addressed. With the advent of nanometer-process technology for chip manufacturing, realization of multiprocessors on SoC (MpSoC) is an active field of research. Developing efficient low power, fault-tolerant task scheduling, and mapping techniques for MpSoCs require optimized algorithms that consider the various scenarios inherent in multiprocessor environments. Therefore there exists a need to develop …
Strategic Optimization Techniques For Frtu Deployment And Chip Physical Design, Chen Liao
Strategic Optimization Techniques For Frtu Deployment And Chip Physical Design, Chen Liao
Dissertations, Master's Theses and Master's Reports - Open
Combinatorial optimization is a complex engineering subject. Although formulation often depends on the nature of problems that differs from their setup, design, constraints, and implications, establishing a unifying framework is essential. This dissertation investigates the unique features of three important optimization problems that can span from small-scale design automation to large-scale power system planning: (1) Feeder remote terminal unit (FRTU) planning strategy by considering the cybersecurity of secondary distribution network in electrical distribution grid, (2) physical-level synthesis for microfluidic lab-on-a-chip, and (3) discrete gate sizing in very-large-scale integration (VLSI) circuit.
First, an optimization technique by cross entropy is proposed to …
Security Evaluation Of Substation Network Architectures, Pingal Raj Sapkota
Security Evaluation Of Substation Network Architectures, Pingal Raj Sapkota
Dissertations, Master's Theses and Master's Reports - Open
In recent years, security of industrial control systems has been the main research focus due to the potential cyber-attacks that can impact the physical operations. As a result of these risks, there has been an urgent need to establish a stronger security protection against these threats. Conventional firewalls with stateful rules can be implemented in the critical cyberinfrastructure environment which might require constant updates. Despite the ongoing effort to maintain the rules, the protection mechanism does not restrict malicious data flows and it poses the greater risk of potential intrusion occurrence.
The contributions of this thesis are motivated by the …
The Holographic Detector For Clouds From Trl 5 To Trl 8, Matthew Jacob Beals
The Holographic Detector For Clouds From Trl 5 To Trl 8, Matthew Jacob Beals
Dissertations, Master's Theses and Master's Reports - Open
Clouds are one of the most influential elements of weather on the earth system, yet they are also one of the least understood. Understanding their composition and behavior at small scales is critical to understanding and predicting larger scale feedbacks. Currently, the best method to study clouds on the microscale is through airborne in situ measurements using optical instruments capable of resolving clouds on the individual particle level. However, current instruments are unable to sufficiently resolve the scales important to cloud evolution and behavior. The Holodec is a new generation of optical cloud instrument which uses digital inline holography to …
A Comparative Study Of Heuristic Optimization Algorithms, Rohit A. Bhatia
A Comparative Study Of Heuristic Optimization Algorithms, Rohit A. Bhatia
Dissertations, Master's Theses and Master's Reports - Open
Heuristic optimization algorithms are of great importance for reaching solutions to various real world problems. These algorithms have a wide range of applications such as cost reduction, artificial intelligence, and medicine. By the term cost, one could imply that that cost is associated with, for instance, the value of a function of several independent variables. Often, when dealing with engineering problems, we want to minimize the value of a function in order to achieve an optimum, or to maximize another parameter which increases with a decrease in the cost (the value of this function). The heuristic cost reduction algorithms work …
Fundamentals Of Pv Efficiency Interpreted By A Two-Level Model, Muhammad A. Alam, Mohammad Ryyan Khan
Fundamentals Of Pv Efficiency Interpreted By A Two-Level Model, Muhammad A. Alam, Mohammad Ryyan Khan
Birck and NCN Publications
We consider the physics of photovoltaic (PV) energy conversion in a two-level, atomic PV and explain the conditions for which the Carnot efficiency is reached and how it can be exceeded. The loss mechanisms—thermalization, angle entropy, and below-bandgap transmission—explain the gap between Carnot efficiency and the Shockley-Queisser limit. Techniques developed to reduce these losses (e.g., solar concentrators, tandem cells, etc.) are reinterpreted using a simple two-level model. Remarkably, this simple model captures the essence of PV operation and reproduces the key results and important insights that that have been previously obtained using more complicated derivations.
Elec 2110: Elements Of Electrical Engineering—A Peer Review Of Teaching Project Benchmark Portfolio, Mahmoud Alahmad
Elec 2110: Elements Of Electrical Engineering—A Peer Review Of Teaching Project Benchmark Portfolio, Mahmoud Alahmad
UNL Faculty Course Portfolios
I have been teaching this class for the last five years. As an introductory course to electrical engineering, there is a lot of material that needs to be covered. All the material is important and relevant, and I try to go in-depth in each topic area. This approach has resulted in overwhelming the students and made them struggle with the course content, application and utilization. As I consider this course for the peer review, I am evaluating the depth of each topic and the opportunity to adjust the approach and method used to introduce new concepts and at the same …
Performance Evaluation And Comparison Of Distributed Messaging Using Message Oriented Middleware, Naveen Mupparaju
Performance Evaluation And Comparison Of Distributed Messaging Using Message Oriented Middleware, Naveen Mupparaju
UNF Graduate Theses and Dissertations
Message Oriented Middleware (MOM) is an enabling technology for modern event- driven applications that are typically based on publish/subscribe communication [Eugster03]. Enterprises typically contain hundreds of applications operating in environments with diverse databases and operating systems. Integration of these applications is required to coordinate the business process. Unfortunately, this is no easy task. Enterprise Integration, according to Brosey et al. (2001), "aims to connect and combines people, processes, systems, and technologies to ensure that the right people and the right processes have the right information and the right resources at the right time"[Brosey01]. Communication between different applications can be achieved …
Neural Network Based Control Of Integrated Recycle Heat Exchanger Superheaters In Circulating Fluidized Bed Boilers, David D. Biruk
Neural Network Based Control Of Integrated Recycle Heat Exchanger Superheaters In Circulating Fluidized Bed Boilers, David D. Biruk
UNF Graduate Theses and Dissertations
The focus of this thesis is the development and implementation of a neural network model predictive controller to be used for controlling the integrated recycle heat exchanger (Intrex) in a 300MW circulating fluidized bed (CFB) boiler. Discussion of the development of the controller will include data collection and preprocessing, controller design and controller tuning. The controller will be programmed directly into the plant distributed control system (DCS) and does not require the continuous use of any third party software.
The intrexes serve as the loop seal in the CFB as well as intermediate and finishing superheaters. Heat is transferred to …
Modeling Of Sic Power Semiconductor Devices For Switching Converter Applications, Ruiyun Fu
Modeling Of Sic Power Semiconductor Devices For Switching Converter Applications, Ruiyun Fu
Theses and Dissertations
Thanks to recent progress in SiC technology, SiC JFETs, MOSFETs and Schottky diodes are now commercially available from several manufactories such as Cree, GeneSiC and Infineon. SiC devices hold the promise of faster switching speed compared to Si devices, which can lead to superior converter performance, because the converter can operate at higher switching frequencies with acceptable switching losses, so that passive filter size is reduced. However, the ultimate achievable switching speed is determined not only by internal semiconductor device physics, but also by circuit parasitic elements. Therefore, in order to accurately predict switching losses and actual switching waveforms, including …
Optimized Techniques For Real-Time Microwave And Millimeter Wave Sar Imaging, Joseph T. Case
Optimized Techniques For Real-Time Microwave And Millimeter Wave Sar Imaging, Joseph T. Case
Doctoral Dissertations
"Microwave and millimeter wave synthetic aperture radar (SAR)-based imaging techniques, used for nondestructive evaluation (NDE), have shown tremendous usefulness for the inspection of a wide variety of complex composite materials and structures. Studies were performed for the optimization of uniform and nonuniform sampling (i.e., measurement positions) since existing formulations of SAR resolution and sampling criteria do not account for all of the physical characteristics of a measurement (e.g., 2D limited-size aperture, electric field decreasing with distance from the measuring antenna, etc.) and nonuniform sampling criteria supports sampling below the Nyquist rate. The results of these studies demonstrate optimum sampling given …
Data Fusion Techniques For Nondestructive Evaluation And Medical Image Analysis, Soumya De
Data Fusion Techniques For Nondestructive Evaluation And Medical Image Analysis, Soumya De
Doctoral Dissertations
"Data fusion is a technique for combining data obtained from multiple sources for an enhanced detection or decision. Fusion of data can be done at the raw-data level, feature level or decision level. Applications of data fusion include defense (such as battlefield surveillance and autonomous vehicle control), medical diagnosis and structural health monitoring. Techniques for data fusion have been drawn from areas such as statistics, image processing, pattern recognition and computational intelligence. This dissertation includes investigation and development of methods to perform data fusion for nondestructive evaluation (NDE) and medical imaging applications. The general framework for these applications includes region-of-interest …
Detecting And Locating Electronic Devices Using Their Unintended Electromagnetic Emissions, Colin Stagner
Detecting And Locating Electronic Devices Using Their Unintended Electromagnetic Emissions, Colin Stagner
Doctoral Dissertations
"Electronically-initiated explosives can have unintended electromagnetic emissions which propagate through walls and sealed containers. These emissions, if properly characterized, enable the prompt and accurate detection of explosive threats. The following dissertation develops and evaluates techniques for detecting and locating common electronic initiators. The unintended emissions of radio receivers and microcontrollers are analyzed. These emissions are low-power radio signals that result from the device's normal operation. In the first section, it is demonstrated that arbitrary signals can be injected into a radio receiver's unintended emissions using a relatively weak stimulation signal. This effect is called stimulated emissions. The performance of stimulated …
Dynamic Modeling, Stability Analysis, And Controller Design For Dc Distribution Systems, Reza Ahmadi
Dynamic Modeling, Stability Analysis, And Controller Design For Dc Distribution Systems, Reza Ahmadi
Doctoral Dissertations
"The dc distribution systems or dc microgrids are known to be best suited for integration of renewable energy sources into the current power grid and are considered to be the key enabling technology for the development of future smart grid. Dc microgrids also benefit from better current capabilities of dc power lines, better short circuit protection, and transformer-less conversion of voltage levels, which result in higher efficiency, flexibility, and lower cost. While the idea of using a dc microgrid to interface distributed energy sources and modern loads to the power grid seems appealing at first, several issues must be addressed …
Fiber Inline Pressure And Acoustic Sensor Fabricated With Femtosecond Laser, Yinan Zhang
Fiber Inline Pressure And Acoustic Sensor Fabricated With Femtosecond Laser, Yinan Zhang
Doctoral Dissertations
"Pressure and acoustic measurements are required in many industrial applications such as down-hole oil well monitoring, structural heath monitoring, engine monitoring, study of aerodynamics, etc. Conventional sensors are difficult to apply due to the high temperature, electromagnetic-interference noise and limited space in such environments. Fiber optic sensors have been developed since the last century and have proved themselves good candidates in such harsh environment. This dissertation aims to design, develop and demonstrate miniaturized fiber pressure/acoustic sensors for harsh environment applications through femtosecond laser fabrication. Working towards this objective, the dissertation explored two types of fiber inline microsensors fabricated by femtosecond …
Common Mode Current Estimation For Cable Bundle Inside A Vehicle, Dazhao Liu
Common Mode Current Estimation For Cable Bundle Inside A Vehicle, Dazhao Liu
Doctoral Dissertations
"In the Section 1, it introduces a methodology to simulate the currents and fields during an air discharge ESD into a product by combining a linear description of the behavior of the DUT with a non-linear arc resistance equation. The most commonly used test standard IEC 61000-4-2 requires using contact mode discharges to metallic surfaces and air discharge mode to non-conducting surfaces. This paper proposes a method that combines the linear ESD generator full wave model and the non-linear arc model to simulate currents and fields in air discharge mode. In Section 2, when simulating surface and thin wire structures, …
Finite-Horizon Optimal Control Of Linear And A Class Of Nonlinear Systems, Qiming Zhao
Finite-Horizon Optimal Control Of Linear And A Class Of Nonlinear Systems, Qiming Zhao
Doctoral Dissertations
"Traditionally, optimal control of dynamical systems with known system dynamics is obtained in a backward-in-time and offline manner either by using Riccati or Hamilton-Jacobi-Bellman (HJB) equation. In contrast, in this dissertation, finite-horizon optimal regulation has been investigated for both linear and nonlinear systems in a forward-in-time manner when system dynamics are uncertain. Value and policy iterations are not used while the value function (or Q-function for linear systems) and control input are updated once a sampling interval consistent with standard adaptive control. First, the optimal adaptive control of linear discrete-time systems with unknown system dynamics is presented in Paper I …
Model Based Fault Diagnosis And Prognosis Of Nonlinear Systems, Hasan Ferdowsi
Model Based Fault Diagnosis And Prognosis Of Nonlinear Systems, Hasan Ferdowsi
Doctoral Dissertations
"Rapid technological advances have led to more and more complex industrial systems with significantly higher risk of failures. Therefore, in this dissertation, a model-based fault diagnosis and prognosis framework has been developed for fast and reliable detection of faults and prediction of failures in nonlinear systems. In the first paper, a unified model-based fault diagnosis scheme capable of detecting both additive system faults and multiplicative actuator faults, as well as approximating the fault dynamics, performing fault type determination and time-to-failure determination, is designed. Stability of the observer and online approximator is guaranteed via an adaptive update law. Since outliers can …
Advances In Blind Source Separation, Christopher Osterwise
Advances In Blind Source Separation, Christopher Osterwise
Doctoral Dissertations
"Blind Source Separation (BSS) is a classic problem that attempts to separate unknown sources from observed mixtures. A common framework of this is the Cocktail Party problem, where multiple individuals speaking in a noisy room are recorded by a configuration of microphones, with the challenge being to split the observed signals into individual conversations. This dissertation covers the evaluation of an existing algorithm known as Cascaded ICA with Intervention Alignment (CICAIA), the establishment of a new parameter for characterizing blind mixtures, and three new algorithms, of which two are capable of separating any number of sources given more microphones than …
Source Reconstructions For Ic Radiated Emissions Based On Magnitude-Only Near-Field Scanning, Ji Zhang
Source Reconstructions For Ic Radiated Emissions Based On Magnitude-Only Near-Field Scanning, Ji Zhang
Doctoral Dissertations
"In this dissertation, a source reconstruction method is proposed to model the emission behavior of an IC by using magnitude-only information during near-field scanning. The phase-retrieval is accomplished during the back-forth iterations between two scanning planes of different heights. The magnitudes of fields on two planes of different heights are recorded and used to constrain the amplitude of the calculated fields during iterations. Three essential transformations among dipoles and fields are continued at each iteration step, until the convergence condition is achieved. The proposed algorithm has been verified by using a set of dipole-array as the original emitting sources, and …
Exploiting Heterogeneity In Chip-Multiprocessor Design, Ying Zhang
Exploiting Heterogeneity In Chip-Multiprocessor Design, Ying Zhang
LSU Doctoral Dissertations
In the past decade, semiconductor manufacturers are persistent in building faster and smaller transistors in order to boost the processor performance as projected by Moore’s Law. Recently, as we enter the deep submicron regime, continuing the same processor development pace becomes an increasingly difficult issue due to constraints on power, temperature, and the scalability of transistors. To overcome these challenges, researchers propose several innovations at both architecture and device levels that are able to partially solve the problems. These diversities in processor architecture and manufacturing materials provide solutions to continuing Moore’s Law by effectively exploiting the heterogeneity, however, they also …
Heterogeneous Volumetric Data Mapping And Its Medical Applications, Huanhuan Xu
Heterogeneous Volumetric Data Mapping And Its Medical Applications, Huanhuan Xu
LSU Doctoral Dissertations
With the advance of data acquisition techniques, massive solid geometries are being collected routinely in scientific tasks, these complex and unstructured data need to be effectively correlated for various processing and analysis. Volumetric mapping solves bijective low-distortion correspondence between/among 3D geometric data, and can serve as an important preprocessing step in many tasks in compute-aided design and analysis, industrial manufacturing, medical image analysis, to name a few. This dissertation studied two important volumetric mapping problems: the mapping of heterogeneous volumes (with nonuniform inner structures/layers) and the mapping of sequential dynamic volumes. To effectively handle heterogeneous volumes, first, we studied the …
User-Based Filter Utilization For Multicarrier Schemes, Zekeriyya Esat Ankarali
User-Based Filter Utilization For Multicarrier Schemes, Zekeriyya Esat Ankarali
USF Tampa Graduate Theses and Dissertations
Multicarrier modulation is a transmission technique that is quite convenient for high data rates in wireless communication. Information symbols are partitioned and parallelly sent over multiple narrowband subchannels. Pulse shaping filters are critically important in multicarrier
modulation for determining the characteristics of signal in time and frequency domains. In this thesis, we propose a new pulse shaping approach for multicarrier schemes to increase spectral efficiency in multi-user scenarios. Conventionally, the time-frequency lattice and the prototype filter are designed considering the worst-case of time-varying multipath channel. However, this approach ignores to make use of multi-user diversity and leads to excessive spacings …
Automated Extraction And Classification Of Time-Frequency Contours In Humpback Vocalizations, Hui Ou, Whitlow W.L. Au, Lisa M. Zurk, Marc O. Lammers
Automated Extraction And Classification Of Time-Frequency Contours In Humpback Vocalizations, Hui Ou, Whitlow W.L. Au, Lisa M. Zurk, Marc O. Lammers
Electrical and Computer Engineering Faculty Publications and Presentations
A time-frequency contour extraction and classification algorithm was created to analyze humpback whale vocalizations. The algorithm automatically extracted contours of whale vocalization units by searching for gray-level discontinuities in the spectrogram images. The unit-to-unit similarity was quantified by cross-correlating the contour lines. A library of distinctive humpback units was then generated by applying an unsupervised, cluster-based learning algorithm. The purpose of this study was to provide a fast and automated feature selection tool to describe the vocal signatures of animal groups. This approach could benefit a variety of applications such as species description, identification, and evolution of song structures. The …
A Transformation-Based Approach To Implication Of Gste Assertion Graphs, Gouwu Yang, William N. N. Hung, Xiaoyu Song, Wensheng Guo
A Transformation-Based Approach To Implication Of Gste Assertion Graphs, Gouwu Yang, William N. N. Hung, Xiaoyu Song, Wensheng Guo
Electrical and Computer Engineering Faculty Publications and Presentations
Generalized symbolic trajectory evaluation (GSTE) is a model checking approach and has successfully demonstrated its powerful capacity in formal verification of VLSI systems. GSTE is an extension of symbolic trajectory evaluation (STE) to the model checking of -regular properties. It is an alternative to classical model checking algorithms where properties are specified as finite-state automata. In GSTE, properties are specified as assertion graphs, which are labeled directed graphs where each edge is labeled with two labeling functions: antecedent and consequent. In this paper, we show the complement relation between GSTE assertion graphs and finite-state automata with the expressiveness of regular …
Intelligent Modeling And Verification, Gangming Luo, Graziano Chesi, Xiaoyu Song, Xiaojing Yang
Intelligent Modeling And Verification, Gangming Luo, Graziano Chesi, Xiaoyu Song, Xiaojing Yang
Electrical and Computer Engineering Faculty Publications and Presentations
System modeling tends to have many complex features, and uncertainties often lead to numerous complications and influence many important aspects related to its applications. Intelligent modeling merges mathematical and computer based approaches, and it utilizes pioneering new scientific methods and cutting-edge technologies.
Cluster Ensemble-Based Image Segmentation, Xiaoru Wang, Junping Du, Shuzhe Wu, Xu Li, Fu Lo
Cluster Ensemble-Based Image Segmentation, Xiaoru Wang, Junping Du, Shuzhe Wu, Xu Li, Fu Lo
Electrical and Computer Engineering Faculty Publications and Presentations
Image segmentation is the foundation of computer vision applications. In this paper, we propose a new cluster ensemble-based image segmentation algorithm, which overcomes several problems of traditional methods. We make two main contributions in this paper. First, we introduce the cluster ensemble concept to fuse the segmentation results from different types of visual features effectively, which can deliver a better final result and achieve a much more stable performance for broad categories of images. Second, we exploit the PageRank idea from Internet applications and apply it to the image segmentation task. This can improve the final segmentation results by combining …
Optical Tcad On The Net: A Tight-Binding Study Of Inter-Band Light Transitions In Self-Assembled Inas/Gaas Quantum Dot Photodetectors, Hoon Ryu, Dukyun Nam, Bu-Young Ahn, Jongsuk Ruth Lee, Kumwon Cho, Sunhee Lee, Gerhard Klimeck, Mincheol Sin
Optical Tcad On The Net: A Tight-Binding Study Of Inter-Band Light Transitions In Self-Assembled Inas/Gaas Quantum Dot Photodetectors, Hoon Ryu, Dukyun Nam, Bu-Young Ahn, Jongsuk Ruth Lee, Kumwon Cho, Sunhee Lee, Gerhard Klimeck, Mincheol Sin
Other Nanotechnology Publications
A new capability of our well-known NEMO 3-D simulator (Ref. Klimeck et al., 2007 [10]) is introduced by carefully investigating the utility of III–V semiconductor quantum dots as infrared photodetectors at a wavelength of 1.2–1.5 μm. We not only present a detailed description of the simulation methodology coupled to the atomistic sp3d5s∗ tight-binding band model, but also validate the suggested methodology with a focus on a proof of principle on small GaAs quantum dots (QDs). Then, we move the simulation scope to optical properties of realistically sized dome-shaped InAs/GaAs QDs that are grown by self- assembly and typically contain a …