Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “specifications standards”

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 469 records · Page 26

Technology Developments Integrating a Space Network Communications Testbed

As future manned and robotic space explorations missions involve more complex systems, it is essential to verify, validate, and optimize such systems through simulation and emulation in a low cost testbed environment. The goal of such a testbed is to perform detailed testing of advanced space and ground communications networks, technologies, and client applications that are essential for future space exploration missions. We describe the development of new technologies enhancing our Multi-mission Advanced Communications Hybrid Environment for Test and Evaluation (MACHETE) that enable its integration in a distributed space communications testbed. MACHETE combines orbital modeling, link analysis, and protocol and service modeling to quantify system performance based on comprehensive considerations of different aspects of space missions. It can simulate entire networks and can interface with external (testbed) systems. The key technology developments enabling the integration of MACHETE into a distributed testbed are the Monitor and Control module and the QualNet IP Network Emulator module. Specifically, the Monitor and Control module establishes a standard interface mechanism to centralize the management of each testbed component. The QualNet IP Network Emulator module allows externally generated network traffic to be passed through MACHETE to experience simulated network behaviors such as propagation delay, data loss, orbital effects and other communications characteristics, including entire network behaviors. We report a successful integration of MACHETE with a space communication testbed modeling a lunar exploration scenario. This document is the viewgraph slides of the presentation.

hybrid simulation↗

Alert Notification System Router

The Alert Notification System Router (ANSR) software provides satellite operators with notifications of key events through pagers, cell phones, and e-mail. Written in Java, this application is specifically designed to meet the mission-critical standards for mission operations while operating on a variety of hardware environments. ANSR is a software component that runs inside the Mission Operations Center (MOC). It connects to the mission's message bus using the GMSEC [Goddard Space Flight Center (GSFC) Mission Services Evolution Center (GMSEC)] standard. Other components, such as automation and monitoring components, can use ANSR to send directives to notify users or groups. The ANSR system, in addition to notifying users, can check for message acknowledgements from a user and escalate the notification to another user if there is no acknowledgement. When a firewall prevents ANSR from accessing the Internet directly, proxies can be run on the other side of the wall. These proxies can be configured to access the Internet, notify users, and poll for their responses. Multiple ANSRs can be run in parallel, providing a seamless failover capability in the event that one ANSR system becomes incapacitated.

Gurganus, Joseph↗

Improved Heat-Stress Algorithm

NASA Dryden presents an improved and automated site-specific algorithm for heat-stress approximation using standard atmospheric measurements routinely obtained from the Edwards Air Force Base weather detachment. Heat stress, which is the net heat load a worker may be exposed to, is officially measured using a thermal-environment monitoring system to calculate the wet-bulb globe temperature (WBGT). This instrument uses three independent thermometers to measure wet-bulb, dry-bulb, and the black-globe temperatures. By using these improvements, a more realistic WBGT estimation value can now be produced. This is extremely useful for researchers and other employees who are working on outdoor projects that are distant from the areas that the Web system monitors. Most importantly, the improved WBGT estimations will make outdoor work sites safer by reducing the likelihood of heat stress.

Teets, Edward H., Jr.↗

Generic Kalman Filter Software

