A tableau system for Quasi-hybrid logic

Hybrid logic is a valuable tool for specifying relational structures, at the same time that allows defining accessibility relations between states, it provides a way to nominate and make mention to what happens at each specific state. However, due to the many sources nowadays available, we may need to deal with contradictory information. This is the reason why we came with the idea of Quasi-hybrid logic, which is a paraconsistent version of hybrid logic capable of dealing with inconsistencies in the information, written as hybrid formulas. In [5] we have already developed a semantics for this paraconsistent logic. In this paper we go a step forward, namely we study its proof-theoretical aspects. We present a complete tableau system for Quasi-hybrid logic, by combining both tableaux for Quasi-classical and Hybrid logics.

Hybrid Power System Intelligent Operation and Protection Involving Distributed Architectures and Pulsed Loads

Efficient and reliable techniques for power delivery and utilization are needed to account for the increased penetration of renewable energy sources in electric power systems. Such methods are also required for current and future demands of plug-in electric vehicles and high-power electronic loads. Distributed control and optimal power network architectures will lead to viable solutions to the energy management issue with high level of reliability and security. This dissertation is aimed at developing and verifying new techniques for distributed control by deploying DC microgrids, involving distributed renewable generation and energy storage, through the operating AC power system. To achieve the findings of this dissertation, an energy system architecture was developed involving AC and DC networks, both with distributed generations and demands. The various components of the DC microgrid were designed and built including DC-DC converters, voltage source inverters (VSI) and AC-DC rectifiers featuring novel designs developed by the candidate. New control techniques were developed and implemented to maximize the operating range of the power conditioning units used for integrating renewable energy into the DC bus. The control and operation of the DC microgrids in the hybrid AC/DC system involve intelligent energy management. Real-time energy management algorithms were developed and experimentally verified. These algorithms are based on intelligent decision-making elements along with an optimization process. This was aimed at enhancing the overall performance of the power system and mitigating the effect of heavy non-linear loads with variable intensity and duration. The developed algorithms were also used for managing the charging/discharging process of plug-in electric vehicle emulators. The protection of the proposed hybrid AC/DC power system was studied. Fault analysis and protection scheme and coordination, in addition to ideas on how to retrofit currently available protection concepts and devices for AC systems in a DC network, were presented. A study was also conducted on the effect of changing the distribution architecture and distributing the storage assets on the various zones of the network on the system’s dynamic security and stability. A practical shipboard power system was studied as an example of a hybrid AC/DC power system involving pulsed loads. Generally, the proposed hybrid AC/DC power system, besides most of the ideas, controls and algorithms presented in this dissertation, were experimentally verified at the Smart Grid Testbed, Energy Systems Research Laboratory. All the developments in this dissertation were experimentally verified at the Smart Grid Testbed.

Improvements to the fire performance of light gauge steel floor systems

Light gauge steel frame (LSF) structures are increasingly used in commercial and residential buildings because of their non-combustibility, dimensional stability and ease of installation. A common application is in floor-ceiling systems. The LSF floor-ceiling systems must be designed to serve as fire compartment boundaries and provide adequate fire resistance. Fire-rated floor-ceiling assemblies have been increasingly used in buildings. However, limited research has been undertaken in the past and hence a thorough understanding of their fire resistance behaviour is not available. Recently a new composite floor-ceiling system has been developed to provide higher fire rating. But its increased fire rating could not be determined using the currently available design methods. Therefore a research project was conducted to investigate its structural and fire resistance behaviour under standard fire conditions. This paper presents the results of full scale experimental investigations into the structural and fire behaviour of the new LSF floor system protected by the composite ceiling unit. Both the conventional and the new floor systems were tested under structural and fire loads. It demonstrates the improvements provided by the new composite panel system in comparison to conventional floor systems. Numerical studies were also undertaken using the finite element program ABAQUS. Measured temperature profiles of floors were used in the numerical analyses and their results were compared with fire test results. Tests and numerical studies provided a good understanding of the fire behaviour of the LSF floor-ceiling systems and confirmed the superior performance of the new composite system.

