Search NASA⌕ Search

SEARCH · Search NASA

Results for “Communicate knowledge”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 829 records · Page 46

Structural and Stratigraphic Controls on Methane Hydrate occurrence and distribution: Gulf of Mexico, Walker Ridge 313 and Green Canyon 955: Final Report

The goal of this project was to determine structural and stratigraphic controls on hydrate occurrence and distribution in Green Canyon (GC) 955 and Walker Ridge (WR) 313 blocks using seismic and well data. Gas hydrate was discovered in these blocks in coarse- and fine-grained sediments during the 2009 Joint Industrial project (JIP) Leg 11 drilling expedition. Although the immediate interest of the exploration community is exclusively hydrate which is present in coarse–grained sediments, factors that control hydrate and free gas distribution in the two blocks and whether coarse and fine-grained hydrate-bearing units are related in any manner, formed the core of this research. The project spanned from 10/01/2012 to 07/31/2016. In the project, in both the leased blocks, the interval spanning the gas hydrate stability zone (GHSZ) was characterized using a joint analysis of sparse Ocean Bottom Seismic (OBS) and dense, surface–towed multichannel seismic (MCS) data. The project team had the luxury of calibrating their results with two well logs. Advance processing methods such as depth migration and full-waveform inversion (FWI) were used for seismic data analysis. Hydrate quantification was achieved through interpretation of the FWI velocity field using appropriate rock physics models at both blocks. The seismic modeling/inversion methodology (common to both GC955 and WR313 blocks) was as follows. First, the MCS data were depth migrated using a P-wave velocity (VP) model constructed using inversion of reflection arrival times of a few (four in both cases) key horizons carefully picked in the OBS data to farthest possible offsets. Then, the resolution of the traveltime VP model was improved to wavelength scale by inverting OBS gathers up to the highest frequency possible (21.75 Hz for GC955 and 17.5 for WR313) using FWI. Finally, the hydrate saturation (or the volume fraction) was estimated at the well location assuming one of the other hydrate morphology (filling the primary or the secondary porosity) was extrapolated out from the wells using the FWI VP as a guide. General outcomes were as follows. First and foremost, an imaging methodology using sparse seismic data, which is easily replicable at other sites with similar datasets, has been demonstrated. The end product of this methodology at both the leased blocks is quantitative estimates of hydrate distribution. Second, at both locations there is strong evidence that the base of the GHSZ, which does not appear as a clear Bottom Simulating Reflection (BSR), manifests in the VP perturbations created by FWI, suggesting that FWI is sensitive to subtle compositional changes in shallow sediments and establishes it as a valuable tool for investigations of hydrate-bearing basins. Third, through joint interpretation of the depth migrated image and the FWI VP model, how structure and stratigraphy jointly determine hydrate and free gas distribution in both blocks could be clearly visualized. The joint interpretation also suggests that the coarse and fine grained hydrate-bearing sediments at both leased are connected. Site specific results, in addition to general results, are as follows. At GC955 the overlying fine-grained hydrate-bearing unit could have been sourced from the underlying hydrate coarse-grained channel-levee complex through a chimney feature. The channel-levee system at GC955 is compartmentalized by faults, of which only a few may be impermeable. Although compartmentalized, the channel-levee system in the GC955 as a whole might be in communication except selected zones. At WR313 the overlying fine-grained fracture-filled hydrate unit appears to be sourced from below the GHSZ. The reason that only a particular fine-grained unit has hydrate, despite having lower porosity that the bounding units, could be the presence of secondary porosity (such as those formed from clay dewatering under compaction). In conclusion, the project was a pioneering effort in in joint analysis of OBS and MCS datasets for advancing the knowledge about a hydrate and free–gas system dynamics using advanced processing methods such as FWI and depth migration. Results obtained in this project can greatly advance the tools and techniques used for delineating specific hydrate prospects. Results obtained in this project can also be seamlessly incorporated into other DOE funded project on modeling the potential productivity and commercial viability of hydrate from sand-dominated reservoirs. The OBS and MCS data in this project were acquired in 2012 (after the JIP II drilling) by the USGS and therefore the results are a posteriori. Nonetheless, the seismic inversion workflow established through this project can be used to generate various what-if quantification scenarios even in absence of logs and serve as a valuable tool for guiding drilling operations. Results from this project can augment other DOE sponsored projects on determining the commercial viability of methane production from the Gulf of Mexico.

