Design, specification, and synthesis of aircraft electric power systems control logic

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.

Divining for meaning and searching for a female literary identity in Alice Munros Lives of girls and women and Margaret Laurences The diviners

Esta dissertação tem por objetivo investigar como Alice Munro e Margaret Laurence se apropriam de gêneros canônicos, especificamente do Bildungsroman e do Künstlerroman, para subvertê-los e representar versões diferentes do sujeito feminino através de romances de cunho autobiográfico escritos por mulheres. A investigação é focada em dois romances: Lives of Girls and Women (1971), escrito por Alice Munro, e The Diviners (1974), escrito por Margaret Laurence. No romance de Alice Munro, as estratégias de apagamento das fronteiras entre gêneros, a ideia de que perspectivas de realidade mudam de acordo com a experiência e a memória de cada indivíduo, como também a ênfase no desenvolvimento da protagonista enquanto pessoa e escritora, são assuntos amplamente discutidos. No romance de Margaret Laurence, a ênfase no aspecto subjetivo da memória, a desconstrução de estereótipos de gênero e a renegociação da representação do sujeito feminino para o alcance de uma identidade feminina autônoma na vida e na arte são os principais assuntos investigados. Em vista disso, esta dissertação visa mostrar como a representação da identidade feminina é redefinida por duas escritoras canadenses que se apropriaram de discursos dominantes para subvertê-los e, então, reescreverem suas histórias

Standardisation of specification for different trolling lures

Fishing experiments were conducted with buffalo horn, wooden and galvanised iron jigs of different lengths and weights rigged in troll lines. It was observed that jigs with 12 cm length and 60 g weight were superior to others in luring seer fish. Fish head jigs of 60 g weight showed a higher efficiency index than those of 50 and 70 g tried in these studies.