Physical Sciences and Mathematics Commons^™

Coordinated Utilisation Of Wind Farm Reactive Power Capability For System Loss Optimisation, Lasantha Meegahapola, S Durairaj, D Flynn, B Fox

Dr Lasantha G Meegahapola

Most wind farms currently being installed are based upon doubly fed induction generator (DFIG) or direct-drive synchronous generator (DDSG) technology. Given that one of the impacts of introducing distributed generation is an alteration of steady-state power flows and voltages, both technologies are capable of providing local voltage support. Wind farms may, therefore, be included in optimal power flow (OPF) calculations to minimise fuel cost and/or network losses. The IEEE 30-bus system is considered as a case study, comparing fixed-speed induction generator (FSIG) requirements with DFIG capability. Results are presented for a range of DFIG capability modes, at varying system load …

Rfid-Based Anti-Theft Auto Security System With An Immobilizer, Geeth Jayendra, Sisil Kumarawadu, Lasantha Meegahapola

Dr Lasantha G Meegahapola

This paper presents a novel radio frequency identification (RFID) based vehicle immobilizer system, which features low hacking probability while preserving the safety of the passengers of the hijacked vehicle. The immobilizer uses the active RFID technology where the tag is generated with comparatively large character sets. The receiving unit is intelligently integrated into three control circuits in the vehicle, namely, ignition circuit, power control unit, and automatic gear changing system, enabling it to bring the vehicle speed down to zero in a safe step by step manner. The anti-theft auto security system proposed here was tested under different weather conditions …

Spectroscopic And Physico-Chemical Characterization Of Ir(I) And Ru(Iii) Complexes Of 32-Membered Unsymmetrical Dinucleating Macrocyclic Ligand, Mohammad Mansoob Khan Dr

Dr. Mohammad Mansoob Khan

No abstract provided.

Mineralization Of Ancient Carbon In The Subsurface Of Riparian Forests, Noel P. Gurwick, Daniel M. Mccorkle, Peter M. Groffman, Arthur J. Gold, D. Q. Kellogg, Peter Seitz-Rundlett

Arthur Gold

Microbial activity in saturated, subsurface sediments in riparian forests may be supported by recent photosynthate or ancient (>500 ybp) soil organic carbon (SOC) in buried horizons. Metabolism of ancient SOC may be particularly important in riparian zones, considered denitrification hot spots, because denitrification in the riparian subsurface is often C-limited, because buried horizons intersect deep flow paths, and because low C mineralization rates can support ecosystem-relevant rates of denitrification. Buried horizons are common where alluvial processes (stream migration, overbank flow) have dominated riparian evolution. Our objectives were to determine: (1) the extent to which ancient SOC directly supports subsurface …

Biogenic Synthesis, Photocatalytic, And Photoelectrochemical Performance Of Ag–Zno Nanocomposite, S. A. Ansari, Mohammad Mansoob Khan Dr, M. O. Ansari, J. Lee, M. H. Cho

Dr. Mohammad Mansoob Khan

The development of coupled photoactive materials (metal/semiconductor) has resulted in significant advancements in heterogeneous visible light photocatalysis. This work reports the novel biogenic synthesis of visible light active Ag–ZnO nanocomposite for photocatalysis and photoelectrode using an electrochemically active biofilm (EAB). The results showed that the EAB functioned as a biogenic reducing tool for the reduction of Ag+, thereby eliminating the need for conventional reducing agents. The as-prepared Ag–ZnO nanocomposite was characterized by X-ray diffraction, transmission electron microscopy, diffuse reflectance spectroscopy, photoluminescence spectroscopy, and X-ray photoelectron spectroscopy. The photocatalytic experiments showed that the Ag–ZnO nanocomposite possessed excellent visible light photocatalytic activity …

Vaporization Enthalpies And Vapor Pressures Of Two Insecticide Components, Muscalure And Empenthrin, By Correlation Gas Chromatography, Jessica Spencer, James Chickos

James Chickos

No abstract provided.

Building Sustainable Societies: Exploring Sustainability Policy And Practice In The Age Of High Consumption, Cindy Isenhour

Cindy Isenhour

This dissertation is an attempt to examine how humans in wealthy, post-industrial urban contexts understand sustainability and respond to their concerns given their sphere of influence. I focus specifically on sustainable consumption policy and practice in Sweden, where concerns for sustainability and consumer-based responses are strong. This case raises interesting questions about the relative strength of sustainability movements in different cultural and geo-political contexts as well as the specific factors that have motivated the movement toward sustainable living in Sweden.

The data presented here supports the need for multigenic theories of sustainable consumerism. Rather than relying on dominant theories of …

