TRACTABLE DATA-FLOW ANALYSIS FOR DISTRIBUTED SYSTEMS

Automated behavior analysis is a valuable technique in the development and maintainence of distributed systems. In this paper, we present a tractable dataflow analysis technique for the detection of unreachable states and actions in distributed systems. The technique follows an approximate approach described by Reif and Smolka, but delivers a more accurate result in assessing unreachable states and actions. The higher accuracy is achieved by the use of two concepts: action dependency and history sets. Although the technique, does not exhaustively detect all possible errors, it detects nontrivial errors with a worst-case complexity quadratic to the system size. It can be automated and applied to systems with arbitrary loops and nondeterministic structures. The technique thus provides practical and tractable behavior analysis for preliminary designs of distributed systems. This makes it an ideal candidate for an interactive checker in software development tools. The technique is illustrated with case studies of a pump control system and an erroneous distributed program. Results from a prototype implementation are presented

From a traditional library to a new digital library: HKSKH Ming Hua Theological College Library case sharing

The paper will use the HKSKH Ming Hua Theology College Library (香港聖公會明華神學院圖書館) in Hong Kong as a case study to discuss how a traditional smaller library can change to a new digital library to support learning, teaching and research activities of the college. This case shares how MH library has developed its digital library, based on the framework of usability attributes: learnability; efficiency; memorability; errors; satisfaction in development of a digital library with a one-stop searching library catalogue in PC and mobile versions; global classrooms; in-house digital resources as well as collaborative teaching to provide library workshops that develop the digital literacy skills of users.postprin

Message from the General Chairs

published_or_final_versio

A new fast sub-optimal search method for closed-loop transmit diversity system with limited number of feedback bits

IEEE Radio and Wireless Conference, Atlanta, Georgia, USA, 19-22 September 2004In this paper, we present a fast sub-optimal searching algorithm for the closed-loop transmit diversity scheme used in wireless system. Under the low mobility condition and with perfect channel knowledge at the receiving end, our proposed searching algorithm can use a limited number of feedback bits to provide a sub-optimal solution that can achieve the SNR values close to the optimal solution with a greatly reduced complexity and outperform other sub-optimal schemes. The scheme also works well under the presence of feedback errors. © 2004 IEEE.published_or_final_versio

Adaptive feedforward and feedback control schemes for sliding mode controlled power converters

Author name used in this publication: Chi K. TseAuthor name used in this publication: Martin K. H. Cheung2005-2006 > Academic research: refereed > Publication in refereed journalVersion of RecordPublishe

A pulse-width-modulation based sliding mode controller for buck converters

Author name used in this publication: Martin K. H. CheungAuthor name used in this publication: Chi K. TseRefereed conference paper2003-2004 > Academic research: refereed > Refereed conference paperVersion of RecordPublishe

On the practical design of a sliding mode voltage controlled buck converter

Author name used in this publication: Martin K. H. CheungAuthor name used in this publication: Chi K. Tse2004-2005 > Academic research: refereed > Publication in refereed journalVersion of RecordPublishe

Novel search algorithm for closed-loop transmit diversity system with limited number of feedback bits

We propose two simple closed-loop transmit diversity schemes with a fixed number of feedback bits being allocated for each transmit antenna. Under a low mobility condition and with perfect channel knowledge at the receiver, we show that our proposed schemes can achieve signal-to-noise ratio (SNR) values close to the optimal solution but with greatly reduced complexity. We also show that our methods outperform other suboptimal schemes such as the co-phasing method. © 2004 IEEE.published_or_final_versionIEEE 60th Vehicular Technology Conference 2004-Fall (VTC2004-Fall), "Wireless Technologies for Global Security", Los Angeles, CA, USA, 26-29 September 2004. In IEEE - VTS Vehicular Technology Conference Proceedings, 2004, v. 60 n. 3, p. 1849-185