The Generic Kalman Filter (GKF) software provides a standard basis for the development of application-specific Kalman-filter programs. Historically, Kalman filters have been implemented by customized programs that must be written, coded, and debugged anew for each unique application, then tested and tuned with simulated or actual measurement data. Total development times for typical Kalman-filter application programs have ranged from months to weeks. The GKF software can simplify the development process and reduce the development time by eliminating the need to re-create the fundamental implementation of the Kalman filter for each new application. The GKF software is written in the ANSI C programming language. It contains a generic Kalman-filter-development directory that, in turn, contains a code for a generic Kalman filter function; more specifically, it contains a generically designed and generically coded implementation of linear, linearized, and extended Kalman filtering algorithms, including algorithms for state- and covariance-update and -propagation functions. The mathematical theory that underlies the algorithms is well known and has been reported extensively in the open technical literature. Also contained in the directory are a header file that defines generic Kalman-filter data structures and prototype functions and template versions of application-specific subfunction and calling navigation/estimation routine code and headers. Once the user has provided a calling routine and the required application-specific subfunctions, the application-specific Kalman-filter software can be compiled and executed immediately. During execution, the generic Kalman-filter function is called from a higher-level navigation or estimation routine that preprocesses measurement data and post-processes output data. The generic Kalman-filter function uses the aforementioned data structures and five implementation- specific subfunctions, which have been developed by the user on the basis of the aforementioned templates. The GKF software can be used to develop many different types of unfactorized Kalman filters. A developer can choose to implement either a linearized or an extended Kalman filter algorithm, without having to modify the GKF software. Control dynamics can be taken into account or neglected in the filter-dynamics model. Filter programs developed by use of the GKF software can be made to propagate equations of motion for linear or nonlinear dynamical systems that are deterministic or stochastic. In addition, filter programs can be made to operate in user-selectable "covariance analysis" and "propagation-only" modes that are useful in design and development stages.

Lisano, Michael E., II↗

Evolution of the Scope and Capabilities of Uplink Support Software for Mars Surface Operations

In January of 2004 both of the Mars Exploration Rover spacecraft landed safely, initiating daily surface operations at the Jet Propulsion Laboratory for what was anticipated to be approximately three months of mobile exploration. The longevity of this mission, still ongoing after ten years, has provided not only a tremendous return of scientific data but also the opportunity to refine and improve the methodology by which robotic Mars surface missions are commanded. Since the landing of the Mars Science Laboratory spacecraft in August of 2012, this methodology has been successfully applied to operate a Martian rover which is both similar to, and quite different from, its predecessors. For MER and MSL, daily uplink operations can be most broadly viewed as converting the combined interests of both the science and engineering teams into a spacecraft-safe set of transmittable command files. In order to accomplish these ends a discrete set of mission-critical software tools were developed which not only allowed for conformation to established JPL standards and practices but also enabled innovative technologies specific to each mission. Although these primary programs provided the requisite capabilities for meeting the high-level goals of each distinct phase of the uplink process, there was little in the way of secondary software to support the smooth flow of data from one phase to the next. In order to address this shortcoming a suite of small software tools was developed to aid in phase transitions, as well as to automate some of the more laborious and error-prone aspects of uplink operations. This paper describes the evolution of this software suite, from its initial attempts to merely shorten the duration of the operator's shift, to its current role as an indispensable tool enforcing workflow of the uplink operations process and agilely responding to the new and unexpected challenges of missions which can, and have, lasted many years longer than originally anticipated.

CoUGAR↗

Applying Standard Independent Verification and Validation (IVV) Techniques Within an Agile Framework: Is There a Compatibility Issue?

Agile methods have gained wide acceptance over the past several years, to the point that they are now a standard management and execution approach for small-scale software development projects. While conventional Agile methods are not generally applicable to large multi-year and mission-critical systems, Agile hybrids are now being developed (such as SAFe) to exploit the productivity improvements of Agile while retaining the necessary process rigor and coordination needs of these projects. From the perspective of Independent Verification and Validation (IVV), however, the adoption of these hybrid Agile frameworks is becoming somewhat problematic. Hence, we find it prudent to question the compatibility of conventional IVV techniques with (hybrid) Agile practices.This paper documents our investigation of (a) relevant literature, (b) the modification and adoption of Agile frameworks to accommodate the development of large scale, mission critical systems, and (c) the compatibility of standard IVV techniques within hybrid Agile development frameworks. Specific to the latter, we found that the IVV methods employed within a hybrid Agile process can be divided into three groups: (1) early lifecycle IVV techniques that are fully compatible with the hybrid lifecycles, (2) IVV techniques that focus on tracing requirements, test objectives, etc. are somewhat incompatible, but can be tailored with a modest effort, and (3) IVV techniques involving an assessment requiring artifact completeness that are simply not compatible with hybrid Agile processes, e.g., those that assume complete requirement specification early in the development lifecycle.

