Formalizing graphical notations

The thesis describes research into graphical notations for software engineering, with a principal interest in ways of formalizing them. The research seeks to provide a theoretical basis that will help in designing both notations and the software tools that process them. The work starts from a survey of literature on notation, followed by a review of techniques for formal description and for computational handling of notations. The survey concentrates on collecting views of the benefits and the problems attending notation use in software development; the review covers picture description languages, grammars and tools such as generic editors and visual programming environments. The main problem of notation is found to be a lack of any coherent, rigorous description methods. The current approaches to this problem are analysed as lacking in consensus on syntax specification and also lacking a clear focus on a defined concept of notated expression. To address these deficiencies, the thesis embarks upon an exploration of serniotic, linguistic and logical theory; this culminates in a proposed formalization of serniosis in notations, using categorial model theory as a mathematical foundation. An argument about the structure of sign systems leads to an analysis of notation into a layered system of tractable theories, spanning the gap between expressive pictorial medium and subject domain. This notion of 'tectonic' theory aims to treat both diagrams and formulae together. The research gives details of how syntactic structure can be sketched in a mathematical sense, with examples applying to software development diagrams, offering a new solution to the problem of notation specification. Based on these methods, the thesis discusses directions for resolving the harder problems of supporting notation design, processing and computer-aided generic editing. A number of future research areas are thereby opened up. For practical trial of the ideas, the work proceeds to the development and partial implementation of a system to aid the design of notations and editors. Finally the thesis is evaluated as a contribution to theory in an area which has not attracted a standard approach

Comparison of NACA 65-series compressor-blade pressure distributions and performance in a rotor and in cascade

An investigation has been conducted to compare the performance of NACA 65-series compressor blades in two-dimensional cascade with that in an axial flow compressor. Blade pressure distributions were obtained by the use of a mercury-seal pressure-transfer device. The comparison indicated that cascade data accurately predicted the turning angle and blade pressure distribution obtained in the compressor at design conditions

Exploring Ableism through Teacher Identity and Empowerment: Teaching about Disability through a Campus Common Reader

This study was conducted to find how teacher candidates at a southwestern regional university understood ableism and empowerment based on their reading and interaction with the campus common reader. This work was important to help future teachers form healthy instructional practices that are inclusive of all students, regardless of ability in their future classrooms. The findings of this study showed evidence that this reading experience was transformative in helping teacher candidates form a teacher identity that was not only inclusive and welcoming of all, but also empowering

THE UTILIZATION OF MOUTH-PROTECTORS BY FRESHMAN FOOTBALL PLAYERS

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/65782/1/j.1752-7325.1972.tb03937.x.pd

APPROXIMATE SOLUTION OF FRACTIONAL ORDER MATHEMATICAL MODEL ON THE CO-TRANSMISSION OF ZIKA AND CHIKUNGUNYA VIRUS USING LAPLACE ADOMIAN DECOMPOSITION METHOD

Gaining insight into the transmission dynamics of the Zika and Chikungunya viruses, as well as their co-infection, is essential for implementing efficient public health interventions. This paper presents a comprehensive fractional order mathematical model consisting of thirteen non-linear compartments to accurately represent the intricate interactions between humans and infected mosquito populations, as well as the challenges associated with their identification. In order to solve this model, we utilize the Laplace Adomians Decomposition Method (LADM), which is a very effective analytical technique for solving nonlinear differential equations. By utilizing LADM, we obtained infinite series solutions for the previously given model that ultimately converged to its precise solutions. The numerical simulations of the model demonstrate the transmission patterns of Zika virus, Chikungunya virus, and their co-infections for different values of . We utilized the fmicon algorithm, a MATLAB optimization tool, to accurately fit into the model, real-life data from Espirito Santos State in Brazil, where two viruses are concurrently spreading. The simulation deduce that, reducing mosquito biting rates and promoting compliance with treated bed net usage can substantially mitigate Zika-Chikungunya co-infection dynamics

Bureaucratic Kind: Early Freshman Encounters with a Campus Bureaucracy

Abstract: A study examined the early encounters of traditional-age freshmen with a campus bureaucracy. Data were collected through semistructured interviews with traditional-age freshmen at a state university and with staff in the offices that dealt with them. The results revealed that although students did sometimes experience their encounters with the campus bureaucracy as annoying, frustrating, and confusing, their actions were mediated by their relative powerlessness and their interpretations of their experiences and options; that students' comments about their problems with the bureaucracy related to lines and waiting, impersonality, rules, the fact that specialized offices were scattered across various buildings, and paperwork; that students generally chose to be nonconfrontational when dealing with the bureaucracy; and that staff members experienced difficulties in trying to make the system work and managing their sometimes conflictual relationships with students. Administration | Bureaucracy | Colleges and Universities | Students | First yea