School of Information Technology and Electrical Engineering Publications - UQ eSpace
http://espace.library.uq.edu.au/
The University of QueenslandenFez http://blogs.law.harvard.edu/tech/rssA hybrid planning method for transmission networks in a deregulated environment
http://espace.library.uq.edu.au/view/UQ:23864
The reconstruction of power industries has brought fundamental changes to both power system operation and planning. This paper presents a new planning method using multi-objective optimization (MOOP) technique, as well as human knowledge, to expand the transmission network in open access schemes. The method starts with a candidate pool of feasible expansion plans. Consequent selection of the best candidates is carried out through a MOOP approach, of which multiple objectives are tackled simultaneously, aiming at integrating the market operation and planning as one unified process in context of deregulated system. Human knowledge has been applied in both stages to ensure the selection with practical engineering and management concerns. The expansion plan from MOOP is assessed by reliability criteria before it is finalized. The proposed method has been tested with the IEEE 14-bus system and relevant analyses and discussions have been presented.2007-07-05T14:00:38Z
Xu, Zhao; Dong, Zhao Yang; Wong, Kit Po A hybrid prediction model for moving objects
http://espace.library.uq.edu.au/view/UQ:176636
Existing prediction methods in moving objects databases cannot forecast locations accurately if the query time is far away from the current time. Even for near future prediction, most techniques assume the trajectory of an object's movements can be represented by some mathematical formulas of motion functions based on its recent movements. However, an object's movements are more complicated than what the mathematical formulas can represent. Prediction based on an object's trajectory patterns is a powerful way and has been investigated by several work. But their main interest is how to discover the patterns. In this paper, we present a novel prediction approach, namely The Hybrid Prediction Model, which estimates an object's future locations based on its pattern information as well as existing motion functions using the object's recent movements. Specifically, an object's trajectory patterns which have ad-hoc forms for prediction are discovered and then indexed by a novel access method for efficient query processing. In addition, two query processing techniques that can provide accurate results for both near and distant time predictive queries are presented. Our extensive experiments demonstrate that proposed techniques are more accurate and efficient than existing forecasting schemes.2009-04-17T11:02:38Z
Jeung, Hoyoung; Liu, Qing; Shen, Heng Tao; Zhou, Xiaofang A hybrid probabilistic criterion for market based transmission expansion planning
http://espace.library.uq.edu.au/view/UQ:104247
2007-08-23T22:12:06Z
Lu, M.; Dong, Z Y; Saha, T K A hybrid probabilistic criterion for market-based transmission expansion planning
http://espace.library.uq.edu.au/view/UQ:13275
Market-based transmission expansion planning gives information to investors on where is the most cost efficient place to invest and brings benefits to those who invest in this grid. However, both market issue and power system adequacy problems are system planers’ concern. In this paper, a hybrid probabilistic criterion of Expected Economical Loss (EEL) is proposed as an index to evaluate the systems’ overall expected economical losses during system operation in a competitive market. It stands on both investors’ and planner’s point of view and will further improves the traditional reliability cost. By applying EEL, it is possible for system planners to obtain a clear idea regarding the transmission network’s bottleneck and the amount of losses arises from this weak point. Sequentially, it enables planners to assess the worth of providing reliable services. Also, the EEL will contain valuable information for moneymen to undertake their investment. This index could truly reflect the random behaviors of power systems and uncertainties from electricity market. The performance of the EEL index is enhanced by applying Normalized Coefficient of Probability (NCP), so it can be utilized in large real power systems. A numerical example is carried out on IEEE Reliability Test System (RTS), which will show how the EEL can predict the current system bottleneck under future operational conditions and how to use EEL as one of planning objectives to determine future optimal plans. A well-known simulation method, Monte Carlo simulation, is employed to achieve the probabilistic characteristic of electricity market and Genetic Algorithms (GAs) is used as a multi-objective optimization tool.2007-03-30T12:19:42Z
Lu, M.; Dong, Z. Y.; Saha, T. K. A Hybrid Reconfigurable Cluster-on-Chip Architecture with Message Passing Interface for Image Processing Applications
http://espace.library.uq.edu.au/view/UQ:137349
We demonstrate a hybrid reconfigurable cluster-on-chip architecture with a cross-platform Message Passing Interface (MPI), a cross-platform parallel image processing library and a sample application. We describe the system, network architecture, MPI library and the parallel image processing library implementations. We validate the performance, scalability and suitability of MPI as a software interface to enable cross-platform application parallelism on reconfigurable hybrid cluster-on-chip systems and desktop cluster systems. The presented results are promising, showing the suitability, scalability and performance of parallelisation of image processing algorithms with a cross-platform MPI implementation.2008-05-02T17:08:35Z
Syed, Irfan; Williams, John A.; Bergmann, Neil W. A hybrid time-series link prediction framework for large social network
http://espace.library.uq.edu.au/view/UQ:282372
With the fast growing of Web 2.0, social networking sites such as Facebook, Twitter and LinkedIn are becoming increasingly popular. Link prediction is an important task being heavily discussed recently in the area of social networks analysis, which is to identify the future existence of links among entities in the social networks so that user experiences can be improved. In this paper, we propose a hybrid time-series link prediction model framework called DynamicNet for large social networks. Compared to existing works, our framework not only takes timing as consideration by using time-series link prediction model but also combines the strengths of topological pattern and probabilistic relational model (PRM) approaches. We evaluated our framework on three known corpora, and the favorable results indicated that our proposed approach is feasible.2012-09-24T11:44:22Z
Zhu, Jia; Xie, Qing; Chin, Eun Jung Aiming to miss: lessons for design research from the study of everyday energy practices
http://espace.library.uq.edu.au/view/UQ:293741
This paper argues that the historical focus of design research on the design process designers themselves, their activities, decisions and rationale conceals many design-relevant phenomena that emerge in the use of products and systems. With regard to designing for sustainability, these phenomena become vital, since sustainability is itself a use practice. We present a set of vignettes from an ethnographic study of peoples everyday energy practices, in an effort to show how consumption is grounded in the intersections of various elements, including architecture, habit and social values. This gives pause to reconsider designers roles in determining (through products and architecture) such patterns of energy use, and leads us to recommend that a different kind of scenario, i.e. one that aims to miss the deliberate and intended use, may be helpful in sustainable product design. We conclude with a discussion that outlines how the study of mundane practices of use might be instructive for agendas and concepts in design research, particularly those of framing and design intent.2013-03-15T08:08:02Z
Jaffari, Svenja; Matthews, Ben Ai@NICTA
http://espace.library.uq.edu.au/view/UQ:284990
2012-11-15T11:22:35Z
Barnes, Nick; Baumgartner, Peter; Caetano, Tiberio; Durrant-Whyte, Hugh; Klein, Gerwin; Sanderson, Penelope; Sattar, Abdul; Stuckey, Peter; Thiebaux, Sylvie; Van Hentenryck, Pascal; Walsh, Toby Airborne ISAR imaging using the emulated bistatic radar system
http://espace.library.uq.edu.au/view/UQ:100830
2007-08-23T19:46:15Z
Palmer, J. E.; Martorella, M.; Longstaff, I.D. Airborne radar antenna modules using lightweight temperature-resistant materials
http://espace.library.uq.edu.au/view/UQ:147252
2008-06-06T13:19:36Z
Kabacik, P.; Sachse, K.; Sawicki, A.; Jaworski, G.; Bialkowski, M. E. Airborne vision system for the detection of moving objects
http://espace.library.uq.edu.au/view/UQ:325931
2014-03-18T14:52:22Z
Strydom, Reuben; Thurrowgood, Saul; Srinivasan, Mandyam V. Air-target detection using synthetic aperture bistatic radar with non-cooperative GPS based transmitter: A case study
http://espace.library.uq.edu.au/view/UQ:99105
2007-08-24T02:22:39Z
Mojarrabi, B.; Homer, J. P.; Kubik, K. K. T.; Hahn, M.; Rizos, C. Air target detection via bistatic radar based on LEOS communication signals
http://espace.library.uq.edu.au/view/UQ:61718
The paper discusses the bistatic radar parameters for the case when the transmitter is a satellite emitting communication signals. The model utilises signals from an Iridium-like low earth orbiting satellite system. The maximum detection range, when thermal noise-limited, is discussed at the theoretical level and these results are compared with experimentation. Satellite-radar signal levels and the power of ground reflections are evaluated.2007-08-14T17:24:21Z
Cherniakov, M.; Nezlin, D.; Kubik, K. Airway sizes and proportions in children quantified by a video-bronchoscopic technique
http://espace.library.uq.edu.au/view/UQ:8572
Background: A quantitative understanding of airway sizes and proportions and a reference point for comparisons are important to a bronchoscopist. The aims of this study were to measure large airway areas, and define proportions and predictors of airway size in children. Methods: A validated videobronchoscope technique was used to measure in-vivo airway cross-sectional areas (cricoid, right (RMS) and left (LMS) main stem and major lobar bronchi) of 125 children. Airway proportions were calculated as ratios of airways to cricoid areas and to endotracheal tube (ETT) areas. Mann Whitney U, T-tests, and one-way ANOVA were used for comparisons and standard univariate and backwards, stepwise multivariate regression analyses were used to define airway size predictors. Results: Airways size increased progressively with increasing age but proportions remained constant. The LMS was 21% smaller than the RMS. Gender differences in airways' size were not significant in any age group or airway site. Cricoid area related best to body length (BL): cricoid area (mm2) = 26.782 + 0.254*BL (cm) while the RMS and LMS area related best to weight: RMS area (mm2) = 23.938 + 0.394*Wt (kg) and LMS area (mm2) = 20.055 + 0.263*Wt (kg) respectively. Airways to cricoid ratios were larger than airway to ETT ratios (p=0.0001). Conclusions: The cricoid and large airways progressively increase in size but maintain constant proportional relationships to the cricoid across childhood. The cricoid area correlates with body length while the RMS and LMS are best predicted by weight. These data provide for quantitative comparisons of airway lesions.2006-03-06T00:00:00Z
Masters, Ian B.; Ware, Robert S.; Zimmerman, Paul V.; Lovell, Brian; Wootton, Richard; Francis, Paul V.; Chang, Anne B. A joint design of transmit antenna selection and multiuser scheduling for multiuser MIMO systems employing block diagonalization precoding scheme
http://espace.library.uq.edu.au/view/UQ:316922
2013-11-28T01:13:33Z
Wang, Feng; Bialkowski, Marek E. A joint vibration and arcing measurement system for online condition monitoring of on-load tap changer of power transformer
http://espace.library.uq.edu.au/view/UQ:380185
Vibration measurement has been adopted in some utilities in Australia, Canada and several European countries for online condition monitoring of power transformer’s On-Load Tap Changer (OLTC). By comparing measured vibration signals at different stages, it might be possible to assess changes of OLTC’s condition. However, there are still considerable difficulties in correlating vibration signals to events of OLTC operation, which may impair the capability of vibration measurement for OLTC condition monitoring. Therefore, arcing measurement is proposed in this paper to complement to vibration measurement. Arcing is provoked when OLTC switching contact closes at a fixed tap position and it can lead to electromagnetic signals flowing through transformer windings and finally reaches earth. The arcing measurement is achieved by using a High Frequency Current Transducer (HFCT) clamping on the transformer’s grounding cable. The joint vibration and arcing measurement can provide a better means for interpreting events involved in OLTC operation and facilitating an improved OLTC condition monitoring. Since HFCT measured arcing signals can be coupled with noise, a probabilistic wavelet transform is thus employed in this paper to extract arcing signals from noise. Field measurements on two different types of OLTCs are performed using the joint vibration and arcing measurement system to validate the proposed methodology.2016-02-22T12:07:00Z
Seo, Junhyuck; Ma, Hui; Saha, Tapan A kantorovich-monadic powerdomain for information hiding, with probability and nondeterminism
http://espace.library.uq.edu.au/view/UQ:317253
We propose a novel domain-theoretic model for nondeterminism, probability and hidden state, with relations on it that compare information flow. One relation is Smyth-like, based on a structural, refinement-like order between semantic elements; the other is a testing order that generalises several extant entropy-based techniques. Our principal theorem is that the two orders are equivalent. The model is based on the Giry/Kantorovich monads, and it abstracts Partially Observable Markov Decision Processes by discarding observables' actual values but retaining the effect they had on an observer's knowledge. We illustrate the model, and its orders, on some small examples, where we find that our formalism provides the apparatus for comparing systems in terms of the information they leak.2013-11-28T08:30:19Z
McIver, Annabelle; Meinicke, Larissa; Morgan, Carroll A Ku-band active transmit-array module with a horn or patch array as a signal launching/receiving device
http://espace.library.uq.edu.au/view/UQ:60075
This paper is concerned with the design of a Ku-band active transmit-array module of transistor amplifiers excited by either a pyramidal horn or a patch array Optimal distances between the active transmit array and the signal-launching:receiving device, which is either a passive corporate-fed array or a horn, are determined to maximise the power gain at a design frequency: Having established these conditions, the complete structure is investigated in terms of operational bandwidth and near-field and far-field distributions measured at the output side of the transmit array, The experimental results show that the use of a corporate-fed array as an illuminating/receiving device gives higher gain and significantly larger operational bandwidth, An explanation for this behavior is sought.2007-08-14T16:14:55Z
Bialkowski, Marek E.; Song, Hyok J. A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations
http://espace.library.uq.edu.au/view/UQ:9621
In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method is based on the usual possible world semantics for conditional logic. The label formalism KEM, introduced to account for the semantics of normal modal logics, is easily adapted to the semantics of conditional logic by simply indexing labels with formulas. The inference rules are provided by the propositional system KE+ - a tableau-like analytic proof system devised to be used both as a refutation and a direct method of proof - enlarged with suitable elimination rules for the conditional connective. The resulting algorithmic framework is able to compute cumulative consequence relations in so far as they can be expressed as conditional implications.2005-04-07T00:00:00Z
Artosi, Alberto; Governatori, Guido; Rotolo, Antonino A large-scale measurement of dielectric properties of normal and malignant colorectal tissues obtained from cancer surgeries at Larmor frequencies
http://espace.library.uq.edu.au/view/UQ:410498
2016-11-01T00:33:59Z
Li, Zhou; Deng, Guanhua; Li, Zhe; Xin, Sherman Xuegang; Duan, Song; Lan, Maoying; Zhang, Sa; Gao, Yixin; He, Jun; Zhang, Songtao; Tang, Hongming; Wang, Weiwei; Han, Shuai; Yang, Qing X.; Zhuang, Ling; Hu, Jiani; Liu, Feng ALARM: An adaptive load-aware routing metric for hybrid wireless mesh networks
http://espace.library.uq.edu.au/view/UQ:236747
Hybrid Wireless Mesh Networks (WMN) can be quickly deployed at disasters sites to provide high-capacity wireless communications. As with other WMN networks, a routing protocol is required to find a path between non-neighboring source and destination nodes. The routing metric used by the routing protocol can have a significant impact on the performance of the network. Most of the existing routing metrics for multiradio, multihop WMNs are calculated using external information (such as link quality statistics and channel information). In a network with highly mobile nodes, such as an Hybrid WMN, the required frequent exchange of this information can be very expensive, resulting in degraded performance. In this paper, we present the ALARM routing metric, which is computed using the number of packets queued per wireless interface. This computed value offers an accurate representation of the traffic load, link quality, interference and noise levels. As only this one value need be exchanged to compute ALARM, the overhead associated with the metric is less than existing approaches. With the help of extensive simulations, we show that ALARM outperforms well-know routing metrics like ETT and WCETT under varying mobility and traffic load conditions in HybridWMNs. Validation of these simulation results is obtained from a small-scale testbed deployment. †2011-03-16T11:49:27Z
Pirzada, Asad Amir; Wishart, Ryan; Portmann, Marius; Indulska, Jadwiga ALASA: When service overlay networks meet peer-to-peer networks
http://espace.library.uq.edu.au/view/UQ:103080
2007-08-23T21:20:59Z
Zhou, S.; Hogan, M.; Ardon, S.; Portmann, M.; Hu, T; Wongrujira, K; Seneviratne, A. A latent usage approach for clustering web transaction and building user profile
http://espace.library.uq.edu.au/view/UQ:103186
2007-08-23T21:24:54Z
Zhang, Y.; Xu, G; Zhou, X. A lattice-theoretic analysis of vector perturbation for multi-user MIMO systems
http://espace.library.uq.edu.au/view/UQ:175655
This paper considers the use of multiple transmit antennas to deliver independent data streams to multiple users. In particular, we examine a multi-user technique known as vector perturbation. We provide a new lattice-theoretic approach to analyze its performance in the presence of Rayleigh fading. Vector perturbation is based on performing a channel inversion, with the additional step of perturbing the data signal prior to linear preceding to significantly reduce the required transmit power. To analyze such systems it is necessary to calculate the resulting average energy of the sphere-encoded signal vector, as this determines the signal-to-noise ratio (SNR) at the output of the demodulator. Previous results presented in the literature were partially analytic, requiring further numerical evaluation. Here, we derive a concise approximation to the output SNR. We also provide tight upper and lower bounds on the bit error rate for the reception of QAM symbols using the required modulo demodulator, as a function of the average energy of the sphere- encoded signal vector.2009-04-14T16:38:23Z
Ryan, D. J.; Collings, I. B.; Clarkson, I. V. L.; Heath, R. W. A Layout-Aware Circuit Sizing Model Using Parametric Analysis
http://espace.library.uq.edu.au/view/UQ:9875
We propose a circuit sizing model that takes layout parasitics into account. The circuit and layout parameters are stored in a parameterized layout description format, GBLD. The layout parasitics are stored as closed form expressions. Layout optimization tools can modify the layout and recalculate parasitics on the fly. If the results of sensitivity analysis are passed to those tools, optimization for performance can be achieved with relatively few iterations involving time consuming circuit simulations.2005-02-21T00:00:00Z
Tseng, I-Lun; Postula, Adam A learning approach for performance evaluation of local network
http://espace.library.uq.edu.au/view/UQ:99238
In this paper, a novel approach is developed to evaluate the overall performance of a local area network as well as to monitor some possible intrusion detections. The data is obtained via system utility 'ping' and huge data is analyzed via statistical methods. Finally, an overall performance index is defined and simulation experiments in three months proved the effectiveness of the proposed performance index. A software package is developed based on these ideas.2007-08-24T02:27:42Z
Zhang, Y.; Liu, W.; Dong, Z. Y. ALE Defeasible Description Logic
http://espace.library.uq.edu.au/view/UQ:7708
One of Semantic Web strengths is the ability to address incomplete knowledge. However, at present, it cannot handle incomplete knowledge directly. Also, it cannot handle non-monotonic reasoning. In this paper, we extend ALE Defeasible Description Logic with existential quantifier, i.e., ALE Defeasible Description Logic. Also, we modify some parts of the logic, resulting in an increasing efficiency in its reasoning.2006-12-04T00:00:00Z
Pothipruk, P.; Governatori, G Algebraic Curve Fitting Support Vector Machines
http://espace.library.uq.edu.au/view/UQ:10633
An algebraic curve is defined as the zero set of a multivariate polynomial. We consider the problem of fitting an algebraic curve to a set of vectors given an additional set of vectors labelled as interior or exterior to the curve. The problem of fitting a linear curve in this way is shown to lend itself to a support vector representation, allowing non-linear curves and high dimensional surfaces to be estimated using kernel functions. The approach is attractive due to the stability of solutions obtained, the range of functional forms made ossible (including polynomials), and the potential for applying well understood regularisation operators from the theory of Support Vector Machines.2004-03-19T00:00:00Z
Walder, Christian; Lovell, Brian C.; Kootsookos, Peter J. Algebraic Reasoning for Probabilistic Action Systems and While-Loops
http://espace.library.uq.edu.au/view/UQ:7961
Back and von Wright have developed algebraic laws for reasoning about loops in the refinement calculus. We extend their work to reasoning about probabilistic loops in the probabilistic refinement calculus. We apply our algebraic reasoning to derive transformation rules for probabilistic action systems and probabilistic while-loops. In particular we focus on developing data refinement rules for these two constructs. Our extension is interesting since some well known transformation rules that are applicable to standard programs are not applicable to probabilistic ones: we identify some of these important differences and we develop alternative rules where possible. In particular, our probabilistic action system and while-loop data refinement rules are new: they differ from the non-probabilistic rules.2006-09-05T00:00:00Z
Meinicke, Larissa; Hayes, Ian J. Algebraic reasoning for probabilistic action systems and while-loops
http://espace.library.uq.edu.au/view/UQ:176450
Back and von Wright have developed algebraic laws for reasoning about loops in a total correctness framework using the refinement calculus. We extend their work to reasoning about probabilistic loops in the probabilistic refinement calculus. We apply our algebraic reasoning to derive transformation rules for probabilistic action systems and probabilistic while-loops. In particular we focus on developing data refinement rules for these two constructs. Our extension is interesting since some well known transformation rules that are applicable to standard programs are not applicable to probabilistic ones: we identify some of these important differences and we develop alternative rules where possible.2009-04-16T18:30:13Z
Meinicke, Larissa; Hayes, Ian J. Algorithm for the determination of loadability boundaries of distribution
http://espace.library.uq.edu.au/view/UQ:279377
Currently, the coordination of dispersed energy resources, like domestic micro-CHP systems, Photovoltaic systems or the charging of electric vehicles is widely discussed. A major issue that has to be addressed in this context is the possibility of an overload of the public power system. In order to guarantee overload prevention, a robust mechanism is needed for making the coordination system aware of the system's loadability limits and to provide them with information for corrective measures if necessary. In this paper the authors present a reference algorithm allowing for an on-line constraint violation detection and mitigation under hard real-time constraints by predetermining the overall set of allowable grid usage patterns a-priori.2012-08-28T13:51:04Z
Krause, Olav; Lehnhoff, Sebastian Algorithms and metrics for processing multiple heterogeneous continuous queries
http://espace.library.uq.edu.au/view/UQ:259072
The emergence of monitoring applications has precipitated the need for Data Stream Management Systems (DSMSs), which constantly monitor incoming data feeds (through registered continuous queries), in order to detect events of interest. In this article, we examine the problem of how to schedule multiple Continuous Queries (CQs) in a DSMS to optimize different Quality of Service (QoS) metrics. We show that, unlike traditional online systems, scheduling policies in DSMSs that optimize for average response time will be different from policies that optimize for average slowdown, which is a more appropriate metric to use in the presence of a heterogeneous workload. Towards this, we propose policies to optimize for the average-case performance for both metrics. Additionally, we propose a hybrid scheduling policy that strikes a fine balance between performance and fairness, by looking at both the average- and worst-case performance, for both metrics. We also show how our policies can be adaptive enough to handle the inherent dynamic nature of monitoring applications. Furthermore, we discuss how our policies can be efficiently implemented and extended to exploit sharing in optimized multi-query plans and multi-stream CQs. Finally, we experimentally show using real data that our policies consistently outperform currently used ones.2011-10-23T03:15:22Z
Sharaf, Mohamed A.; Chrysanthis, Panos K.; Labrinidis, Alexandros; Pruhs, Kirk Aliasing Artefact Suppression in Compressed Sensing MRI for Random Phase-Encode Undersampling
http://espace.library.uq.edu.au/view/UQ:368870
2015-09-08T00:47:18Z
Yang, Yang; Liu, Feng; Jin Z.; Crozier S. A light-weight client mobility approach for infrastructure mesh networks
http://espace.library.uq.edu.au/view/UQ:136359
Infrastructure mesh networks offer a high-capacity wireless backhaul network through which clients, such as PDAs, can connect to one another or with external networks. To use the mesh network, a client must route its outbound traffic via one of the mesh routers in the infrastructure mesh. As the clients are mobile, they may move out of range of the mesh router they were using and need to associate with another. Client handoff mechanisms enable this change in mesh routers to occur in a manner that limits disruption to any transport or application layer sessions the client may be running. In this paper we present an extremely light-weight handoff approach for clients that relies on gratuitous ARP messages broadcast at regular intervals from mesh routers within the infrastructure mesh. An evaluation of our approach using a 5 node testbed has shown that client handoffs can be conducted quickly, and with minimal loss of packets for both TCP and UDP traffic.2008-04-24T16:56:38Z
Wishart, R.; Pirzada, A. A.; Portmann, M. A lightweight encryption algorithm for mobile online multimedia devices
http://espace.library.uq.edu.au/view/UQ:100747
Online multimedia data needs to be encrypted for access control. To be capable of working on mobile devices such as pocket PC and mobile phones, lightweight video encryption algorithms should be proposed. The two major problems in these algorithms are that they are either not fast enough or unable to work on highly compressed data stream. In this paper, we proposed a new lightweight encryption algorithm based on Huffman error diffusion. It is a selective algorithm working on compressed data. By carefully choosing the most significant parts (MSP), high performance is achieved with proper security. Experimental results has proved the algorithm to be fast. secure: and compression-compatible.2007-08-23T19:42:50Z
Liu, Zeng; Li, Xue; Dong, Zhaoyang A light-weight internet gateway discovery scheme for infrastructure mesh networks
http://espace.library.uq.edu.au/view/UQ:176590
2009-04-17T10:03:51Z
Wishart, Ryan; Pirzada, Asad Amir; Portmann, Marius; Indulska, Jadwiga A linear algorithm for optimal probabilistic planning
http://espace.library.uq.edu.au/view/UQ:376485
The maximum probability path problem has been applied in many real fields. However, the problem of computing a path of maximum probability often is transformed into a shortest path problem so as to use suitably the existed shortest path algorithm such as Dijkstra's algorithm. We propose a new algorithm for maximum probability path problem, which is linear in size of a system and does not need to transform. The algorithm mainly exploits probability-first strategy, a probability ordered queue and some FIFO (First In First Out) queues. We prove our algorithm's soundness and completeness with respect to optimal probability problem, and take project application as an example to show our algorithm's application.2016-01-05T01:20:22Z
Wu, Lijun; Wang, Kai; Li, Jiajun A linearization technique to estimate operational constraints states by pseudo inverse matrix
http://espace.library.uq.edu.au/view/UQ:412790
In this article the authors demonstrate the principle of using linearization techniques to optimize the calculation of operational constraints for a distribution network. The state estimation technique is applied to find the internal state of the network. A linearization map is generated from the input and output Jacobian matrices. In linearization mapping, the Pseudo matrix is used instead of the inverse matrix in the input Jacobian side to avoid the singularity of the system. Therefore, it is possible to find the solution for a solvable case if the system is low rank deficient, or even has too many constraints on the output side. Afterwards, an inequality constraint is created with arbitrary operation variable for a wide range of control variables. The linear programming is applied to find the optimal solution. The proposed approach is demonstrated on 29 bus distribution network.2016-11-25T15:02:12Z
Uddin, Sohel; Krause, Olav; Martin, Daniel A linearly polarized radial-line slot-array antenna with a broadened beam
http://espace.library.uq.edu.au/view/UQ:139714
The beam shaping of a linearly polarized radial-line slot-array (LP RLSA) antenna is demonstrated with the production of a prototype with a broadened main beam pointed in an arbitrary direction. The method of synthesis is presented, which utilizes a simple but accurate radiation model for the RLSA antenna to predict radiation characteristics. Experimental results for a Ku-band LP RLSA antenna manufactured using the described techniques show good agreement with the theoretically predicted performance. (C) 2000 John Wiley & Sons, Inc.2008-06-10T10:52:45Z
Bialkowski, M. E.; Davis, P. W. A linear-time nearest point algorithm for the lattice A(n)*
http://espace.library.uq.edu.au/view/UQ:194348
2010-01-31T00:07:38Z
McKilliam, R. G.; Clarkson, I. V. L.; Smith, W. D.; Quinn, B. G. All binary representations are equal: But some or more equal than others
http://espace.library.uq.edu.au/view/UQ:96950
2007-08-24T00:56:36Z
Willadsen, K.; Wiles, J. H. All-optical logic devices with cascaded nonlinear couplers
http://espace.library.uq.edu.au/view/UQ:139793
2008-06-10T10:57:25Z
Wang, Y.; Wang, Z.; Bialkowski, M. E. All simple groups with order from 1 million to 5 million are efficient
http://espace.library.uq.edu.au/view/UQ:313506
2013-11-05T18:44:46Z
Campbell, C. M.; Havas, G.; Ramsay, C.; Robertson, E. F. A locally convergent rotationally invariant particle swarm optimization algorithm
http://espace.library.uq.edu.au/view/UQ:396054
2016-07-12T14:49:56Z
Bonyadi, Mohammad Reza; Michalewicz, Zbigniew A local sensitivity analysis method for developing biological models with identifiable parameters: Application to cardiac ionic channel modelling
http://espace.library.uq.edu.au/view/UQ:312793
2013-10-22T15:36:49Z
Sher, Anna A.; Wang, Ken; Wathen, Andrew; Maybank, Philip John; Mirams, Gary R.; Abramson, David; Noble, Denis; Gavaghan, David J. A Logic Framework of Normative-based Contract Management
http://espace.library.uq.edu.au/view/UQ:23748
We explore of the feasibility of the computationally oriented institutional agency framework proposed by Governatori and Rotolo testing it against an industrial strength scenario. In particular we show how to encode in defeasible logic the dispute resolution policy described in Article 67 of FIDIC.2007-06-17T15:22:33Z
Wang, Miao; Governatori, Guido A loss sensitivity factor method for locating ES in a distribution system with PV units
http://espace.library.uq.edu.au/view/UQ:380771
This paper presented an approach to place single and multiple Energy Storage (ES) units in a distribution network with photovoltaic (PV) units considering energy losses. The approach is based on ALSFmax, which is defined as a difference between the minimum and maximum Loss Sensitivity Factor (LSF) values. The GridLAB-D simulation software is used to model test systems under the study and to validate the proposed method. Results show that the proposed ALSFmax approach can yield lower energy losses and better voltage profiles than other methods: average LSF, centralized ES (i.e. ES is located at the substation) and ES located near the PV units. Some interesting results are also presented in the paper.2016-02-27T22:16:07Z
Sardi, Junainah; Mithulananthan, N.; Hung, Duong Quoc A low-complexity algorithm for static background estimation from cluttered image sequences in surveillance contexts
http://espace.library.uq.edu.au/view/UQ:229635
2011-02-20T00:04:52Z
Reddy, Vikas; Sanderson, Conrad; Lovell, Brian C. A low-complexity lattice-based low-PAR transmission scheme for DSL channels
http://espace.library.uq.edu.au/view/UQ:70445
This paper presents a new low-complexity multicarrier modulation (MCM) technique based on lattices which achieves a peak-to-average power ratio (PAR) as low as three. The scheme can be viewed as a drop in replacement for the discrete multitone (DMT) modulation of an asymmetric digital subscriber line modem. We show that the lattice-MCM retains many of the attractive features of sinusoidal-MCM, and does so with lower implementation complexity, O(N), compared with DMT, which requires O(N log N) operations. We also present techniques for narrowband interference rejection and power profiling. Simulation studies confirm that performance of the lattice-MCM is superior, even compared with recent techniques for PAR reduction in DMT.2007-08-15T03:35:57Z
Collings, I. B.; Clarkson, I. V. L. A low-cost, easy-to-use, real-time power system simulator
http://espace.library.uq.edu.au/view/UQ:101682
We present the design rationale and basic workings of a low-cost, easy-to-use power system simulator developed to support investigations into human interface design for a hydropower plant. The power system simulator is based on three important components: models of power system components, a data repository, and human interface elements. Dynamic Data Exchange (DDE) allows simulator components to communicate with each other within the simulator. To construct the modules of the simulator we have combined the advantages of commercial software such as Matlab/Simulink, ActiveX Control, Visual Basic and Excel and integrated them in the simulator. An important advantage of our approach is that further components of the simulator now can be developed independently. An initial assessment of the simulator indicates it is fit for intended purpose.2007-08-23T20:20:10Z
Memisevic, R.; Sanderson, P. M.; Choudhury, S.; Wong, W.