This paper presents a new SMT solver, STABLE, for formulas of the quantifier-free logic over fixed-sized bit vectors (QF-BV). The heart of STABLE is a computer-algebra-based eng.ne which provides algorithms for simpli...
详细信息
This paper presents a hardware architecture and a software tool needed for future autonomous robots. Specific attention is given to the execution of artificial neural networks and to the need for a good inspection and...
详细信息
In this study, we investigated on trial production of life cycle assessment (LCA) tool for using by clients at the initial stages of housing design. The utility of LCA input items were examined. Based on examination r...
详细信息
In this study, we investigated on trial production of life cycle assessment (LCA) tool for using by clients at the initial stages of housing design. The utility of LCA input items were examined. Based on examination result, the input items are classified into several categories to apply for user interface of LCA tool.
We propose and demonstrate a new VLSI structure using high performance metal-gate/high-κ MOSFETs and high-Q RF passive devices on Ge-on- Insulator (GOI) platform. In additional to high RF performance passive devices ...
详细信息
Field tests demonstrated the value of enhancements that enable an advanced nonintrusive load monitoring system to tackle complex monitoring environments. Nonintrusive load monitoring (NILM) can determine the operating...
详细信息
Field tests demonstrated the value of enhancements that enable an advanced nonintrusive load monitoring system to tackle complex monitoring environments. Nonintrusive load monitoring (NILM) can determine the operating schedule of electrical loads in a target system from measurements made at a centralized location, such as the electric utility service entry. In contrast to other systems, NILM reduces sensor costs by using relatively few sensors.
Using microstrip line design to screen substrate resistance generated RF noise, very low 1. l dB min. noise figure (NFmin) and high 12 dB associate gain are measured at 10 GHz of 0.18 μm MOSFET on plastic without de-...
详细信息
ISBN:
(纸本)4900784001
Using microstrip line design to screen substrate resistance generated RF noise, very low 1. l dB min. noise figure (NFmin) and high 12 dB associate gain are measured at 10 GHz of 0.18 μm MOSFET on plastic without de-embedding. The die on plastic was thinned to 30μm that allows applying uniaxial strain to further lower the 10 GHz NFmin to only 0.92 dB and comparable well with the 0.13 μm and 90nm nodes MOSFETs.
Stochastic simulations require large amounts of time to generate enough trajectories to attain statistical significance and estimate desired performance indices with satisfactory accuracy. They require search spaces w...
详细信息
Previous research on power macromodeling has always assumed glitch-free input signals. However, in an actual operating environment, the input signals of a circuit can contain glitches, which are generated by the previ...
详细信息
Previous research on power macromodeling has always assumed glitch-free input signals. However, in an actual operating environment, the input signals of a circuit can contain glitches, which are generated by the previous stage of circuitry. In this paper, we investigate the impact of input glitches on the power dissipation of a circuit. Specifically, we show that the frequency and average duration of input glitches are two important factors affecting the overall power consumption. Input glitches can also increase output glitching by a surprisingly large amount. We present a simple yet effective analytical power macromodeling approach incorporating the effects of input glitching. In experiments with the ISCAS-85 benchmark circuits, the average error of the proposed technique is 4.44%.
Tubular structures are used extensively in offshore structures, which are installed to facilitate offshore oil and gas production. Some members subjected to damage in the form of perforation due to environmental loadi...
详细信息
暂无评论