SDN enabled dynamically reconfigurable high capacity optical access architecture for converged services

Dynamically reconfigurable time-division multiplexing (TDM) dense wavelength division multiplexing (DWDM) long-reach passive optical networks (PONs) can support the reduction of nodes and network interfaces by enabling a fully meshed flat optical core. In this paper we demonstrate the flexibility of the TDM-DWDM PON architecture, which can enable the convergence of multiple service types on a single physical layer. Heterogeneous services and modulation formats, i.e. residential 10G PON channels, business 100G dedicated channel and wireless fronthaul, are demonstrated co-existing on the same long reach TDM-DWDM PON system, with up to 100km reach, 512 users and emulated system load of 40 channels, employing amplifier nodes with either erbium doped fiber amplifiers (EDFAs) or semiconductor optical amplifiers (SOAs). For the first time end-to-end software defined networking (SDN) management of the access and core network elements is also implemented and integrated with the PON physical layer in order to demonstrate two service use cases: a fast protection mechanism with end-to-end service restoration in the case of a primary link failure; and dynamic wavelength allocation (DWA) in response to an increased traffic demand.

Désensibilisation morale et légitimation de l'intimidation entre pairs au secondaire

Cette thèse doctorale, qui prend la forme de quatre articles, est une étude corrélationnelle mettant en relation le raisonnement moral et la légitimation des dynamiques d’intimidation par les pairs chez des adolescents de 3ème secondaire. L’objectif principal poursuivi était d’examiner la contribution de la désensibilisation morale aux conduites adoptées par les adolescents lors d’incidents d’intimidation à l’école. L’objectif secondaire était d’examiner l’importance accordée respectivement à des standards de conduite issus des domaines moral, conventionnel et personnel chez les adolescents impliqués dans des incidents d’intimidation. Le premier article expose la problématique de la légitimation des dynamiques d’intimidation par les jeunes en faisant état des croyances normatives et des caractéristiques des environnements scolaires qui y sont associées. L’article discute de l’écart qui s’observe entre l’opposition affirmée de la majorité des adolescents face aux conduites d’intimidation et leur récurrence dans les milieux scolaires et vient compléter une première section décrivant les conséquences de l’intimidation pour les communautés scolaires. Le deuxième article s’inscrit dans le cadre théorique de cette thèse et fait état des connaissances sur le raisonnement moral des élèves impliqués dans des dynamiques d’intimidation. Il présente une explication des conduites d’intimidation dans la perspective de la théorie des domaines de la connaissance sociale et dans celle de la théorie de l’agentivité morale. Ces approches ont été retenues pour opérationnaliser le concept de désensibilisation morale afin de rencontrer les objectifs de recherche poursuivis. Le troisième article rapporte la démarche utilisée pour vérifier l’hypothèse d’une relation positive entre les conduites d’intimidation et l’acceptabilité d’incidents d’intimidation hypothétiques, de même que l’hypothèse d’une relation positive entre les conduites d’intimidation et le désengagement moral chez les adolescents impliqués. Le quatrième article rapporte la démarche utilisée pour examiner les justifications sociomorales émises par différents profils d’adolescents impliqués dans des incidents d’intimidation de façon à associer leur conduite avec les domaines de connaissances normatives auxquels se rattachent leurs justifications. Les résultats obtenus sont ensuite discutés au chapitre suivant afin de mettre en évidence la contribution de chacune des approches morales retenues à l’explication des conduites en contexte d’intimidation et les caractéristiques du raisonnement moral associées aux rôles adoptés et des pistes d’intervention sont offertes. Finalement, cette thèse doctorale conclue que seul le niveau moyen de désengagement moral, un indice global de l’adhésion à des croyances normatives antisociales, contribue statistiquement à l’explication des conduites adoptées lors d’incident d’intimidation au-delà du sexe des participants. Quant au raisonnement sociomoral, il informe davantage sur la façon dont les circonstances d’incidents d’intimidation sont reliées à la désensibilisation morale des jeunes impliqués. Les adolescents qui prennent activement la défense de pairs intimidés étaient caractérisés par un raisonnement moral plus uniforme, tandis que le raisonnement des élèves qui intimident et de ceux qui demeurent passifs était caractérisé par la subordination de principes moraux, respectivement en faveur d’impératifs à caractère conventionnel et d’impératifs à caractère personnel.

