A finite model property for RMImin

It is proved that the variety of relevant disjunction lattices has the finite embeddability property. It follows that Avron's relevance logic RMI _min has a strong form of the finite model property, so it has a solvable deducibility problem. This strengthens Avron's result that RMI _min is decidable. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Improvement of RCA transistor using RTA annealing after theformation of interfacial oxide

A polysilicon emitter RCA transistor (an ultra-thin interfacial oxide layer exists between polysilicon and silicon emitter) is presented which can operate at 77 K for the first time. An ultra-thin (1.5 nm) interfacial oxide layer is grown deliberately between polysilicon and silicon emitter using RCA oxidation and excellent device stability is obtained after rapid thermal annealing (RTA) treatment in nitrogen atmosphere. The RCA transistor exhibits good electrical performance at very low temperature for an emitter area of 3 × 8 μm². The maximum toggle frequency of a 1:2 static divider is 1.2 GHz and 732 MHz at 300 K and 77 K, respectively     

Syntheses, structures, and properties of novel molybdenum and tungsten complexes of fullerenes

The synthesis and characterization of several fullerene-based organometallic complexes containing Mo and W is reported.     

Highly Efficient Orange and Green Solid‐State Light‐Emitting Electrochemical Cells Based on Cationic IrIII Complexes with Enhanced Steric Hindrance

Highly efficient orange and green emission from single‐layered solid‐state light‐emitting electrochemical cells based on cationic transition‐metal complexes [Ir(ppy)₂sb]PF₆ and [Ir(dFppy)₂sb]PF₆ (where ppy is 2‐phenylpyridine, dFppy is 2‐(2,4‐difluorophenyl)pyridine, and sb is 4,5‐diaza‐9,9′‐spirobifluorene) is reported. Photoluminescence measurements show highly retained quantum yields for [Ir(ppy)₂sb]PF₆ and [Ir(dFppy)₂ sb]PF₆ in neat films (compared with quantum yields of these complexes dispersed in m‐bis(N‐carbazolyl)benzene films). The spiroconfigured sb ligands effectively enhance the steric hindrance of the complexes and reduce the self‐quenching effect. The devices that use single‐layered neat films of [Ir(ppy)₂sb]PF₆ and [Ir(dFppy)₂sb]PF₆ achieve high peak external quantum efficiencies and power efficiencies of 7.1 % and 22.6 lm W^–1) at 2.5 V, and 7.1 % and 26.2 lm W^–1 at 2.8 V, respectively. These efficiencies are among the highest reported for solid‐state light‐emitting electrochemical cells, and indicate that cationic transition‐metal complexes containing ligands with good steric hindrance are excellent candidates for highly efficient solid‐state electrochemical cells.     

Novel T-rail electrodes for substrate removed low-voltage high-speed GaAs/AlGaAs electrooptic modulators

A novel traveling-wave electrode utilizing capacitively loaded T-rail elements was developed for low-voltage high-speed substrate-removed GaAs/AlGaAs electrooptic modulators. Electrodes with varying dimensions were fabricated and characterized. Electrode phase velocity, characteristic impedance, loss coefficient, and capacitive loading were extracted from the measured s-parameters up to 40 GHz. Electrode was also simulated using a finite-element solver. The measured and calculated electrode capacitance values were found to be in excellent agreement, showing that the electrode can be precisely designed. Approaches were outlined to provide a group velocity-matched very high-speed modulator electrode suitable for a low drive-voltage substrate-removed GaAs/AlGaAs electro-optic modulator     

Analysis on the effectiveness of the 20-H rule for printed-circuit-board layout to reduce edge-radiated coupling

This paper presents the quantified study of the electromagnetic radiation mechanism of the 20-H rule using a numerical approach that has not yet been systematically addressed. The 20-H rule is a rule-of-thumb layout technique recommended to minimize radiated fields propagating from the edges of a printed circuit board (PCB) coupling onto nearby structures. Propagating electromagnetic fields may corrupt adjacent cable assemblies, sheet metal enclosures, and aperture openings. The magnitude of this design rule is investigated using the full-wave finite-difference time-domain (FDTD) method. An analysis on whether benefits exist from use of this rule is examined and under what conditions the rule is valid when correctly implemented. The purpose of this paper is to provide insight into the validity of the 20-H rule, recognizing that every PCB will have different simulation results. FDTD is used to capture a snapshot view of field propagation. This view allows one to determine the validity of the 20-H rule at a single point of time within a dynamic structure and what may be expected when digital components are finally added to a PCB assembly, which generally negates simulated results.     

Efficient microwave induced direct α-halogenation of carbonyl compounds

A novel and direct method for the synthesis of α-halocarbonyl compounds using sequential treatment of carbonyl compounds with [hydroxy(tosyloxy)iodo]benzene followed by magnesium halides under solvent-free microwave irradiation conditions is described.     

Optimal tradeoffs for location-based routing in large-scale ad hoc networks

Existing location-based routing protocols are not versatile enough for a large-scale ad hoc environment to simultaneously meet all of the requirements of scalability, bandwidth efficiency, energy efficiency, and quality-of-service routing. To remedy this deficiency, we propose an optimal tradeoff approach that: 1) constructs a hybrid routing protocol by combining well-known location-update schemes (i.e., proactive location updates within nodes' local regions and a distributed location service), and 2) derives its optimal configuration, in terms of location-update thresholds (both distance and time-based), to minimize the overall routing overhead. We also build a route-discovery scheme based on an Internet-like architecture, i.e., first querying the location of a destination, then applying a series of local-region routing until finding a complete route by aggregating the thus-found partial routes. To find the optimal thresholds for the hybrid protocol, we derive the costs associated with both location updates and route discovery as a function of location-update thresholds, assuming a random mobility model and a general distribution for route request arrivals. The problem of minimizing the total cost is then cast into a distributed optimization problem. We first prove that the total cost is a convex function of the thresholds, and then derive the optimal thresholds. Finally, we show, via simulation, that our analysis results indeed capture the real behavior.