Agile↗

A Ratio of Spore to Viable Organisms: A Case Study of the JPL-SAF Cleanroom

Spacecraft surfaces that are destined to land on potential life-harboring celestial bodies are required to be rigorously cleaned and continuously monitored for spore bioburden as a proxy for spacecraft cleanliness. The NASA standard assay (NSA), used for spacecraft bioburden estimates, specifically measures spores that are cultivable, aerobic, resistant to heat shock, and grow at 30 C in a nutrient-rich medium. Since the vast majority of microorganisms cannot be cultivated using the NSA, it is necessary to utilize state-of-the art molecular techniques to better understand the presence of all viable microorganisms, not just those measured with the NSA. In this study, the nutrient-deprived low biomass cleanrooms, where spacecraft are assembled, were used as a surrogate for spacecraft surfaces to measure the ratio of NSA spores in relation to the total viable microorganism population in order to make comparisons with the 2006 Space Studies Board (SSB) estimate of 1 spore per approximately 50,000 viable organisms. Ninety-eight surface wipe samples were collected from the Spacecraft Assembly Facility (SAF) cleanroom at the Jet Propulsion Laboratory (JPL) over a 6-month period. The samples were processed and analyzed using classical microbiology along with molecular methodology. Traditional microbiology plating methods were used to determine the cultivable bacterial, fungal, and spore populations. Molecular assays were used to determine the total organisms (TO, dead and live) and the viable organisms (VO, live). The TO was measured using adenosine triphosphate (ATP) and quantitative polymerase chain reaction (qPCR) assays. The VO was measured using internal ATP, propidium monoazide (PMA)-qPCR, and flow cytometry (after staining for viable microorganisms) assays. Based on the results, it was possible to establish a ratio between spore counts and VO for each viability assay. The ATP-based spore to VO ratio ranged from 149-746, and the bacterial PMA-qPCR assay-based ratio ranged from 314-1,491 VO, per spore. The most conservative estimate came from fluorescent-assisted cell sorting (FACS), which estimated the ratio to be 12,091 VO per 1 NSA spore. Since archaeal (less than 1%) and fungal (approximately 2%) populations were negligible, the spore to VO ratios were based on bacterial population estimates. The most conservative ratio from this study can be used as a replacement for the SSB estimate on nutrient-deprived (oligotrophic) desiccated spacecraft surfaces, to estimate the VO from NSA measurements without utilizing state-of-the art molecular methods that are costly and require more biomass than is typically found on spacecraft surfaces.

Hendrickson, Ryan↗

Sensitivity of Satellite Ocean Color Data to System Vicarious Calibration of the Long Near Infrared Band

Satellite ocean color missions require accurate (< 1% uncertainties) system vicarious calibrations (SVC) in order to retrieve the relatively small remote sensing reflectance (Rrs, sr-1) from the at-sensor radiance. However, current atmospheric correction and SVC procedures do not include calibration of the “long” near infrared band (NIRL–869nm for MODIS), partially because earlier studies indicated that accuracy in the retrieved Rrsis insensitive to moderate changes in the NIRLvicarious gain (g). However, the sensitivity of ocean color data products to g(NIRL) has not been thoroughly examined. Here, we first derived 10 SVC ‘gain configurations’ (vicarious gains for all visible and NIR bands) for MODIS/Aqua using current operational NASA protocols, each time assuming a different g(869). From these, we derived a suite of ~1.4E6 unique gain configurations with g(869) ranging from 0.85 to 1.2. All MODIS/A data for 25locations within each of five ocean gyres were then processed using each of these gain configurations. Such time series show substantial variability inthe dominant Rrs(547) patterns in response to changes in g(869). Overall gyre mean Rrs(547) generally decreased with increasing g(869), while the standard deviations around those means show gyre-specific minima for 0.97 < g(869) < 1.02. Following these sensitivity analyses, we assess the potential to resolve g(869) using suchtime series, finding g(869) = 1.025 most closely comports with expectations. This approach is broadly applicable to other ocean color sensors, and highlights the importance of rigorous cross-sensor calibration of the NIRLbands, with implications on consistency of merged-sensor datasets.

