Masonry wall panels retrofitted with thermal-insulating GFRP-reinforced jacketing

Today there is a need to provide thermally efficient walls, while at the same time to increase the mechanical properties of old unreinforced masonry walls that will not require large amounts of energy in the retrofitting or deconstruction processes. To address this problem, this paper gives the results of shear tests carried out on masonry panels made of solid bricks retrofitted with a new technique based on the use of glass fiber-reinforced polymers (GFRP) grids inserted into a thermal insulating jacketing. This was made of different low-strength lime-based mortars. Tests were carried out in laboratory and results were used for the determination of the shear modulus and strength of the wall panels before and after the application of the GFRP reinforcement. Retrofitted panels exhibited a significant enhancement in the lateral capacity when compared to the control panels. The thermal performance of the proposed mortars was also investigated both with and without GFRP. Low values of thermal conductivity were found, especially for the samples with GFRP; a reduction of the thermal transmittance value in the 34–45 % range was also obtained by applying 45 mm layer of coating in conventional masonry walls

Planning as Tabled Logic Programming

This paper describes Picat's planner, its implementation, and planning models for several domains used in International Planning Competition (IPC) 2014. Picat's planner is implemented by use of tabling. During search, every state encountered is tabled, and tabled states are used to effectively perform resource-bounded search. In Picat, structured data can be used to avoid enumerating all possible permutations of objects, and term sharing is used to avoid duplication of common state data. This paper presents several modeling techniques through the example models, ranging from designing state representations to facilitate data sharing and symmetry breaking, encoding actions with operations for efficient precondition checking and state updating, to incorporating domain knowledge and heuristics. Broadly, this paper demonstrates the effectiveness of tabled logic programming for planning, and argues the importance of modeling despite recent significant progress in domain-independent PDDL planners.Comment: 27 pages in TPLP 201

Mobile robot localization using robust extended H-infinity filtering

This is the author's accepted manuscript. The final published article is available from the link below. Copyright @ 2009 Institution of Mechanical Engineers.In this paper, a novel methodology is provided for accurate localization of a mobile robot using autonomous navigation based on internal and external sensors. A new robust extended H∞ filter is developed to deal with the non-linear kinematic model of the robot and the non-linear distance measurements, together with process and measurement noises. The proposed filter relies on a two-step prediction-correction structure, which is similar to a Kalman filter. Simulations are provided to demonstrate the effectiveness of the proposed method.EPSRC, the Nuffield Foundation, and the Alexander von Humboldt Foundation

An Innovative Take on Filtering Carbon Dioxide Through CryoCapture

