SearcharxivSearch

arXiv subjects

Daqiang Zhang

Publications and source records attributed to Daqiang Zhang.

8 recordsLinked to original sources

The Oracle and The Prism: A Decoupled and Efficient Framework for Generative Recommendation Explanation

The integration of Large Language Models (LLMs) into explainable recommendation systems often leads to a performance-efficiency trade-off in end-to-end architectures, where joint optimization of ranking and explanation can result in suboptimal compromises. To resolve this, we propose Prism, a novel decoupled framework that rigorously separates the recommendation process into a dedicated ranking stage and an explanation generation stage. This decomposition ensures that each component is optimized for its specific objective, eliminating inherent conflicts in coupled models. Inspired by knowledge distillation, Prism leverages a powerful, instruction-following teacher LLM (FLAN-T5-XXL) as an Oracle to produce high-fidelity explanatory knowledge. A compact, fine-tuned student model (BART-Base), the Prism, then specializes in synthesizing this knowledge into personalized explanations. Our extensive experiments on benchmark datasets reveal a key finding: the distillation process not only transfers knowledge but also acts as a noise filter. Our 140M-parameter Prism model significantly outperforms its 11B-parameter teacher in human evaluations of faithfulness and personalization, demonstrating an emergent ability to correct hallucinations present in the teacher's outputs. While achieving a 24x speedup and a 10x reduction in memory consumption, our analysis validates that decoupling, coupled with targeted distillation, provides an efficient and effective pathway to high-quality, and perhaps more importantly, trustworthy explainable recommendation.

cs.IR

A Review of Automated Formal Verification of Ad Hoc Routing Protocols for Wireless Sensor Networks

This paper surveys how formal verification can be used to prove the correctness of ad hoc routing protocols, which are fundamental infrastructure of wireless sensor networks. The existing techniques fall into two classes: verification on small-scale networks and verification on unbounded networks. The former one is always fully automatic and easy to use, thanks to the limited state space generated in verification. However, it cannot prove the correctness over all cases. The latter one can provide a complete proof based on abstractions of unbounded network. However, it usually needs user intervention and expertise in verification. The two kinds of technique are illustrated by verifications against some key properties such as stability, loop-freedom and deadlock-freedom. To conclude, they can be used to find faults and prove correctness, respectively. We believe that they can together aid the development of correct ad hoc routing protocols and their reliable implementations.

cs.NI

CRUC: Cold-start Recommendations Using Collaborative Filtering in Internet of Things

The Internet of Things (IoT) aims at interconnecting everyday objects (including both things and users) and then using this connection information to provide customized user services. However, IoT does not work in its initial stages without adequate acquisition of user preferences. This is caused by cold-start problem that is a situation where only few users are interconnected. To this end, we propose CRUC scheme - Cold-start Recommendations Using Collaborative Filtering in IoT, involving formulation, filtering and prediction steps. Extensive experiments over real cases and simulation have been performed to evaluate the performance of CRUC scheme. Experimental results show that CRUC efficiently solves the cold-start problem in IoT.

cs.IR

Ada-MAC: An Adaptive MAC Protocol for Real-time and Reliable Health Monitoring,

IEEE 802.15.4 is regarded as one of the most suitable communication protocols for cyber-physical applications of wireless sensor and actuator networks. This is because this protocol is able to achieve low-power and low-cost transmission in wireless personal area networks. But most cyber-physical systems (CPSs) require a degree of real-time and reliability from the underlying communication protocol. Some of them are stricter than the others. However, IEEE 802.15.4 protocol cannot provide reliability and real-time transmission for time-critical and delay-sensitive data in cyber-physical applications. To solve this problem, we propose a new MAC protocol, i.e. the Ada-MAC protocol, which is based on IEEE 802.15.4 beacon-enabled mode. It can support cyber-physical applications such as health monitoring, which require stringent real- time and reliability guarantees. We implement the proposed protocol on the OMNET++ platform and conduct a performance evaluation of the proposed protocol with comparison against the traditional IEEE 802.15.4 protocol. The results are presented and analyzed.

cs.NI

A Survey on Gas Sensing Technology