Titanium Oxide Nanotubes: Synthesis, Properties And Applications For Solar Energy Harvesting, Eugen Panaitescu

Eugen Panaitescu

Titanium oxide (titania) nanotubes, although relatively recently discovered (less than 15 years ago), have already shown great promise regarding solar energy harvesting applications, exhibiting very good photocatalytic and photovoltaic properties. An alternative anodization route for production of titania nanotubes at the surface of a titanium foil using chloride ions as catalyst instead of the routinely used highly toxic fluorides, is presented in this work. Moreover, the fabrication parameters are extensively studied, thus providing both an insight into the synthesis mechanism and hints towards possible process optimization routes. Although not forming uniformly over the sample surface and lacking long range ordering, …

Environmental And Socio-Economic Considerations For Aquaculture In Jervis Bay, Nsw, Alyssa Joyce, Ana M. Rubio, Pia C. Winberg

Dr Pia C Winberg

No abstract provided.

Causal Mediation In A Survival Setting With Time-Dependent Mediators, Wenjing Zheng, Mark J. Van Der Laan

Wenjing Zheng

The effect of an expsore on an outcome of interest is often mediated by intermediate variables. The goal of causal mediation analysis is to evaluate the role of these intermediate variables (mediators) in the causal effect of the exposure on the outcome. In this paper, we consider causal mediation of a baseline exposure on a survival (or time-to-event) outcome, when the mediator is time-dependent. The challenge in this setting lies in that the event process takes places jointly with the mediator process; in particular, the length of the mediator history depends on the survival time. As a result, we argue …

The Unexpectedly Bright Comet C/2012 F6 (Lemmon) Unveiled At Near-Infrared Wavelengths, Lucas Paganini, Michael A. Disanti, Michael J. Mumma, Geronimo L. Villanueva, Boncho P. Bonev, Jacqueline V. Keane, Erika L. Gibb, Hermann Boehnhardt, Karen J. Meech

Erika Gibb

The Upscattering Of Ultracold Neutrons From The Polymer (C6h12)N, Eduard I. Sharapov, Christopher L. Morris, Mark Makela, Andy Saunders, Evan R. Adamek, Leah J. Broussard, Chris B. Cude-Woods, Deion E. Fellers, Peter Geltenbort, Monika Hartl, Siraj I. Hasan, Kevin P. Hickerson, Gary E. Hogan, Anthony T. Holley, C. M. Lavelle, Chen-Yu Liu, Michael P. Mendenhall, Jose Ortiz, Robert W. Pattie, David G. Phillips, John Ramsey, Daniel J. Salvat, Susan J. Seestrom, Erik Shaw, Sky Sjue, Walter E. Sondheim, Brittany Vorndick, Zhehui Wang, Tanner L. Womack, Andrew R. Young, B. A. Zeck

Robert W. Pattie Jr.

Localized Bases For Kernel Spaces On The Unit Sphere, E. Fuselier, T. Hangelbroek, F. J. Narcowich, J. D. Ward, G. B. Wright

Grady Wright

Approximation/interpolation from spaces of positive definite or conditionally positive definite kernels is an increasingly popular tool for the analysis and synthesis of scattered data and is central to many meshless methods. For a set of N scattered sites, the standard basis for such a space utilizes N globally supported kernels; computing with it is prohibitively expensive for large N. Easily computable, well-localized bases with “small-footprint” basis elements—i.e., elements using only a small number of kernels—have been unavailable. Working on S2, with focus on the restricted surface spline kernels (e.g., the thin-plate splines restricted to the sphere), we construct easily computable, …

Statistical Characteristics Of Polar Mesospheric Gravity Waves Observed Over Alaska, Michael Negale, Kim Nielsen, Mike J. Taylor, Dominique Pautet, Margit Dyrland

Michael Negale

Short-period (<1 hr) gravity wave observations over the Arctic region are few and their impact on the Arctic mesosphere lower thermosphere (MLT) region via momentum deposition is of high interest, but has yet to be determined. The Mesospheric Airglow Imaging and Dynamics (MAID) project was initiated in January 2011 to investigate the presence and dynamics of these waves over the interior of Alaska. Observations were made from the Davis Building at Poker Flat Research Range (PFRR) (65N) using an all-sky imager. This site provides an exceptional opportunity to establish a long-term climatology of short-period gravity waves in the Arctic. Here, we present summary measurements of prominent gravity waves focusing on their winter-time spatial and temporal characteristics. Measurements were made over two consecutive winters in 2011 and 2012 yielding 117 quasi-monochromatic wave events obtained from sequential OH (715-930 nm) images. Their characteristics are compared with recent gravity wave observations at Resolute Bay, Canada (75N), ALOMAR Station, Norway (69N), Svalbard (78N) in the Arctic, and with Rothera Station (76S) in Antarctic. The distributions of the wave parameters measured at PFRR were found to be similar to those of the other high-latitude sites, except for the direction of propagation. The wave headings observed at PFRR exhibited dominant preference for motion towards the east, while the other high-latitude observations reported westward motion. To investigate the preferred wave directionality, we look at the effects of critical level filtering using zonal and meridional winds obtained from NASA’s Modern-Era Retrospective Analysis for Research and Applications (MERRA) and the Horizontal Wind Model 2007 (HWM07).

