Influence of device engineering on the analog and RF performances of SOI MOSFETs

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).     

Combining natural language with direct manipulation: the conceptual framework for a hybrid human-computer interface

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.     

Antichains and compositional algorithms for LTL synthesis

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.     

Semantic-based web service discovery and chaining for building an Arctic spatial data infrastructure

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.     

From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata

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.

     

Effect of backwashing on perchlorate removal in fixed bed biofilm reactors

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.     

Simultaneous removal of nitrate and arsenic from drinking water sources utilizing a fixed-bed bioreactor system

A novel bioreactor system, consisting of two biologically active carbon (BAC) reactors in series, was developed for the simultaneous removal of nitrate and arsenic from a synthetic groundwater supplemented with acetic acid. A mixed biofilm microbial community that developed on the BAC was capable of utilizing dissolved oxygen, nitrate, arsenate, and sulfate as the electron acceptors. Nitrate was removed from a concentration of approximately 50 mg/L in the influent to below the detection limit of 0.2 mg/L. Biologically generated sulfides resulted in the precipitation of the iron sulfides mackinawite and greigite, which concomitantly removed arsenic from an influent concentration of approximately 200 ug/L to below 20 ug/L through arsenic sulfide precipitation and surface precipitation on iron sulfides. This study showed for the first time that arsenic and nitrate can be simultaneously removed from drinking water sources utilizing a bioreactor system.