In mobile computing environments, cache invalidation techiniques are widely used. However, theses techniques require a large-sized invalidation report and show low cache utilization under high server update rate. In this paper, we propose a new cache-level cache invalidation technique called TTCI (Timestamp Tree-based Cache Invalidation technique) to overcome the above two problems. TTCI also supports selective tuning for a cache-level cache invalidation. We show in our experiment that our technique requires much smaller size of cache invalidation report and improves cache utilization.

Audio applications for mobile phone and portable devices are increasingly popular. To attract consumer interest, a multi-standard design on a single device is the trend of current audio decoder development. This paper presents a configurable common filterbank processor (CCFP) for AC-3, MP3 and AAC audio decoder. It is used as an accelerator for general purpose processors to improve performance. All the filterbank transforms are derived to even- or odd-point IFFT flows. In the architecture, a fully pipelined approach is developed which can be configured for different operation modes. This design is synthesized using UMC 0.18 µm library and takes about 26.7 K gates. By the fast algorithm and fully pipelined architecture, the operation cycles are greatly reduced. Therefore, it can be executed at a very low operation frequency with the range of 1.3 to 3.6 MHz. Besides, the power consumption is only 0.9 mW, 3.2 mW and 1 mW for AC-3, MP3 and AAC respectively. We further port our design on an ARM Integrator platform to make a real play system. On average, over 50% ARM performance loading can be saved and used for handling other applications.

Due to the discontinuity of packet based traffic, the user terminals in next generation mobile telecommunications systems will be equipped with sleep mode operation functions for power saving purpose. The sleep mode parameters should be appropriately configured so that power consumption can be sufficiently decreased while packet queue length and packet delay are restricted within a demanded level. This paper proposes an adaptive sleep mode parameter configuration scheme which is able to jointly optimize the inactivity timer and sleep period in response to the variation of user traffic arrival pattern. The optimization target of this scheme is to minimize mobile terminal power consumption while ensuring that the mean downlink packet queue length do not exceed a certain threshold. Results of computer simulations prove that, the presented approach perfectly manages packet queue length restriction, packet delay control and power saving in a wide range of user packet inter-arrival rates both in single- and dual-service scenarios.

We present MobileOBJ, a formal framework for specifying and verifying mobile systems. Based on hidden algebra, the components of a mobile system are specified as behavioral objects or Observational Transition Systems, a kind of transition system, enriched with special action and observation operators related to the distinct characteristics of mobile computing systems. The whole system comes up as the concurrent composition of these components. The implementation of the abstract model is achieved using CafeOBJ, an executable, industrial strength algebraic specification language. The visualization of the specification can be done using CafeOBJ graphical notation. In addition, invariant and behavioral properties of mobile systems can be proved through theorem proving techniques, such as structural induction and coinduction that are fully supported by the CafeOBJ system. The application of the proposed framework is presented through the modeling of a mobile computing environment and the services that need to be supported by the former.

In conventional road-vehicle communication systems, user terminals in the vehicles have to directly connect to wireless access points (APs). However, vehicle speeds are so fast that the channel condition between the terminals and the APs constantly changes because of changing path loss and time-varying fading. In this paper, to compensate for such deterioration, we propose to reduce the relative speed between the terminals and the APs by an inter-vehicle packet relay technique. If a terminal can send data via other vehicles running at lower speeds, the relative speed will decrease, which suppresses the dynamic range of path loss and deterioration by fading. We, first, validate our method by a numerical analysis using a statistical path-loss model. The numerical analysis verifies that our method is able to suppress deterioration caused by path loss and time-varying fading. However, in the numerical analysis, geometric propagation of paths is not considered; instantaneous and rapid loss changes are not considered. Therefore, we evaluate our method by computer simulations using a geometric propagation model. In the simulations, phase difference between multiple paths and loss fluctuation within one frame duration affect the performance. From the results of the simulations, we validate our method. Furthermore, we investigate the combination of our method and the selection diversity technique, which can suppress channel fluctuation and may enhance the performance of our method. Moreover, we measure interference in the overlapped zone between two AP areas. From the measurement, we show that our packet relays do not cause a problem in interference between areas.