vicarious calibration↗

Carbon isotope evidence for the substrates and mechanisms of prebiotic synthesis in the early solar system

Meteorites contain prebiotic, bio-relevant organic compounds including amino acids. Their syntheses could result from diverse sources and mechanisms and provide a window on the conditions and materials present in the early solar system. Here we constrain alanine’s synthetic history in the Murchison meteorite using site-specific 13C/12C measurements, reported relative to the VPDB standard. The δ13CVPDB values of −29 ± 10‰, 142 ± 20‰, and −36 ± 20‰ for the carboxyl, amine-bound, and methyl carbons, respectively, are consistent with Strecker synthesis of interstellar-medium-derived aldehydes, ammonia, and low-δ13C nebular or interstellar-medium-derived CN. We report experimentally measured isotope effects associated with Strecker synthesis, and use them to constrain the δ13C values of the alanine precursors, which we then use to construct a model that predicts the molecular-average δ13C values of 19 other organic compounds of prebiotic significance found in Murchison if they were made by our proposed synthetic network. Most of these predictions agree with previous measurements, suggesting that interstellar-medium-derived aldehydes and nebular and/or pre-solar CN could have served as substrates for synthesis of a wide range of prebiotic compounds in the early solar system.

L.Chimiak↗

Flight and Direct to Earth/Space Relay Communication System Architecture for GSFC CubeSat Missions

The CubeSat platform is finding increasing use in space science applications due to its low cost and comparative ease of launch. It is becoming a key scientific discovery tool in low Earth orbit (LEO) and beyond, including geosynchronous equatorial orbit (GEO), the Lagrange Points, Lunar missions, and more. The increasing complexity of these missions and their scientific goals must be supported by equal advancements in communications technology. Higher data rates and greater reliability are required every year. However, the reduced Size, Weight, and Power (SWaP) constraints of CubeSat platforms introduce unique challenges in the area of satellite communications. There is currently a lack of communication equipment tailored specifically to the CubeSat platform. This lack of standardized, tested equipment extends development time and reduces mission confidence. Furthermore, missions utilizing the CubeSat platform are often subject to more difficult design constraints. Antenna placement, size, and pointing are often subordinate to the requirements of the payload instruments and mission goals. Traditional link margin estimation techniques are insufficient in these cases, as they emphasize worst case scenarios. In reality the actual link parameters may vary widely even during a single pass. This presents new challenges in predicting communications performance and scheduling ground station contacts, but also new opportunities for improving efficiency. This paper presents the integration, testing, and validation process for a new software defined radio (SDR) designed for the CubeSat platform in conjunction with Vulcan Wireless, Inc. The SDR is planned for use on 5 upcoming CubeSat missions at NASAs Goddard Space Flight Center (GSFC) including a Geosynchronous Transfer Orbit (GTO) mission and it may also serve as a standard and well-tested option for future missions by enabling a standardized, rapid and low cost CubeSat communication system network integration process. Detailed simulations have been developed to estimate the communication performance of these missions, taking the unique antenna placements and attitude behavior of each satellite into account. These simulations allow a much more accurate analysis of the expected link margin, which varies considerably during each pass for the NASA Space Relay (SR) and Direct to Earth (DTE) network. The modelling procedures are outlined, and the results are used to predict communications performance of the missions.

Space Networks↗

Tailoring of NASA-STD-3001 to Lunar Gateway Program Requirements