Formal Modeling and Analysis Techniques for High Level Petri Nets

Petri Nets are a formal, graphical and executable modeling technique for the specification and analysis of concurrent and distributed systems and have been widely applied in computer science and many other engineering disciplines. Low level Petri nets are simple and useful for modeling control flows but not powerful enough to define data and system functionality. High level Petri nets (HLPNs) have been developed to support data and functionality definitions, such as using complex structured data as tokens and algebraic expressions as transition formulas. Compared to low level Petri nets, HLPNs result in compact system models that are easier to be understood. Therefore, HLPNs are more useful in modeling complex systems. There are two issues in using HLPNs - modeling and analysis. Modeling concerns the abstracting and representing the systems under consideration using HLPNs, and analysis deals with effective ways study the behaviors and properties of the resulting HLPN models. In this dissertation, several modeling and analysis techniques for HLPNs are studied, which are integrated into a framework that is supported by a tool. For modeling, this framework integrates two formal languages: a type of HLPNs called Predicate Transition Net (PrT Net) is used to model a system's behavior and a first-order linear time temporal logic (FOLTL) to specify the system's properties. The main contribution of this dissertation with regard to modeling is to develop a software tool to support the formal modeling capabilities in this framework. For analysis, this framework combines three complementary techniques, simulation, explicit state model checking and bounded model checking (BMC). Simulation is a straightforward and speedy method, but only covers some execution paths in a HLPN model. Explicit state model checking covers all the execution paths but suffers from the state explosion problem. BMC is a tradeoff as it provides a certain level of coverage while more efficient than explicit state model checking. The main contribution of this dissertation with regard to analysis is adapting BMC to analyze HLPN models and integrating the three complementary analysis techniques in a software tool to support the formal analysis capabilities in this framework. The SAMTools developed for this framework in this dissertation integrates three tools: PIPE+ for HLPNs behavioral modeling and simulation, SAMAT for hierarchical structural modeling and property specification, and PIPE+Verifier for behavioral verification.

High Formalism: The aerial view and the colour field

Laura Kurgan’s Monochrome Landscapes (2004), first exhibited in the Whitney Museum of American Art in New York City, consists of four oblong Cibachrome prints derived from digital files sourced from the commercial Ikonos and QuickBird satellites. The prints are ostensibly flat, depthless fields of white, green, blue, and yellow, yet the captions provided explain that the sites represented are related to contested military, industrial, and cartographic practices. In Kurgan’s account of Monochrome Landscapes she explains that it is in dialogue with another work from the Whitney by abstract artist Ellsworth Kelly. This article pursues the relationship between formalist abstraction and satellite imaging in order to demonstrate how formalist strategies aimed at producing an immediate retinal response are bound up with contemporary uses of digital information and the truth claims such information can be made to substantiate.

Extending Automated Testing To High-level Software Requirements : A study on the feasibility of automated acceptance-testing

