排序方式: 共有2条查询结果,搜索用时 15 毫秒
1
1.
Edwards Christopher S. Christensen Philip R. Mehall Greg L. Anwar Saadat Tunaiji Eman Al Badri Khalid Bowles Heather Chase Stillman Farkas Zoltan Fisher Tara Janiczek John Kubik Ian Harris-Laurila Kelly Holmes Andrew Lazbin Igor Madril Edgar McAdam Mark Miner Mark O’Donnell William Ortiz Carlos Pelham Daniel Patel Mehul Powell Kathryn Shamordola Ken Tourville Tom Smith Michael D. Smith Nathan Woodward Rob Weintraub Aaron Reed Heather Pilinski Emily B. 《Space Science Reviews》2021,217(7):1-37
Space Science Reviews - Modern observatories have revealed the ubiquitous presence of magnetohydrodynamic waves in the solar corona. The propagating waves (in contrast to the standing waves) are... 相似文献
2.
Abstract We propose and systematically formalise a dynamical spatial systems approach for the modelling of changing spatial environments. The formalisation adheres to the semantics of the situation calculus and includes a systematic account of key aspects that are necessary to realize a domain-independent qualitative spatial theory that may be utilised across diverse application domains. The spatial theory is primarily derivable from the all-pervasive generic notion of “qualitative spatial calculi” that are representative of differing aspects of space. In addition, the theory also includes aspects, both ontological and phenomenal in nature, that are considered inherent in dynamic spatial systems. Foundational to the formalisation is a causal theory that adheres to the representational and computational semantics of the situation calculus. This foundational theory provides the necessary (general) mechanism required to represent and reason about changing spatial environments and also includes an account of the key fundamental epistemological issues concerning the frame and the ramification problems that arise whilst modelling change within such domains. The main advantage of the proposed approach is that based on the structure and semantics of the proposed framework, fundamental reasoning tasks such as projection and explanation directly follow. Within the specialised spatial reasoning domain, these translate to spatial planning/re-configuration, causal explanation and spatial simulation. Our approach is based on the hypothesis that alternate formalisations of existing qualitative spatial calculi using high-level tools such as the situation calculus are essential for their utilisation in diverse application domains such as intelligent systems, cognitive robotics and event-based GIS. 相似文献
1