Author:
Publisher:
ISBN:
Category : Technology & Engineering
Languages : en
Pages : 1100
Book Description
21st Digital Avionics Systems Conference 2002
Author:
Publisher:
ISBN:
Category : Technology & Engineering
Languages : en
Pages : 1100
Book Description
Publisher:
ISBN:
Category : Technology & Engineering
Languages : en
Pages : 1100
Book Description
ICT and Critical Infrastructure: Proceedings of the 48th Annual Convention of Computer Society of India- Vol II
Author: Suresh Chandra Satapathy
Publisher: Springer Science & Business Media
ISBN: 3319030957
Category : Technology & Engineering
Languages : en
Pages : 780
Book Description
This volume contains 85 papers presented at CSI 2013: 48th Annual Convention of Computer Society of India with the theme “ICT and Critical Infrastructure”. The convention was held during 13th –15th December 2013 at Hotel Novotel Varun Beach, Visakhapatnam and hosted by Computer Society of India, Vishakhapatnam Chapter in association with Vishakhapatnam Steel Plant, the flagship company of RINL, India. This volume contains papers mainly focused on Data Mining, Data Engineering and Image Processing, Software Engineering and Bio-Informatics, Network Security, Digital Forensics and Cyber Crime, Internet and Multimedia Applications and E-Governance Applications.
Publisher: Springer Science & Business Media
ISBN: 3319030957
Category : Technology & Engineering
Languages : en
Pages : 780
Book Description
This volume contains 85 papers presented at CSI 2013: 48th Annual Convention of Computer Society of India with the theme “ICT and Critical Infrastructure”. The convention was held during 13th –15th December 2013 at Hotel Novotel Varun Beach, Visakhapatnam and hosted by Computer Society of India, Vishakhapatnam Chapter in association with Vishakhapatnam Steel Plant, the flagship company of RINL, India. This volume contains papers mainly focused on Data Mining, Data Engineering and Image Processing, Software Engineering and Bio-Informatics, Network Security, Digital Forensics and Cyber Crime, Internet and Multimedia Applications and E-Governance Applications.
Research & Technology 2002
Author:
Publisher: DIANE Publishing
ISBN: 1428918205
Category :
Languages : en
Pages : 274
Book Description
Publisher: DIANE Publishing
ISBN: 1428918205
Category :
Languages : en
Pages : 274
Book Description
Transmission, Distribution, and Renewable Energy Generation Power Equipment
Author: Bella H. Chudnovsky
Publisher: CRC Press
ISBN: 1498754775
Category : Science
Languages : en
Pages : 678
Book Description
The revised edition presents, extends, and updates a thorough analysis of the factors that cause and accelerate the aging of conductive and insulating materials of which transmission and distribution electrical apparatus is made. New sections in the second edition summarize the issues of the aging, reliability, and safety of electrical apparatus, as well as supporting equipment in the field of generating renewable energy (solar, wind, tide, and wave power). When exposed to atmospheric corrosive gases and fluids, contaminants, high and low temperatures, vibrations, and other internal and external impacts, these systems deteriorate; eventually the ability of the apparatus to function properly is destroyed. In the modern world of "green energy", the equipment providing clean, electrical energy needs to be properly maintained in order to prevent premature failure. The book’s purpose is to help find the proper ways to slow down the aging of electrical apparatus, improve its performance, and extend the life of power generation, transmission, and distribution equipment.
Publisher: CRC Press
ISBN: 1498754775
Category : Science
Languages : en
Pages : 678
Book Description
The revised edition presents, extends, and updates a thorough analysis of the factors that cause and accelerate the aging of conductive and insulating materials of which transmission and distribution electrical apparatus is made. New sections in the second edition summarize the issues of the aging, reliability, and safety of electrical apparatus, as well as supporting equipment in the field of generating renewable energy (solar, wind, tide, and wave power). When exposed to atmospheric corrosive gases and fluids, contaminants, high and low temperatures, vibrations, and other internal and external impacts, these systems deteriorate; eventually the ability of the apparatus to function properly is destroyed. In the modern world of "green energy", the equipment providing clean, electrical energy needs to be properly maintained in order to prevent premature failure. The book’s purpose is to help find the proper ways to slow down the aging of electrical apparatus, improve its performance, and extend the life of power generation, transmission, and distribution equipment.
Theorem Proving in Higher Order Logics
Author: Konrad Slind
Publisher: Springer Science & Business Media
ISBN: 3540230173
Category : Computers
Languages : en
Pages : 345
Book Description
This volume constitutes the proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2004) held September 14–17, 2004 in Park City, Utah, USA. TPHOLs covers all aspects of theorem proving in higher-order logics as well as related topics in theorem proving and veri?cation. There were 42 papers submitted to TPHOLs 2004 in the full research ca- gory, each of which was refereed by at least 3 reviewers selected by the program committee. Of these submissions, 21 were accepted for presentation at the c- ference and publication in this volume. In keeping with longstanding tradition, TPHOLs 2004 also o?ered a venue for the presentation of work in progress, where researchers invited discussion by means of a brief introductory talk and then discussed their work at a poster session. A supplementary proceedings c- taining papers about in-progress work was published as a 2004 technical report of the School of Computing at the University of Utah. The organizers are grateful to Al Davis, Thomas Hales, and Ken McMillan for agreeing to give invited talks at TPHOLs 2004. The TPHOLs conference traditionally changes continents each year in order to maximize the chances that researchers from around the world can attend.
Publisher: Springer Science & Business Media
ISBN: 3540230173
Category : Computers
Languages : en
Pages : 345
Book Description
This volume constitutes the proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2004) held September 14–17, 2004 in Park City, Utah, USA. TPHOLs covers all aspects of theorem proving in higher-order logics as well as related topics in theorem proving and veri?cation. There were 42 papers submitted to TPHOLs 2004 in the full research ca- gory, each of which was refereed by at least 3 reviewers selected by the program committee. Of these submissions, 21 were accepted for presentation at the c- ference and publication in this volume. In keeping with longstanding tradition, TPHOLs 2004 also o?ered a venue for the presentation of work in progress, where researchers invited discussion by means of a brief introductory talk and then discussed their work at a poster session. A supplementary proceedings c- taining papers about in-progress work was published as a 2004 technical report of the School of Computing at the University of Utah. The organizers are grateful to Al Davis, Thomas Hales, and Ken McMillan for agreeing to give invited talks at TPHOLs 2004. The TPHOLs conference traditionally changes continents each year in order to maximize the chances that researchers from around the world can attend.
Swarm Intelligence
Author: Andrew Schumann
Publisher: CRC Press
ISBN: 0429647603
Category : Computers
Languages : en
Pages : 206
Book Description
The notion of swarm intelligence was introduced for describing decentralized and self-organized behaviors of groups of animals. Then this idea was extrapolated to design groups of robots which interact locally to cumulate a collective reaction. Some natural examples of swarms are as follows: ant colonies, bee colonies, fish schooling, bird flocking, horse herding, bacterial colonies, multinucleated giant amoebae Physarum polycephalum, etc. In all these examples, individual agents behave locally with an emergence of their common effect. An intelligent behavior of swarm individuals is explained by the following biological reactions to attractants and repellents. Attractants are biologically active things, such as food pieces or sex pheromones, which attract individuals of swarm. Repellents are biologically active things, such as predators, which repel individuals of swarm. As a consequence, attractants and repellents stimulate the directed movement of swarms towards and away from the stimulus, respectively. It is worth noting that a group of people, such as pedestrians, follow some swarm patterns of flocking or schooling. For instance, humans prefer to avoid a person considered by them as a possible predator and if a substantial part of the group in the situation of escape panic (not less than 5%) changes the direction, then the rest follows the new direction, too. Some swarm patterns are observed among human beings under the conditions of their addictive behavior such as the behavior of alcoholics or gamers. The methodological framework of studying swarm intelligence is represented by unconventional computing, robotics, and cognitive science. In this book we aim to analyze new methodologies involved in studying swarm intelligence. We are going to bring together computer scientists and cognitive scientists dealing with swarm patterns from social bacteria to human beings. This book considers different models of simulating, controlling, and predicting the swarm behavior of different species from social bacteria to humans.
Publisher: CRC Press
ISBN: 0429647603
Category : Computers
Languages : en
Pages : 206
Book Description
The notion of swarm intelligence was introduced for describing decentralized and self-organized behaviors of groups of animals. Then this idea was extrapolated to design groups of robots which interact locally to cumulate a collective reaction. Some natural examples of swarms are as follows: ant colonies, bee colonies, fish schooling, bird flocking, horse herding, bacterial colonies, multinucleated giant amoebae Physarum polycephalum, etc. In all these examples, individual agents behave locally with an emergence of their common effect. An intelligent behavior of swarm individuals is explained by the following biological reactions to attractants and repellents. Attractants are biologically active things, such as food pieces or sex pheromones, which attract individuals of swarm. Repellents are biologically active things, such as predators, which repel individuals of swarm. As a consequence, attractants and repellents stimulate the directed movement of swarms towards and away from the stimulus, respectively. It is worth noting that a group of people, such as pedestrians, follow some swarm patterns of flocking or schooling. For instance, humans prefer to avoid a person considered by them as a possible predator and if a substantial part of the group in the situation of escape panic (not less than 5%) changes the direction, then the rest follows the new direction, too. Some swarm patterns are observed among human beings under the conditions of their addictive behavior such as the behavior of alcoholics or gamers. The methodological framework of studying swarm intelligence is represented by unconventional computing, robotics, and cognitive science. In this book we aim to analyze new methodologies involved in studying swarm intelligence. We are going to bring together computer scientists and cognitive scientists dealing with swarm patterns from social bacteria to human beings. This book considers different models of simulating, controlling, and predicting the swarm behavior of different species from social bacteria to humans.
NASA's Contributions to Aeronautics, Volume 2, Flight Environment ..., NASA/SP-2010-570-Vol 2, 2010, *
Applied System Simulation
Author: Mohammad S. Obaidat
Publisher: Springer Science & Business Media
ISBN: 1441992189
Category : Computers
Languages : en
Pages : 512
Book Description
Simulation and molding are efficient techniques that can aid the city and regional planners and engineers in optimizing the operation of urban systems such as traffic light control, highway toll automation, consensus building, public safety, and environmental protection. When modeling transportation systems such as freeway systems, arterial or downtown grid systems, the city planner and engineer is concerned with capturing the varied interactions between drivers, automobiles, and the infrastructure. Modeling and simulation are used to effectively optimize the design and operation of all of these urban systems. It is possible that in an urban simulation community workshop, citizens can work interactively in front of computers and be able using the click of the mouse to walk up to their own front porch, looking at the proposed shopping mall alternatives across the street from virtually any angle and proposed bridge or tunnel and see how it can reduce traffic congestion. Buildings can be scaled down or taken out, their orientation can be changed in order to check the view and orientation in order to have better site with efficient energy-conservation. The stone or brick material on a building can be replaced by colored concrete, or more trees and lampposts can be placed on the site. Such flexibility in simulation and animation allows creative ideas in the design and orientation of urban sites to be demonstrated to citizens and decision makers before final realization.
Publisher: Springer Science & Business Media
ISBN: 1441992189
Category : Computers
Languages : en
Pages : 512
Book Description
Simulation and molding are efficient techniques that can aid the city and regional planners and engineers in optimizing the operation of urban systems such as traffic light control, highway toll automation, consensus building, public safety, and environmental protection. When modeling transportation systems such as freeway systems, arterial or downtown grid systems, the city planner and engineer is concerned with capturing the varied interactions between drivers, automobiles, and the infrastructure. Modeling and simulation are used to effectively optimize the design and operation of all of these urban systems. It is possible that in an urban simulation community workshop, citizens can work interactively in front of computers and be able using the click of the mouse to walk up to their own front porch, looking at the proposed shopping mall alternatives across the street from virtually any angle and proposed bridge or tunnel and see how it can reduce traffic congestion. Buildings can be scaled down or taken out, their orientation can be changed in order to check the view and orientation in order to have better site with efficient energy-conservation. The stone or brick material on a building can be replaced by colored concrete, or more trees and lampposts can be placed on the site. Such flexibility in simulation and animation allows creative ideas in the design and orientation of urban sites to be demonstrated to citizens and decision makers before final realization.
Decadal Survey of Civil Aeronautics
Author: National Research Council
Publisher: National Academies Press
ISBN: 0309101581
Category : Technology & Engineering
Languages : en
Pages : 212
Book Description
The U.S. air transportation system is very important for our economic well-being and national security. The nation is also the global leader in civil and military aeronautics, a position that needs to be maintained to help assure a strong future for the domestic and international air transportation system. Strong action is needed, however, to ensure that leadership role continues. To that end, the Congress and NASA requested the NRC to undertake a decadal survey of civil aeronautics research and technology (R&T) priorities that would help NASA fulfill its responsibility to preserve U.S. leadership in aeronautics technology. This report presents a set of strategic objectives for the next decade of R&T. It provides a set of high-priority R&T challengesâ€"-characterized by five common themesâ€"-for both NASA and non-NASA researchers, and an analysis of key barriers that must be overcome to reach the strategic objectives. The report also notes the importance of synergies between civil aeronautics R&T objectives and those of national security.
Publisher: National Academies Press
ISBN: 0309101581
Category : Technology & Engineering
Languages : en
Pages : 212
Book Description
The U.S. air transportation system is very important for our economic well-being and national security. The nation is also the global leader in civil and military aeronautics, a position that needs to be maintained to help assure a strong future for the domestic and international air transportation system. Strong action is needed, however, to ensure that leadership role continues. To that end, the Congress and NASA requested the NRC to undertake a decadal survey of civil aeronautics research and technology (R&T) priorities that would help NASA fulfill its responsibility to preserve U.S. leadership in aeronautics technology. This report presents a set of strategic objectives for the next decade of R&T. It provides a set of high-priority R&T challengesâ€"-characterized by five common themesâ€"-for both NASA and non-NASA researchers, and an analysis of key barriers that must be overcome to reach the strategic objectives. The report also notes the importance of synergies between civil aeronautics R&T objectives and those of national security.
NASA's Contributions to Aeronautics: Flight environment, operations, flight testing, and research
Author:
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 1064
Book Description
Two-volume collection of case studies on aspects of NACA-NASA research by noted engineers, airmen, historians, museum curators, journalists, and independent scholars. Explores various aspects of how NACA-NASA research took aeronautics from the subsonic to the hypersonic era.-publisher description.
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 1064
Book Description
Two-volume collection of case studies on aspects of NACA-NASA research by noted engineers, airmen, historians, museum curators, journalists, and independent scholars. Explores various aspects of how NACA-NASA research took aeronautics from the subsonic to the hypersonic era.-publisher description.