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.

The Western Pacific Fishery Information Network: A Fisheries Information System

The Western Pacific Fishery Information Network (WPACFlN) is an intergovernmental agency cooperative program sponsored by the National Marine Fisheries Service (NMFS) to help participating island fisheries agencies carry out data collection, analysis, reporting programs, and data management activities to better support fisheries management under the Magnuson Fishery Conservation and Management Act; and to help meet local fisheries information and management needs. The WPACFlN is the central source of information for Federal fisheries management of most fisheries in American Samoa, Guam, and the Northern Mariana Islands, and it plays an important role in acquiring fisheries data in Hawaii. This paper describes the development and status of this fishery information system.

Social and gender analysis report: Barotse Floodplain, Western Province,Zambia

There is increasing awareness that integrating gender into development frameworks is critical for effective implementation of development strategies. In working to alleviate rural poverty, the CGIAR Research Program on Aquatic Agricultural Systems (AAS) recognizes that “business as usual” gender integration approaches will not deliver lasting and widespread improvements in agricultural productivity, poverty reduction and food security. In response, AAS operationalized a gender transformative approach. The approach is informed by conceptual frameworks that explicitly recognize the potent influence of social relations on creating and perpetuating gender inequalities. In this way, AAS aims to address the underlying causes of rural poverty and gender inequality in Zambia’s Barotse Floodplain, where people rely extensively on riverine and wetland ecosystems for food and livelihood security. A central question guiding the research program is “How do social norms and gendered power relations influence agricultural development outcomes?” The findings presented in this report provide insights that help answer this question. The report presents a review of literature relevant to livelihoods, ecosystem services, and gender and social relations in Zambia, with a specific focus on Western Province, where AAS is currently implemented. It also presents a synthesis of findings of a social and gender analysis conducted in 2013 in 10 focal communities situated in and around the Barotse Floodplain.

Ship-board measurements and estimations of air-sea fluxes in the western tropical Pacific during TOGA COARE

Direct air-sea flux measurements were made on RN Kexue #1 at 40 degrees S, 156 degrees E during the Tropical Ocean Global Atmosphere (TOGA) Coupled Ocean-Atmospheric Response Experiment (COARE) Intensive Observation Period (IOP). An array of six accelerometers was used to measure the motion of the anchored ship, and a sonic anemometer and Lyman-alpha hygrometer were used to measure the turbulent wind vector and specific humidity. The contamination of the turbulent wind components by ship motion was largely removed by an improvement of a procedure due to Shao based on the acceleration signals. The scheme of the wind correction for ship motion is briefly outlined. Results are presented from data for the best wind direction relative to the ship to minimize flow distortion effects. Both the time series and the power spectra of the sonic-measured wind components show swell-induced ship motion contamination, which is largely removed by the accelerometer correction scheme, There was less contamination in the longitudinal wind component than in the vertical and transverse components. The spectral characteristics of the surface-layer turbulence properties are compared with those from previous land and ocean results, Momentum and latent heat fluxes were calculated by eddy correlation and compared to those estimated by the inertial dissipation method and the TOGA COARE bulk formula. The estimations of wind stress determined by eddy correlation are smaller than those from the TOGA COARE bulk formula, especially for higher wind speeds, while those from the bulk formula and inertial dissipation technique are generally in agreement. The estimations of latent heal flux from the three different methods are in reasonable agreement. The effect of the correction for ship motion on latent heat fluxes is not as large as on momentum fluxes.

GreenCoop: Cooperative Green Routing with Energy-efficient Servers

Energy-efficient communication has recently become a key challenge for both researchers and industries. In this paper, we propose a new model in which a Content Provider and an Internet Service Provider cooperate to reduce the total power consumption. We solve the problem optimally and compare it with a classic formulation, whose aim is to minimize user delay. Results, although preliminary, show that power savings can be huge: up to 71% on real ISP topologies. We also show how the degree of cooperation impacts overall power consumption. Finally, we consider the impact of the Content Provider location on the total power savings.

The political philosophy of Miki Kiyoshi: A close reading of the philosophical foundations of cooperative communitarianism