Automated acceptance testing is the testing of software done in higher level to test whether the system abides by the requirements desired by the business clients by the use of piece of script other than the software itself. This project is a study of the feasibility of acceptance tests written in Behavior Driven Development principle. The project includes an implementation part where automated accep- tance testing is written for Touch-point web application developed by Dewire (a software consultant company) for Telia (a telecom company) from the require- ments received from the customer (Telia). The automated acceptance testing is in Cucumber-Selenium framework which enforces Behavior Driven Development principles. The purpose of the implementation is to verify the practicability of this style of acceptance testing. From the completion of implementation, it was concluded that all the requirements from customer in real world can be converted into executable specifications and the process was not at all time-consuming or difficult for a low-experienced programmer like the author itself. The project also includes survey to measure the learnability and understandability of Gherkin- the language that Cucumber understands. The survey consist of some Gherkin exam- ples followed with questions that include making changes to the Gherkin exam- ples. Survey had 3 parts: first being easy, second medium and third most difficult. Survey also had a linear scale from 1 to 5 to rate the difficulty level for each part of the survey. 1 stood for very easy and 5 for very difficult. Time when the partic- ipants began the survey was also taken in order to calculate the total time taken by the participants to learn and answer the questions. Survey was taken by 18 of the employers of Dewire who had primary working role as one of the programmer, tester and project manager. In the result, tester and project manager were grouped as non-programmer. The survey concluded that it is very easy and quick to learn Gherkin. While the participants rated Gherkin as very easy.

Stochastic Modeling of Reversible Biochemical Reaction-Diffusion Systems and High-Resolution Shock-Capturing Methods for Fluid Interfaces

Thesis (Ph.D.)--University of Washington, 2016-08

Air Pollution and High Density Lipoprotein Structure and Function

Thesis (Ph.D.)--University of Washington, 2016-06

Reasoning about change over time: Actions, events and their effects

This paper presents a new formalism for reasoning about change over time. The formalism derives a clean separation between the notion of states and situations. It allows more flexible temporal causal relationships than do other formalisms for reasoning about causal change, such as the situation calculus and the event calculus. It includes effects that start during, immediately after, or some time after their causes, and which end before, simultaneously with, or after their causes. A formal distinction between actions, action-types and events is proposed, which allows the expression of common-sense causal laws at high level. It is shown how these laws can be used to deduce state change over time at low level, when events occur under certain preconditions hold. Two problems that beset most interval-based temporal systems, i.e., the so-called dividing instant problem and intermingling problem, are absent from the formalism.

Locomotor Muscle Fatigue Does Not Alter Oxygen Uptake Kinetics during High-Intensity Exercise

The V˙O2 slow component (V˙O2sc) that develops during high-intensity aerobic exercise is thought to be strongly associated with locomotor muscle fatigue. We sought to experimentally test this hypothesis by pre-fatiguing the locomotor muscles used during subsequent high-intensity cycling exercise. Over two separate visits, eight healthy male participants were asked to either perform a non-metabolically stressful 100 intermittent drop-jumps protocol (pre-fatigue condition) or rest for 33 min (control condition) according to a random and counterbalanced order. Locomotor muscle fatigue was quantified with 6-s maximal sprints at a fixed pedaling cadence of 90 rev·min−1. Oxygen kinetics and other responses (heart rate, capillary blood lactate concentration and rating of perceived exertion, RPE) were measured during two subsequent bouts of 6 min cycling exercise at 50% of the delta between the lactate threshold and V˙O2max determined during a preliminary incremental exercise test. All tests were performed on the same cycle ergometer. Despite significant locomotor muscle fatigue (P = 0.03), the V˙O2sc was not significantly different between the pre-fatigue (464 ± 301 mL·min−1) and the control (556 ± 223 mL·min−1) condition (P = 0.50). Blood lactate response was not significantly different between conditions (P = 0.48) but RPE was significantly higher following the pre-fatiguing exercise protocol compared with the control condition (P < 0.01) suggesting higher muscle recruitment. These results demonstrate experimentally that locomotor muscle fatigue does not significantly alter the V˙O2 kinetic response to high intensity aerobic exercise, and challenge the hypothesis that the V˙O2sc is strongly associated with locomotor muscle fatigue.

Tris(2-ethylhexyl) trimellitate (TOTM) as a potential industrial reference fluid for viscosity at high temperatures and high pressures: New viscosity, density and surface tension measurements

