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)     

Wireless Internet access for mobile subscribers based on theGPRS/UMTS network

With the advent of IP technologies and the tremendous growth in data traffic, the wireless industry is evolving its core networks toward IP technology. Enabling wireless Internet access is one of the upcoming challenges for mobile radio network operators. The General Packet Radio Service is the packet-switched extension of GSM and was developed to facilitate access to IP-based services better than existing circuit-switched services provided by GSM. We illustrate how a visited mobile subscriber on a GPRS/UMTS network can access his/her home network via the gateway GPRS support node (GGSN). We also propose some implementation ideas on wireless Internet access for a remote mobile subscriber based on a GPRS/UMTS network     

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.     

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.     

A single-chip storage LSI for home networks

Network direct attached storage (NDAS) is a network storage architecture that allows direct attachment of existing ATA/ATAPI devices to Ethernet without a separate server. Unlike other architectures such as NAS, SAN, and USB mass storage, no server computer intervenes between the storage and the client hosts. We describe an NDAS disk controller (NDC) amenable to low-cost single-chip implementation that processes a simplified L3/L4 protocol and converts commands between ATA/ATAPI and Ethernet, while the remaining complex tasks are performed by remote hosts. Unlike NAS architectures that use TCP/IP, NDAS uses a TCP-like lean protocol that lends itself well to high-performance hardware realization. Thanks to the simple NDAS architecture and protocol, an NDC implemented on a single 4 mm /spl times/ 4 mm chip in 0.18 /spl mu/m CMOS technology achieves a maximum throughput of 55 Mbytes/s on gigabit Ethernet, which is comparable to that of a high-performance disk locally attached to a host computer.     

Ternary univariate curvature-preserving subdivision

We present an interpolating, univariate subdivision scheme which preserves the discrete curvature and tangent direction at each step of subdivision. Since the polygon have a geometric information of some original (in some sense) curve as a discrete curvature, we can expect that the limit curve has the same curvature at each vertex as the control polygon. We estimate the curvature bound of odd vertices and give an error estimate for restoring a curve from sampled vertices on curves.