A Declarative Semantics for CLP with Qualification and Proximity

Uncertainty in Logic Programming has been investigated during the last decades, dealing with various extensions of the classical LP paradigm and different applications. Existing proposals rely on different approaches, such as clause annotations based on uncertain truth values, qualification values as a generalization of uncertain truth values, and unification based on proximity relations. On the other hand, the CLP scheme has established itself as a powerful extension of LP that supports efficient computation over specialized domains while keeping a clean declarative semantics. In this paper we propose a new scheme SQCLP designed as an extension of CLP that supports qualification values and proximity relations. We show that several previous proposals can be viewed as particular cases of the new scheme, obtained by partial instantiation. We present a declarative semantics for SQCLP that is based on observables, providing fixpoint and proof-theoretical characterizations of least program models as well as an implementation-independent notion of goal solutions.Comment: 17 pages, 26th Int'l. Conference on Logic Programming (ICLP'10

A radio channel emulator for WCDMA, based on the hidden Markov model (HMM)

One of the main development and research subjects within the telecommunications area activity is the 3G mobile systems standardisation. The radio access is, of course, the main trouble in mobile systems, so it is important to investigate its implication. This paper describes a radio channel emulator for the UTRA-FDD made, based on the hidden Markov model (HMM). Since a statistical system behaviour is needed to train the HMM, off-line simulations have been made. The results between simulated and emulated statistics are presented. The use of emulation models implies a loss of accuracy with respect to simulation models, but is adequate to operate in real time. Certainly, the main advantage of using HMM in the emulator is the huge reduction in time, resources and effort with regard to a real simulation of the system. The emulator will allow in future works, for fast testing and comparison of several higher layer protocols and error control schemes.Peer ReviewedPostprint (published version

A generic radio channel emulator to evaluate higher layer protocols in a CDMA system

Currently, we are involved in the standardisation process to specify the next mobile system generation. A wideband code division multiple access (WCDMA) system is considered in most of the region versions. It would be very useful to count on a radio channel emulator which allows one to evaluate higher layers protocols within this context. This paper presents a radio channel emulator developed for a code division multiple access (CDMA) based system. Its versatility and low complexity have been exposed, and the validation process to check the model accuracy has also been shown for this system as an example.Peer ReviewedPostprint (published version

Performance of a linear interference canceller for a ds/cdma synchronous system based on the ekf delay estimator

Since the conventional detector often fails to produce reliable decisions for a CDMA channel, several new multiuser detectors have previously proposed. In the present paper, the authors propose both a simple linear scheme for interference cancellation, which exhibits good performance, and a synchronism scheme based on the extended Kalman filter (EKF) to achieve synchronization among the different users at the base station, for a direct-sequence code-division multiple-access (DS/CDMA) synchronous system. The influence of the synchronism scheme on the performance of the interference canceller is analyzed under Rayleigh multipath fading.Peer ReviewedPostprint (published version

On soft/hard handoff for packet data services in cellular CDMA mobiles systems

Benefits of macrodiversity operation for packet data services in third generation mobile systems are not obvious. Retransmission procedures to enhance link performance and higher downlink bandwidth requirements could question macrodiversity usage. This paper describes a simple methodology to compare soft and hard handoff performance in terms of transmission delay for packet data services. The handover procedures are based exclusively on power criteria and hysteresis margins.Peer ReviewedPostprint (published version

A Transformation-based Implementation for CLP with Qualification and Proximity

Uncertainty in logic programming has been widely investigated in the last decades, leading to multiple extensions of the classical LP paradigm. However, few of these are designed as extensions of the well-established and powerful CLP scheme for Constraint Logic Programming. In a previous work we have proposed the SQCLP (proximity-based qualified constraint logic programming) scheme as a quite expressive extension of CLP with support for qualification values and proximity relations as generalizations of uncertainty values and similarity relations, respectively. In this paper we provide a transformation technique for transforming SQCLP programs and goals into semantically equivalent CLP programs and goals, and a practical Prolog-based implementation of some particularly useful instances of the SQCLP scheme. We also illustrate, by showing some simple-and working-examples, how the prototype can be effectively used as a tool for solving problems where qualification values and proximity relations play a key role. Intended use of SQCLP includes flexible information retrieval applications.Comment: 49 pages, 5 figures, 1 table, preliminary version of an article of the same title, published as Technical Report SIC-4-10, Universidad Complutense, Departamento de Sistemas Inform\'aticos y Computaci\'on, Madrid, Spai

Multiple slot allocation for voice/data transmission over PRMA++ applied to FRAMES multiple access mode 1

This paper presents some simulation results of PRMA++ for voice and data transmission over a physical air interface platform defined in the ACTS European project FRAMES. Variations on the statistics of speech sources (activity factor, petition rate) are studied and conclusions are obtained for optimal frame dimensioning. For data transmission, a multiple slot allocation scheme is presented and results are shown for different source rates and packet lengths.Peer ReviewedPostprint (published version