Tris(2-ethylhexyl) trimellitate (TOTM) was recently suggested as a reference fluid for industrial use associated with high viscosity at elevated temperature and pressure. Viscosity and density data have already been published on one sample covering the temperature range (303-373) K and at pressures up to about 65 MPa. The viscosity covered a range from about (9 to 460) mPa s. In the present article we study several other characteristics of TOTM that must be available if it were to be adopted as a standard. First, we present values for the viscosity and density obtained with a different sample of TOTM to examine the important feature of consistency among different samples. Vibrating-wire viscosity measurements were performed at pressures from (5 to 100) MPa, along 6 isotherms between (303 and 373) K. Density measurements were carried out from (293 to 373) K up to 68 MPa, along 4 isotherms, using an Anton Paar DMA HP vibrating U-tube densimeter. Secondly, we report a study of the effect of water contamination on the viscosity of TOTM, performed using an Ubbelhode viscometer under atmospheric pressure. Finally, in order to support the use of TOTM as a reference liquid for the calibration of capillary viscometers, values of its surface tension, obtained by the pendant drop method, are provided. (C) 2016 Elsevier B.V. All rights reserved.

Towards guidelines for curriculum design and development in English language teacher education in Cambodian higher education institutions

In the current Cambodian higher education sector, there is little regulation of standards in curriculum design of undergraduate degrees in English language teacher education. The researcher, in the course of his professional work in the Curriculum and Policy Office at the Department of Higher Education, has seen evidence that most universities tend to copy their curriculum from one source, the curriculum of the Institute of Foreign Languages, the Royal University of Phnom Penh. Their programs fail to impose any entry standards, accepting students who pass the high school exam without any entrance examination. It is possible for a student to enter university with satisfactory scores in all subjects but English. Therefore, not many graduates are able to fulfil the professional requirements of the roles they are supposed to take. Neau (2010) claims that many Cambodian EFL teachers do not reach a high performance standard due to their low English language proficiency and poor background in teacher education. The main purpose of this study is to establish key guidelines for developing curricula for English language teacher education for all the universities across the country. It examines the content of the Bachelor‘s degree of Education in Teaching English as a Foreign Language (B Ed in TEFL) and Bachelor‘s degree of Arts in Teaching English to Speakers of Other Languages (BA in TESOL) curricula adopted in Cambodian universities on the basis of criteria proposed in current curriculum research. It also investigates the perspectives of Cambodian EFL teachers on the areas of knowledge and skill they need in order to perform their English teaching duties in Cambodia today. The areas of knowledge and skill offered in the current curricula at Cambodian higher education institutions (HEIs), the framework of the knowledge base for EFL teacher education and general higher education, and the areas of knowledge and skill Cambodian EFL teachers perceive to be important, are compared so as to identify any gaps in the current English language teacher education curricula in the Cambodian HEIs. The existence of gaps show what domains of knowledge and skill need to be included in the English language teacher education curricula at Cambodian HEIs. These domains are those identified by previous curriculum researchers in both general and English language teacher education at tertiary level. Therefore, the present study provides useful insights into the importance of including appropriate content in English language teacher education curricula. Mixed methods are employed in this study. The course syllabi and the descriptions within the curricula in five Cambodian HEIs are analysed qualitatively based on the framework of knowledge and skills for EFL teachers, which is formed by looking at the knowledge base for second language teachers suggested by the methodologists and curriculum specialists whose work is elaborated on the review of literature. A quantitative method is applied to analyse the perspectives of 120 Cambodian EFL teachers on areas of knowledge and skills they should possess. The fieldwork was conducted between June and August, 2014. The analysis reveals that the following areas are included in the curricula at the five universities: communication skills, general knowledge, knowledge of teaching theories, teaching skills, pedagogical reasoning and decision making skills, subject matter knowledge, contextual knowledge, cognitive abilities, and knowledge of social issues. Additionally, research skills are included in three curricula while society and community involvement is in only one. Further, information and communication technology, which is outlined in the Education Strategies Plan (2006-2010), forms part of four curricula while leadership skills form part of two. This study demonstrates ultimately that most domains that are directly and indirectly related to language teaching competence are not sufficiently represented in the current curricula. On the basis of its findings, the study concludes with a set of guidelines that should inform the design and development of TESOL and TEFL curricula in Cambodia.

