A Comprehensive Survey on Particle Swarm Optimization Algorithm and Its Applications

Particle swarm optimization (PSO) is a heuristic global optimization method, proposed originally by Kennedy and Eberhart in 1995. It is now one of the most commonly used optimization techniques. This survey presented a comprehensive investigation of PSO. On one hand, we provided advances with PSO, including its modifications (including quantum-behaved PSO, bare-bones PSO, chaotic PSO, and fuzzy PSO), population topology (as fully connected, von Neumann, ring, star, random, etc.), hybridization (with genetic algorithm, simulated annealing, Tabu search, artificial immune system, ant colony algorithm, artificial bee colony, differential evolution, harmonic search, and biogeography-based optimization), extensions (to multiobjective, constrained, discrete, and binary optimization), theoretical analysis (parameter selection and tuning, and convergence analysis), and parallel implementation (in multicore, multiprocessor, GPU, and cloud computing forms). On the other hand, we offered a survey on applications of PSO to the following eight fields: electrical and electronic engineering, automation control systems, communication theory, operations research, mechanical engineering, fuel and energy, medicine, chemistry, and biology. It is hoped that this survey would be beneficial for the researchers studying PSO algorithms

2020 NASA Technology Taxonomy

This document is an update (new photos used) of the PDF version of the 2020 NASA Technology Taxonomy that will be available to download on the OCT Public Website. The updated 2020 NASA Technology Taxonomy, or "technology dictionary", uses a technology discipline based approach that realigns like-technologies independent of their application within the NASA mission portfolio. This tool is meant to serve as a common technology discipline-based communication tool across the agency and with its partners in other government agencies, academia, industry, and across the world

Designing for a playful future:a review of how humorous play within the urban realm can make adult play a part of everyday life

Abstract. Everybody plays. It is a behaviour that is common to all people and indeed most species. A person’s inclination to play is dependant, not only on his mental and emotional state, but also on his surroundings. Despite our physiological separation from the rest of the evolving natural kingdom, our brains have scarcely evolved further than those of our hunter-gatherer forefathers. So often the playful side of adults is forgotten, un-nurtured and neglected, much to the detriment of public physical and mental health. In this ever-changing and fast-paced human society, we are constantly trying to avoid or subdue our primal instincts because we believe we are somehow different... “We are not animals”. We make our primal desire to be free and rampant something to be ashamed of, afraid of and even embarrassed by. This thesis discusses the importance of play with regard to mental health and how urban environments can be and become conducive to play in adults. It poses some ideas about how designers can provide opportunities for both active and fantasy play in transitional urban spaces that we use on a regular basis. The thesis addresses the issue of ‘what is play?’ by establishing a working definition of play in terms of an individual adult player and their surroundings. This definition then serves as the basis for evaluating how contemporary urban design uses a wide array of techniques and strategies to incorporate adult play within everyday life through literature review and case studies. Moreover, it tackles the concept of humour and identifies the benefits to encouraging communication of the self through humour and freedom of expression within the urban realm. These observations provide the basic structure for developing some design parameters which an architect or urban designer might utilise in designing spaces and environments that facilitate play and designing humour for playable cities in order to attain the ‘playful’ city

Computer Aided Verification

The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency

Earth Resources: A continuing bibliography with indexes, issue 13

This bibliography lists 524 reports, articles, and other documents introduced into the NASA scientific and technical information system between January 1977 and March 1977. Emphasis is placed on the use of remote sensing and geophysical instrumentation in spacecraft and aircraft to survey and inventory natural resources and urban areas. Subject matter is grouped according to agriculture and forestry, environmental changes and cultural resources, geodesy and cartography, geology and mineral resources, hydrology and water management, data processing and distribution systems, instrumentation and sensors, and economic analysis

Computer Aided Verification

The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency

Investigations of small-scale magnetic features on the solar surface

Solar activity is controlled by the magnetic field, which also causes the variability of the solar irradiance that in turn is thought to influence the climate on Earth. The magnetic field manifests itself in the form of structures of largely different sizes. This thesis concentrates on two types of the smallest known magnetic features: The first part studies the properties of umbral dots, dot-like bright features in the dark umbra of a sunspot. The obtained umbral dot properties provide a remarkable confirmation of the results of recent magneto-hydrodynamical simulations. Observations as well as simulations show that umbral dots differ from their surroundings mainly in the lowest photospheric layers, where the temperature is enhanced and the magnetic field is weakened. In addition, the interior of the umbral dots displays strong upflow velocities which are surrounded by weak downflows. This qualitative agreement further strengthens the interpretation of umbral dots as localized columns of overturning convection. The second part of the thesis investigates bright points, which are small-scale brightness enhancements in the darker intergranular lanes of the quiet Sun produced by magnetic flux concentrations. Observational data obtained by the balloon-borne solar telescope SUNRISE are used in this thesis. For the first time contrasts of bright points in the important ultraviolet spectral range are determined. A comparison of observational data with magneto-hydrodynamical simulations revealed a close correspondence, but only after effects due to the limited spectral and spatial resolution were carefully included. 98% of the synthetic bright points are found to be associated with a nearly vertical kilo-Gauss field.Comment: PhD thesis, Braunschweig University, 209 pages; ISBN 978-3-942171-73-1, uni-edition GmbH 201

Proceedings of Monterey Workshop 2001 Engineering Automation for Sofware Intensive System Integration

The 2001 Monterey Workshop on Engineering Automation for Software Intensive System Integration was sponsored by the Office of Naval Research, Air Force Office of Scientific Research, Army Research Office and the Defense Advance Research Projects Agency. It is our pleasure to thank the workshop advisory and sponsors for their vision of a principled engineering solution for software and for their many-year tireless effort in supporting a series of workshops to bring everyone together.This workshop is the 8 in a series of International workshops. The workshop was held in Monterey Beach Hotel, Monterey, California during June 18-22, 2001. The general theme of the workshop has been to present and discuss research works that aims at increasing the practical impact of formal methods for software and systems engineering. The particular focus of this workshop was "Engineering Automation for Software Intensive System Integration". Previous workshops have been focused on issues including, "Real-time & Concurrent Systems", "Software Merging and Slicing", "Software Evolution", "Software Architecture", "Requirements Targeting Software" and "Modeling Software System Structures in a fastly moving scenario".Office of Naval ResearchAir Force Office of Scientific Research Army Research OfficeDefense Advanced Research Projects AgencyApproved for public release, distribution unlimite

Internet of Things From Hype to Reality

The Internet of Things (IoT) has gained significant mindshare, let alone attention, in academia and the industry especially over the past few years. The reasons behind this interest are the potential capabilities that IoT promises to offer. On the personal level, it paints a picture of a future world where all the things in our ambient environment are connected to the Internet and seamlessly communicate with each other to operate intelligently. The ultimate goal is to enable objects around us to efficiently sense our surroundings, inexpensively communicate, and ultimately create a better environment for us: one where everyday objects act based on what we need and like without explicit instructions