Active flutter control for flexible vehicles, volume 1

An active flutter control methodology based on linear quadratic gaussian theory and its application to the control of a super critical wing is presented. Results of control surface and sensor position optimization are discussed. Both frequency response matching and residualization used to obtain practical flutter controllers are examined. The development of algorithms and computer programs for flutter modeling and active control design procedures is reported

The Web of Community Trust - Amateur Fiction Online: A Case Study in Community Focused Design for the Semantic Web

This thesis describes a case study online community: online amateur authors. Taking this case study community as a base, this thesis considers how the concept of community is applied within the Semantic Web domain. Considering the community structures that can be demonstrated through the case study, this thesis makes the case for the recognition of a specific type of social network structure, one that fulfills the traditional definitions of ‘community’. We argue that this sub-type occupies an important position within social networks and our understanding of them due to the structures required for them to be so defined and that there are assumptions and inferences which can be made about nodes within this type of community group but not others. Having detailed our case study community and the type of network it represents, this thesis goes on to consider how the community could be supported beyond the mailing lists and journalling sites upon which it currently relies. Through our investigation of the community’s issues and requirements, we focus on identity and explore this concept within the context of community membership. Further we analyse the community practice of metadata annotation, in comparison to other metadata systems such as tagging, and as it related to the development of the community. We propose a number of ontological models which we argue could assist the community and, finally, consider ways in which these models could be made available to the community in keeping with current practice and level of technical knowledge as evidenced by the community

The Web of community trust : amateur fiction online : a case study in community focused design for the Semantic Web

This thesis describes a case study online community: online amateur authors. Taking this case study community as a base, this thesis considers how the concept of community is applied within the Semantic Web domain. Considering the community structures that can be demonstrated through the case study, this thesis makes the case for the recognition of a specific type of social network structure, one that fulfils the traditional definitions of ‘community’. We argue that this sub-type occupies an important position within social networks and our understanding of them due to the structures required for them to be so defined and that there are assumptions and inferences which can be made about nodes within this type of community group but not others. Having detailed our case study community and the type of network it represents, this thesis goes on to consider how the community could be supported beyond the mailing lists and journalling sites upon which it currently relies. Through our investigation of the community’s issues and requirements, we focus on identity and explore this concept within the context of community membership. Further we analyse the community practice of metadata annotation, in comparison to other metadata systems such as tagging, and as it related to the development of the community. We propose a number of ontological models which we argue could assist the community and, finally, consider ways in which these models could be made available to the community in keeping with current practice and level of technical knowledge as evidenced by the community.EThOS - Electronic Theses Online ServiceGBUnited Kingdo

Advances in Functional Decomposition: Theory and Applications

Functional decomposition aims at finding efficient representations for Boolean functions. It is used in many applications, including multi-level logic synthesis, formal verification, and testing. This dissertation presents novel heuristic algorithms for functional decomposition. These algorithms take advantage of suitable representations of the Boolean functions in order to be efficient. The first two algorithms compute simple-disjoint and disjoint-support decompositions. They are based on representing the target function by a Reduced Ordered Binary Decision Diagram (BDD). Unlike other BDD-based algorithms, the presented ones can deal with larger target functions and produce more decompositions without requiring expensive manipulations of the representation, particularly BDD reordering. The third algorithm also finds disjoint-support decompositions, but it is based on a technique which integrates circuit graph analysis and BDD-based decomposition. The combination of the two approaches results in an algorithm which is more robust than a purely BDD-based one, and that improves both the quality of the results and the running time. The fourth algorithm uses circuit graph analysis to obtain non-disjoint decompositions. We show that the problem of computing non-disjoint decompositions can be reduced to the problem of computing multiple-vertex dominators. We also prove that multiple-vertex dominators can be found in polynomial time. This result is important because there is no known polynomial time algorithm for computing all non-disjoint decompositions of a Boolean function. The fifth algorithm provides an efficient means to decompose a function at the circuit graph level, by using information derived from a BDD representation. This is done without the expensive circuit re-synthesis normally associated with BDD-based decomposition approaches. Finally we present two publications that resulted from the many detours we have taken along the winding path of our research

Wireless Sensor Networks

The aim of this book is to present few important issues of WSNs, from the application, design and technology points of view. The book highlights power efficient design issues related to wireless sensor networks, the existing WSN applications, and discusses the research efforts being undertaken in this field which put the reader in good pace to be able to understand more advanced research and make a contribution in this field for themselves. It is believed that this book serves as a comprehensive reference for graduate and undergraduate senior students who seek to learn latest development in wireless sensor networks

Proceedings of the Second NASA Formal Methods Symposium

This publication contains the proceedings of the Second NASA Formal Methods Symposium sponsored by the National Aeronautics and Space Administration and held in Washington D.C. April 13-15, 2010. Topics covered include: Decision Engines for Software Analysis using Satisfiability Modulo Theories Solvers; Verification and Validation of Flight-Critical Systems; Formal Methods at Intel -- An Overview; Automatic Review of Abstract State Machines by Meta Property Verification; Hardware-independent Proofs of Numerical Programs; Slice-based Formal Specification Measures -- Mapping Coupling and Cohesion Measures to Formal Z; How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project; A Machine-Checked Proof of A State-Space Construction Algorithm; Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications; Modeling Regular Replacement for String Constraint Solving; Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol; Can Regulatory Bodies Expect Efficient Help from Formal Methods?; Synthesis of Greedy Algorithms Using Dominance Relations; A New Method for Incremental Testing of Finite State Machines; Verification of Faulty Message Passing Systems with Continuous State Space in PVS; Phase Two Feasibility Study for Software Safety Requirements Analysis Using Model Checking; A Prototype Embedding of Bluespec System Verilog in the PVS Theorem Prover; SimCheck: An Expressive Type System for Simulink; Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness; Software Model Checking of ARINC-653 Flight Code with MCP; Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B; Formal Verification of Large Software Systems; Symbolic Computation of Strongly Connected Components Using Saturation; Towards the Formal Verification of a Distributed Real-Time Automotive System; Slicing AADL Specifications for Model Checking; Model Checking with Edge-valued Decision Diagrams; and Data-flow based Model Analysis

Microgravity science & applications. Program tasks and bibliography for FY 1995

This annual report includes research projects funded by the Office of Life and Microgravity Sciences and Applications, Microgravity Science and Applications Division, during FY 1994. It is a compilation of program tasks (objective, description, significance, progress, students funded under research, and bibliographic citations) for flight research and ground based research in five major scientific disciplines: benchmark science, biotechnology, combustion science, fluid physics, and materials science. Advanced technology development (ATD) program task descriptions are also included. The bibliography cites the related principle investigator (PI) publications and presentations for these program tasks in FY 1994. Three appendices include a Table of Acronyms, a Guest Investigator index and a Principle Investigator index

Impressions of the Chinese as shown by American fiction of the nineteenth century

Thesis (M.A.)--Boston University, 1941. This item was digitized by the Internet Archive