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 Grid-Enabled Architecture for Geospatial Data Sharing
http://espace.library.uq.edu.au/view/UQ:172837
This paper explores combining OGC and grid technologies for geospatial data sharing. OGC and grid technologies have different focuses: OGC technologies focus more on interface specifications and encodings for the access to geospatial data sources, while grid technologies focus more on the collaboration and sharing of resources. By combining both, we hope to leverage each other's strengths. In the paper, we first introduce our grid-enabled architecture which is based on both OGC and grid technologies, then we discuss how grid-enabled OGC Web services can be integrated with non-grid-enabled ones, and finally, we report our initial implementation of a case study2009-03-31T12:15:23Z
Shu, Yanfeng; Zhang, Jack Fan; Zhou, Xiaofang A hamming distance based VLIW/EPIC code compression technique
http://espace.library.uq.edu.au/view/UQ:100617
2007-08-23T19:36:56Z
Ros, M. B.; Sutton, P. R. A handover protocol and network architecture for wireless extensions of ATM networks
http://espace.library.uq.edu.au/view/UQ:95726
2007-08-23T23:54:19Z
Indulska, J.; Zhu, W. A handover protocol for wireless ATM
http://espace.library.uq.edu.au/view/UQ:149962
2008-06-06T15:59:59Z
Indulska, J.; MacFarlane, S.; Zhu, W. A hardware scheduler based on task queues for FPGA-based embedded real-time systems
http://espace.library.uq.edu.au/view/UQ:357205
A hardware scheduler is developed to improve real-time performance of soft-core processor based computing systems. A hardware scheduler typically accelerates system performance at the cost of increased hardware resources, inflexibility and integration difficulty. However, the reprogrammability of FPGA-based systems removes the problems of inflexibility and integration difficulty. This paper introduces a new task-queue architecture to better support practical task controls and maintain good resource scaling. The scheduler can be configured to support various algorithms such as time sliced priority scheduling, Earliest Deadline First and Least Slack Time. The hardware scheduler reduces scheduling overhead by more than 1,000 clock cycles and raises the system utilization bound by a maximum 19.2 percent. Scheduling jitter is reduced from hundreds of clock cycles in software to just two or three cycles for most operations. The additional resource cost is no more than 17 percent of a typical softcore system for a small scale embedded application.2015-05-03T01:16:26Z
Tang, Yi; Bergmann, Neil W. A helicopter named Dolly: Behavioural cloning for autonomous helicopter control
http://espace.library.uq.edu.au/view/UQ:99325
This paper considers the pros and cons of using behavioural cloning for the development of low-level helicopter automation modules. Over the course of this project several Behavioural cloning approaches have been investigated. The results of the most effective Behavioural cloning approach are then compared to PID modules designed for the same aircraft. The comparison takes into consideration development time, reliability, and control performance. It has been found that Behavioural cloning techniques employing local approximators and a wide state-space coverage during training can produce stabilising control modules in less time than tuning PID controllers. However, performance and reliabity deficits have been found to exist with the Behavioural Cloning, attributable largely to the time variant nature of the dynamics due to the operating environment, and the pilot actions being poor for teaching. The final conclusion drawn here is that tuning PID modules remains superior to behavioural cloning for low-level helicopter automation.2007-08-24T10:18:13Z
Buskey, G. D.; Roberts, J.; Wyeth, G. F. A heuristic data reduction approach for associative classification rule hiding
http://espace.library.uq.edu.au/view/UQ:176499
When data are to be shared between business partners, there could be some sensitive patterns which should not be disclosed to the other parties. On the other hand, the “quality” of the data must also be preserved. This creates an interesting question: how can we maintain the shared data that are guaranteed to have the quality, and the certain types of sensitive patterns be removed or “hidden”? In this paper, we address such the problem of sensitive classification rule hiding by using data reduction approach, i.e. removing the whole selected tuples in the given dataset. We focus on a specific type of classification rules, i.e. associative classification rules. In our context, a sensitive rule is hidden when its support falls below a minimal support threshold. Meanwhile, the impact on the data quality of the dataset is represented in term of a number of false-dropped rules, and a number of ghost rules. We present a few observations on the data quality with regard to the data reduction processes. From the observations, we can represent the impact by each reduction precisely without any re-applying the classification algorithm. Subsequently, we propose a heuristic algorithm to hide the sensitive rules based on the observations. Experimental results are presented to show the effectiveness and the efficiency of the proposed algorithm.2009-04-16T22:58:14Z
Natwichai, J.; Sun, X.; Xue, Li A hierarchical conflict resolution method for multi-agent path planning
http://espace.library.uq.edu.au/view/UQ:199118
2010-03-14T00:07:33Z
Chen, Kuang-Yuan; Lindsay, Peter A.; Robinson, Peter J.; Abbass, Hussein A. A high definition, finite difference time domain method
http://espace.library.uq.edu.au/view/UQ:64800
A high definition, finite difference time domain (HD-FDTD) method is presented in this paper. This new method allows the FDTD method to be efficiently applied over a very large frequency range including low frequencies, which are problematic for conventional FDTD methods. In the method, no alterations to the properties of either the source or the transmission media are required. The method is essentially frequency independent and has been verified against analytical solutions within the frequency range 50 Hz-1 GHz. As an example of the lower frequency range, the method has been applied to the problem of induced eddy currents in the human body resulting from the pulsed magnetic field gradients of an MRI system. The new method only requires approximately 0.3% of the source period to obtain an accurate solution. (C) 2003 Elsevier Science Inc. All rights reserved.2007-08-14T19:24:28Z
Zhao, Huawei W.; Crozier, Stuart; Liu, Feng A High-Level Programming Language for Modelling the Earth
http://espace.library.uq.edu.au/view/UQ:8866
Computational models based on the solution of partial differential equations (PDEs) play a key role in Earth systems simulations. The software implementing these models depends on the discretisation method, data structures and the computer architecture. For this reason, it is difficult for scientists to implement new models without strong software engineering skills. In this paper, we present a computational modeling language (escript) based on the object-oriented scripting language (Python). This language, is designed to implement PDE-based models with a high degree of abstraction from the underlying discretization techniques and their implementation. The main components of escript are the Data class objects which handle data with a spatial distribution and the linearPDE class which define linear PDEs to be solved in each step of a time integration or non-linear iteration scheme. As an example we will discuss the solution of the Lame equation and the implementation of a quasi-static model for crustal fault systems.2005-12-09T00:00:00Z
Gross, Lutz; Smillie, Jonathan; Davies, Matt A High Performance FDTD Scheme for MRI Applications
http://espace.library.uq.edu.au/view/UQ:104375
2007-08-23T22:20:05Z
Wang, Hua; Trakic, Adnan; Liu, Feng; Bialkowski, Marek E.; Crozier, Stuart A high resolution smart camera with GigE Vision extension for surveillance applications
http://espace.library.uq.edu.au/view/UQ:177223
2009-04-22T17:54:58Z
Norouznezhad, E.; Bigdeli, A.; Postula, A.; Lovell, B. C. A homogeneous superconducting magnet design using a hybrid optimization algorithm
http://espace.library.uq.edu.au/view/UQ:319630
This paper employs a hybrid optimization algorithm with a combination of linear programming (LP) and nonlinear programming (NLP) to design the highly homogeneous superconducting magnets for magnetic resonance imaging (MRI). The whole work is divided into two stages. The first LP stage provides a global optimal current map with several non-zero current clusters, and the mathematical model for the LP was updated by taking into account the maximum axial and radial magnetic field strength limitations. In the second NLP stage, the non-zero current clusters were discretized into practical solenoids. The superconducting conductor consumption was set as the objective function both in the LP and NLP stages to minimize the construction cost. In addition, the peak-peak homogeneity over the volume of imaging (VOI), the scope of 5 Gauss fringe field, and maximum magnetic field strength within superconducting coils were set as constraints. The detailed design process for a dedicated 3.0 T animal MRI scanner was presented. The homogeneous magnet produces a magnetic field quality of 6.0 ppm peak-peak homogeneity over a 16 cm by 18 cm elliptical VOI, and the 5 Gauss fringe field was limited within a 1.5 m by 2.0 m elliptical region.2013-12-17T00:27:27Z
Ni, Zhipeng; Wang, Qiuliang; Liu, Feng; Yan, Luguang A Hopfield neural network based task mapping method
http://espace.library.uq.edu.au/view/UQ:144116
With a prior knowledge of a program, static mapping aims to identify an optimal clustering strategy that can produce the best performance. In this paper we present a static method that uses Hopfield neural network to cluster the tasks of a parallel program for a given system. This method takes into account both load balancing and communication minimization. The method has been tested on a distributed shared memory system against other three clustering methods. Four programs, SOR, N-body, Gaussian Elimination and VQ, are used in the test. The result shows that our method is superior to the other three. (C) 1999 Elsevier Science B.V. All rights reserved.2008-06-10T14:53:10Z
Zhu, W.; Liang, T. Y.; Shieh, C. K. A hybrid approach to parameter tuning in genetic algorithms
http://espace.library.uq.edu.au/view/UQ:102995
2007-08-23T21:17:28Z
Yuan, B.; Gallagher, M. R. A hybrid approach towards information expansion based on shallow and deep metadata
http://espace.library.uq.edu.au/view/UQ:231410
2011-03-07T11:45:17Z
Groza, T; Handschuh, S A hybrid clustering approach to genome-scale recognition of protein families
http://espace.library.uq.edu.au/view/UQ:197347
2010-03-02T11:44:04Z
Harlow, T.J.; Gogarten, J. P.; Ragan, M. .A. A hybrid clustering approach to recognition of protein families in 114 microbial genomes
http://espace.library.uq.edu.au/view/UQ:111604
2007-09-19T19:00:25Z
Harlow, Timothy J.; Gogarten, J. Peter; Ragan, Mark A. A hybrid evaluation method for the full-wave analysis of microstrip structures
http://espace.library.uq.edu.au/view/UQ:110863
A hybrid evaluation method using both the spectral- and the spatial-domain techniques is proposed for the evaluation of the Summer-feld-type integrals resulting from the full-wave analysis of microstrip structures. This method combines the advantages of the spectral-domain for the evaluation of near fields and the spatial-domain method for the evaluation of far-fields. This method is simple and needs no additional formulations. It also provides an easy alternative method to handle the inefficiency of calculation with the singularity of the Green's function. Numerical results are used to demonstrate the simplicity and the accuracy of this method.2007-09-19T17:33:48Z
Hui, H. T.; Yung, E. K. N.; Sheng, X. Q.; Chan, C. H. A hybrid field-harmonics approach for passive shimming design in MRI
http://espace.library.uq.edu.au/view/UQ:263846
2011-12-20T13:03:51Z
Liu, Feng; Zhu, Jianfeng; Xia, Ling; Crozier, Stuart A Hybrid Inductive and Active Filtering Method for Damping Harmonic Resonance in Distribution Network with Nonlinear Loads
http://espace.library.uq.edu.au/view/UQ:364791
2015-07-16T14:53:07Z
Li, Yong; Liu, Fang; Saha, Tapan K.; Krause, Olav; Cao, Yijia A hybrid, inverse approach to the design of magnetic resonance imaging magnets
http://espace.library.uq.edu.au/view/UQ:36284
This paper describes a hybrid numerical method of an inverse approach to the design of compact magnetic resonance imaging magnets. The problem is formulated as a field synthesis and the desired current density on the surface of a cylinder is first calculated by solving a Fredholm equation of the first, kind. Nonlinear optimization methods are then invoked to fit practical magnet coils to the desired current density. The field calculations are performed using a semi-analytical method. The emphasis of this work is on the optimal design of short MRI magnets. Details of the hybrid numerical model are presented, and the model is used to investigate compact, symmetric MRI magnets as well as asymmetric magnets. The results highlight that the method can be used to obtain a compact MRI magnet structure and a very homogeneous magnetic field over the central imaging volume in clinical systems of approximately 1 m in length, significantly shorter than current designs. Viable asymmetric magnet designs, in which the edge of the homogeneous region is very close to one end of the magnet system are also presented. Unshielded designs are the focus of this work. This method is flexible and may be applied to magnets of other geometries. (C) 2000 American Association of Physicists in Medicine. [S0094-2405(00)00303-5].2007-08-13T11:39:57Z
Zhao, Huawei; Crozier, Stuart; Doddrell, David M. A hybrid mock circulation loop for a total artificial heart
http://espace.library.uq.edu.au/view/UQ:340900
Rotary blood pumps are emerging as a viable technology for total artificial hearts, and the development of physiological control algorithms is accelerated with new evaluation environments. In this article, we present a novel hybrid mock circulation loop (HMCL) designed specifically for evaluation of rotary total artificial hearts (rTAH). The rTAH is operated in the physical domain while all vasculature elements are embedded in the numerical domain, thus combining the strengths of both approaches: fast and easy exchange of the vasculature model together with improved controllability of the pump. Parameters, such as vascular resistance, compliance, and blood volume, can be varied dynamically in silico during operation. A hydraulic–numeric interface creates a real-time feedback loop between the physical and numerical domains. The HMCL uses computer-controlled resistance valves as actuators, thereby reducing the size and number of hydraulic elements. Experimental results demonstrate a stable interaction over a wide operational range and a high degree of flexibility. Therefore, we demonstrate that the newly created design environment can play an integral part in the hydraulic design, control development, and durability testing of rTAHs.2014-10-01T15:10:34Z
Nestler, Frank; Bradley, Andrew P.; Wilson, Stephen J.; Timms, Daniel L.; Frazier, Howard; Cohn, William E. A hybrid model of maximum margin clustering method and support vector regression for noninvasive electrocardiographic imaging
http://espace.library.uq.edu.au/view/UQ:286919
Noninvasive electrocardiographic imaging, such as the reconstruction of myocardial transmembrane potentials (TMPs) distribution, can provide more detailed and complicated electrophysiological information than the body surface potentials (BSPs). However, the noninvasive reconstruction of the TMPs from BSPs is a typical inverse problem. In this study, this inverse ECG problem is treated as a regression problem with multi-inputs (BSPs) and multioutputs (TMPs), which will be solved by the Maximum Margin Clustering- (MMC-) Support Vector Regression (SVR) method. First, the MMC approach is adopted to cluster the training samples (a series of time instant BSPs), and the individual SVR model for each cluster is then constructed. For each testing sample, we find its matched cluster and then use the corresponding SVR model to reconstruct the TMPs. Using testing samples, it is found that the reconstructed TMPs results with the MMC-SVR method are more accurate than those of the single SVR method. In addition to the improved accuracy in solving the inverse ECG problem, the MMC-SVR method divides the training samples into clusters of small sample sizes, which can enhance the computation efficiency of training the SVR model.2012-12-09T00:14:28Z
Jiang, Mingfeng; Liu, Feng; Wang, Yaming; Shou, Guofa; Huang, Wenqing; Zhang, Huaxiong A 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: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 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 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 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 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.