This paper presents a miniaturized dual-mode Doherty PA module applicable for an HPSK signal and an OFDM 64-QAM signal. Dual-mode operation with identical hardware is realized by introducing a bias switching technique, which changes bias conditions of amplifiers according to transmission signals, and employing dual-mode matching circuits, which are designed based on the results of load-pull measurements using an HPSK signal and an OFDM 64-QAM signal. The Doherty PA module consists of a Doherty stage and a gain stage. Two GaAs-HBTs for a Doherty stage and one GaAs-HBT for a gain stage are integrated onto a 1 mm-square single GaAs-MMIC. In the HPSK mode, maximum output power of 26.7 dBm, power added efficiency (PAE) of 41%, and power gain of 27 dB are obtained in the condition that adjacent channel leakage power ratio (ACLR) is under -38 dBc. In the OFDM 64-QAM mode, maximum output power of 21.0 dBm, PAE of 27%, and power gain of 28 dB are obtained under EVM < 3.0%. This is the first multi-mode Doherty PA module suitable for multi peak to average power ratio (PAPR) signals.

With the rapid adoption of mobile devices and location based services (LBS), applications provide with nearby information like recommending sightseeing resort are becoming more and more popular. In the mean time, traffic congestion in cities led to the development of mobile public transportation systems. In such applications, mobile devices need to communicate with servers via wireless communications and servers should process queries from tons of devices. However, because users can not neglect the payment for the wireless communications and server capacities are limited, decreasing the communications made between central servers and devices and reducing the burden on servers are quite demanding. Therefore, in this paper, we propose a cost-effective intelligent public transportation system, ACE-INPUTS, which utilizes a mobile device to retrieve the bus routes to reach a destination from the current location at the lowest wireless communication cost. To accomplish this task, ACE-INPUTS maintains a small amount of information on bus stops and bus routes in a mobile device and runs a heuristic routing algorithm based on such information. Only when a user asks more accurate route information or calls for a "leave later query", ACE-INPUTS entrusts the task to a server into which real-time traffic and bus location information is being collected. By separating the roles into mobile devices and servers, ACE-INPUTS is able to provide bus routes at the lowest wireless communication cost and reduces burden on servers. Experimental results have revealed that ACE-INPUTS is effective and scalable in most experimental settings.

It is predicted that there will be a high demand for video applications in future wireless networks including wireless ad hoc networks. However, supporting video applications over mobile ad hoc networks is more complicated than with other networks due to the lack of support from a preinstalled infrastructure. In this paper, we tackle this problem by adopting the concept of multipoint-to-point video transmission used in wire-line networks. A novel framework designed with features to accommodate the characteristics of ad hoc networks is presented. There are two key features in our proposal. First, Multiple Description Coding (MDC) scheme is used for video coding to reduce the redundancy by avoiding the transmission of duplicate video frames. Second, the routing protocol is expanded to include finding disjoint routes from video sources to the receiver so that a single link breakage or a single intermediate node failure affects transmission from only the minimum number of nodes. Furthermore, the use of disjoint routes also enables the workload to be distributed more evenly within the network. A simulation study was carried out using NS-2 to demonstrate the performance of the proposed mechanism. We show that the proposed mechanism outperforms conventional point-to-point transmission, especially under conditions of high mobility.

A press-fit connection is a solderless electrical connection technology, which utilizes the mechanical contact force generated between through-holes on a printed circuit board (PCB) and terminals with a width slightly larger than the through-hole diameter. This technology has been widely noted recently as a measure against the "Lead Free Requirement" of materials comprising electric/electronic devices, especially in the area of automobile connector. For the application of this technology to automobile connectors, we have to take into account the severe requirement, such as (1) the adaptation to wider through-hole diameter tolerance range and (2) the establishment of connection reliability for the various PCB surface treatments. As a result, we have determined the minimum and maximum contact forces satisfying the long term connection reliability and designed the terminal shape, which has been refined the N-shape cross section developed before, by using three dimensional finite element methods (FEM). Furthermore, we have developed a new type of hard tin plating on terminals, thus preventing the scraping-off of tin during the insertion process, that could result in a short-circuit on the PCB, for the Organic Solderability Preservative (OSP) treated PCB. The press-fit connector for the automobile airbag Electronic Control Units (ECUs) we developed has been able to transfer to the mass-production phase successfully from August 2005.