Sensing technology has been widely investigated and utilized for gas detection. Due to the different applicability and inherent limitations of different gas sensing technologies, researchers have been working on different scenarios with enhanced gas sensor calibration. This paper reviews the descriptions, evaluation, comparison and recent developments in existing gas sensing technologies. A classification of sensing technologies is given, based on the variation of electrical and other properties. Detailed introduction to sensing methods based on electrical variation is discussed through further classification according to sensing materials, including metal oxide semiconductors, polymers, carbon nanotubes, and moisture absorbing materials. Methods based on other kinds of variations such as optical, calorimetric, acoustic and gas-chromatographic, are presented in a general way. Several suggestions related to future development are also discussed. Furthermore, this paper focuses on sensitivity and selectivity for performance indicators to compare different sensing technologies, analyzes the factors that influence these two indicators, and lists several corresponding improved approaches.

physics.ins-det

Query Representation with Global Consistency on User Click Graph

Extensive research has been conducted on query log analysis. A query log is generally represented as a bipartite graph on a query set and a URL set. Most of the traditional methods used the raw click frequency to weigh the link between a query and a URL on the click graph. In order to address the disadvantages of raw click frequency, researchers proposed the entropy-biased model, which incorporates raw click frequency with inverse query frequency of the URL as the weighting scheme for query representation. In this paper, we observe that the inverse query frequency can be considered a global property of the URL on the click graph, which is more informative than raw click frequency, which can be considered a local property of the URL. Based on this insight, we develop the global consistency model for query representation, which utilizes the click frequency and the inverse query frequency of a URL in a consistent manner. Furthermore, we propose a new scheme called inverse URL frequency as an effective way to capture the global property of a URL. Experiments have been conducted on the AOL search engine log data. The result shows that our global consistency model achieved better performance than the current models.

cs.IR

An Efficient Method for Optimizing RFID Reader Deployment and Energy Saving

The rapid proliferation of Radio Frequency IDentification (RFID) systems realizes integration of physical world with the cyber ones. One of the most promising is the Internet of Things (IoT), a vision in which the Internet extends into our daily activities through wireless networks of uniquely identifiable objects. Given that modern RFID systems are being deployed in large-scale for different applications, without optimizing reader's distribution, many of the readers will be redundant, resulting waste of energy. Additionally, eliminating redundant eaders can also decrease probability of reader collisions, as a result, enhancing system performance and efficiency. In this paper, an overlap aware (OA) technique is proposed for eliminating redundant readers. The OA is a distributed approach, which does not need to collect global information for centralizing control, aims to detect maximum amount of redundant readers could be safely removed or turned off with preserving original RFID network coverage. A significant improvement of the OA scheme is that the amount of "write-to-tag" operations could be largely reduced during the redundant reader identification phase. In order to accurately evaluate the performance of the proposed method, it was performed in a variety of scenarios. The experiment results show that the proposed method can provide reliable performance with detecting higher redundancy and has lower algorithm overheads as compared with several well known methods, such as the RRE, LEO, the hybrid algorithm (LEO+RRE) and the DRRE.

cs.NI

SECA: Snapshot-based Event Detection for Checking Asynchronous Context Consistency in Ubiquitous Computing

Context-consistency checking is challenging in the dynamic and uncertain ubiquitous computing environments. This is because contexts are often noisy owing to unreliable sensing data streams, inaccurate data measurement, fragile connectivity and resource constraints. One of the state-of-the-art efforts is CEDA, which concurrently detects context consistency by exploring the \emph{happened-before} relation among events. However, CEDA is seriously limited by several side effects --- centralized detection manner that easily gets down the checker process, heavy computing complexity and false negative. In this paper, we propose SECA: Snapshot-based Event Detection for Checking Asynchronous Context Consistency in ubiquitous computing. SECA introduces snapshot-based timestamp to check event relations, which can detect scenarios where CEDA fails. Moreover, it simplifies the logical clock instead of adopting the vector clock, and thus significantly reduces both time and space complexity. Empirical studies show that SECA outperforms CEDA in terms of detection accuracy, scalability, and computing complexity.

cs.DC