An application of artificial intelligence theory to reconfigurable flight control

Artificial intelligence techniques were used along with statistical hpyothesis testing and modern control theory, to help the pilot cope with the issues of information, knowledge, and capability in the event of a failure. An intelligent flight control system is being developed which utilizes knowledge of cause and effect relationships between all aircraft components. It will screen the information available to the pilots, supplement his knowledge, and most importantly, utilize the remaining flight capability of the aircraft following a failure. The list of failure types the control system will accommodate includes sensor failures, actuator failures, and structural failures

Perspectives on the use of rule-based control

Issues regarding the application of artificial intelligence techniques to real-time control are discussed. Advantages associated with knowledge-based programming are discussed. A proposed rule-based control technique is summarized and applied to the problem of automated aircraft emergency procedure execution. Although emergency procedures are by definition predominately procedural, their numerous evaluation and decision points make a declarative representation of the knowledge they encode highly attractive, resulting in an organized and easily maintained software hierarchy. Simulation results demonstrate that real-time performance can be obtained using a microprocessor-based controller. It is concluded that a rule-based control system design approach may prove more useful than conventional methods under certain circumstances, and that declarative rules with embedded procedural code provide a sound basis for the construction of complex, yet economical, control systems

'The show must go on': Event dramaturgy as consolidation of community

Event dramaturgy and cultural performance have not been examined in the literature from a strategic standpoint of fostering the social value of events. Thus, the purpose of this study was to explore the case of the Water Carnival, a celebratory event in a rural community of Southwest Texas, demonstrating the essence of this event as a symbolic social space, wherein event participants instantiate a shared and valued sense of community. A hermeneutical approach was employed, interpreting the event and its symbolisms as a text, combined with findings from ethnographic fieldwork, including participant observation, in-depth interviews and analysis of archival documents. The study examines the ways that dramaturgy in the Water Carnival helps frame the ongoing public discourse for community improvement and enhances social capital. The implications of the study for social leverage of events are discussed. It is suggested that a foundation for strategic social planning is the understanding of events as symbolic social spaces and their embeddedness in community development, which can be accomplished when events are pertinent to public discourse, address community issues, represent an inclusive range of stakeholders, and promote cooperation

A Survey of Satisfiability Modulo Theory

Satisfiability modulo theory (SMT) consists in testing the satisfiability of first-order formulas over linear integer or real arithmetic, or other theories. In this survey, we explain the combination of propositional satisfiability and decision procedures for conjunctions known as DPLL(T), and the alternative "natural domain" approaches. We also cover quantifiers, Craig interpolants, polynomial arithmetic, and how SMT solvers are used in automated software analysis.Comment: Computer Algebra in Scientific Computing, Sep 2016, Bucharest, Romania. 201

Non-polynomial Worst-Case Analysis of Recursive Programs

We study the problem of developing efficient approaches for proving worst-case bounds of non-deterministic recursive programs. Ranking functions are sound and complete for proving termination and worst-case bounds of nonrecursive programs. First, we apply ranking functions to recursion, resulting in measure functions. We show that measure functions provide a sound and complete approach to prove worst-case bounds of non-deterministic recursive programs. Our second contribution is the synthesis of measure functions in nonpolynomial forms. We show that non-polynomial measure functions with logarithm and exponentiation can be synthesized through abstraction of logarithmic or exponentiation terms, Farkas' Lemma, and Handelman's Theorem using linear programming. While previous methods obtain worst-case polynomial bounds, our approach can synthesize bounds of the form $\mathcal{O}(n\log n)$ as well as $\mathcal{O}(n^r)$ where $r$ is not an integer. We present experimental results to demonstrate that our approach can obtain efficiently worst-case bounds of classical recursive algorithms such as (i) Merge-Sort, the divide-and-conquer algorithm for the Closest-Pair problem, where we obtain $\mathcal{O}(n \log n)$ worst-case bound, and (ii) Karatsuba's algorithm for polynomial multiplication and Strassen's algorithm for matrix multiplication, where we obtain $\mathcal{O}(n^r)$ bound such that $r$ is not an integer and close to the best-known bounds for the respective algorithms.Comment: 54 Pages, Full Version to CAV 201

Planning and Leveraging Event Portfolios: Towards a Holistic Theory

This conceptual paper seeks to advance the discourse on the leveraging and legacies of events by examining the planning, management, and leveraging of event portfolios. This examination shifts the common focus from analyzing single events towards multiple events and purposes that can enable cross-leveraging among different events in pursuit of attainment and magnification of specific ends. The following frameworks are proposed: (1) event portfolio planning and leveraging, and (2) analyzing events networks and inter-organizational linkages. These frameworks are intended to provide, at this infancy stage of event portfolios research, a solid ground for building theory on the management of different types and scales of events within the context of a portfolio aimed to obtain, optimize and sustain tourism, as well as broader community benefits

Keeping it liminal. The Mondiali Antirazzisti (Anti-racist World Cup) as a multifocal interaction ritual

© 2013 Taylor & Francis. This paper examines how social mixing and celebration of diversity can be enabled through sports festivals marked by their carnivalesque atmosphere. Our analysis draws on a longitudinal ethnographic study of the Mondiali Antirazzisti (Anti-racist World Cup), a non-competitive football tournament and intercultural festival featuring the yearly participation of hardcore football fans (ultras), migrant groups, third-sector associations and other informal groups. We consider how the multifocal ritual form of the event helps to create a liminal space in which discrimination and stereotypes can be temporarily challenged. The sources of collective effervescence are multiplied by placing sport games within a wider range of other leisure and cultural activities, thus promoting internal diversity and the inclusion of outsiders. Additionally, social boundaries are also blurred by not emphasising the competitive dimension of the sporting activities, making sporting categorisations more fluid, and breaking down the separation between protagonists and spectators. Nonetheless, considering the transient character of liminality, we also investigate problems and limitations implied by the pursuit of these objectives. It is concluded that, despite a certain degree of self-referentiality, the festival fosters the spreading of anti-discriminatory cultures by enhancing the participants’ reflexivity and feeding their commitment in generating spin-off activities in different local contexts

Russia’s Legal Transitions: Marxist Theory, Neoclassical Economics and the Rule of Law

We review the role of economic theory in shaping the process of legal change in Russia during the two transitions it experienced during the course of the twentieth century: the transition to a socialist economy organised along the lines of state ownership of the means of production in the 1920s, and the transition to a market economy which occurred after the fall of the Soviet Union in the 1990s. Despite differences in methodology and in policy implications, Marxist theory, dominant in the 1920s, and neoclassical economics, dominant in the 1990s, offered a similarly reductive account of law as subservient to wider economic forces. In both cases, the subordinate place accorded to law undermined the transition process. Although path dependence and history are frequently invoked to explain the limited development of the rule of law in Russia during the 1990s, policy choices driven by a deterministic conception of law and economics also played a role.This is the author accepted manuscript. The final version is available from Springer via http://dx.doi.org/10.1007/s40803-015-0012-