A new millimeter-wave step-frequency radar sensor for distancemeasurement

A new compact millimeter-wave distance-measurement sensor prototype has been developed. The sensor is a step-frequency radar implemented using coherent heterodyne technique. It operates in Ka-band (26.5-40 GHz) and is realized using MICs and MMICs. The sensor transmits sinusoidal signals of incremental frequencies and demodulates the received signals into base-band I/Q signals for processing. Experimental results show that the sensor is capable of measuring distance with less than 0.2 inch of absolute error and a low transmitted power of only -20±3 dBm     

Reverse reachability analysis: A new technique for deadlock detection on communicating finite state machines

The communicating finite state machines can exchange messages over bounded FIFO channels. In this paper, a new technique, called reverse reachability analysis, is proposed to detect deadlocks on the communication between the communicating finite state machines. The technique is based on finding reverse reachable paths starting from possible deadlock states. If a reverse reachable path can reach the initial global state, then deadlock occurs. Otherwise the communication is deadlock-free. The effectiveness of the technique has been verified by some real protocols such as a specification of X.25 call establishment/clear protocol and Bartlet's alternating bit protocol.     

A selective CVD tungsten-strapped polysilicon local interconnectiontechnology

A local interconnection technology utilizing polysilicon strapped with selective-chemical-vapor-deposited (CVD) tungsten has been developed. Both n- and p-channel MOS transistors have been successfully fabricated using this technology. Tungsten deposited on polysilicon is an attractive gate shunt and local interconnection material because of its low resistivity, immunity to dopant segregation and diffusion, and resistance to electromigration. A potential problem of this technology is the excessive diode leakage current associated with strapping shallow source/drain diodes with tungsten. The leakage is attributed to defects induced by the heavy source/drain implant, which can be effectively eliminated with a proper annealing procedure     

Benchmarks of simple, generic, shaped plates for validation oflow-frequency electromagnetic computational codes

The validation of low-frequency measurements and electromagnetic (EM) scattering computations for several simple, generic shapes, such as an equilateral-triangular plate, an equilateral-triangular plate with a concentric equilateral-triangular hole, and diamond- and hexagonal-shaped plates, is discussed. The plates were constructed from a thin aluminium sheet with a thickness of 0.08 cm. EM scattering by the planar plates was measured in the experimental test range (ETR) facility of NASA Langley Research Center. The dimensions of the plates were selected such that, over the frequency range of interest, the dimensions were in the range of λ₀ to 3λ₀. In addition, the triangular plate with a triangular hole was selected to study internal-hole resonances     

An analysis of multiple parallel coupled quasi-tem transmission lines

A theoretical analysis of general multiple parallel coupled transmission lines in an inhomogeneous medium is presented. The analysis is based on the generalized telegraphists' equation. It is relatively simple and has the advantage of giving explicit solutions for the properties of the coupled-line system. Considerations are also given to a coupled-line structure whose lines have the same characteristic impedance. Results for two and three coupled lines are found in agreement with those published previously.     

X gene and precore region mutations in the hepatitis B virus genome in persons positive for antibody to hepatitis B e antigen: comparison between asymptomatic "healthy" carriers and patients with severe chronic active hepatitis

Hepatitis B virus (HBV) carriers with antibody to hepatitis e antigen comprise asymptomatic carriers (ASCs), who have low replication levels of HBV, and patients with chronic active hepatitis (CAH), who have high levels of viral replication. To investigate whether defects in the X protein might be responsible for this difference in the level of viral replication, nucleotide sequences of X and precore gene regions in serum HBV were analyzed in 19 ASCs and 9 CAH patients. All patients had a point mutation creating a stop codon in the precore region. Seventeen ASCs (87.3%) had identical mutations consisting of 4 noncontiguous 1-bp deletions or an 8-bp deletion, both of which truncate the normal X protein, whereas no CAH patient had an X gene mutation (P < .001). Thus, deletion of the X protein might be responsible for the low levels of viral replication in ASCs.     

Solution and applications of the Lyapunov equation for controlsystems

Recent advances in control systems analysis and design have implied new uses for the Lyapunov equation of the form AX+XA^T+Q=0. Implementation requirements for the incorporation of the use of Lyapunov equations in practical design, however, point out the need for a set of specialized numerical procedures. This special set of numerical procedures must efficiently solve large, sparse Lyapunov equations, solve sets of Lyapunov equations that differ only in the coefficient matrix Q, and provide good low rank estimates of the Lyapunov equation solution X in the case where low rank approximations are applicable. Discussions of the motivations for the solution of these problems and of candidate solution approaches are provided     

Development of Online Ultrasound Instructional Module and Comparison to Traditional Teaching Methods

A Web‐based teaching device was constructed to deliver information on fundamentals of ultrasound imaging to approximately one‐half the students in an undergraduate medical imaging course, while the remaining students were taught the same material via traditional lectures and typed notes. The students participating in this study were separated randomly but in such a manner that prior achievement was statistically equivalent for the two groups. After approximately two weeks of instruction, an ultrasound imaging exam was administered. Results indicated no statistically significant difference in scores on homework assigned during the instructional period between the traditional and online groups. Similarly, there was no statistically significant difference in the average exam scores of students in the two groups. The traditional group required significantly more time on learning activities than did the online group. These results indicated that level of understanding was not affected by use of the online device, while efficiency of learning improved dramatically. Reasons reported by the students for the improved efficiency of the online method included flexibility in time usage and ability to cater to the individual, which came with the added responsibility of self‐discipline. The traditional teaching method, meanwhile, allowed interaction with and instant feedback from a professor and other students. In this study we have demonstrated that the nature of an online device yields a higher level of efficiency than traditional lectures, despite the inherent drawbacks of the approach. The effectiveness of this device could potentially be improved by implementing enhancements to increase the level of interaction for the user and to help with discipline and time management.     

Formal Analysis of Streaming Downloading Protocol for System Upgrading

For a PC-mobile download system which is embedded with streaming download protocol, there are problems that the data cannot be transmitted correctly from the PC to the mobile, or the transmission is unacceptably slow. To solve these problems, we carry out a formal analysis for the protocol with some timing parameters and a given probability of message loss and unordered data using a probabilistic model checking tool PRISM. We introduce a technique to reduce the state space of the system modeling the protocol which is a network of probabilistic timed automata. The experimental results in PRISM give us a clear explanation to the problems, and are helpful in identifying the optimal parameter settings to meet industrial requirements.     

On the Direct Addition of Amine N–H to Ch≡C Triple Bonds with Late Transition Metal Catalysts

The kinetics of the transition metal-catalysed direct addition of amine NH bonds to carbon--carbon multiple bonds (hydroamination) has been explored by in situ spectroscopic techniques. From an open mass balance it was concluded that an intermediate species was formed during the cyclisation of 6-aminohex-1-yne. This species was identified as the enamine 2-methylene-piperidine, which is the primary hydroamination product.