03 NATURAL GAS↗

Propagation-related AMT design aspects and supporting experiments

The ACTS Mobile Terminal (AMT) is presently being developed with the goal of significantly extending commercial satellite applications and their user base. A thorough knowledge of the Ka-band channel characteristics is essential to the proper design of a commercially viable system that efficiently utilizes the valuable resources. To date, only limited tests have been performed to characterize the Ka-band channel, and they have focused on the needs of fixed terminals. As part of the value of the AMT as a Ka-band test bed is its function as a vehicle through which tests specifically applicable to the mobile satellite communications can be performed. The exact propagation environment with the proper set of elevation angles, vehicle antenna gains and patterns, roadside shadowing, rain, and Doppler is encountered. The ability to measure all of the above, as well as correlate their effects with observed communication system performance, creates an invaluable opportunity to understand in depth Ka-band's potential in supporting mobile and personal communications. This paper discusses the propagation information required for system design, the setup with ACTS that will enable obtaining this information, and finally the types of experiments to be performed and data to be gathered by the AMT to meet this objective.

Dessouky, Khaled↗

REE radiation fault model: a tool for organizing and communication radiation test data and construction COTS based spacebourne computing systems

The growth in data rates of instruments on future NASA spacecraft continues to outstrip the improvement in communications bandwidth and processing capabilities of radiation-hardened computers. Sophisticated autonomous operations strategies will further increase the processing workload. Given the reductions in spacecraft size and available power, standard radiation hardened computing systems alone will not be able to address the requirements of future missions. The REE project was intended to overcome this obstacle by developing a COTS- based supercomputer suitable for use as a science and autonomy data processor in most space environments. This development required a detailed knowledge of system behavior in the presence of Single Event Effect (SEE) induced faults so that mitigation strategies could be designed to recover system level reliability while maintaining the COTS throughput advantage. The REE project has developed a suite of tools and a methodology for predicting SEU induced transient fault rates in a range of natural space environments from ground-based radiation testing of component parts. In this paper we provide an overview of this methodology and tool set with a concentration on the radiation fault model and its use in the REE system development methodology. Using test data reported elsewhere in this and other conferences, we predict upset rates for a particular COTS single board computer configuration in several space environments.

Radiation Effects Modeling COTS computers REE SEU ↗

NASA/DOD Aerospace Knowledge Diffusion Research Project. Paper 43: The role of information resource training in aerospace education. Expanded version

Information resource instruction for undergraduate aerospace engineering students has traditionally been limited to an occasional part of the education process--a written paper required in the capstone design course or a library tour. Efforts to encourage the use of aerospace literature and information resources have been made in the past decade, with a recent push from information and, especially, networking technology. This paper presents data from a survey of U.S. aerospace engineering students regarding their instruction in the use of information resources. We find that more than 25 percent of the students surveyed had no instruction in technical communications skills or the use of information resources. We consider the need for instruction in the use of information resources and technical communications skills and the opportunities presented for improvement.

Lawrence, Barbara↗

Mission Operations and Command Assurance: Flight Operations Quality Improvements

Mission Operations and Command Assurance (MO&CA) is a Total Quality Management (TQM) task on JPL projects to instill quality in flight mission operations. From a system engineering view, MO&CA facilitates communication and problem-solving among flight teams and provides continuous process improvement to reduce risk in mission operations by addressing human factors. The MO&CA task has evolved from participating as a member of the spacecraft team to an independent team reporting directly to project management and providing system level assurance. JPL flight projects have benefited significantly from MO&CA's effort to contain risk and prevent rather than rework errors. MO&CA's ability to provide direct transfer of knowledge allows new projects to benefit from previous and ongoing flight experience.

mission↗