Numerical and experimental studies of cold-formed steel floor systems under standard fire conditions

Light gauge cold-formed steel frame (LSF) structures are increasingly used in industrial, commercial and residential buildings because of their non-combustibility, dimensional stability, and ease of installation. A floor-ceiling system is an example of its applications. LSF floor-ceiling systems must be designed to serve as fire compartment boundaries and provide adequate fire resistance. Fire rated floor-ceiling assemblies formed with new materials and construction methodologies have been increasingly used in buildings. However, limited research has been undertaken in the past and hence a thorough understanding of their fire resistance behaviour is not available. Recently a new composite panel in which an external insulation layer is used between two plasterboards has been developed at QUT to provide a higher fire rating to LSF floors under standard fire conditions. But its increased fire rating could not be determined using the currently available design methods. Research on LSF floor systems under fire conditions is relatively recent and the behaviour of floor joists and other components in the systems is not fully understood. The present design methods thus require the use of expensive fire protection materials to protect them from excessive heat increase during a fire. This leads to uneconomical and conservative designs. Fire rating of these floor systems is provided simply by adding more plasterboard sheets to the steel joists and such an approach is totally inefficient. Hence a detailed fire research study was undertaken into the structural and thermal performance of LSF floor systems including those protected by the new composite panel system using full scale fire tests and extensive numerical studies. Experimental study included both the conventional and the new steel floor-ceiling systems under structural and fire loads using a gas furnace designed to deliver heat in accordance with the standard time- temperature curve in AS 1530.4 (SA, 2005). Fire tests included the behavioural and deflection characteristics of LSF floor joists until failure as well as related time-temperature measurements across the section and along the length of all the specimens. Full scale fire tests have shown that the structural and thermal performance of externally insulated LSF floor system was superior than traditional LSF floors with or without cavity insulation. Therefore this research recommends the use of the new composite panel system for cold-formed LSF floor-ceiling systems. The numerical analyses of LSF floor joists were undertaken using the finite element program ABAQUS based on the measured time-temperature profiles obtained from fire tests under both steady state and transient state conditions. Mechanical properties at elevated temperatures were considered based on the equations proposed by Dolamune Kankanamge and Mahendran (2011). Finite element models were calibrated using the full scale test results and used to further provide a detailed understanding of the structural fire behaviour of the LSF floor-ceiling systems. The models also confirmed the superior performance of the new composite panel system. The validated model was then used in a detailed parametric study. Fire tests and the numerical studies showed that plasterboards provided sufficient lateral restraint to LSF floor joists until their failure. Hence only the section moment capacity of LSF floor joists subjected to local buckling effects was considered in this research. To predict the section moment capacity at elevated temperatures, the effective section modulus of joists at ambient temperature is generally considered adequate. However, this research has shown that it leads to considerable over- estimation of the local buckling capacity of joist subject to non-uniform temperature distributions under fire conditions. Therefore new simplified fire design rules were proposed for LSF floor joist to determine the section moment capacity at elevated temperature based on AS/NZS 4600 (SA, 2005), NAS (AISI, 2007) and Eurocode 3 Part 1.3 (ECS, 2006). The accuracy of the proposed fire design rules was verified with finite element analysis results. A spread sheet based design tool was also developed based on these design rules to predict the failure load ratio versus time, moment capacity versus time and temperature for various LSF floor configurations. Idealised time-temperature profiles of LSF floor joists were developed based on fire test measurements. They were used in the detailed parametric study to fully understand the structural and fire behaviour of LSF floor panels. Simple design rules were also proposed to predict both critical average joist temperatures and failure times (fire rating) of LSF floor systems with various floor configurations and structural parameters under any given load ratio. Findings from this research have led to a comprehensive understanding of the structural and fire behaviour of LSF floor systems including those protected by the new composite panel, and simple design methods. These design rules were proposed within the guidelines of the Australian/New Zealand, American and European cold- formed steel structures standard codes of practice. These may also lead to further improvements to fire resistance through suitable modifications to the current composite panel system.