Overview (Air Mover): Carbon dioxide plays an important role in the earth's ecosystem; the lives of many organisms are based on the balancing of this gas. Plants and animals need it for survival however, an excess of carbon dioxide can also end the organism’s life. The production of the gas mostly comes from the combustion of fossil fuel, power plants, big industries, vehicles, and processes involving natural gasses. One of the most known issues of carbon dioxide pollution is global warming. The greenhouse gas essentially traps heat in the atmosphere, increasing the global temperature. The methodology provided is an innovative solution towards the creation of an environmentally friendly carbon dioxide filter. Current air filtration systems are restricted to industrial environments limiting the ability to filter the air. Due to the large noise and low range of operation of axial fans the filtration systems need controlled environments for longevity. The paper presents a versatile air mover that can be mounted onto multiple surfaces due to its low profile and bracket mounts. Furthermore, the usage of a diagonal fan inside of a PVC pipe allows for a durable system that can operate at high efficiency and low noise. The main challenge in designing the air mover was figuring out how to quantify the scalability of the device and what parameters could be changed in order to make the device more viable. The designs most prominent feature are the inclusion of a modular enclosure that can be adapted to multiple areas and environments while withstanding harsh conditions due to the PVC piping that can be coated with a diagonal fan for high volumetric flow rates and pressure differential for versatility in environments the device is placed in as well as efficiency. Overview (Carbon Storer): The Civil and Environmental Engineering team is responsible for finding a cost effective and sustainable way to transport, store and recycle the carbon caught in the air from the Carbon Catcher designed by the other engineering teams. In the team’s design, the Carbon Catcher will reduce the harmful emissions in the air by capturing CO2, store it and then utilize it in another industry which will reduce the need to mine for more raw materials which would thus further reduce the pollution emitted into the environment. Our plan is to recycle the carbon emitted from a factory and utilize it in CO2 dry ice. It's the Civil and Environmental Engineers’ job to find a way to connect a sustainable solution with a solution that improves the public’s quality of life. There are many industries that pollute immense amounts from the mining of raw material or the emission of pollutants. The team wants to show industries that the economic solution can also be the sustainable solution. Overview (Membrane) The team’s solution focuses on the use of cryogenic carbon capture, a method in which the selective freezing points of the gaseous components of air are used to separate out carbon dioxide. For this process, the team will be utilizing a 4 step filtration process. First, the flue gas will be run through a particulate filter to catch all macroscopic particles that may be present within the air. Afterwards, the gas is then passed through a dehumidifier where a majority of water content will be extracted. Following this, The gas was then run through a long pipe and progressively cool it down to the freezing point of carbon dioxide. Finally, the filtered gas is extracted, and a bubbler is used to separate the solid carbon dioxide. The carbon dioxide is then compressed and recycled around the feed pipe to help in the cooling process. Along the process of this design, the team encountered problems finding the optimum materials for temperatures this low. As well, coming up with a way to eliminate heat transfer from the outside posed a huge problem. Through the experience, the team was able to gain a greater view of what benefits and drawbacks must be balanced, along with the economic interest that comes with designing an efficient process. Unlike how most designs are focused, It was understood that using a membrane only provided so much creativity when it came to filtration. As a result, the team researched other successful methods and arrived at utilizing cryogenics to filter. Goal Research to provide a single solution to remove levels of carbon dioxide in the immediate atmosphere, transport it to a storage mechanism, and find a way to recycle it. Powerful research is required to ensure effective methodologies, material usage, and flexible scalability of the overall device. This particular team seeks to find an alternative separation process to membrane filtration, the efficacy of which has not been demonstrated beyond the scale of a laboratory

Structural performance of steel-concrete sandwich beams with carbon nanofiber reinforcement

Cementitious materials such as concrete are typically characterised as quasi-brittle with low tensile strength and low strain capacity, which hence affect the long-term durability of the structure. One of the most important issues in designing and maintaining massive concrete structures like offshore and nuclear power plants is concrete cracking, which is due to the low tensile strength of concrete. This can destroy the structural aesthetic and lead to deterioration of the structure. The addition of fibers to concrete has been proven to be a good mean to control its crack behaviour and maintain its ductility in tension. Further, since the discovery of carbon nanotubes/fibers (CNT/CNF), they have been also considered as efficient fibers for construction materials such as concrete. This study presents the structural performance of steel-concrete (SC) elements with a fiber reinforced concrete (FRC) core using both single and hybrid fibers (i.e. consisting of two types of fibers). For this study carbon nanofibers, and steel fibers which are conventionally used in practice, are used for the FRC. Static tests were conducted on eight SC beams with different concrete types. The paper reports on the experimental results obtained from four-point flexural loading of the SC beams. The study shows considerable improvement for both the strength and ductility of the tested specimens. The research laid the groundwork for additional in-depth studies on using carbon nanofiber reinforced concrete within structural members

Trilogy on Computing Maximal Eigenpair

The eigenpair here means the twins consist of eigenvalue and its eigenvector. This paper introduces the three steps of our study on computing the maximal eigenpair. In the first two steps, we construct efficient initials for a known but dangerous algorithm, first for tridiagonal matrices and then for irreducible matrices, having nonnegative off-diagonal elements. In the third step, we present two global algorithms which are still efficient and work well for a quite large class of matrices, even complex for instance.Comment: Updated versio