Intelligent Process Visualization through Nuclear Operation Process Modeling, Reasoning, and Object Detection from Field Videos (Final Report)

This report is a deliverable for the “Final Report” task of DOE NEET Project 19-16790, "Context-Aware Safety Information Display for Nuclear Field Workers." This project's overall goal is to test the hypothesis that integrating computer vision and process reasoning methods will enable proactive visualization of the safe operation and maintenance processes of Nuclear Power Plants (NPP) for field workers. Augmented Reality (AR) glasses adopting such proactive safety information visualization techniques can significantly increase personnel safety and reduce the NPP’s operating costs. The current practice of monitoring NPPs requires workers to switch between digital models, data, and physical workspaces in identifying relevant but potentially occluded objects and in assessing the risks of operation and maintenance processes. On the other hand, frequently changed field conditions require field workers to report to supervisors for real-time guidance. Such guidance is essential to ensure that changing conditions will not invalidate or endanger the work order and other ongoing processes that may jeopardize NPP operations. Additionally, incorrect recognition of equipment objects can result in communication errors and safety problems. AR techniques can assist engineers in viewing the physical workspaces with objects labeled with detailed operation procedures and safety reminders during field operations. The project team developed an “Intelligent Context-Aware Safety Information Display” (ICAD) for supporting Nuclear Power Plant (NPP) field workers in achieving safe and efficient execution of a series of operational tasks in uncertain and changing workspaces of an NPP. Before designing the ICAD-AR prototype, the project team synthesized NPP operational knowledge models through literature review studies, surveys, interviews with domain experts, and knowledge modeling. The project team conducted an extensive study of the operational procedures of various NPPs, and digital technologies that can support the safe and efficient execution of those procedures in different NPP operational contexts. This literature review helped the project team conduct surveys and interviews with nuclear engineers and field workers to identify three categories of information. The NPP knowledge modeling efforts reveal that the three categories of information identified have different levels of importance in a typical procedure of carrying out a series of tasks to achieve a specific NPP operation goal (e.g., shutdown, mode changes). These three categories of information include 1) Workspace dynamics – the changing spatial arrangements of workspaces, tools, protection equipment, and supporting materials, 2) Workflow prognostics – the dynamic dependencies between different parts of an NPP that functionally support and influence each other in terms of safety and efficiency, and 3) Hazards – objects and spaces that contain hazardous materials or physical conditions that can pose risks to workers or mechanical systems. The project team has profiled the importance levels of these categories of information into a knowledge model. This knowledge model specifies what types of information are more critical for a given task in a given workspace so that computers can automatically identify critical objects and sensors in a scene for delivering context-ware safety information to field workers through AR devices. Significant research development of this project results in technical research outcomes and a prototyping system that illustrates the technical feasibility of establishing an ICAD-AR system supporting the proactive safety information display for nuclear field workers. This final report summarizes the project team’s technological achievements in the past three years. Overall, the project team completed the development and integration of five techniques into a prototype ICAD Augmented Reality (ICAD-AR) system and demonstrated the developed system’s real-time execution in a mechanical room. The project team completed the analysis of using this prototype in other types of workspaces based on 3D image data and digital design models collected from two additional workspaces (a water treatment plant and a flow loop training facility). The integrated techniques include 1) Natural Language Processing (NLP) algorithms supporting the generation and updates of nuclear fieldwork process models based on text analysis of work packages and operation manuals; 2) sensor log analysis for predicting control actions in given sensor reading contexts; 3) computer vision algorithms for automatic localization and navigation of workers; 4) object detection algorithms for identifying task-related objects and correlated sensors for safety checking; 5) AR technique as a platform for supporting the integration. The testing results of these five techniques have shown that 1) the sensor log analysis model can predict the next control action with an accuracy of 0.883; 2) the trained natural language processing model can extract more than 80% of the critical information from paper-based procedures (PBPs); 3) the navigation algorithm with the integration of Visual Inertial Odometry (VIO) and Non-Recursive Bayesian Filter methods make operator’s trajectory estimation resilient to drift error; 4) the computer vision algorithm can detect task-specific and safety-critical objects with an average accuracy of 95.3%. The project team used work procedures collected from a flow loop training facility and two datasets collected from two mechanical rooms simulating the workspaces of NPPs to demonstrate the technical capabilities of the developed ICAD-AR prototype. The demonstration validated the technical feasibility of establishing the ICAD-AR system for nuclear field workers and identified the challenges in 1) automatic text analysis of work packages; 2) use of limited samples of sensor logs for predicting the proper timings of control actions; 3) reliably tracking workers and their task progress in mechanical rooms with many similar objects.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