This letter proposes a vertical handoff scheme for integrated WLAN and UMTS that use the mobile Internet Protocol (IP) to reduce the packet loss caused by the ping-pong effect for high mobility users. The simulation results show that the proposed scheme efficiently increases the throughput of high mobility users.

We study the problem of optimizing admission control policies in mobile multimedia cellular networks when predictive information regarding movement is available and we evaluate the gains that can be achieved by making such predictive information available to the admission controller. We consider a general class of prediction agents which forecast the number of future handovers and we evaluate the impact on performance of aspects like: whether the prediction refers to incoming and/or outgoing handovers, inaccurate predictions, the anticipation of the prediction and the way that predictions referred to different service classes are aggregated. For the optimization process we propose a novel Reinforcement Learning approach based on the concept of afterstates. The proposed approach, when compared with conventional Reinforcement Learning, yields better solutions and with higher precision. Besides it tackles more efficiently the curse of dimensionality inherent to multimedia scenarios. Numerical results show that the performance gains measured are higher when more specific information is provided about the handover time instants, i.e. when the anticipation time is deterministic instead of stochastic. It is also shown that the utilization of the network is maintained at very high values, even when the highest improvements are observed. We also compare an optimal policy obtained deploying our approach with a previously proposed heuristic prediction scheme, showing that plenty of room for technological innovation exists.

The peak SAR values of two-element array antennas for mobile handsets in the vicinity of a spherical phantom of a human head are evaluated numerically as a function of the distance between the array antenna and the head phantom when the two elements of a two-element array antenna are either co-phase voltage-fed or reverse-phase voltage-fed. It is found that relation between the worst case of the SAR and the phase difference of array elements strongly depends on the distance. When part of the head phantom is located in the reactive near-field region of the array antenna, although the co-phase feed SAR value is slightly smaller than the reverse-phase feed SAR value, the SAR value is practically independent of the phase difference, but when the head is completely outside the reactive near-field region, the co-phase feed SAR value is larger than the reverse-phase feed SAR value.

An adaptive tri-threshold dynamic call admission control scheme for wideband mobile cellular networks is proposed. The relationship between the Channel Utilization and the Weighted Handover Dropping Probability versus traffic loadings are investigated. This scheme supports voice, data and multimedia services with differentiated QoS.

This paper proposes an OFDM mobile radio packet system that employs a new protocol of automatic repeat request (ARQ) for nonlinear multiuser detection (MUD) with log likelihood ratio combining (LC) on the appropriate bits. The conventional metric combining (MC) MUD separates collided packets by using nonlinear MUD, accumulates the Euclidian distance metrics of the received subcarrier symbols in the packets, and then achieves throughput improvement. However, when MC-MUD detects a packet error, it makes user terminals retransmit the same packets so as to reproduce the collision of the same packets. The proposed LC-MUD scheme simplifies the ARQ protocol and requires no reproduction of the same packet collision. The computer simulations demonstrate the superior throughput of LC-MUD to that of MC-MUD, and further improvement due to adaptive modulation and coding (AMC) optimized for the nonlinear MUD in LC-MUD.

In this letter we investigated the packet transmission control in downlink CDMA cellular systems. The downlink packet transmission control scheme based on the soft handoff status was proposed to enhance the system performance. The proposed scheme controls the downlink packet transmissions by employing a transmission window which is individually resolved to each mobile station according to its propagation condition and soft handoff status. Computer simulation shows that compared with the conventional scheme the proposed scheme improved the delay performance and fairness of service in packet reception.