Design of a least-cost battery-supercapacitor energy storage system for realizing dispatchable wind power

A statistical approach is used in the design of a battery-supercapacitor energy storage system for a wind farm. The design exploits the technical merits of the two energy storage mediums, in terms of the differences in their specific power and energy densities, and their ability to accommodate different rates of change in the charging/discharging powers. By treating the input wind power as random and using a proposed coordinated power flows control strategy for the battery and the supercapacitor, the approach evaluates the energy storage capacities, the corresponding expected life cycle cost/year of the storage mediums, and the expected cost/year of unmet power dispatch. A computational procedure is then developed for the design of a least-cost/year hybrid energy storage system to realize wind power dispatch at a specified confidence level.

Design of a renewable - hybrid energy storage power scheme for short-term power dispatch

A hybrid energy storage system (HESS) consisting of battery and supercapacitor (SC) is proposed for use in a wind farm in order to achieve power dispatchability. In the designed scheme, the rate of charging/discharging powers of the battery is controlled while the faster wind power transients are diverted to the SC. This enhances the lifetime of the battery. Furthermore, by taking into consideration the random nature of the wind power, a statistical design method is developed to determine the capacities of the HESS needed to achieve specified confidence level in the power dispatch. The proposed approach is useful in the planning of the wind farm-HESS scheme and the coordination of the power flows between the battery and SC.

Optimization and design of energy transport system for solar cooking application

This paper proposes a hybrid solar cooking system where the solar energy is transported to the kitchen. The thermal energy source is used to supplement the Liquefied Petroleum Gas (LPG) that is in common use in kitchens. Solar energy is transferred to the kitchen by means of a circulating fluid. Energy collected from sun is maximized by changing the flow rate dynamically. This paper proposes a concept of maximum power point tracking (MPPT) for the solar thermal collector. The diameter of the pipe is selected to optimize the overall energy transfer. Design and sizing of different components of the system are explained. Concept of MPPT is validated with simulation and experimental results. (C) 2010 Elsevier Ltd. All rights reserved.

Hybrid Solar Cooking

In the existing traditional solar cookers, the cooking is performed near the collector which may be at an inconvenient location for cooking purposes. This paper proposes a hybrid solar cooking system where the solar energy is brought to the kitchen. The energy source is a combination of the solar thermal energy and the Liquefied Petroleum Gas (LPG) that is very common in kitchens. The solar thermal energy is transferred to the kitchen by means of a circulating fluid like oil. The transfer of solar heat is a two fold process wherein the energy from the collector is transferred first to an intermediate energy storage tank and then the energy is subsequently transferred from the tank to the cooking load. There are three parameters that are controlled in order to maximize the energy transfer from the collector to the load viz. the fluid flow rate from collector to tank, fluid flow rate from tank to load and the diameter of the pipes. The entire system is modeled using the bond graph approach. This paper discusses the implementation of such a system.

Design and simulation of SMES system using YBCO tapes for direct drive wave energy converters

The ocean represents a huge energy reservoir since waves can be exploited to generate clean and renewable electricity; however, a hybrid energy storage system is needed to smooth the fluctuation. In this paper a hybrid energy storage system using a superconducting magnetic energy system (SMES) and Li-ion battery is proposed. The SMES is designed using Yttrium Barium Copper Oxide (YBCO) tapes, which store 60 kJ electrical energy. The magnet component of the SMES is designed using global optimization algorithm. Mechanical stress, coupled with electromagnetic field, is calculated using COMSOL and Matlab. A cooling system is presented and a suitable refrigerator is chosen to maintain a cold working temperature taking into account four heat sources. Then a microgrid system of direct drive linear wave energy converters is designed. The interface circuit connecting the generator and storage system is given. The result reveals that the fluctuated power from direct drive linear wave energy converters is smoothed by the hybrid energy storage system. The maximum power of the wave energy converter is 10 kW. © 2012 IEEE.