The thesis is a historical and philological study of the mature political theory of Miki Kiyoshi (1897-1945) focused on Philosophical Foundations of Cooperative Communitarianism (1939), a full translation of which is included. As the name suggests, it was a methodological and normative communitarianism, which critically built on liberalism, Marxism and Confucianism to realise a regional political community. Some of Miki’s Western readers have wrongly considered him a fascist ideologue, while he has been considered a humanist Marxist in Japan. A closer reading cannot support either view. The thesis argues that the Anglophone study of Japanese philosophy is a degenerating research programme ripe for revolution in the sense of returning full circle to an original point. That means returning to the texts, reading them contextually and philologically, in principle as early modern European political theory is read by intellectual historians, such as the representatives of Cambridge School history of political thought. The resulting reading builds critically on the Japanese scholarship and relates it to contemporary Western and postcolonial political theory and the East Asian tradition, particularly neo-Confucianism. The thesis argues for a Cambridge School perspective radicalised by the critical addendum of geo-cultural context, supplemented by Geertzian intercultural hermeneutics and a Saidian ‘return to philology’. As against those who have seen radical reorientations in Miki’s political thought, the thesis finds gradual progression and continuity between his neo-Kantian, existentialist, Marxian anthropology, Hegelian and finally communitarian phases. The theoretical underpinnings are his philosophical anthropology, a structurationist social theory of praxis, and a critique of liberalism, Marxism, nationalism and idealism emphasising concrete as opposed to abstract theory and the need to build on existing cultural traditions to modernise rather than westernise East Asia. This post-Western fusion was imagined to be the beginning of a true and pluralistic universalism.

Politics, Power, PISA: a genealogy of mathematics education policy at second level in Ireland at the beginning of the 21st century

This thesis traces a genealogy of the discourse of mathematics education reform in Ireland at the beginning of the twenty first century at a time when the hegemonic political discourse is that of neoliberalism. It draws on the work of Michel Foucault to identify the network of power relations involved in the development of a single case of curriculum reform – in this case Project Maths. It identifies the construction of an apparatus within the fields of politics, economics and education, the elements of which include institutions like the OECD and the Government, the bureaucracy, expert groups and special interest groups, the media, the school, the State, state assessment and international assessment. Five major themes in educational reform emerge from the analysis: the arrival of neoliberal governance in Ireland; the triumph of human capital theory as the hegemonic educational philosophy here; the dominant role of OECD/PISA and its values in the mathematics education discourse in Ireland; the fetishisation of western scientific knowledge and knowledge as commodity; and the formation of a new kind of subjectivity, namely the subjectivity of the young person as a form of human-capital-to-be. In particular, it provides a critical analysis of the influence of OECD/PISA on the development of mathematics education policy here – especially on Project Maths curriculum, assessment and pedagogy. It unpacks the arguments in favour of curriculum change and lays bare their ideological foundations. This discourse contextualises educational change as occurring within a rapidly changing economic environment where the concept of the State’s economic aspirations and developments in science, technology and communications are reshaping both the focus of business and the demands being put on education. Within this discourse, education is to be repurposed and its consequences measured against the paradigm of the Knowledge Economy – usually characterised as the inevitable or necessary future of a carefully defined present.

Intrinsic measure of diversity gains in generalised distributed antenna systems with cooperative users

The diversity gains achievable in the generalised distributed antenna system with cooperative users (GDAS-CU) are considered. A GDAS-CU is comprised of M largely separated access points (APs) at one side of the link, and N geographically closed user terminals (UTs) at the other side. The UTs are collaborating together to enhance the system performance, where an idealised message sharing among the UTs is assumed. First, geometry-based network models are proposed to describe the topology of a GDAS-CU. The mean cross-correlation coefficients of signals received from non-collocated APs and UTs are calculated based on the network topology and the correlation models derived from the empirical data. The analysis is also extendable to more general scenarios where the APs are placed in a clustered form due to the constraints of street layout or building structure. Subsequently, a generalised signal attenuation model derived from several stochastic ray-tracing-based pathloss models is applied to describe the power-decaying pattern in urban built-up areas, where the GDAS-CU may be deployed. Armed with the cross-correlation and pathloss model preliminaries, an intrinsic measure of cooperative diversity obtainable from a GDAS-CU is then derived, which is the number of independent fading channels that can be averaged over to detect symbols. The proposed analytical framework would provide critical insight into the degree of possible performance improvement when combining multiple copies of the received signal in such systems.

Cooperative communications in ultra-wideband wireless body area networks: Channel modeling and system diversity analysis

In this paper, we explore the application of cooperative communications in ultra-wideband (UWB) wireless body area networks (BANs), where a group of on-body devices may collaborate together to communicate with other groups of on-body equipment. Firstly, time-domain UWB channel measurements are presented to characterize the body-centric multipath channel and to facilitate the diversity analysis in a cooperative BAN (CoBAN). We focus on the system deployment scenario when the human subject is in the sitting posture. Important channel parameters such as the pathloss, power variation, power delay profile (PDP), and effective received power (ERP) crosscorrelation are investigated and statistically analyzed. Provided with the model preliminaries, a detailed analysis on the diversity level in a CoBAN is provided. Specifically, an intuitive measure is proposed to quantify the diversity gains in a single-hop cooperative network, which is defined as the number of independent multipaths that can be averaged over to detect symbols. As this measure provides the largest number of redundant copies of transmitted information through the body-centric channel, it can be used as a benchmark to access the performance bound of various diversity-based cooperative schemes in futuristic body sensor systems.