Rational Function Interpolation of Electromagnetic Transfer Functions of High-Speed Interconnect Systems from Discrete Time-Domain and Frequency-Domain Data

We present new methodologies to generate rational function approximations of broadband electromagnetic responses of linear and passive networks of high-speed interconnects, and to construct SPICE-compatible, equivalent circuit representations of the generated rational functions. These new methodologies are driven by the desire to improve the computational efficiency of the rational function fitting process, and to ensure enhanced accuracy of the generated rational function interpolation and its equivalent circuit representation. Toward this goal, we propose two new methodologies for rational function approximation of high-speed interconnect network responses. The first one relies on the use of both time-domain and frequency-domain data, obtained either through measurement or numerical simulation, to generate a rational function representation that extrapolates the input, early-time transient response data to late-time response while at the same time providing a means to both interpolate and extrapolate the used frequency-domain data. The aforementioned hybrid methodology can be considered as a generalization of the frequency-domain rational function fitting utilizing frequency-domain response data only, and the time-domain rational function fitting utilizing transient response data only. In this context, a guideline is proposed for estimating the order of the rational function approximation from transient data. The availability of such an estimate expedites the time-domain rational function fitting process. The second approach relies on the extraction of the delay associated with causal electromagnetic responses of interconnect systems to provide for a more stable rational function process utilizing a lower-order rational function interpolation. A distinctive feature of the proposed methodology is its utilization of scattering parameters. For both methodologies, the approach of fitting the electromagnetic network matrix one element at a time is applied. It is shown that, with regard to the computational cost of the rational function fitting process, such an element-by-element rational function fitting is more advantageous than full matrix fitting for systems with a large number of ports. Despite the disadvantage that different sets of poles are used in the rational function of different elements in the network matrix, such an approach provides for improved accuracy in the fitting of network matrices of systems characterized by both strongly coupled and weakly coupled ports. Finally, in order to provide a means for enforcing passivity in the adopted element-by-element rational function fitting approach, the methodology for passivity enforcement via quadratic programming is modified appropriately for this purpose and demonstrated in the context of element-by-element rational function fitting of the admittance matrix of an electromagnetic multiport.

Identifying the Supports and Challenges of High School Latino English Language Learners

Two out of three English Language Learners (ELLs) graduate from secondary schools nationwide. Of the nearly five million ELLs in public schools, more than 70% of these students’ first language is Spanish. In order to understand and resolve this phenomena and in an effort to increase the number of graduates, this research examined what high school Latino ELLs identified as the major external and internal factors that support or challenge them on the graduation pathway. The study utilized a 32 quantitative and qualitative question student survey, as well as student focus groups. Both the survey and the focus groups were conducted in English and Spanish. The questions considered the following factors: 1) value of education; 2) expectations in achieving their long-term goals; 3) current education levels; 4) expectations before coming to the United States; 5) family obligations; and 6) future aspirations. The survey was administered to 159 Latino ELLs enrolled in grades 9-12. Research took place at three high schools that provide English for Speakers of Other Languages (ESOL) classes in a large school system in the Mid-Atlantic region. The three schools involved in the study have more than 1,500 ELLs. Two of the schools had large ESOL instructional programs, and one school had a comparatively smaller ESOL program. The majority of students surveyed were from El Salvador (72%) and Guatemala (12.6%). Using Qualtrics, an independent facilitator and a bilingual translator administered the online survey tool to the students during their ESOL classes. Two weeks later, the researcher hosted three follow-up focus groups, totaling 37 students from those students who took the survey. Each focus group was conducted at the three schools by the lead researcher and the translator. The purpose of the focus group was to obtain deeper insight on how secondary age Latino ELLs defined success in school, what they identified to be their support factors, and how previous and present experiences helped or hindered their goals. From the research findings, ten recommendations range from suggested policy updates to cross-cultural/equity training for students and staff; they were developed, stemming from the findings and what the students identified.