Cyber In Waffle House Land, Jan Kallberg

Jan Kallberg

The epicenter of cyber is Washington, D.C., and the discourse radiates from the national capital outward. The question is how far from the Beltway it reaches. Does the rest of this nation care about the national security threat that is embedded in future adversarial cyber operations?

Marine Park Planning And Recreational Fishing: Is The Science Lost At Sea? Case Studies From Australia, Daryl Mcphee

Daryl McPhee

“No take” marine parks are widely advocated and increasingly utilised as a tool aimed at protecting marine biodiversity, and they may also be used as a fisheries management tool. In Australia a national system of no-take marine parks is being established to protect marine biodiversity. The creation of this network of no-take marine parks that exclude the public from recreational fishing in large areas of the ocean is extremely contentious. Nearly one quarter of the Australian population goes recreational fishing at least once a year, and it is a $2 billion industry. The motivations for, and aspirations of these recreational …

Statistical Models For Predicting College Success, Yelen Nunez

Yelen Nunez

Colleges base their admission decisions on a number of factors to determine which applicants have the potential to succeed. This study utilized data for students that graduated from Florida International University between 2006 and 2012. Two models were developed (one using SAT as the principal explanatory variable and the other using ACT as the principal explanatory variable) to predict college success, measured using the student’s college grade point average at graduation. Some of the other factors that were used to make these predictions were high school performance, socioeconomic status, major, gender, and ethnicity. The model using ACT had a higher …

Zakład Termicznego Przekształcania Odpadów Komunalnych W Krakowie – Założenia Projektowe I Stan Realizacji Budowy, Mateusz Rzeszutek, Robert Oleniacz

Robert Oleniacz

The aim of this paper is to discuss the design assumptions and to determine the current status of the construction of the Municipal Solid Waste Thermal Treatment Plant (ZTPOK) in Krakow with a capacity of 220 thousand tons per year. This plant, planned to be built by the end of 2015 years, will be an important element of municipal waste management system in the area of the Municipality of Krakow. ZTPOK in Krakow will consist of the following installations: two lines of municipal solid waste incinerators based on moving grate technology, an installation of chemical solidification and stabilization of fly …

Abstract Modular Systems And Solvers, Yuliya Lierler, Miroslaw Truszczyński

Yuliya Lierler

Integrating diverse formalisms into modular knowledge representation systems offers increased expressivity, modeling convenience and computational benefits. We introduce concepts of abstract modules and abstract modular systems to study general principles behind the design and analysis of modelfinding programs, or solvers, for integrated heterogeneous multi-logic systems. We show how abstract modules and abstract modular systems give rise to transition systems, which are a natural and convenient representation of solvers pioneered by the SAT community. We illustrate our approach by showing how it applies to answer set programming and propositional logic, and to multi-logic systems based on these two formalisms.

Asp-Based Problem Solving With Cutting-Edge Tools, Marcello Balduccini, Yuliya Lierler

Yuliya Lierler

In the development of practical applications of answer set programming (ASP), encodings that use well-established solvers such as CLASP and DLV are sometimes affected by scalability issues. In those situations, one can resort to more sophisticated ASP tools exploiting, for instance, incremental and constraint ASP. However, today there is no specific methodology for the selection or use of such tools. In this paper we describe how we used such cutting-edge ASP tools on challenging problems from the Third Answer Set Programming Competition, and outline the methodology we followed. We view this paper as a first step in the development of …

A Transition System For Ac Language Algorithms, Yuliya Lierler, Yaunlin Zhang

Yuliya Lierler

Recently a logic programming language AC was proposed by Mellarkod et al. (2008) to integrate answer set programming (ASP) and constraint logic programming. In a similar vein, Gebser et al. (2009) proposed a CLINGCON language integrating ASP and finite domain constraints. A distinguishing feature of these languages is their capacity to allow new efficient inference algorithms that combine traditional ASP procedures and other efficient methods in constraint programming. In this paper we show that a transition system introduced by Nieuwenhuis et al. (2006) can be extended to model the “hybrid” ACSOLVER algorithm, by Mellarkod et al., designed for processing a …

