928 resultados para Many-valued logic
Resumo:
Puget Sound shorelines have historically provided a diversity of habitats that support a variety of aquatic resources throughout the region. These valued natural resources are iconic to the region and remain central to both the economic vitality and community appreciation of Puget Sound. Deterioration of upland and nearshore shoreline habitats, have placed severe stress on many aquatic resources within the region (PSAT, 2007). Since a majority of Washington State shorelines are privately owned, regulatory authority to legislate restoration on private property is limited in scope and frequency. Washington States’ Shoreline Management Act (RCW 90.58) requires local jurisdictions to plan for appropriate future shoreline uses. Under the Act, future development can be regulated to protect existing ecological functions, but lost functions cannot be restored without purchase or compensation of restored areas. Therefore, questions remains as to the ecological resilience of the region when considering cumulative effect of existing/ongoing shoreline development constrained by limited shoreline restoration opportunities. In light of these questions, this analysis will explore opportunities to promote restoration on privately owned shorelines within Puget Sound. These efforts are intended to promote more efficient ecosystem management and improve ecosystem-wide ecological functions. From an economics perspective, results of past shoreline management can generally be characterized as both market and government failure in effectively protecting the publics’ interest in maintaining healthy shoreline resources. Therefore coastal development has proceeded in spite of negative externalities and market imbalances resulting in inefficient resource management driven by the individual ambitions of private shoreline property owners to develop their property to their highest and best use. Federally derived property rights will protect continuation of existing uses along privately owned shorelines; therefore, a fundamental challenge remains in sustainable management of existing shoreline resources while also restoring ecological functions lost to past mistakes in an effort to increase the ecologic resiliency within the region. (PDF contains 5 pages)
Resumo:
The foundation of Habermas's argument, a leading critical theorist, lies in the unequal distribution of wealth across society. He states that in an advanced capitalist society, the possibility of a crisis has shifted from the economic and political spheres to the legitimation system. Legitimation crises increase the more government intervenes into the economy (market) and the "simultaneous political enfranchisement of almost the entire adult population" (Holub, 1991, p. 88). The reason for this increase is because policymakers in advanced capitalist democracies are caught between conflicting imperatives: they are expected to serve the interests of their nation as a whole, but they must prop up an economic system that benefits the wealthy at the expense of most workers and the environment. Habermas argues that the driving force in history is an expectation, built into the nature of language, that norms, laws, and institutions will serve the interests of the entire population and not just those of a special group. In his view, policy makers in capitalist societies are having to fend off this expectation by simultaneously correcting some of the inequities of the market, denying that they have control over people's economic circumstances, and defending the market as an equitable allocator of income. (deHaven-Smith, 1988, p. 14). Critical theory suggests that this contradiction will be reflected in Everglades policy by communicative narratives that suppress and conceal tensions between environmental and economic priorities. Habermas’ Legitimation Crisis states that political actors use various symbols, ideologies, narratives, and language to engage the public and avoid a legitimation crisis. These influences not only manipulate the general population into desiring what has been manufactured for them, but also leave them feeling unfulfilled and alienated. Also known as false reconciliation, the public's view of society as rational, and "conductive to human freedom and happiness" is altered to become deeply irrational and an obstacle to the desired freedom and happiness (Finlayson, 2005, p. 5). These obstacles and irrationalities give rise to potential crises in the society. Government's increasing involvement in Everglades under advanced capitalism leads to Habermas's four crises: economic/environmental, rationality, legitimation, and motivation. These crises are occurring simultaneously, work in conjunction with each other, and arise when a principle of organization is challenged by increased production needs (deHaven-Smith, 1988). Habermas states that governments use narratives in an attempt to rationalize, legitimize, obscure, and conceal its actions under advanced capitalism. Although there have been many narratives told throughout the history of the Everglades (such as the Everglades was a wilderness that was valued as a wasteland in its natural state), the most recent narrative, “Everglades Restoration”, is the focus of this paper.(PDF contains 4 pages)
Resumo:
In this thesis, I will discuss how information-theoretic arguments can be used to produce sharp bounds in the studies of quantum many-body systems. The main advantage of this approach, as opposed to the conventional field-theoretic argument, is that it depends very little on the precise form of the Hamiltonian. The main idea behind this thesis lies on a number of results concerning the structure of quantum states that are conditionally independent. Depending on the application, some of these statements are generalized to quantum states that are approximately conditionally independent. These structures can be readily used in the studies of gapped quantum many-body systems, especially for the ones in two spatial dimensions. A number of rigorous results are derived, including (i) a universal upper bound for a maximal number of topologically protected states that is expressed in terms of the topological entanglement entropy, (ii) a first-order perturbation bound for the topological entanglement entropy that decays superpolynomially with the size of the subsystem, and (iii) a correlation bound between an arbitrary local operator and a topological operator constructed from a set of local reduced density matrices. I also introduce exactly solvable models supported on a three-dimensional lattice that can be used as a reliable quantum memory.
Resumo:
Rainbow smelt (Osmerus mordax) are small anadromous fish that live in nearshore coastal waters during much of the year and migrate to tidal rivers to spawn during the spring. They are a key prey species in marine food webs, as they are consumed by larger organisms such as striped bass, bluefish, and seabirds. In addition, smelt are valued culturally and economically, as they support important recreational and commercial fisheries. The Atlantic Coast range of rainbow smelt has been contracting in recent decades. Historically, populations extended from the Delaware River to eastern Labrador and the Gulf of St. Lawrence (Buckley 1989). More recent observations indicate that rainbow smelt spawning populations have been extirpated south of Long Island Sound, and evidence of spawning activity is extremely limited between Long Island and Cape Cod, MA. In the Gulf of Maine region, spawning runs are still observed, but monitoring surveys as well as commercial and recreational catches indicate that these populations have also declined (e.g., Chase and Childs 2001). Many diverse factors could drive the recently noted declines in rainbow smelt populations, including spawning habitat conditions, fish health, marine environmental conditions, and fishing pressure. Few studies have assessed any of these potential threats or their joint implications. In 2004, the National Marine Fisheries Service (NMFS) listed rainbow smelt as a species of concern. Subsequently, the states of Maine, New Hampshire, and Massachusetts were awarded a grant through NMFS’s Proactive Conservation Program to gather new information on the status of rainbow smelt, identify factors that affect spawning populations, and develop a multi-state conservation program. This paper provides an overview of this collaborative project, highlighting key biological monitoring and threats assessment research that is being conducted throughout the Gulf of Maine. (PDF contains 4 pages)
Resumo:
Disorder and interactions both play crucial roles in quantum transport. Decades ago, Mott showed that electron-electron interactions can lead to insulating behavior in materials that conventional band theory predicts to be conducting. Soon thereafter, Anderson demonstrated that disorder can localize a quantum particle through the wave interference phenomenon of Anderson localization. Although interactions and disorder both separately induce insulating behavior, the interplay of these two ingredients is subtle and often leads to surprising behavior at the periphery of our current understanding. Modern experiments probe these phenomena in a variety of contexts (e.g. disordered superconductors, cold atoms, photonic waveguides, etc.); thus, theoretical and numerical advancements are urgently needed. In this thesis, we report progress on understanding two contexts in which the interplay of disorder and interactions is especially important.
The first is the so-called “dirty” or random boson problem. In the past decade, a strong-disorder renormalization group (SDRG) treatment by Altman, Kafri, Polkovnikov, and Refael has raised the possibility of a new unstable fixed point governing the superfluid-insulator transition in the one-dimensional dirty boson problem. This new critical behavior may take over from the weak-disorder criticality of Giamarchi and Schulz when disorder is sufficiently strong. We analytically determine the scaling of the superfluid susceptibility at the strong-disorder fixed point and connect our analysis to recent Monte Carlo simulations by Hrahsheh and Vojta. We then shift our attention to two dimensions and use a numerical implementation of the SDRG to locate the fixed point governing the superfluid-insulator transition there. We identify several universal properties of this transition, which are fully independent of the microscopic features of the disorder.
The second focus of this thesis is the interplay of localization and interactions in systems with high energy density (i.e., far from the usual low energy limit of condensed matter physics). Recent theoretical and numerical work indicates that localization can survive in this regime, provided that interactions are sufficiently weak. Stronger interactions can destroy localization, leading to a so-called many-body localization transition. This dynamical phase transition is relevant to questions of thermalization in isolated quantum systems: it separates a many-body localized phase, in which localization prevents transport and thermalization, from a conducting (“ergodic”) phase in which the usual assumptions of quantum statistical mechanics hold. Here, we present evidence that many-body localization also occurs in quasiperiodic systems that lack true disorder.
Resumo:
Cyber-physical systems integrate computation, networking, and physical processes. Substantial research challenges exist in the design and verification of such large-scale, distributed sensing, ac- tuation, and control systems. Rapidly improving technology and recent advances in control theory, networked systems, and computer science give us the opportunity to drastically improve our approach to integrated flow of information and cooperative behavior. Current systems rely on text-based spec- ifications and manual design. Using new technology advances, we can create easier, more efficient, and cheaper ways of developing these control systems. This thesis will focus on design considera- tions for system topologies, ways to formally and automatically specify requirements, and methods to synthesize reactive control protocols, all within the context of an aircraft electric power system as a representative application area.
This thesis consists of three complementary parts: synthesis, specification, and design. The first section focuses on the synthesis of central and distributed reactive controllers for an aircraft elec- tric power system. This approach incorporates methodologies from computer science and control. The resulting controllers are correct by construction with respect to system requirements, which are formulated using the specification language of linear temporal logic (LTL). The second section addresses how to formally specify requirements and introduces a domain-specific language for electric power systems. A software tool automatically converts high-level requirements into LTL and synthesizes a controller.
The final sections focus on design space exploration. A design methodology is proposed that uses mixed-integer linear programming to obtain candidate topologies, which are then used to synthesize controllers. The discrete-time control logic is then verified in real-time by two methods: hardware and simulation. Finally, the problem of partial observability and dynamic state estimation is ex- plored. Given a set placement of sensors on an electric power system, measurements from these sensors can be used in conjunction with control logic to infer the state of the system.
Resumo:
Rapid Appraisals of the current fisheries situations of some selected inland water bodies in Nigeria were carried out within the framework of Aquaculture and Inland Fisheries Project (AIFP) Annex II of the National Special Programme for Food Security (NSPFS). This paper presents the results of the fishery assessment of one of the selected inland water bodies (Sabke Lake) in Nigeria with a view to optimizing the fish yield through the adoption of improved culture based fishery techniques and community-based fisheries management. The lake is unmanaged and the fishing pressure was found to be very high. Also a number of fishermen were found using small mesh size nets to crop the juveniles of highly valued fish species for an optimum catch. About 14 fishermen ought to have been engaged in full time fishing activities if the fisheries of this lake is to be managed on a sustainable basis. However, a surplus of over 100 fishermen was recorded actively fishing during the period of the study. The results further revealed that Fisheries Rules and Regulations were not established for the national exploitation and proper management of the fisheries of many inland water bodies including Sabke Lake. All these have a depilatory effect on the abundance and sizes of fish harvested from the nigerian inland water bodies especially Sabke Lake. A community based management system that establishes a participatory involvement of fishermen in the conservation and national exploitation of fisheries resources for their own well being is recommended for Sabke Lake and other inland water bodies in Nigeria
Resumo:
This thesis is motivated by safety-critical applications involving autonomous air, ground, and space vehicles carrying out complex tasks in uncertain and adversarial environments. We use temporal logic as a language to formally specify complex tasks and system properties. Temporal logic specifications generalize the classical notions of stability and reachability that are studied in the control and hybrid systems communities. Given a system model and a formal task specification, the goal is to automatically synthesize a control policy for the system that ensures that the system satisfies the specification. This thesis presents novel control policy synthesis algorithms for optimal and robust control of dynamical systems with temporal logic specifications. Furthermore, it introduces algorithms that are efficient and extend to high-dimensional dynamical systems.
The first contribution of this thesis is the generalization of a classical linear temporal logic (LTL) control synthesis approach to optimal and robust control. We show how we can extend automata-based synthesis techniques for discrete abstractions of dynamical systems to create optimal and robust controllers that are guaranteed to satisfy an LTL specification. Such optimal and robust controllers can be computed at little extra computational cost compared to computing a feasible controller.
The second contribution of this thesis addresses the scalability of control synthesis with LTL specifications. A major limitation of the standard automaton-based approach for control with LTL specifications is that the automaton might be doubly-exponential in the size of the LTL specification. We introduce a fragment of LTL for which one can compute feasible control policies in time polynomial in the size of the system and specification. Additionally, we show how to compute optimal control policies for a variety of cost functions, and identify interesting cases when this can be done in polynomial time. These techniques are particularly relevant for online control, as one can guarantee that a feasible solution can be found quickly, and then iteratively improve on the quality as time permits.
The final contribution of this thesis is a set of algorithms for computing feasible trajectories for high-dimensional, nonlinear systems with LTL specifications. These algorithms avoid a potentially computationally-expensive process of computing a discrete abstraction, and instead compute directly on the system's continuous state space. The first method uses an automaton representing the specification to directly encode a series of constrained-reachability subproblems, which can be solved in a modular fashion by using standard techniques. The second method encodes an LTL formula as mixed-integer linear programming constraints on the dynamical system. We demonstrate these approaches with numerical experiments on temporal logic motion planning problems with high-dimensional (10+ states) continuous systems.
Resumo:
The Notch signaling pathway enables neighboring cells to coordinate developmental fates in diverse processes such as angiogenesis, neuronal differentiation, and immune system development. Although key components and interactions in the Notch pathway are known, it remains unclear how they work together to determine a cell's signaling state, defined as its quantitative ability to send and receive signals using particular Notch receptors and ligands. Recent work suggests that several aspects of the system can lead to complex signaling behaviors: First, receptors and ligands interact in two distinct ways, inhibiting each other in the same cell (in cis) while productively interacting between cells (in trans) to signal. The ability of a cell to send or receive signals depends strongly on both types of interactions. Second, mammals have multiple types of receptors and ligands, which interact with different strengths, and are frequently co-expressed in natural systems. Third, the three mammalian Fringe proteins can modify receptor-ligand interaction strengths in distinct and ligand-specific ways. Consequently, cells can exhibit non-intuitive signaling states even with relatively few components.
In order to understand what signaling states occur in natural processes, and what types of signaling behaviors they enable, this thesis puts forward a quantitative and predictive model of how the Notch signaling state is determined by the expression levels of receptors, ligands, and Fringe proteins. To specify the parameters of the model, we constructed a set of cell lines that allow control of ligand and Fringe expression level, and readout of the resulting Notch activity. We subjected these cell lines to an assay to quantitatively assess the levels of Notch ligands and receptors on the surface of individual cells. We further analyzed the dependence of these interactions on the level and type of Fringe expression. We developed a mathematical modeling framework that uses these data to predict the signaling states of individual cells from component expression levels. These methods allow us to reconstitute and analyze a diverse set of Notch signaling configurations from the bottom up, and provide a comprehensive view of the signaling repertoire of this major signaling pathway.
Resumo:
On the basis of signed-digit negabinary representation, parallel two-step addition and one-step subtraction can be performed for arbitrary-length negabinary operands.; The arithmetic is realized by signed logic operations and optically implemented by spatial encoding and decoding techniques. The proposed algorithm and optical system are simple, reliable, and practicable, and they have the property of parallel processing of two-dimensional data. This leads to an efficient design for the optical arithmetic and logic unit. (C) 1997 Optical Society of America.
Resumo:
A compact two-step modified-signed-digit arithmetic-logic array processor is proposed. When the reference digits are programmed, both addition and subtraction can be performed by the same binary logic operations regardless of the sign of the input digits. The optical implementation and experimental demonstration with an electron-trapping device are shown. Each digit is encoded by a single pixel, and no polarization is included. Any combinational logic can be easily performed without optoelectronic and electro-optic conversions of the intermediate results. The system is compact, general purpose, simple to align, and has a high signal-to-noise ratio. (C) 1999 Optical Society of America.
Resumo:
A more powerful tool for binary image processing, i.e., logic-operated mathematical morphology (LOMM), is proposed. With LOMM the image and the structuring element (SE) are treated as binary logical variables, and the MULTIPLY between the image and the SE in correlation is replaced with 16 logical operations. A total of 12 LOMM operations are obtained. The optical implementation of LOMM is described. The application of LOMM and its experimental results are also presented. (C) 1999 Optical Society of America.
Resumo:
We present, for the first time to our knowledge, a generalized lookahead logic algorithm for number conversion from signed-digit to complement representation. By properly encoding the signed-digits, all the operations are performed by binary logic, and unified logical expressions can be obtained for conversion from modified-signed-digit (MSD) to 2's complement, trinary signed-digit (TSD) to 3's complement, and quarternary signed-digit (QSD) to 4's complement. For optical implementation, a parallel logical array module using an electron-trapping device is employed and experimental results are shown. This optical module is suitable for implementing complex logic functions in the form of the sum of the product. The algorithm and architecture are compatible with a general-purpose optoelectronic computing system. (C) 2001 Society of Photo-Optical Instrumentation Engineers.
Resumo:
This thesis presents methods for incrementally constructing controllers in the presence of uncertainty and nonlinear dynamics. The basic setting is motion planning subject to temporal logic specifications. Broadly, two categories of problems are treated. The first is reactive formal synthesis when so-called discrete abstractions are available. The fragment of linear-time temporal logic (LTL) known as GR(1) is used to express assumptions about an adversarial environment and requirements of the controller. Two problems of changes to a specification are posed that concern the two major aspects of GR(1): safety and liveness. Algorithms providing incremental updates to strategies are presented as solutions. In support of these, an annotation of strategies is developed that facilitates repeated modifications. A variety of properties are proven about it, including necessity of existence and sufficiency for a strategy to be winning. The second category of problems considered is non-reactive (open-loop) synthesis in the absence of a discrete abstraction. Instead, the presented stochastic optimization methods directly construct a control input sequence that achieves low cost and satisfies a LTL formula. Several relaxations are considered as heuristics to address the rarity of sampling trajectories that satisfy an LTL formula and demonstrated to improve convergence rates for Dubins car and single-integrators subject to a recurrence task.
Resumo:
Nesta dissertação, pretende-se investigar os elementos teóricos que sustentam as múltiplas possibilidades, facetas, modelos explicativos e tendências que sustentam a proposição do letramento como alternativa para as dificuldades do ensino e da aprendizagem da leitura e da escrita; procura-se ainda investigar que estratégias os professores das séries/anos iniciais de escolaridade têm utilizado para se apropriar do aparato teórico-metodológico que compõe o letramento. Na parte teórica, toma-se como referência as imbricações entre sociedade e educação escolar, delimita-se e analisa-se fatores que geraram condições de possibilidade que contribuíram para que o letramento surgisse tanto como conceito quanto como indicação para a prática pedagógica escolar; acrescenta-se, ainda, algumas tendências das discussões sobre letramento no contexto brasileiro. Pertinente à metodologia, privilegia-se o enfoque qualitativo, de caráter exploratório pontuado pelo referencial teórico, pelo conhecimento acumulado pelo pesquisador sobre o assunto e pelos dados coletados durante o desenvolvimento da pesquisa. Os dados são apresentados e agrupados a partir de três categorias: articulações entre alfabetização, letramento e escola; semelhanças e/ou diferenças entre sujeitos letrados e alfabetizados; estratégias de apropriação e operacionalização das bases teórico-metodológicas do letramento pela prática pedagógica. Revelou-se que o fenômeno do letramento constituiu-se e constitui-se numa perspectiva não-linear, não de causa e efeito, mas sob condições de possibilidades múltiplas e numa lógica assemelhada a um caleidoscópio que aponta eixos diversos para entendê-lo. Não obstante, verificou-se que o entendimento de muitos professores acerca do letramento se dá numa ótica de militância, fazendo com que pensando estarem refletindo a partir de um novo olhar, não consigam desvencilhar-se do lugar comum