This work presents a systematic comparative study of the influence of various process options on the analog and RF properties of fully depleted (FD) silicon-on-insulator (SOI), partially depleted (PD) SOI, and bulk MOSFET's with gate lengths down to 0.08 /spl mu/m. We introduce the transconductance-over-drain current ratio and Early voltage as key figures of merits for the analog MOS performance and the gain and the transition and maximum frequencies for RF performances and link them to device engineering. Specifically, we investigate the effects of HALO implantation in FD, PD, and bulk devices, of film thickness in FD, of substrate doping in SOI, and of nonstandard channel engineering (i.e., asymmetric Graded-channel MOSFETs and gate-body contacted DTMOS). 相似文献
This paper describes the development of a conceptual model of an interaction system for future human-computer interaction. It is suggested that an integrated system is the most promising solution for diverse users and tasks. A ' hybrid interaction system' is considered, which tries to efficiently direct manipulation, menu selection, and natural language. The mechanism of the natural language interface module is described in more detail. Finally, the allocation of functionalities for generalized tasks on the conceptual model is considered from the taxonomic approach. 相似文献
In this paper, we present new monolithic and compositional algorithms to solve the LTL realizability problem. Those new algorithms are based on a reduction of the LTL realizability problem to a game whose winning condition is defined by a universal automaton on infinite words with a k-co-Büchi acceptance condition. This acceptance condition asks that runs visit at most k accepting states, so it implicitly defines a safety game. To obtain efficient algorithms from this construction, we need several additional ingredients. First, we study the structure
of the underlying automata constructions, and we show that there exists a partial order that structures the state space of
the underlying safety game. This partial order can be used to define an efficient antichain algorithm. Second, we show that the algorithm can be implemented in an incremental way by considering increasing values of k in the acceptance condition. Finally, we show that for large LTL formulas that are written as conjunctions of smaller formulas, we can solve the problem compositionally by first computing winning strategies for each conjunct that appears in the large formula. We report on the behavior of those
algorithms on several benchmarks. We show that the compositional algorithms are able to handle LTL formulas that are several pages long. 相似文献
Increasing interests in a global environment and climate change have led to studies focused on the changes in the multinational Arctic region. To facilitate Arctic research, a spatial data infrastructure (SDI), where Arctic data, information, and services are shared and integrated in a seamless manner, particularly in light of today's climate change scenarios, is urgently needed. In this paper, we utilize the knowledge-based approach and the spatial web portal technology to prototype an Arctic SDI (ASDI) by proposing (1) a hybrid approach for efficient service discovery from distributed web catalogs and the dynamic Internet; (2) a domain knowledge base to model the latent semantic relationships among scientific data and services; and (3) an intelligent logic reasoning mechanism for (semi-)automatic service selection and chaining. A study of the influence of solid water dynamics to the bio-habitat of the Arctic region is used as an example to demonstrate the prototype. 相似文献
Controller synthesis for general linear temporal logic (LTL) objectives is a challenging task. The standard approach involves translating the LTL objective into a deterministic parity automaton (DPA) by means of the Safra-Piterman construction. One of the challenges is the size of the DPA, which often grows very fast in practice, and can reach double exponential size in the length of the LTL formula. In this paper, we describe a single exponential translation from limit-deterministic Büchi automata (LDBA) to DPA and show that it can be concatenated with a recent efficient translations from LTL to LDBA to yield a double exponential, ‘Safraless’ LTL-to-DPA construction. We also report on an implementation and a comparison with other LTL-to-DPA translations on several sets of formulas from the literature.
The influence of backwashing on biological perchlorate reduction was evaluated in two laboratory scale fixed bed biofilm reactors using 1- or 3-mm glass beads as support media. Influent perchlorate concentrations were 50 microg/L and acetate was added as the electron donor at a concentration of 2 mg C/L. Perchlorate removal was evaluated at various influent dissolved oxygen (DO) concentrations. Complete perchlorate removal was achieved with an influent DO concentration of 1mg/L resulting in bulk phase DO concentrations below the detection limit of 0.01 mg/L. The influence of increasing influent DO concentrations for 12 h periods was evaluated before and after individual backwash events. Partial perchlorate removal was achieved with an influent DO concentration of 3.5 mg/L before a strong backwash (bulk phase DO concentrations of approximately 0.2mg/L), while no perchlorate removal was observed after the strong backwash at the same influent DO level (bulk phase DO concentrations of approximately 0.8 mg/L). The immediate effect of backwashing depended on influent DO concentrations. With influent DO concentrations of 1 mg/L, strong backwashing resulted in a brief (<12 h) increase of effluent perchlorate concentrations up to 20 microg/L; more pronounced effects were observed with influent DO concentrations of 3mg/L. Daily weak backwashing had a small and, over time, decreasing negative influence on perchlorate reduction, while daily strong backwashing ultimately resulted in the breakdown of perchlorate removal with influent DO concentrations of 3 mg/L. 相似文献
Vertical single-layer transitions operating at W-band frequencies have been developed. The designs are uniplanar, use electromagnetic coupling, and do not require via holes or air bridges. The first transition uses coplanar-waveguide-mode coupling and results in an insertion loss of better than 0.6 dB over the whole band, with a loss of 0.25 dB from 85 to 110 GHz. The return loss is better than -10 dB from 75 to 110 GHz. The second transition uses microstrip-mode coupling and results in a 0.2-dB insertion loss over the whole W-band. These transitions can prove very useful for millimeter-wave packaging and vertical interconnects 相似文献