Case-based reasoning in course timetabling: an attribute graph approach

An earlier Case-based Reasoning (CBR) approach developed by the authors for educational course timetabling problems employed structured cases to represent the complex relationships between courses. Previous solved cases represented by attribute graphs were organized hierarchically into a decision tree. The retrieval searches for graph isomorphism among these attribute graphs. In this paper, the approach is further developed to solve a wider range of problems. We also attempt to retrieve those graphs that have common similar structures but also have some differences. Costs that are assigned to these differences have an input upon the similarity measure. A large number of experiments are performed consisting of different randomly produced timetabling problems and the results presented here strongly indicate that a CBR approach could provide a significant step forward in the development of automated system to solve difficult timetabling problems. They show that using relatively little effort, we can retrieve these structurally similar cases to provide high quality timetables for new timetabling problems.

GPRM: a high performance programming framework for manycore processors

Processors with large numbers of cores are becoming commonplace. In order to utilise the available resources in such systems, the programming paradigm has to move towards increased parallelism. However, increased parallelism does not necessarily lead to better performance. Parallel programming models have to provide not only flexible ways of defining parallel tasks, but also efficient methods to manage the created tasks. Moreover, in a general-purpose system, applications residing in the system compete for the shared resources. Thread and task scheduling in such a multiprogrammed multithreaded environment is a significant challenge. In this thesis, we introduce a new task-based parallel reduction model, called the Glasgow Parallel Reduction Machine (GPRM). Our main objective is to provide high performance while maintaining ease of programming. GPRM supports native parallelism; it provides a modular way of expressing parallel tasks and the communication patterns between them. Compiling a GPRM program results in an Intermediate Representation (IR) containing useful information about tasks, their dependencies, as well as the initial mapping information. This compile-time information helps reduce the overhead of runtime task scheduling and is key to high performance. Generally speaking, the granularity and the number of tasks are major factors in achieving high performance. These factors are even more important in the case of GPRM, as it is highly dependent on tasks, rather than threads. We use three basic benchmarks to provide a detailed comparison of GPRM with Intel OpenMP, Cilk Plus, and Threading Building Blocks (TBB) on the Intel Xeon Phi, and with GNU OpenMP on the Tilera TILEPro64. GPRM shows superior performance in almost all cases, only by controlling the number of tasks. GPRM also provides a low-overhead mechanism, called “Global Sharing”, which improves performance in multiprogramming situations. We use OpenMP, as the most popular model for shared-memory parallel programming as the main GPRM competitor for solving three well-known problems on both platforms: LU factorisation of Sparse Matrices, Image Convolution, and Linked List Processing. We focus on proposing solutions that best fit into the GPRM’s model of execution. GPRM outperforms OpenMP in all cases on the TILEPro64. On the Xeon Phi, our solution for the LU Factorisation results in notable performance improvement for sparse matrices with large numbers of small blocks. We investigate the overhead of GPRM’s task creation and distribution for very short computations using the Image Convolution benchmark. We show that this overhead can be mitigated by combining smaller tasks into larger ones. As a result, GPRM can outperform OpenMP for convolving large 2D matrices on the Xeon Phi. Finally, we demonstrate that our parallel worksharing construct provides an efficient solution for Linked List processing and performs better than OpenMP implementations on the Xeon Phi. The results are very promising, as they verify that our parallel programming framework for manycore processors is flexible and scalable, and can provide high performance without sacrificing productivity.