Hybrid-electric propulsion for aircraft

Against a background of increasing energy demand and rising fuel prices, hybrid-electric propulsion systems (HEPS) have the potential to significantly reduce fuel consumption in the aviation industry, particularly in the lighter sectors. By taking advantage of both Electric Motor (EM) and Internal Combustion Engine (ICE), HEPS provide not only a benefit in fuel saving but also a reduction in take-off noise and the emission levels. This research considers the design and sizing process of a hybrid-electric propulsion system for a single-seat demonstrator aircraft, the experimental derivation of the ICE map and the EM parameters. In addition to the experimental data, a novel modeling approach including several linked desktop PC software packages is presented to analyze and optimize hybrid-electric technology for aircraft. Further to the analysis of a parallel hybrid-electric, mid-scale aircraft, this paper also presents a scaling approach for a 20 kg UAV and a 50 tonne inter-city airliner. At the smaller scale, two different mission profiles are analyzed: an ISR mission profile, where the simulation routine optimizes the component size of the hybrid-electric propulsion system with respect to fuel saving, and a maximum duration profile; where the flight endurance is determined as a function of payload weight. At the larger scale, the performance of a 50 tonne inter-city airliner is modeled, based on a hybrid-electric gas-turbine, assuming a range of electric boost powers and battery masses.

Developing ISO 14649-based conversational programming system for multi-channel complex machine tools

A multi-channel complex machine tool (MCCM) is a versatile machining system equipped with more than two spindles and turrets for both turning and milling operations. Despite the potential of such a tool, the value of the hardware is largely dependent on how the machine tools are effectively programmed for machining. In this paper we consider a shop-floor programming system based on ISO 14649 (called e-CAM), the international standard for the interface between computer-aided manufacture (CAM) and computer numerical control (CNC). To be deployed in practical industrial usage a great deal of research has to be carried out. In this paper we present: 1) Design consideration for an e-CAM system, 2) The architecture design of e-CAM, 3) Major algorithms to fulfill the modules defined in the architecture, and 4) Implementation details.

Hybrid waveguide-plasmon resonances in gold pillar arrays on top of a dielectric waveguide

We propose a hybrid waveguide-plasmon system consisting of gold pillar arrays on top of a dielectric waveguide. The formation of extraordinary transmissions induced by the hybrid waveguide-plasmon resonances is investigated by rigorous coupled-wave analysis. The characteristics of the hybrid resonances can be predicted by introducing the photonic crystal slab theory. Extremely narrow absorption peaks and the electromagnetically induced transparency-like optical property are demonstrated in our hybrid system. (C) 2010 Optical Society of America

Effects of LED-laser hybrid light on bleaching effectiveness and tooth sensitivity: A randomized clinical study

The study evaluated the effectiveness and the sensitivity of in-office tooth bleaching with the use of a hybrid photo-activation system composed by LEDs and lasers. 40 patients, both genders, aged 18 through 25 years, were randomly distributed into two treatment groups: group I, 35% hydrogen peroxide, with a total bleaching time of 135 min divided into three sessions, and group II, 35% hydrogen peroxide and photo-thermal catalysis by an LED-laser system (300 mW cm-2), for a total bleaching time of 72 min divided into three sessions. The treatment efficiency was measured by reflectance spectroscopy and sensitivity by a visual analog scale (VAS). The final luminosity value (ΔL), color variation (ΔE) and sensitivity (S) resulting from the treatments were analyzed by the generalized estimating equations method (GEEs), and Bonferroni post hoc multiple comparisons at 5% significance. The two groups presented similar colors (ΔE) and luminosities (ΔL) after treatment. Group I presented a greater sensitivity index (37.6 ± 5.9%) compared to group II (11.1 ± 3.3%), statistically significant at p < 0.05. The use of LED-laser hybrid light, as a catalyst of the bleaching agents, showed a significant decrease of provoked tooth sensitivity and a treatment time reduced by 53%, with the same aesthetic results as without a light source. © 2013 Astro Ltd.

