Open Access. Powered by Scholars. Published by Universities.®
- Keyword
-
- Biofouling (1)
- Cadence virtuoso (1)
- Computer vision (1)
- Constant Power (1)
- Facial tracking (1)
-
- Led (1)
- Low-Noise (1)
- MOS Current Mode Logic (1)
- Marine (1)
- Medical Device Software and Systems (1)
- Medical devices (1)
- Microcontroller (1)
- Mixed-Signal (1)
- Model translation (1)
- Model-based development (1)
- Mouse replacements (1)
- Myoelectric (1)
- Pwm (1)
- Real-time systems (1)
- Standard Cell Library (1)
- Uv (1)
- Validation & verification (1)
- Publication Type
Articles 1 - 4 of 4
Full-Text Articles in Other Computer Engineering
From Verification To Implementation: A Model Translation Tool And A Pacemaker Case Study, Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam
From Verification To Implementation: A Model Translation Tool And A Pacemaker Case Study, Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam
Oleg Sokolsky
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 …
Team Omnimouse, Derek J. Halman, Josh B. Porter, Steven A. Silver, Ian S. Stemper
Team Omnimouse, Derek J. Halman, Josh B. Porter, Steven A. Silver, Ian S. Stemper
Computer Engineering
INFORMATION, DATA, FIGURES AND DRAWINGS EMBODIED IN THIS DOCUMENT ARE STRICTLY CONFIDENTIAL AND ARE SUPPLIED ON THE UNDERSTANDING THAT THEY WILL NOT BE DISCLOSED TO THIRD PARTIES WITHOUT THE PRIOR WRITTEN CONSENT OF QUALITY OF LIFE PLUS.
Ultraviolet Led Biofouling Mitigation, Andrew Lam
Ultraviolet Led Biofouling Mitigation, Andrew Lam
Computer Engineering
The goal is to determine if low-cost UV LEDs can mitigate marine biofouling on small glass or acrylic camera lenses. A microprocessor-controlled experimental setup to control the illumination of low-cost UV LEDs of various wavelength and packaging was fashioned. The system consists of a programmed microcontroller, a manufactured LED breakout interface, and a submergible UV LED array enclosed in a borosilicate glass tube. A preliminary qualitative assessment of four different UV LEDs was conducted during a three-week deployment of the experimental setup in the raw seawater system at the Cal Poly Center for Costal and Marine Sciences in Avila Beach, …
Mos Current Mode Logic (Mcml) Analysis For Quiet Digital Circuitry And Creation Of A Standard Cell Library For Reducing The Development Time Of Mixed Signal Chips, David Marusiak
Master's Theses
Many modern digital systems use forms of CMOS logical implementation due to the straight forward design nature of CMOS logic and minimal device area since CMOS uses fewer transistors than other logic families. To achieve high-performance requirements in mixed-signal chip development and quiet, noiseless circuitry, this thesis provides an alternative toCMOSin the form of MOS Current Mode Logic (MCML). MCML dissipates constant current and does not produce noise during value changing in a circuit CMOS circuits do. CMOS logical networks switch during clock ticks and with every device switching, noise is created on the supply and ground to deal with …