Space station

The history of American space flight indicates that a space station is the next logical step in the scientific pursuit of greater knowledge of the universe. The Space Station and its complement of space vehicles, developed by NASA, will add new dimensions to an already extensive space program in the United States. The Space Station offers extraordinary benefits for a comparatively modest investment (currently estimated at one-ninth the cost of the Apollo Program). The station will provide a permanent multipurpose facility in orbit necessary for the expansion of space science and technology. It will enable significant advancements in life sciences research, satellite communications, astronomy, and materials processing. Eventually, the station will function in support of the commercialization and industrialization of space. Also, as a prerequisite to manned interplanetary exploration, the long-duration space flights typical of Space Station missions will provide the essential life sciences research to allow progressively longer human staytime in space.

Stewart, Donald F.↗

HSI in NASA: From Research to Implementation

As NASA plans to send human explorers beyond low Earth orbit, onward to Mars and other destinations in the solar system, there will be new challenges to address in terms of HSI. These exploration missions will be quite different from the current and past missions such as Apollo, Shuttle, and International Space Station. The exploration crew will be more autonomous from ground mission control with delayed, and at times, no communication. They will have limited to no resupply for much longer mission durations. Systems to deliver and support extended human habitation at these destinations are extremely complex and unique, presenting new opportunities to employ HSI practices. In order to have an effective and affordable HSI implementation, both research and programmatic efforts are required. Currently, the HSI-related research at NASA is primarily in the area of space human factors and habitability. The purpose is to provide human health and performance countermeasures, knowledge, technologies, and tools to enable safe, reliable, and productive human space exploration beyond low Earth orbit, and update standards, requirements, and processes to verify and validate these requirements. In addition, HSI teams are actively engaged in technology development and demonstration efforts to influence the mission architecture and next-generation vehicle design. Finally, appropriate HSI references have been added to NASA' s systems engineering documentation, and an HSI Practitioner's Guide has been published to help design engineers consider HSI early and continuously in the acquisition process. These current and planned HSI-related activities at NASA will be discussed in this panel.

Whitmore, Mihriban↗

ADPSM Learning Team Review 2015-001. NPI-7 Drum/POC Dropped – Leads to Improved Lifting

As part of the ADPSM Safety Improvement Plan, the WSST has established a subcommittee for a Learning Team. The purpose of a Learning Team is to transfer and communicate the information into operational feedback and improvement. We want to pay attention to the small things that go wrong because they are often early warning signals and may provide insight into the health of the whole system.

96 KNOWLEDGE MANAGEMENT AND PRESERVATION↗

ISS Payload Operations Training During the COVID-19 Pandemic: Impacts and Solutions