Lernen mit einer Hybride aus Lernendem Klassifizierendem System und Selbstorganisierender Karte

Im Forschungsgebiet der Künstlichen Intelligenz, insbesondere im Bereich des maschinellen Lernens, hat sich eine ganze Reihe von Verfahren etabliert, die von biologischen Vorbildern inspiriert sind. Die prominentesten Vertreter derartiger Verfahren sind zum einen Evolutionäre Algorithmen, zum anderen Künstliche Neuronale Netze. Die vorliegende Arbeit befasst sich mit der Entwicklung eines Systems zum maschinellen Lernen, das Charakteristika beider Paradigmen in sich vereint: Das Hybride Lernende Klassifizierende System (HCS) wird basierend auf dem reellwertig kodierten eXtended Learning Classifier System (XCS), das als Lernmechanismus einen Genetischen Algorithmus enthält, und dem Wachsenden Neuralen Gas (GNG) entwickelt. Wie das XCS evolviert auch das HCS mit Hilfe eines Genetischen Algorithmus eine Population von Klassifizierern - das sind Regeln der Form [WENN Bedingung DANN Aktion], wobei die Bedingung angibt, in welchem Bereich des Zustandsraumes eines Lernproblems ein Klassifizierer anwendbar ist. Beim XCS spezifiziert die Bedingung in der Regel einen achsenparallelen Hyperquader, was oftmals keine angemessene Unterteilung des Zustandsraumes erlaubt. Beim HCS hingegen werden die Bedingungen der Klassifizierer durch Gewichtsvektoren beschrieben, wie die Neuronen des GNG sie besitzen. Jeder Klassifizierer ist anwendbar in seiner Zelle der durch die Population des HCS induzierten Voronoizerlegung des Zustandsraumes, dieser kann also flexibler unterteilt werden als beim XCS. Die Verwendung von Gewichtsvektoren ermöglicht ferner, einen vom Neuronenadaptationsverfahren des GNG abgeleiteten Mechanismus als zweites Lernverfahren neben dem Genetischen Algorithmus einzusetzen. Während das Lernen beim XCS rein evolutionär erfolgt, also nur durch Erzeugen neuer Klassifizierer, ermöglicht dies dem HCS, bereits vorhandene Klassifizierer anzupassen und zu verbessern. Zur Evaluation des HCS werden mit diesem verschiedene Lern-Experimente durchgeführt. Die Leistungsfähigkeit des Ansatzes wird in einer Reihe von Lernproblemen aus den Bereichen der Klassifikation, der Funktionsapproximation und des Lernens von Aktionen in einer interaktiven Lernumgebung unter Beweis gestellt.

Comparative analysis of midline guidance and axon pathfinding in the chelicerates Achaearanea tepidariorum and Cupiennius salei