The Gateway Program must meet NASA's Agency-level human rating requirements, which are intended to accommodate human capabilities and limitations while protecting the safety of the crew, and providing to the maximum extent practical, the capability to safely recover the crew from hazardous situations. Human systems integration represents a key human rating component of Moon to Mars systems to support the execution of Artemis missions, including compliance with mandatory standards for Health and Medical, Safety and Mission Assurance, and Engineering. The human system requirements, together with the human systems integration plan, medical operations requirements, and Gateway sub-system specifications, represent the flow-down of NASA Health and Medical Standards (NASA-STD-3001, Volumes 1 and 2) into the Gateway system. This paper discusses how these documents and other human systems integration activities provide full consideration of human capabilities and limitations as part of the total system design trade space, serving as an example on how the human must be effectively integrated as part of the system in order to achieve mission success. At a bigger scale, the paper con-tributes to the application of systems engineering standards to cutting-edge space exploration initiatives and to the dialogue on how systems engineering can continue to evolve to meet the needs of such ambitious projects.

Systems engineering↗

CONSULTATIVE COMMITTEE FOR SPACE DATA SYSTEMS (CCSDS) WHITE PAPER ON THE USE OF BUNDLE PROTOCOL (BP) VERSION 7

This export is a technical white paper that recommends what is necessary to create a version (V7) DTN specification for the Consultative Committee for Space Data Systems (CCSDS) blue book and is based on IETF RFC BPBis.v26 (Note the original CCSDS standard as IRTF 5050). The considerations in this document follow the current CCSDS specification 734.2-B-1 (​https://public.ccsds.org/Pubs/734x2b1.pdf​) and is consistent with its intent and level of service. In it, are identified areas requiring updates and specification items that are essential to meet current minimums of capability.

Delay Tolerant Networking↗

CCSDS BP V7 Bluebook Recommendation

This export is a CCSDS presentation that recommends what is necessary to create a version (V7) DTN specification for the Consultative Committee for Space Data Systems (CCSDS) blue book and is based on IETF RFC BPBis.v26 (Note the original CCSDS standard as IRTF 5050). The considerations in this presentation follow the current CCSDS specification 734.2-B-1 (​https://public.ccsds.org/Pubs/734x2b1.pdf​) and is consistent with its intent and level of service. In it, are identified areas requiring updates and specification items that are essential to meet current minimums of capability.

Delay Tolerant Networking↗

New Development in NASA's Rodent Research Hardware for Conducting Long Duration Biomedical and Basic Research in Space

Animal models, particularly rodents, are the foundation of pre-clinical research to understand human diseases and evaluate new therapeutics, and play a key role in advancing biomedical discoveries both on Earth and in space. The National Research Councils Decadal survey emphasized the importance of expanding NASAs life sciences research to perform long duration, rodent experiments on the International Space Station (ISS). To accomplish this objective, flight hardware, operations, and science capabilities were developed at NASA Ames Research Center (ARC) to enhance science return for both commercial (CASIS) and government-sponsored rodent research. The Rodent Research program at NASA ARC has pioneered a new research capability on the International Space Station and has progressed toward translating research to the ISS utilizing commercial rockets, collaborating with academia and science industry, while training crewmembers to assist in performing research on orbit. Throughout phases of these missions, our practices, hardware and operations have evolved from tested to developed standards, and we are able to modify and customize our procedure and operations for mission specific requirements. The Rodent Research Habitat is capable of providing a living environment for animals on ISS according to standard animal welfare requirements. Using the cameras in the Habitat, the Rodent Research team has the ability to perform daily health checks on animals, and further analyze the collected videos for behavioral studies. A recent development of the Rodent Research hardware is inclusion of enrichment, to provide the animals the ability to rest and huddle. The Enrichment Hut is designed carefully for adult mice (up to 35 week old) within animal welfare, engineering, and operations constraints. The Hut is made out of the same stainless steel mesh as the cage interior, it has an ingress and an egress to allow animals move freely, and a hinge door to allow crewmembers remove the animals easily. The Rodent Research team has also developed Live Animal Return (LAR) capability, which will be implemented during Rodent Research-5 mission for the first time. The animals will be transported from the Habitat to a Transporter, which will return on the Dragon capsule and splashes down in the Pacific Ocean. Once SpaceX retrieves the Dragon, all powered payloads will be transferred to a SeaVan and transferred to the Long Beach pier. The NASA team then receives the transporter and delivers to a PI-designated laboratory within 120 mile radius of Long Beach. This is a significant improvement allowing researchers to examine animals within 72 hrs. of reentry or to conduct recovery experiments. Together, the hardware improvements and experience that the Rodent Research team has gained working with principal investigators and ISS crew to conduct complex experiments on orbit are expanding capabilities for long duration rodent research on the ISS to achieve both basic science and biomedical objectives.

ISS↗

INCREASING THE TRANSPARENCY AND REPRODUCIBILITY OF SPACE RADIATION SCIENCE: THE RADIATION BIOLOGY ONTOLOGY

Among the primary objectives of the Open/Open-Source Science paradigm are making scientific investigation data transparent and results reproducible [1], objectives shared by the FAIR principles [2]. To accomplish this, the conceptual framework that includes all the investigation objects needs to be accurately captured and communicated to all data consumers. A large part of this requires using metadata standards to annotate data collected. These standards should be readily accessible, informed by scientific community consensus and sufficiently specific to encompass all of the important aspects of the investigation. Starting in 2020 we have been co-leading an open consortium to develop a new metadata standard, the Radiation Biology Ontology (RBO), through the Open Biological and Biomedical Ontologies (OBO) Foundry [3]. We began by transforming many of the terms from the National Council on Radiation Protection and Measurement into concepts that can be formally related to existing OBO Foundry classes or attributes. We then identified and imported into the RBO existing OBO Foundry classes that have obvious relevance for radiation biomedicine (for example, concepts from the Environment Ontology that describe radiative processes, and concepts from the Gene Ontology dealing with molecular and cellular responses to radiation). Finally, we scrutinized datasets from investigations of radiation effects held in NASA GeneLab and LSDA repositories and added additional classes, instances, and attributes into the RBO that should be used to annotate these data. We developed the RBO using the open-source tools of GitHub and publish the RBO periodically through the NIH/NCBI BioPortal website, so systems worldwide can leverage the knowledge it contains [4]. This initial phase of concept modeling has yielded an RBO that at present has more than 300 declared concepts, with more than 3500 additional concepts imported from other OBO Foundry ontologies. While this first phase has focused on concepts for annotating samples, environments, exposures, and measurements, the next phase will center on supporting annotation of results and findings, such as concept models of molecular, cellular and tissue effects. The value of the RBO will be determined in part by our ability to engage the community in its development, and we have established a Radiobiology Informatics Consortium with unrestricted membership as the owner of the RBO in order to encourage investigators, system owners and other to join in this effort. Anyone can report issues or request new concept modeling or other features directly on GitHub. By using the BioPortal application programming interface, systems can pose dynamic queries to the latest version of the RBO for information on individual classes or entire hierarchies; this design eliminates the need for systems to be updated in order to use newer versions of the RBO. We hope to contribute to the advancement of open radiobiological science through the continued, open development of the RBO, that will provide more precise, machine-interpretable descriptions of investigations, as well as support data meta-analysis through machine learning or other artificial intelligence methods. REFERENCES [1] Open science in space. Nature Medicine, 2021. 27(9): p. 1485-1485. [2] Wilkinson, M.D., et al., The FAIR Guiding Principles for scientific data management and stewardship. Sci Data, 2016. 3: p. 160018. [3] Smith, B., et al., The OBO Foundry: coordinated evolution of ontologies to support biomedical data integration. Nat Biotechnol, 2007. 25(11): p. 1251-5. [4] Whetzel, P.L., et al., BioPortal: enhanced functionality via new Web services from the National Center for Biomedical Ontology to access and use ontologies in software applications. Nucleic Acids Res, 2011. 39(Web Server issue): p. W541-5.

informatics↗

INCREASING THE TRANSPARENCY AND REPRODUCIBILITY OF SPACE RADIATION SCIENCE: THE RADIATION BIOLOGY ONTOLOGY

Among the primary objectives of the Open/Open-Source Science paradigm are making scientific investigation data transparent and results reproducible [1], objectives shared by the FAIR principles [2]. To accomplish this, the conceptual framework that includes all the investigation objects needs to be accurately captured and communicated to all data consumers. A large part of this requires using metadata standards to annotate data collected. These standards should be readily accessible, informed by scientific community consensus and sufficiently specific to encompass all of the important aspects of the investigation. Starting in 2020 we have been co-leading an open consortium to develop a new metadata standard, the Radiation Biology Ontology (RBO), through the Open Biological and Biomedical Ontologies (OBO) Foundry [3]. We began by transforming many of the terms from the National Council on Radiation Protection and Measurement into concepts that can be formally related to existing OBO Foundry classes or attributes. We then identified and imported into the RBO existing OBO Foundry classes that have obvious relevance for radiation biomedicine (for example, concepts from the Environment Ontology that describe radiative processes, and concepts from the Gene Ontology dealing with molecular and cellular responses to radiation). Finally, we scrutinized datasets from investigations of radiation effects held in NASA GeneLab and LSDA repositories and added additional classes, instances, and attributes into the RBO that should be used to annotate these data. We developed the RBO using the open-source tools of GitHub and publish the RBO periodically through the NIH/NCBI BioPortal website, so systems worldwide can leverage the knowledge it contains [4]. This initial phase of concept modeling has yielded an RBO that at present has more than 300 declared concepts, with more than 3500 additional concepts imported from other OBO Foundry ontologies. While this first phase has focused on concepts for annotating samples, environments, exposures, and measurements, the next phase will center on supporting annotation of results and findings, such as concept models of molecular, cellular and tissue effects. The value of the RBO will be determined in part by our ability to engage the community in its development, and we have established a Radiobiology Informatics Consortium with unrestricted membership as the owner of the RBO in order to encourage investigators, system owners and other to join in this effort. Anyone can report issues or request new concept modeling or other features directly on GitHub. By using the BioPortal application programming interface, systems can pose dynamic queries to the latest version of the RBO for information on individual classes or entire hierarchies; this design eliminates the need for systems to be updated in order to use newer versions of the RBO. We hope to contribute to the advancement of open radiobiological science through the continued, open development of the RBO, that will provide more precise, machine-interpretable descriptions of investigations, as well as support data meta-analysis through machine learning or other artificial intelligence methods.

knowledge↗

The PASCAL-HDM Verification System

The PASCAL-HDM verification system is described. This system supports the mechanical generation of verification conditions from PASCAL programs and HDM-SPECIAL specifications using the Floyd-Hoare axiomatic method. Tools are provided to parse programs and specifications, check their static semantics, generate verification conditions from Hoare rules, and translate the verification conditions appropriately for proof using the Shostak Theorem Prover, are explained. The differences between standard PASCAL and the language handled by this system are explained. This consists mostly of restrictions to the standard language definition, the only extensions or modifications being the addition of specifications to the code and the change requiring the references to a function of no arguments to have empty parentheses.

Source record↗

Thermal Property Measurement of Semiconductor Melt using Modified Laser Flash Method

This study further developed standard laser flash method to measure multiple thermal properties of semiconductor melts. The modified method can determine thermal diffusivity, thermal conductivity, and specific heat capacity of the melt simultaneously. The transient heat transfer process in the melt and its quartz container was numerically studied in detail. A fitting procedure based on numerical simulation results and the least root-mean-square error fitting to the experimental data was used to extract the values of specific heat capacity, thermal conductivity and thermal diffusivity. This modified method is a step forward from the standard laser flash method, which is usually used to measure thermal diffusivity of solids. The result for tellurium (Te) at 873 K: specific heat capacity 300.2 Joules per kilogram K, thermal conductivity 3.50 Watts per meter K, thermal diffusivity 2.04 x 10(exp -6) square meters per second, are within the range reported in literature. The uncertainty analysis showed the quantitative effect of sample geometry, transient temperature measured, and the energy of the laser pulse.

Lin, Bochuan↗