A Survey of Requirements Engineering Methods for Pervasive Services

Designing and deploying ubiquitous computing systems, such as those delivering large-scale mobile services, still requires large-scale investments in both development effort as well as infrastructure costs. Therefore, in order to develop the right system, the design process merits a thorough investigation of the wishes of the foreseen user base. Such investigations are studied in the area of requirements engineering (RE). In this report, we describe and compare three requirements engineering methods that belong to one specific form of RE, namely Goal-Oriented Requirements Engineering. By mapping these methods to a common framework, we assess their applicability in the field of ubiquitous computing systems

A System Level Study of New Wake Turbulence Separation Concepts and Their Impact on Airport Capacity

The air transportation industry continues to grow worldwide, but demand is often limited by available airspace and airport capacity. This thesis focuses on evaluating new air traffic procedures: specifically, new and emerging wake turbulence separation rules that could potentially increase runway capacity based on today’s knowledge of wake vortex turbulence and technological capabilities. While legacy wake separation rules establish aircraft-classes based on weight of aircraft, these new separation rules can define separation standards by considering other aircraft parameters and dynamic wind conditions. A fast-time runway system model is developed for studying these wake separation rules, using Monte-Carlo simulations, to provide accurate and realistic runway capacity estimates based on the randomness of arrival and departure operations. A total of nine new proposed wake separation rules are analyzed in detail, which include both distance-based and time-based methods, as well as static and dynamic concepts. Seven of the busiest and most delayed U.S. airports are selected as case studies for the illustration of runway capacity benefits enabled by these new wake separation rules: Boston (BOS), New York J.F. Kennedy (JFK), New York LaGuardia (LGA), Newark (EWR), San Francisco (SFO), Los Angeles (LAX), and Chicago O’Hare (ORD). For a detailed capacity analysis, the new wake separation rules are tested under the most constraining runway configurations at each of these airports. The results indicate that increasing the number of aircraft wake categories can increase runway capacity, but the added benefits become smaller with each new category added. A five-or six-category wake separation system can capture most of the runway capacity that can be achieved with a static pair-wise system. Additionally, shifting wake category boundaries between airports as a function of local fleet mix can provide additional runway capacity benefits, meaning that airport specific wake separation rules can increase capacity over a universal separation rule system. Among the new wake separation rules, the results indicate that reducing wake separations further from current minimum separations (separation values of 2NM or less) can shift the operational bottleneck from the approach path to the runway, as runway occupancy time becomes the limiting factor for inter-arrival separations. The findings from the time-based separation rule demonstrate that switching from distance-based separations to time-based separations in strong headwind conditions can recover significant lost capacity. Time-based separation rules can be of great value 4 to increase operational reliability and capacity predictability at airports in all weather conditions. Moreover, the results also indicate that a reduction in minimum separations enabled by dynamic wind and aircraft information can offer marginal runway capacity benefits over the capacity enabled by static pair-wise wake separations, as more and more aircraft pairs become limited by runway occupancy time. Therefore, a joint effort is needed for reducing both wake separations and runway occupancy in order to accommodate future air traffic demand.This project was funded under the FAA NEXTOR II Center of Excellence

The Influence Of Runway Occupancy Time And Wake Vortex Separation Requirements On Runway Throughput

Air traffic growth in the U.S. has led to runway capacity constraints in the air transportation network. There has been limited new construction of runways due to land availability. One approach to increase capacity of existing runways is to reduce inter-arrival separations during the final approach phase of flight. This study evaluates two major elements influencing runway capacity; runway occupancy and wake vortex separation, and under what conditions each becomes a constraint to runway capacity. A detailed analysis of runway occupancy time measurements and wake vortex separation measurements is performed for Boston, Philadelphia, New York La Guardia, and Newark airports based on Airport Surface Detection Equipment Model-X (ASDE-X) aircraft surveillance data. The findings of this study indicate that runway occupancy does not necessary scale with aircraft size. Small aircraft often occupy the runway as long as large aircraft, which limits the potential for reduced separations behind small aircraft. The results also indicate that high-speed runway exits can make a significant difference in runway occupancy. Runways equipped with high-speed exits have lower runway occupancy times than runways equipped with standard 90-degree exits. Comparison of runway occupancy times in Visual Meteorological Conditions (VMC) and Instrument Meteorological Conditions (IMC) suggest no significant difference between the two weather conditions. Wake vortex separation measurements show that aircraft pairs with small lead aircraft receive longer separation buffers than other aircraft pairs, and airports with more runways implement longer separation buffers. The comparison of landing time intervals and runway occupancy illustrates that wake vortex separation requirements limit runway capacity when heavy or Boeing 757 is the lead aircraft. Lastly, this study evaluates the runway capacity benefits of reduced wake separation requirements for the aircraft re-categorization (RECAT) program. The results estimate an 8.2-8.3% increase in runway capacity at Philadelphia and at Newark, a 7.8% increase at Boston, and a 5.1% increase at La Guardia. The magnitude of benefits strongly depends on how the local traffic mix looks like.This project was funded under the FAA NEXTOR II Center of Excellence