Die Neurogenese und axonale Wegfindung sind in den vergangenen Jahrzehnten Thema einer Vielzahl wissenschaftlicher Untersuchungen in den verschiedensten Organismen gewesen. Die zusammengetragenen Daten in Insekten und Crustaceen geben eine gute Übersicht darüber, wie das Nervensystem in Arthropoden aufgebaut wird. Die entwicklungsbiologischen Prozesse, die daran beteiligt sind, sind in den beiden genannten Gruppen sehr gut verstanden. In den Gruppen der Cheliceraten und Myriapoden jedoch wurden ähnliche Analysen bisher kaum durchgeführt. Das Hauptanliegen dieser Arbeit war es daher, Mechanismen in den Spinnen Achaearanea tepidariorum und Cupiennius salei, zwei Vertretern der Cheliceraten, zu untersuchen, die eine Rolle im Leitsystem der ventralen Mittellinie und bei der axonalen Wegfindung spielen. Eine Vorraussetzung hierfür sind Kenntnisse über die Architektur des Zentralnervensystems. In einem ersten Schritt beschrieb ich daher grundlegend die Morphologie des Nervensystems im Verlauf der gesamten Embryoalentwicklung. Ich konnte zeigen, dass in Spinnen ein für Arthropoden typisches Strickleiternervensystem gebildet wird. Dieses wird von segmental angelegten Neuronen geformt, wobei sowohl Gruppen von Zellen als auch einzelne Neurone daran beteiligt sind, die primären axonalen Trakte zu etablieren. Im Besonderen konnte ich eine Zelle identifizieren, die in Position, Projektionsmuster und der Expression des Markergens even-skipped vergleichbar zum PR2 Neuron in Drosophila ist, welches die posteriore Wurzel des Segmentalnervs anlegt.rnrnIn einem zweiten Ansatz untersuchte ich die ventrale Mittellinie in Spinnen im Bezug auf ihre mögliche Funktion in der axonalen Wegfindung. Es konnte gezeigt werden, dass es sich beim Epithel der Mittellinie, das die Lücke zwischen beiden Keimstreifhälften während des gesamten Prozesses der Inversion überspannt, um eine transiente Struktur handelt, die keine neuralen Zellen hervorbringt. Es ist daher vergleichbar mit der so genannten Floor plate in Vertebraten, die ebenfalls nur vorübergehend existiert. Die Untersuchung von single minded (sim) zeigte, dass es, anders als in Drosophila, wo sim ein wichtiges regulatorisches Gen für die korrekte Spezifizierung von Mittellinienzellen ist, nicht in den Zellen der Mittellinie, sondern in diesen benachbarten Zellen, exprimiert wird. Das ist vergleichbar mit Vertebraten. Zusätzlich konnte ich Expression von sim an den Basen der Gliedmassen und im Kopf nachweisen. Wie in Vertebraten könnte sim an der Musterbildung dieser Gewebe beteiligt sein. Dennoch spielt die Mittellinie in Spinnen eine wichtige Rolle als Organisator für auswachsende, kommissurale Axone. Diese Funktion teilt sie mit anderen Invertebraten und Vertebraten.rnrnDie Signaltransduktionskaskade, die an der axonalen Wegfindung an der Mittellinie beteiligt ist, ist in den verschiedensten Organismen hoch konserviert. In der vorliegenden Arbeit konnte ich sowohl in Achaearanea als auch in Cupiennius ein netrin Homolog identifizieren und eine konservierte Funktion des Wegfindungsmoleküls während der Bildung der Kommissuren aufzeigen. RNAi Experimente belegen, dass, wird die Funktion von netrin herunterreguliert, das Strickleiternervensystem nicht korrekt gebildet wird, ins Besondere die kommissuralen Faszikel. Des Weiteren konnte ich eine neue Funktion von netrin, die bisher in anderen Organsimen noch nicht beschrieben wurde, identifizieren. Neben seiner Rolle in der axonalen Wegfindung, scheint netrin auch an der epithelialen Morphogenese im zentralen Nervensystem beteiligt zu sein. In dieser Funktion scheint netrin in Gliazellen, die die epithelialen Vesikel der Invaginationsgruppen umhüllen, wichtig zu sein, um neurale Vorläuferzellen in einem undifferenzierten Zustand zu halten. Der Abbau von netrin Transkript durch RNA Interferenz führt zu einer verfrühten Segregation neuraler Vorläuferzellen aus dem epithelialen Verband der Invaginationsgruppen und zu einer Zunahme an Zellen, die den frühen Differenzierungsmarker islet exprimieren.