Hybrid Automated Reasoning Tools: From Black-Box To Clear-Box Integration, Marcello Balduccini, Yuliya Lierler

Yuliya Lierler

Recently, researchers in answer set programming and constraint programming spent significant efforts in the development of hybrid languages and solving algorithms combining the strengths of these traditionally separate fields. These efforts resulted in a new research area: constraint answer set programming (CASP). CASP languages and systems proved to be largely successful at providing efficient solutions to problems involving hybrid reasoning tasks, such as scheduling problems with elements of planning. Yet, the development of CASP systems is difficult, requiring non-trivial expertise in multiple areas. This suggests a need for a study identifying general development principles of hybrid systems. Once these principles …

Representing Synonymity In Causal Logic And In Logic Programming, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang

Yuliya Lierler

We investigate the relationship between rules representing synonymity in nonmonotonic causal logic and in answer set programming. This question is of interest in connection with current work on modular languages for describing actions.

A Sat-Based Polynomial Space Algorithm For Answer Set Programming, Enrico Giunchiglia, Marco Maratea, Yuliya Lierler

Yuliya Lierler

The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance boost of SAT solvers during last years. Various translations from ASP to SAT are known but the resulting SAT formula either includes many new variables or may have an unpractical size. There are also well known results showing a one-to-one correspondence between the answer sets of a logic program and the models of its completion. Unfortunately, these results only work for specific classes of problems. In this paper we present a SAT-Based decision procedure for …

Fages' Theorem And Answer Set Programming, Yuliya Lierler, Esta Erdem, Vladimir Lifschitz

Yuliya Lierler

We generalize a theorem by François Fages that describes the relationship between the completion semantics and the answer set semantics for logic programs with negotiation as failure. The study of this relationship is important in connection with the emergence of answer set programming. Whenever the two semantics are equivalent, answer sets can be computed by a satisfiability solver, and the use of answer set solvers such as SMODELS and DLV is unnecessary. A logic programming representation of the blocks world due to Ilkka Niemelä is discussed as an example.

New Bis(Imino)Pyridine Complexes Of Iron(Ii) And Iron(Iii), And Their Catalytic­ Activity In The Mukaiyama Aldol Reaction, Pushkar Shejwalkar, Nigam P. Rath, Eike B. Bauer

Nigam Rath

Does Your Wireless Lan Have Criminal Intent?, Michael Crowley, Andrew Woodward

Michael Crowley

All of the literature relating to wireless network security has focused on the flaws, newer alternatives and suggestions for securing the network. There is much speculation and anecdotal statements in relation to what can happen if a breach occurs, but this is mostly from a computer security perspective, and mostly expressed in terms of potential for financial loss. This paper examines the potential legal ramifications of failing to properly secure a wireless network. Several scenarios are examined within based on usage of wireless on the various category of attack. Legal opinion, backed up with case law, is provided for each …

Nanohub - Crystal Viewer 2.0, Kevin Margatan, Gerhard Klimeck

Gerhard Klimeck

nanoHUB is an online compilation of tools for simulations. Equipped with 3-D simulations and a capability to solve very complex calculations, nanoHUB provides its users worldwide with various tools to help them finish their assignments. One of the tools available is called a Crystal Viewer Tool, an advanced crystal visualization tool. This tool allows users to generate various crystal types including their every single detail. Currently, a newer version, called Crystal Viewer 2.0, is being tested prior to its release. However, this tool is lacking some important features and a GUI that is not as user friendly as expected. The …

Next Generation Crystal Viewing Tool, Zach Schaffter, Gerhard Klimeck

Gerhard Klimeck

The science and engineering community is limited when it comes to crystal viewing software tools. Each tool lacks in a different area such as customization of structures or visual output. Crystal Viewer 2.0 was created to have all of these features in one program. This one tool simulates virtually any crystal structure with any possible material. The vtkvis widget offers users advanced visual options not seen in any other crystal viewing software. In addition, the powerful engine behind Crystal Viewer 2.0, nanoelectronic modeling 5 or (NEMO5), performs intensive atomic calculations depending on user input. A graphical user interface, or GUI, …

Create A Simple Predictive Analytics Classification Model In Java With Weka, James Howard

James Howard

Get an overview of the Weka classification engine and learn how to create a simple classifier for programmatic use. Understand how to store and load models, manipulate them, and use them to evaluate data. Consider applications and implementation strategies suitable for the enterprise environment so you turn a collection of training data into a functioning model for real- time prediction.