Open Access. Powered by Scholars. Published by Universities.®
- Keyword
-
- Academic achievement (2)
- Artificial Intelligence (incl. Robotics) (2)
- Discrete Mathematics in Computer Science (2)
- Engineering -- Study and teaching (Higher) (2)
- Logics and Meanings of Programs (2)
-
- Mathematical Logic and Formal Languages (2)
- Memristors (2)
- Asynchronous circuits (1)
- Cathodes (1)
- Computer architecture -- Design (1)
- Computer science (1)
- Computer software (1)
- Coupled -- Oscillator Arrays (1)
- Delay lines (1)
- Digital integrated circuits -- Design and construction (1)
- Drought forecasting -- Simulation methods (1)
- Electric circuits (1)
- Electric power systems -- Mathematical models -- Analysis (1)
- Electric power transmission (1)
- Engineering -- Study and teaching (1)
- Hopfield networks (1)
- Hybrid circuits (1)
- Hydrophone -- Application to detection and localization (1)
- Information storage and retrieval systems (1)
- Logic circuits (1)
- Logic design (1)
- Logic design. Discrete-time systems (1)
- Long-range weather forecasting -- Simulation methods (1)
- MATLAB -- Study and teaching (1)
- Multibeam mapping -- Algorithms -- Analysis (1)
Articles 1 - 16 of 16
Full-Text Articles in Engineering
Modeling And Experimental Demonstration Of A Hopfield Network Analog-To-Digital Converter With Hybrid Cmos/Memristor Circuits, Xinjie Guo, Farnood Merrikh-Bayat, Ligang Gao, Brian D. Hoskins, Fabien Alibart, Bernabe Linares-Barranco, Luke Theogarajan, Christof Teuscher, Dmitri B. Strukov
Modeling And Experimental Demonstration Of A Hopfield Network Analog-To-Digital Converter With Hybrid Cmos/Memristor Circuits, Xinjie Guo, Farnood Merrikh-Bayat, Ligang Gao, Brian D. Hoskins, Fabien Alibart, Bernabe Linares-Barranco, Luke Theogarajan, Christof Teuscher, Dmitri B. Strukov
Electrical and Computer Engineering Faculty Publications and Presentations
The purpose of this work was to demonstrate the feasibility of building recurrent artificial neural networks with hybrid complementary metal oxide semiconductor (CMOS)/memristor circuits. To do so, we modeled a Hopfield network implementing an analog-to-digital converter (ADC) with up to 8 bits of precision. Major shortcomings affecting the ADC's precision, such as the non-ideal behavior of CMOS circuitry and the specific limitations of memristors, were investigated and an effective solution was proposed, capitalizing on the in-field programmability of memristors. The theoretical work was validated experimentally by demonstrating the successful operation of a 4-bit ADC circuit implemented with discrete Pt/TiO2− …
From Boolean Equalities To Constraints, Sergio Antoy, Michael Hanus
From Boolean Equalities To Constraints, Sergio Antoy, Michael Hanus
Computer Science Faculty Publications and Presentations
Although functional as well as logic languages use equality to discriminate between logically different cases, the operational meaning of equality is different in such languages. Functional languages reduce equational expressions to their Boolean values, True or False, logic languages use unification to check the validity only and fail otherwise. Consequently, the language Curry, which amalgamates functional and logic programming features, offers two kinds of equational expressions so that the programmer has to distinguish between these uses. We show that this distinction can be avoided by providing an analysis and transformation method that automatically selects the appropriate operation. Without this distinction …
Fast Sequence Component Analysis For Attack Detection In Synchrophasor Networks, Jordan Landford, Rich Meier, Richard Barella, Xinghui Zhao, Robert B. Bass, Scott Wallace
Fast Sequence Component Analysis For Attack Detection In Synchrophasor Networks, Jordan Landford, Rich Meier, Richard Barella, Xinghui Zhao, Robert B. Bass, Scott Wallace
Electrical and Computer Engineering Faculty Publications and Presentations
Modern power systems have begun integrating synchrophasor technologies into part of daily operations. Given the amount of solutions offered and the maturity rate of application development it is not a matter of "if" but a matter of "when" in regards to these technologies becoming ubiquitous in control centers around the world. While the benefits are numerous, the functionality of operator-level applications can easily be nullified by injection of deceptive data signals disguised as genuine measurements. Such deceptive action is a common precursor to nefarious, often malicious activity. A correlation coefficient characterization and machine learning methodology are proposed to detect and …
A Constraint Language For Static Semantic Analysis Based On Scope Graphs, Hendrik Van Antwerpen, Pierre Néron, Andrew Tolmach, Eelco Visser, Guido Wachsmuth
A Constraint Language For Static Semantic Analysis Based On Scope Graphs, Hendrik Van Antwerpen, Pierre Néron, Andrew Tolmach, Eelco Visser, Guido Wachsmuth
Computer Science Faculty Publications and Presentations
In previous work, we introduced scope graphs as a formalism for describing program binding structure and performing name resolution in an AST-independent way. In this paper, we show how to use scope graphs to build static semantic analyzers. We use constraints extracted from the AST to specify facts about binding, typing, and initialization. We treat name and type resolution as separate building blocks, but our approach can handle language constructs—such as record field access—for which binding and typing are mutually dependent.We also refine and extend our previous scope graph theory to address practical concerns including ambiguity checking and support for …
Compiling Collapsing Rules In Certain Constructor Systems, Sergio Antoy, Andy Jost
Compiling Collapsing Rules In Certain Constructor Systems, Sergio Antoy, Andy Jost
Computer Science Faculty Publications and Presentations
The implementation of functional logic languages by means of graph rewriting requires a special handling of collapsing rules. Recent advances about the notion of a needed step in some constructor systems offer a new approach to this problem. We present two results: a transformation of a certain class of constructor-based rewrite systems that eliminates collapsing rules, and a rewrite-like relation that takes advantage of the absence of collapsing rules. We formally state and prove the correctness of these results. When used together, these results simplify without any loss of efficiency an implementation of graph rewriting and consequently of functional logic …
Enhancing Freshman Engineering Instruction With In-Class Interaction Systems And E-Books, Branimir Pejcinovic, Phillip K. Wong
Enhancing Freshman Engineering Instruction With In-Class Interaction Systems And E-Books, Branimir Pejcinovic, Phillip K. Wong
Electrical and Computer Engineering Faculty Publications and Presentations
Electrical engineering students in our department take a year-long series of courses which introduces electrical engineering as a discipline and provides good grounding in engineering problem solving and programing. We have recently attempted to make the second course in the sequence more engaging by applying active learning techniques, including assigned reading and exercises prior to lectures, in-class exercises using a classroom interaction system, and programming exercises during lectures. Our results are mixed: while we think that students have learned more than if we had not used these techniques, we have not completely won over our students. While using an e-book …
Hierarchical Composition Of Memristive Networks For Real-Time Computing, Jens Bürger, Alireza Goudarzi, Darko Stefanovic, Christof Teuscher
Hierarchical Composition Of Memristive Networks For Real-Time Computing, Jens Bürger, Alireza Goudarzi, Darko Stefanovic, Christof Teuscher
Electrical and Computer Engineering Faculty Publications and Presentations
Advances in materials science have led to physical instantiations of self-assembled networks of memristive devices and demonstrations of their computational capability through reservoir computing. Reservoir computing is an approach that takes advantage of collective system dynamics for real-time computing. A dynamical system, called a reservoir, is excited with a time-varying signal and observations of its states are used to reconstruct a desired output signal. However, such a monolithic assembly limits the computational power due to signal interdependency and the resulting correlated readouts. Here, we introduce an approach that hierarchically composes a set of interconnected memristive networks into a larger reservoir. …
Development And Uses Of Iterative Systematic Literature Reviews In Electrical Engineering Education, Branimir Pejcinovic
Development And Uses Of Iterative Systematic Literature Reviews In Electrical Engineering Education, Branimir Pejcinovic
Electrical and Computer Engineering Faculty Publications and Presentations
It is expected that most, if not all, graduate students will posses skills necessary for doing literature reviews. It is less clear how to teach these skills most effectively especially to students who are area novices and unfamiliar with review process. Systematic literature reviews offer a solid instructional framework which can be implemented across curriculum and offer an opportunity to teach course material differently so that student learn not just the literature review technique itself but also some segment of the course material. Our pilot study investigated issues related to practical implementation of systematic literature reviews in two classes, with …
Teaching Matlab And C Programming In First Year Electrical Engineering Courses Using A Data Acquisition Device, Phillip Wong, Branimir Pejcinovic
Teaching Matlab And C Programming In First Year Electrical Engineering Courses Using A Data Acquisition Device, Phillip Wong, Branimir Pejcinovic
Electrical and Computer Engineering Faculty Publications and Presentations
Our industry partners often voice a complaint that our newly graduated electrical engineering (EE) students do not have sufficient programming skills. This is not a new concern. In a traditional undergraduate EE curriculum, one or two programming courses compose the entirety of the student’s training in programming. The courses may be taught by the computer science department without significant emphasis on engineering fundamentals. While the principles of computer science may be well covered, the ability to apply the knowledge to practical engineering problems is frequently lacking. To compound the problem, teaching novices the basics of programming can be very challenging …
Using Systematic Literature Reviews To Enhance Student Learning, Branimir Pejcinovic
Using Systematic Literature Reviews To Enhance Student Learning, Branimir Pejcinovic
Electrical and Computer Engineering Faculty Publications and Presentations
Literature review is a skill assumed to be in the arsenal of all graduate students pursuing thesis options at the MS or PhD level. There are many resources on writing literature reviews, from campus writing centers to books such as Machi and McEvoy. One would also assume that this is among the very first tasks that research-oriented students would undertake. However, our brief and preliminary survey of graduate students in our electrical and computer engineering department showed that they have very little to no experience in performing literature reviews, and discussions with other faculty confirmed this observation. Unlike some other …
Prussian Green: A High Rate Capacity Cathode For Potassium Ion Batteries, Prasanna Pradigi, Joseph Thiebes, Mitchell Swan, Gary Goncher, David Evans, Raj Solanki
Prussian Green: A High Rate Capacity Cathode For Potassium Ion Batteries, Prasanna Pradigi, Joseph Thiebes, Mitchell Swan, Gary Goncher, David Evans, Raj Solanki
Physics Faculty Publications and Presentations
The influence of the precursors, namely potassium ferrocyanide and potassium ferricyanide on the particles sizes of Prussian Blue (PB) and Prussian Green (PG), under identical reaction conditions have been investigated. It was found that the particle sizes influence the gravimetric capacity utilization of these materials as cathodes for aqueous potassium (K+ ) ion batteries. The PG particle sizes were on the order of 50-75 nm, whereas PB particles size were on the order of 2-10 microns. The PG cathodes demonstrated a reversible capacity of 121.4 mAhr/g, with a coulombic efficiency of 98.7% compared to PB cathodes which demonstrated 53.8 …
A Two-Hydrophone Range And Bearing Localization With Performance Analysis, John Thomas Gebbie, Martin Siderius, John S. Allen Iii
A Two-Hydrophone Range And Bearing Localization With Performance Analysis, John Thomas Gebbie, Martin Siderius, John S. Allen Iii
Electrical and Computer Engineering Faculty Publications and Presentations
An automated, passive algorithm for detecting and localizing small boats using two hydrophones mounted on the seabed is outlined. This extends previous work by Gebbie et al. [(2013). J. Acoust. Soc. Am. 134, EL77 − EL83] in which a similar two-hydrophone approach is used to produce an ambiguity surface of likely target locations leveraging multipath analysis and knowledge of the local bathymetry. The work presented here improves upon the prior approach using particle filtering to automate detection and localization processing. A detailed analysis has also been conducted to determine the conditions and limits under which the improved approach can be …
Semi-Modular Delay Model Revisited In Context Of Relative Timing, Hoon Park, Anping He, Marly Roncken, Xiaoyu Song
Semi-Modular Delay Model Revisited In Context Of Relative Timing, Hoon Park, Anping He, Marly Roncken, Xiaoyu Song
Electrical and Computer Engineering Faculty Publications and Presentations
A new definition of semi-modularity to accommodate relative timing constraints in self-timed circuits is presented. While previous definitions ignore such constraints, the new definition takes them into account. The difference on a design solution for a well-known speed-independent circuit implementation of the Muller C element and a set of relative timing constraints that renders the implementation hazard free is illustrated. The old definition produces a false semi-modularity conflict that cannot exist due to the set of imposed constraints. The new definition correctly accepts the solution.
Coupled-Oscillator Associative Memory Array Operation For Pattern Recognition, Dmitri E. Nikonov, Gyorgy Csaba, Wolfgang Porod, Tadashi Shibata, Danny Voils, Dan Hammerstrom, Ian A. Young, George I. Bourianoff
Coupled-Oscillator Associative Memory Array Operation For Pattern Recognition, Dmitri E. Nikonov, Gyorgy Csaba, Wolfgang Porod, Tadashi Shibata, Danny Voils, Dan Hammerstrom, Ian A. Young, George I. Bourianoff
Electrical and Computer Engineering Faculty Publications and Presentations
Operation of the array of coupled oscillators underlying the associative memory function is demonstrated for various interconnection schemes (cross-connect, star phase keying and star frequency keying) and various physical implementation of oscillators (van der Pol, phase-locked loop, spin torque). The speed of synchronization of oscillators and the evolution of the degree of matching is studied as a function of device parameters. The dependence of errors in association on the number of the memorized patterns and the distance between the test and the memorized pattern is determined for Palm, Furber and Hopfield association algorithms.
Modular Timing Constraints For Delay-Insensitive Systems, Hoon Park, Anping He, Marly Roncken, Xiaoyu Song, Ivan Sutherland
Modular Timing Constraints For Delay-Insensitive Systems, Hoon Park, Anping He, Marly Roncken, Xiaoyu Song, Ivan Sutherland
Electrical and Computer Engineering Faculty Publications and Presentations
This paper introduces ARCtimer, a framework for modeling, generating, verifying, and enforcing timing constraints for individual self-timed handshake components. The constraints guarantee that the component’s gate-level circuit implementation obeys the component’s handshake protocol specification. Because the handshake protocols are delayinsensitive, self-timed systems built using ARCtimer-verified components are also delay-insensitive. By carefully considering time locally, we can ignore time globally. ARCtimer comes early in the design process as part of building a library of verified components for later system use. The library also stores static timing analysis (STA) code to validate and enforce the component’s constraints in any self-timed system built …
Wavelet-Coupled Machine Learning Methods For Drought Forecast Utilizing Hybrid Meteorological And Remotely-Sensed Data, R. Tan, Marek Perkowski
Wavelet-Coupled Machine Learning Methods For Drought Forecast Utilizing Hybrid Meteorological And Remotely-Sensed Data, R. Tan, Marek Perkowski
Electrical and Computer Engineering Faculty Publications and Presentations
In this study, a statistical drought early warning method is proposed using novel machine learning algorithms, with the inclusion of multiple drought-related attributes from precipitation, satellite-derived land cover vegetation indices, and surface discharge. The forecast is made for the long-term hydrological drought in the region of Central Valley, California. The wavelet transform analysis is employed in combination with support vector regression and artificial neural network algorithms for improving the drought prediction effectiveness. The performance of the drought prediction is evaluated using three statistical metrics: Coefficient of Determination (R2 ), Root-Mean-Square Error (RMSE), and Mean-Absolute-Error (MAE). The results clearly indicate that …