Currently, Mobile IPv6 (MIPv6) working group of Internet Engineering Task Force (IETF) recommends to execute the Binding Update (BU) using Return Routability (RR) procedure. However, the RR procedure doesn't entirely satisfy the security requirements of MIPv6. The previous BU protocols are also likely to reduce the efficiency since they iterate entirely BU protocol courses in Pico/Micro cellular environment in which it occurs frequently handoff or handover and some protocols don't consider that the Correspondent Node (CN) is movable node and has the limited resources. In this paper we propose the ETBU protocol, which is based on Cryptographically Generated Address (CGA) to provide mutual authentication between nodes; it considers that the CN is a movable node. This protocol doesn't require a Mobile Node (MN) to create a signature each time it obtains a new Care-of Address (CoA) unlike the previous CGA-based BU protocol. An MN and its CN issue the ticket to minimize the computing costs that need to calculate CGA. Also, the ETBU protocol minimizes the loss of traffic using smooth handoff or handover. A performance analysis shows that the scheme provides the security as much as the previous BU protocols and more efficiency than them in case that each node obtains the ticket. Therefore, the proposed ETBU protocol can be applied easily to the mobile network environments.

Accurate estimating or measuring the intake manifold absolute pressure plays an important role in automobile engine control. In order to achieve the real-time estimation of the absolute pressure, the high accuracy and high speed processing ability are required for automobile engine control systems. Therefore, in this paper, an analog method is discussed and a fully integrated analog circuit is proposed to simulate automobile intake systems. Furthermore, a novel behavioral macromodeling is proposed for the analog circuit design. With the analog circuit, the intake manifold absolute pressure, which plays an important role for the effective automobile engine control, can be accurately estimated or measured in real time.

Privacy is increasingly viewed as a key concern in multi-agent based algorithms for Distributed Constraint Satisfaction Problems (DCSP) such as the Meeting Scheduling (MS) problem. Many algorithms aim for a global objective function and as a result, incur performance penalties in computational complexity and personal privacy. This paper describes a mobile agent-based scheduling scheme called Efficient and Privacy-aware Meeting Scheduling (EPMS), which results in a tradeoff among complexity, privacy, and global utility. It also introduces a privacy loss model for collaborative computation, multiple criteria for evaluating privacy in the MS problem, and a privacy measurement metric called the Min privacy metric. We have utilized a common computational space in EPMS for reducing the complexity and the privacy loss in the MS problem. The analytical results show that EPMS has a polynomial time computational complexity. In addition, simulation results show that the obtained global utility for scheduling multiple meetings with EPMS is close to the optimal level and the resulting privacy loss is less than for those in existing algorithms.

Localization of mobile terminals has received considerable attention in wireless communications. In this letter, we present a covariance shaping least squares (CSLS) estimator using time-of-arrival measurements of the signal from the mobile station received at three or more base stations. It is shown that the CSLS estimator yields better performance than the other LS estimators at low signal-to-noise ratio conditions.

This paper proposes a new blind adaptive MLSE equalizer for frequency selective mobile radio channels. The proposed equalizer performs channel estimation for each survivor path of the Viterbi algorithm (VA), and restricts the number of symbol candidates for the channel estimation in order to reduce prohibitive complexity. In such channel estimation, autocorrelation matrices of the symbol candidates are likely to become singular, which increases the estimation error. To cope with the singularity, the proposed equalizer employs a recursive channel estimation algorithm using the Moore-Penrose generalized inverse of the autocorrelation matrix. As another problem, the blind channel estimation can yield plural optimal estimates of a channel impulse response, and the ambiguity of the estimates degrades the BER performance. To avoid this ambiguity, the proposed equalizer is enhanced so that it can take advantage of the fractional sampling. The enhanced equalizer performs symbol-spaced channel estimation for each fractional sampling phase. This equalizer combines separate channel estimation errors, and provides the sum to the VA processor as the branch metric, which tremendously reduces the probability that a correct estimate turns into a false one. Computer simulation demonstrates the effectiveness of the proposed equalizers in the frequency selective fading channels.