An RF interference mitigation methodology with potential applications in scheduling

Software tools for interference analysis and mitigation were developed in the Communications Link Analysis and Simulation System (CLASS) environment for: communications performance evaluation; and mission planning. Potential applications are seen in analysis, evaluation, and optimization of user schedules. Tools producing required separation angles and potential interference intervals can be used as an aid to mutual interference mitigation within a scheduling system

A method for interference mitigation in space communications scheduling

Increases in the number of user spacecraft and data rates supported by NASA's Tracking and Data Relay Satellite System (TDRSS) in the S and Ku bands could result in communications conflicts due to mutual interference. A method to mitigate interference while minimizing unnecessary scheduling restrictions on both TDRSS network and user resources, based on consideration of all relevant communications parameters, was developed. The steps of this method calculate required separation angles at TDRS and produce interference intervals, which can be used in the production of schedules free of unacceptable interference. The method can also be used as a basis for analysis, evaluation, and optimization of user schedules with respect to communications performance. Described here are the proposed method and its potential application to scheduling in space communications. Test cases relative to planned missions, including the Earth Observing System, the Space Station Manned Base, and the Space Shuttle are discussed

Development and evaluation of a device to simulate a sonic boom

A device to simulate the vibrational and acoustical properties of a sonic boom was developed and evaluated. The design employed a moving circular diaphragm which produced pressure variations by altering the volume of an air-tight enclosure that was located adjacent to an acoustical test chamber. A review of construction oriented problems, along with their solutions, is presented. The simulator is shown to produce the effects of sonic booms having pressure signatures with rise times as low as 5 milliseconds, durations as short as 80 milliseconds, and overpressures as high as 2.5 pounds per square foot. Variations in the signatures are possible by independent adjustments of the simulator. The energy spectral density is also shown to be in agreement with theory and with actual measurements for aircraft

A method for interference mitigation in space communications scheduling

Increases in the number of user spacecraft and data rates supported by NASA's Tracking and Data Relay Satellite System (TDRSS) in the S and Ku bands could result in communications conflicts due to mutual interference. More attention must be paid to this problem in terms of communications scheduling. A method based on consideration of all relevant communications parameters has been developed to mitigate interference while minimizing unnecessary scheduling restrictions on both the TDRSS network and user resources. This method calculates required separation angles at TDRS and produces potential interference intervals, which can be used in the production of schedules free of unacceptable interference. The method also can be used as the basis for analysis, evaluation, and optimization of user schedules with respect to communications performance. This paper describes the method and its proposed application to scheduling in space communications. Test cases relative to missions operating at Ku-band, including Space Shuttle, are discussed

Experiences applying Formal Approaches in the Development of Swarm-Based Space Exploration Systems

NASA is researching advanced technologies for future exploration missions using intelligent swarms of robotic vehicles. One of these missions is the Autonomous Nan0 Technology Swarm (ANTS) mission that will explore the asteroid belt using 1,000 cooperative autonomous spacecraft. The emergent properties of intelligent swarms make it a potentially powerful concept, but at the same time more difficult to design and ensure that the proper behaviors will emerge. NASA is investigating formal methods and techniques for verification of such missions. The advantage of using formal methods is the ability to mathematically verify the behavior of a swarm, emergent or otherwise. Using the ANTS mission as a case study, we have evaluated multiple formal methods to determine their effectiveness in modeling and ensuring desired swarm behavior. This paper discusses the results of this evaluation and proposes an integrated formal method for ensuring correct behavior of future NASA intelligent swarms

Systems, methods and apparatus for generation and verification of policies in autonomic computing systems

Described herein is a method that produces fully (mathematically) tractable development of policies for autonomic systems from requirements through to code generation. This method is illustrated through an example showing how user formulated policies can be translated into a formal mode which can then be converted to code. The requirements-based programming method described provides faster, higher quality development and maintenance of autonomic systems based on user formulation of policies.Further, the systems, methods and apparatus described herein provide a way of analyzing policies for autonomic systems and facilities the generation of provably correct implementations automatically, which in turn provides reduced development time, reduced testing requirements, guarantees of correctness of the implementation with respect to the policies specified at the outset, and provides a higher degree of confidence that the policies are both complete and reasonable. The ability to specify the policy for the management of a system and then automatically generate an equivalent implementation greatly improves the quality of software, the survivability of future missions, in particular when the system will operate untended in very remote environments, and greatly reduces development lead times and costs

Autonomous and Autonomic Swarms

A watershed in systems engineering is represented by the advent of swarm-based systems that accomplish missions through cooperative action by a (large) group of autonomous individuals each having simple capabilities and no global knowledge of the group s objective. Such systems, with individuals capable of surviving in hostile environments, pose unprecedented challenges to system developers. Design and testing and verification at much higher levels will be required, together with the corresponding tools, to bring such systems to fruition. Concepts for possible future NASA space exploration missions include autonomous, autonomic swarms. Engineering swarm-based missions begins with understanding autonomy and autonomicity and how to design, test, and verify systems that have those properties and, simultaneously, the capability to accomplish prescribed mission goals. Formal methods-based technologies, both projected and in development, are described in terms of their potential utility to swarm-based system developers

Challenges of Developing New Classes of NASA Self-Managing Mission

NASA is proposing increasingly complex missions that will require a high degree of autonomy and autonomicity. These missions pose hereto unforeseen problems and raise issues that have not been well-addressed by the community. Assuring success of such missions will require new software development techniques and tools. This paper discusses some of the challenges that NASA and the rest of the software development community are facing in developing these ever-increasingly complex systems. We give an overview of a proposed NASA mission as well as techniques and tools that are being developed to address autonomic management and the complexity issues inherent in these missions

Requirements of an Integrated Formal Method for Intelligent Swarms

NASA is investigating new paradigms for future space exploration, heavily focused on the (still) emerging technologies of autonomous and autonomic systems [47, 48, 49]. Missions that rely on multiple, smaller, collaborating spacecraft, analogous to swarms in nature, are being investigated to supplement and complement traditional missions that rely on one large spacecraft [16]. The small spacecraft in such missions would each be able to operate on their own to accomplish a part of a mission, but would need to interact and exchange information with the other spacecraft to successfully execute the mission

Predictors of Long Covid 19 Syndrome

Background: Symptoms of covid persist in most cases with development of a multisystem syndrome called long covid syndrome.Objective: The aim of the work was to evaluate symptoms that persist after the acute stage of the disease in a cohort of patients with confirmed or suspected COVID 19 and to define the predictors for long COVID syndrome.Patients and method: This retrospective study involved 164 patients with previously confirmed or highly suspected COVID 19 and still attending to the post covid outpatient clinic in El-Minia University Chest Hospital complaining from persistence of symptoms or for regular follow up. Their data was obtained from their previous medical reports. Results: Post Covid 19 symptoms were found in about 86 % of the studied patients with 42.7% reported neuropsychiatric symptoms and 26.8% reported respiratory symptoms. The most common reported symptoms in nonsevere cases were the anxiety disorders (18.9%), followed by chronic fatigue and neuropathy (15.2%), while chronic dyspnea in 9.8% mostly in severe cases, while vertigo and headache in 9.1%, musculoskeletal symptoms in 6.1% and skin lesions in 3.7%.Conclusion: It could be concluded that persistence of symptoms is very common after acute Covid 19 infection. Chronic dyspnea was reported more frequently in severe cases while anxiety reported mostly by patients with mild disease