Introduction: The onset and the protracted duration of the COVID-19 pandemic brought a dramatic and rapid transformation to almost every aspect of humanity in 2020. The world’s space agencies and their missions were not immune to the unpredictable and wide-sweeping changes. One discipline principally affected was mission operations and the various groups supporting that critical function. Mission support teams, especially for complex and crewed missions like the International Space Station (ISS) were forced to rapidly rethink how and where control center staff performed their vital work. Operations training – an essential element to mission ops, had unique hurdles to overcome. Operations training is responsible for preparing astronaut crews for their scientific missions, providing recurring proficiency and currency material to flight controllers, as well as ensuring new team members are ready to join their colleagues on console. Every element of training was impacted by COVID restrictions. From orientation and introductory classes for new controllers, training for scientists and payload developers, to simulations and advanced lessons, critical On the Job Training (OJT) and final evaluations; all aspects faced new challenges. Operations trainers at NASA’s Marshall Space Flight Center (MSFC) in Huntsville, Alabama, were forced to rethink, retool, and become more efficient with trainees and training resources in order to continue supporting payload operations on the ISS. Impacts and Barriers to Operations Training: The pandemic started in the United States in early March 2020. Immediately, NASA mandated that the support for ISS real-time operations was critical. As a result, physical access to the ISS Payload Operations Center was restricted to only those people supporting console operations. Thus, use of on-site NASA facilities and any trainer to trainee face-to-face interaction was not authorized. Trainers and trainees had to quickly shift to 100% remote learning. In the short term, this was not a problem since NASA had already prepared Information Technology (IT) resources that facilitated remote access to mission resources like classes, documents and teleconferences. However, instructors quickly discovered the classes that they were accustomed to delivering in a large classroom environment did not translate well to remote teaching. The lack of non-verbal communication with the class became a major barrier to instruction. Another significant hurdle to operations training was the mandate that all simulations could only be held remotely. The logistics of planning and executing even small simulations proved to be challenging, almost impossible, due to IT technology and public internet limitations. With simulations essentially stopped, as well as the restrictions on most OJT training, trainees were essentially stopped in their advancement towards certification. An additional barrier that had to be overcome was the formal documentation of the curriculum objectives. Even though NASA had been deliberately transitioning to electronic documents for years, some organizations were still relying on “pen and ink” documents to formalize training completion. The logistics of implementing secure and controlled e-signature documents in a standardized, NASA approved format had to be addressed. Lesson Learned and Efficiencies: Once the various limitations were identified, ISS trainers at MSFC discussed, proposed, and prioritized new options and techniques. Transitioning to all electronic learning materials and certifications was a relevantly easy fix. Teaching courses to large and diverse groups took additional shifts in the NASA training paradigm. Likewise, methods and procedures for preparing astronauts for their missions were forced to be revised. Simulation supervisors and their teams were also forced to find more efficient techniques to provide realistic training experience. Communication and approvals from management was essential. In every case, the ISS payload operations instructors found novel and efficient solutions to all functions listed above. This paper will discuss the factors and solutions payloads operations trainers found to keep scientific research on the ISS flying forward to mission success.

ISS Operations↗

Representing operations procedures using temporal dependency networks