New public management of Higher education, Foucault and power

The theory of New Public Management (NPM) suggest that one of the features of advanced liberal rule is the tendency to define social, economic and political issues as problems to be solved through management. This paper argues that the restructuring of Higher Education (HE) in many Western countries since the 1980s has involved a shift from an emphasis on administration and policy to one of its efficient management. Utilising Foucault’s concept of governmentality rather than the liberal discourse of management as a politically neutral technology, managerialism can be seen as a newly emergent and increasingly rationalised disciplinary regime of governmentalising practices in advanced liberalism. As such the contemporary University as an institution governed by NPM can be demonstrated to have emerged not as the direct outcome of democratic policies that have rationalised its activities (so that the emancipatory aims of personal development, an educated workforce and of true research can be fully realised), nor can it be understood as the instrument through which individuals or self-realising classes are defeated through the calculations of the state acting on behalf of economic interests, rather it can be seen as the contingent and intractable outcome of the complex power/knowledge relations of advanced liberalism. I analyse the interlocking of the ‘tutor-subject’ and ‘student-subject’ as a local enacting of policy discourse informed by the NPM of HE that reshapes subjectivity and retunes the relationship between tutor and student. I put forward suggestions for how resistance to these new modes of disciplinary subjectification can be enacted.

De la cooperativa agroalimentaria a la "learning netchain". Hacia un planteamiento teorico interorganizativo e interpersonal

Se propone un planteamiento teórico/conceptual para determinar si las relaciones interorganizativas e interpersonales de la netchain de las cooperativas agroalimentarias evolucionan hacia una learning netchain. Las propuestas del trabajo muestran que el mayor grado de asociacionismo y la mayor cooperación/colaboración vertical a lo largo de la cadena están positivamente relacionados con la posición horizontal de la empresa focal más cercana del consumidor final. Esto requiere una planificación y una resolución de problemas de manera conjunta, lo que está positivamente relacionado con el mayor flujo y diversidad de la información/conocimiento obtenido y diseminado a lo largo de la netchain. Al mismo tiempo se necesita desarrollar un contexto social en el que fluya la información/conocimiento y las nuevas ideas de manera informal y esto se logra con redes personales y, principalmente, profesionales y con redes internas y, principalmente, externas. Todo esto permitirá una mayor satisfacción de los socios de la cooperativa agroalimentaria y de sus distribuidores y una mayor intensidad en I+D, convirtiéndose la netchain de la cooperativa agroalimentaria, así, en una learning netchain.

On the Diversity-Multiplexing Tradefoff for Wireless Cooperative Multiple Access Systems

A spectrally efficient strategy is proposed for cooperative multiple access (CMA) channels in a centralized communication environment with $N$ users. By applying superposition coding, each user will transmit a mixture containing its own information as well as the other users', which means that each user shares parts of its power with the others. The use of superposition coding in cooperative networks was first proposed in , which will be generalized to a multiple-user scenario in this paper. Since the proposed CMA system can be seen as a precoded point-to-point multiple-antenna system, its performance can be best evaluated using the diversity-multiplexing tradeoff. By carefully categorizing the outage events, the diversity-multiplexing tradeoff can be obtained, which shows that the proposed cooperative strategy can achieve larger diversity/multiplexing gain than the compared transmission schemes at any diversity/multiplexing gain. Furthermore, it is demonstrated that the proposed strategy can achieve optimal tradeoff for multiplexing gains $0leq r leq 1$ whereas the compared cooperative scheme is only optimal for $0leq r leq ({1}/{N})$. As discussed in the paper, such superiority of the proposed CMA system is due to the fact that the relaying transmission does not consume extra channel use and, hence, the deteriorating effect of cooperative communication on the data rate is effectively limited.

Gaze and power. A post-structuralist interpretation on Perseus’ myth

Gaze hierarchizes, manages and labels reality. Then, according to Foucault, gaze can be understood as a practice of power. This paper is inspired by his theories, and it applies them to one of the most powerful symbolic spheres of Western culture: Greek Myths. Notions such as visibility, invisibility and panopticism bring new light into the story of Perseus and Medusa, and they enable a re-reading of this Myth focused on the different ways of power that emerge from the gaze.