Search NASA⌕ Search

SEARCH · Search NASA

Results for “declarative language”

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.

57 records · Page 4

Studying language evolution in the age of big data

The increasing availability of large digital corpora of cross-linguistic data is revolutionizing many branches of linguistics. Overall, it has triggered a shift of attention from detailed questions about individual features to more global patterns amenable to rigorous, but statistical, analyses. This engenders an approach based on successive approximations where models with simplified assumptions result in frameworks that can then be systematically refined, always keeping explicit the methodological commitments and the assumed prior knowledge. Therefore, they can resolve disputes between competing frameworks quantitatively by separating the support provided by the data from the underlying assumptions. These methods, though, often appear as a ‘black box’ to traditional practitioners. In fact, the switch to a statistical view complicates comparison of the results from these newer methods with traditional understanding, sometimes leading to misinterpretation and overly broad claims. We describe here this evolving methodological shift, attributed to the advent of big, but often incomplete and poorly curated, data, emphasizing the underlying similarity of the newer quantitative to the traditional comparative methods and discussing when and to what extent the former have advantages over the latter. In this review, we cover briefly both randomization tests for detecting patterns in a largely model-independent fashion and phylolinguistic methods for a more model-based analysis of these patterns. We foresee a fruitful division of labor between the ability to computationally process large volumes of data and the trained linguistic insight declaring worthy prior commitments and interesting hypotheses in need of comparison.

96 KNOWLEDGE MANAGEMENT AND PRESERVATION↗

Automatic Data Distribution for CFD Applications on Structured Grids

Development of HPF versions of NPB and ARC3D showed that HPF has potential to be a high level language for parallelization of CFD applications. The use of HPF requires an intimate knowledge of the applications and a detailed analysis of data affinity, data movement and data granularity. Since HPF hides data movement from the user even with this knowledge it is easy to overlook pieces of the code causing low performance of the application. In order to simplify and accelerate the task of developing HPF versions of existing CFD applications we have designed and partially implemented ADAPT (Automatic Data Distribution and Placement Tool). The ADAPT analyzes a CFD application working on a single structured grid and generates HPF TEMPLATE, (RE)DISTRIBUTION, ALIGNMENT and INDEPENDENT directives. The directives can be generated on the nest level, subroutine level, application level or inter application level. ADAPT is designed to annotate existing CFD FORTRAN application performing computations on single or multiple grids. On each grid the application can considered as a sequence of operators each applied to a set of variables defined in a particular grid domain. The operators can be classified as implicit, having data dependences, and explicit, without data dependences. In order to parallelize an explicit operator it is sufficient to create a template for the domain of the operator, align arrays used in the operator with the template, distribute the template, and declare the loops over the distributed dimensions as INDEPENDENT. In order to parallelize an implicit operator, the distribution of the operator's domain should be consistent with the operator's dependences. Any dependence between sections distributed on different processors would preclude parallelization if compiler does not have an ability to pipeline computations. If a data distribution is "orthogonal" to the dependences of an implicit operator then the loop which implements the operator can be declared as INDEPENDENT.

Frumkin, Michael↗

Nomenclature, Chemical Abstracts Service Numbers, Isomer Enumeration, Ring Strain and Stereochemistry: What Does Any of This Have to do with an International Chemical Disarmament and Non-Proliferation Treaty?

The Chemical Weapons Convention (CWC) is an international disarmament and non-proliferation treaty that mandates a comprehensive ban on chemical weapons. This treaty entered-into-force in 1997 and has a nearly universal membership of world states. The CWC provides definitions for what constitutes a chemical weapon and describes chemicals for which verification measures and regulatory oversight are required. These chemicals, which must be declared to the Organisation for the Prohibition of Chemical Weapons (OPCW) for verification purposes, appear in three Schedules within the CWC. The schedules list specific chemical substances and families of chemicals defined by molecular structure descriptions that allow a range of specified variable groups. The text of an international treaty provides a basis for laws and regulatory requirements at international and national levels that must be enacted to comply with treaty obligations. These laws and regulations must account for the “chemistry” that is described in the treaty text, which has been negotiated and agreed upon by world governments. In this paper, we look at some of the chemicals described within the CWC and discuss how atoms and molecules, nomenclature and Chemical Abstracts Service (CAS) numbers, isomer enumeration, ring strain and stereochemistry influence the obligations of States to an international treaty. The material draws upon the authors’ experiences from an interactive “Science for Diplomats” initiative that has provided a forum for engaging with chemical disarmament decision makers to aid in their understanding of fundamental concepts in chemistry that have impact on treaty implementation. We hope this article will spark interest from chemistry students and educators in the provision of science advice for policymakers and provide policymakers with an appreciation of the complexity and importance of understanding the language of chemistry in support of a world free of chemical weapons.

Organic Chemistry, Alkanes/Cycloalkanes, Applicati↗