DSN Link Monitor & Control (LMC) operations consist primarily of executing procedures to configure, calibrate, test, and operate a communications link between an interplanetary spacecraft and its mission control center. Currently the LMC operators are responsible for integrating procedures into an end-to-end series of steps. The research presented in this paper is investigating new ways of specifying operations procedures that incorporate the insight of operations, engineering, and science personnel to improve mission operations. The paper describes the rationale for using Temporal Dependency Networks (TDN's) to represent the procedures, a description of how the data is acquired, and the knowledge engineering effort required to represent operations procedures. Results of operational tests of this concept, as implemented in the LMC Operator Assistant Prototype (LMCOA), are also presented.

Fayyad, Kristina E.↗

Mission operations and command assurance: Instilling quality into flight operations

Mission Operations and Command Assurance (MO&CA) is a Total Quality Management (TQM) task on JPL projects to instill quality in flight mission operations. From a system engineering view, MO&CA facilitates communication and problem-solving among flight teams and provides continuous process improvement to reduce the probability of radiating incorrect commands to a spacecraft. The MO&CA task has evolved from participating as a member of the spacecraft team to an independent team reporting directly to flight project management and providing system level assurance. JPL flight projects have benefited significantly from MO&CA's effort to contain risk and prevent rather than rework errors. MO&CA's ability to provide direct transfer of knowledge allows new projects to benefit from previous and ongoing flight experience.

Welz, Linda L.↗

EV Charging Infrastructure Energization An Overview of Approaches for Simplifying and Accelerating Timelines to Processing EV Charging Load Service Requests

The United States has seen significant growth in electric vehicle (EV) adoption, leading to increased demand for EV charging infrastructure. Over the past decade, EV charging infrastructure site developers, site hosts, and electric distribution utilities have navigated the process to integrate chargers onto the electric grid. Site developers and site hosts have raised the alarm that the integration process for high-powered EV charging projects does not meet the needs of the EV market for timeliness or cost. High-powered charging stations typically require a load service request or an agreement with the local utility to connect to the grid. The process of energizing a new high-powered charging site can be complex and time-consuming, often taking up to 2 years. This timeline is the result of current utility energization processes having been designed for construction projects that take longer to build (i.e., buildings). The specific challenges stem from various factors, including compartmentalization in application processes, the integration of EV charging process approvals with other distributed energy resources (DERs), and the need to ensure grid reliability. The energization process needs to evolve to meet the growing demand for high-powered EV charging. This white paper compiles information gathered through various conversations with key stakeholders, including utilities, utility regulators, EV charging operators, site developers, and authorities having jurisdiction (AHJ) as well as through an extensive literature review. This document identifies the challenges and provides potential solutions to streamline the process of connecting EV charging infrastructure to the power grid in the United States, serving as a starting point for future conversations around these solutions. The solutions noted in this white paper require collaborative efforts among utilities, regulators, and EV charging infrastructure developers to streamline the grid connection process for EV charging infrastructure. They are broadly organized into four areas: 1. Increase data access and transparency: Develop automated load service request tools, integrate hosting capacity and load service request analyses, incorporate EV adoption forecasts, and provide transparency on the processing queue. 2. Improve energization processes and timing: Create fast-track options based on prescreening criteria, provide flexibility or phased approvals in the load service request/interconnection process, build internal knowledge within utilities about EV charging technologies, and provide standardized workforce training. 3. Promote economic efficiency: Right size distribution components to accurately reflect the load requirements of EV charging infrastructure, make proactive investments in grid infrastructure based on EV adoption forecasts and growth projections, and consider energy equity and environmental justice factors such as equitable access to EV charging when planning infrastructure. 4. Improve grid reliability and resilience: Use load management/power control systems (PCS) at EV charging stations, adopt and implement harmonized standards for communication protocols and information models between the EV charging and grid control infrastructure, and address cybersecurity considerations by implementing robust security measures and standards for EV charging infrastructure—with particular emphasis on clarifying the security requirements for the interface to the grid. The objective of the solutions proposed in this white paper is to accelerate the timeline and decrease costs associated with connecting EV charging infrastructure to the grid. Electric utilities, utility regulators, EV charging infrastructure developers, and site hosts will first need to understand which solutions are available in their service territory, and if warranted, which combination of solutions would support their specific needs. Through the successful implementations of solutions at scale detailed here, industry will demonstrate a new and innovative ecosystem where timely deployment and energization of EV charging infrastructure with greater grid resiliency and reliability is a reality.

24 POWER TRANSMISSION AND DISTRIBUTION↗

Proceedings of the International Meteorological Satellite Workshop

International Meteorological Satellite Workshop, November 13-22, 1961, presented the results of the meteorological satellite program of the United States and the possibilities for the future, so that-- the weather services of other nations may acquire a working knowledge of meteorological satellite data for assistance in their future analysis programs both in research and in daily synoptic application and guidance in their national observational support efforts; the world meteorological community may become more familiar with the TIROS program.; and the present activity may be put in proper perspective relative to future operational programs.

SATELLITE↗

Abstract Machine Models and Proxy Architectures for Exascale Computing

To achieve exascale computing, fundamental hardware architectures must change. The most significant consequence of this assertion is the impact on the scientific and engineering applications that run on current high performance computing (HPC) systems, many of which codify years of scientific domain knowledge and refinements for contemporary computer systems. In order to adapt to exascale architectures, developers must be able to reason about new hardware and determine what programming models and algorithms will provide the best blend of performance and energy efficiency into the future. While many details of the exascale architectures are undefined, an abstract machine model is designed to allow application developers to focus on the aspects of the machine that are important or relevant to performance and code structure. These models are intended as communication aids between application developers and hardware architects during the co-design process. We use the term proxy architecture to describe a parameterized version of an abstract machine model, with the parameters added to elucidate potential speeds and capacities of key hardware components. These more detailed architectural models are formulated to enable discussion between the developers of analytic models and simulators and computer hardware architects. They allow for application performance analysis and hardware optimization opportunities. In this report our goal is to provide the application development community with a set of models that can help software developers prepare for exascale. In addition, through the use of proxy architectures, we can enable a more concrete exploration of how well new and evolving application codes map onto future architectures. This second version of the document addresses system scale considerations and provides a system-level abstract machine model with proxy architecture information.

97 MATHEMATICS AND COMPUTING↗

Interdisciplinary Research Collaborative Trains Students to See Through Turbulent Systems

Despite the availability of interdisciplinary academic training programs, the practice of environmental science is often hampered by a lack of convergence across diverse disciplines. This gap is particularly salient in settings characterized by complex environmental issues, such as multiple-use coastal ecosystems. In response, we developed and implemented a training, research, and communication framework to provide undergraduates with an authentic operative experience working at the interface of interdisciplinary science and public decision-making within a case study of marine renewable energy. In our program, students gained hands-on experience with the scientific process and learned how to make information relevant, useful, and accessible to diverse stakeholder groups. Application of this framework demonstrates that the process of integrating data from biological (visual and acoustic monitoring of fish and marine mammals), physical (hydrodynamics), and social (local ecological knowledge) sciences can provide a more complete understanding of complex and turbulent ecosystems for better informed decision-making. We offer several recommendations to facilitate the adaptation and implementation of our interdisciplinary framework to diverse research contexts, with a focus on interdisciplinary training for the next generation of marine scientists.

54 ENVIRONMENTAL SCIENCES↗

Formal Modeling of Multi-Agent Systems using the Pi-Calculus and Epistemic Logic

Multi-agent systems have become important recently in computer science, especially in artificial intelligence (AI). We allow a broad sense of agent, but require at least that an agent has some measure of autonomy and interacts with other agents via some kind of agent communication language. We are concerned in this paper with formal modeling of multi-agent systems, with emphasis on communication. We propose for this purpose to use the pi-calculus, an extension of the process algebra CCS. Although the literature on the pi-calculus refers to agents, the term is used there in the sense of a process in general. It is our contention, however, that viewing agents in the AI sense as agents in the pi-calculus sense affords significant formal insight. One formalism that has been applied to agents in the AI sense is epistemic logic, the logic of knowledge. The success of epistemic logic in computer science in general has come in large part from its ability to handle concepts of knowledge that apply to groups. We maintain that the pi-calculus affords a natural yet rigorous means by which groups that are significant to epistemic logic may be identified, encapsulated, structured into hierarchies, and restructured in a principled way. This paper is organized as follows: Section 2 introduces the pi-calculus; Section 3 takes a scenario from the classical paper on agent-oriented programming [Sh93] and translates it into a very simple subset of the n-calculus; Section 4 then shows how more sophisticated features of the pi-calculus may bc brought into play; Section 5 discusses how the pi-calculus may be used to define groups for epistemic logic; and Section 6 is the conclusion.

Rorie, Toinette↗

Enabling The Next Generation of Smart Sensors in Coal Fired Power Plants using Cellular 5G Technology

Ohio University (OHIO), West Virginia University (WVU), and American Electric Power (AEP) proposed to study and report on the benefits of 5G wireless cellular technologies for coal-fired power plants. The significant advantages, cost savings, and potential of 5G wireless data communications based sensors promised to usher in a new era of reliable, inexpensive, and powerful embedded systems that had not previously been available for coal-fired power plants. The team built upon existing experience with cellular-based systems, power plant water quality sensing, and high temperature sensors developed during past projects. Principal Investigator Wilhelm had been developing cellular-based sensor data systems with a commercial partner for 10 years, pioneering innovative solar-powered devices that began with 2G technology. The lessons and knowledge gained served as a foundation to demonstrate innovations and potential impacts specific to coal fired power plants enabled by 5G technology, along with integration with existing sensors and systems.

20 FOSSIL-FUELED POWER PLANTS↗