Low-energy Antiproton Interaction with Helium

An ab initio potential for the interaction of the neutral helium atom with antiprotons and protons is calculated using the Born-Oppenheimer approximation. Using this potential, the annihilation cross section for antiprotons in the energy range 0.01 microvolt to 1 eV is calculated.Comment: 13 pages, 7 figures, LaTe

Applications of CORBA in the ATLAS prototype DAQ

This paper presents the experience of using the Common Object Request Broker Architecture (CORBA) in the ATLAS prototype DAQ project. Many communication links in the DAQ system have been designed and implemented using the CORBA standard. A public domain package, called Inter-Language Unification (ILU) has been used to implement CORBA based communications between DAQ components in a local area network (LAN) of heterogeneous computers. The CORBA Naming Service provides the principal mechanism through which most clients of an ORE-based system locate objects that they intend to use. In our project, conventions are employed that meaningfully partition the name space of the Naming Service according to divisions in the DAQ system itself. The Inter Process Communication (IPC) package, implemented in C++ on the top of CORBA/ILU, incorporates this facility and hides the details of the naming schema is described. The development procedure and environment for remote database access using IPC is described. Various end-user interfaces have been implemented using the Java language that communicate with C++ servers via CORBA/ILU. To support such interfaces, a second implementation of IPC in Java has been developed. The design and implementation of such connections are described. An alternative CORBA implementation, ORBacus, has been evaluated and compared with ILU. (24 refs)

Building a technology for mass organisation of distance learning for students in quarantine based on the Moodle platform

The COVID-19 pandemic has necessitated the rapid transition to distance learning for students worldwide. This paper examines the current state of distance learning implementation in secondary schools of the Zhytomyr region in Ukraine. A survey of 2445 teachers found that most were using various software tools for distance learning without a unified learning management system. Analysis of the Moodle, Google Classroom, and "My Class" platforms showed Moodle to have significant advantages for supporting distance learning. To enable schools to leverage Moodle, an "Educational Portal for Secondary School" was developed at Zhytomyr Polytechnic State University using the Moodle platform. Based on this Moodle portal, the paper proposes a technology for the mass organisation of distance learning during quarantine. The technology combines the tools, electronic resources, course structure, and tutor competencies required for effective distance learning implementation

Quantum and Classical Orientational Ordering in Solid Hydrogen

We present a unified view of orientational ordering in phases I, II, and III of solid hydrogen. Phases II and III are orientationally ordered, while the ordering objects in phase II are angular momenta of rotating molecules, and in phase III the molecules themselves. This concept provides quantitative explanation of the vibron softening, libron and roton spectra, and increase of the IR vibron oscillator strength in phase III. The temperature dependence of the effective charge parallels the frequency shifts of the IR and Raman vibrons. All three quantities are linear in the order parameter.Comment: Replaced with the final text, accepted for publication in PRL. 1 Fig. added. Misc. text revision

DISTANCE LEARNING OF FUTURE PRIMARY SCHOOL TEACHERS AS A PREREQUISITE OF THEIR PROFESSIONAL DEVELOPMENT THROUGHOUT LIFE

The article demonstrates the expediency and ways of organizing distance training of future primary school teachers: forming theoretical knowledge and skills basis in students for the mastery and effective use of computer devices and information and communication technologies in professional activities and the fundamentals of information culture, information and communication competence; establishing a foundation for further mastery of teaching curriculum and technologies of distance learning in the area of primary education; as well as implementing the electronic learning courses Modern Information Technologies of Learning and The Fundamentals of Distance Learning in Primary School (developed at LMS Moodle). It is noted that the distance training of a future primary school teacher is an interdisciplinary pedagogic category that characterizes the degree of individualization, intensity and controllability, is subjected to the goals of the professional development of independent cognitive activities of teachers based on information and communication technology means with the indirect interaction (synchronous and asynchronous) with learning process participants located remotely from one another, under the supervision of a tutor. The readiness of the future primary school teacher to distance learning in the system of pedagogical education as an integral property of the individual, reflecting the comprehensive interaction of the motivational and value, cognitive and operational components, is determined. An experimental study was carried out; its results showed that the implementation of such distance courses into the educational process of experimental groups enabled a positive dynamics of the levels of future primary school teachers’ readiness to develop their own vocational and pedagogical competence in the conditions of distance learning. In the experimental groups of future primary school teachers compared with the control ones, the increase in the indicators of high readiness for distance learning was observed