symbolic manipulation
Recently Published Documents


TOTAL DOCUMENTS

189
(FIVE YEARS 7)

H-INDEX

17
(FIVE YEARS 1)

2021 ◽  
Vol 1 ◽  
pp. 8
Author(s):  
Marcus Vinicius dos Santos Claro

Once introduced the semiotic concept of discourse we aim to develop a discussion about the process of constructing the scientific discourse, that is, the modeling process of scientific law declarations through linguistics texts, whereas a imposed enunciation. For that, we distinguish three basic components:1. Intention, which is a motivation, animpulse for the discourse generation; 2. Enunciation, which express the scientific text itself; and 3. Legislation,which assumes a law enunciation. All this is established in order to assume a discourse of truth, including the correspondence with mathematical proofs. So, we characterize the symbolic manipulation of self evidence empirical facts which are reflected into the enunciations by a law format.


2021 ◽  
Vol 12 (4) ◽  
pp. 1-29
Author(s):  
Marco Bozzano ◽  
Alessandro Cimatti ◽  
Marco Roveri

Deep space missions are characterized by severely constrained communication links. To meet the needs of future missions and increase their scientific return, future space systems will require an increased level of autonomy on-board. In this work, we propose a comprehensive approach to on-board autonomy. We rely on model-based reasoning, and we consider many important (on-line and off-line) reasoning capabilities such as plan generation, validation, execution and monitoring, runtime diagnosis, and fault detection, identification, and recovery. The controlled platform is represented symbolically, and the reasoning capabilities are seen as symbolic manipulation of such formal model. We have developed a prototype of our framework, and we have integrated it within an on-board Autonomous Reasoning Engine. Finally, we have evaluated our approach on three case-studies inspired by real-world projects and characterized it in terms of reliability, availability, and performance.


2019 ◽  
Author(s):  
Maja Magdalena Biernacka

The Maya civilization in new forms of museum exposition. Appropriation of pre-Columbian heritage for the benefit of Mexican national cultureThe article is dedicated to the reconstruction and reinterpretation of pre-Columbian heritage by Mexican museums, with a special focus on the Maya civilization which is a permanent feature of the Mexican imagery and an object of artistic fascination. Characteristic of the history of the Yucatan, it is subject to symbolic manipulation and subordinated to the national culture. This is accompanied by the processes of its banalization, folklorization and commercialization which are facilitated by new audiovisual forms. References to the heritage are selective and the images are transformed and adjusted in order to develop apprehensible artistic products for the general public. Cywilizacja Majów w nowych formach muzealnych. O przywłaszczaniu prekolumbijskiego dziedzictwa na rzecz meksykańskiej kultury narodowejArtykuł poświęcony jest współczesnym działaniom w Meksyku w zakresie rekonstrukcji oraz reinterpretacji znaczenia spuścizny prekolumbijskiej dla kultury narodowej tego kraju, na przykładzie muzealnictwa. Chodzi zwłaszcza o dziedzictwo Majów, które jest trwałym elementem meksykańskiego imaginarium i obiektem artystycznej fascynacji. Charakterystyczne dla historii Jukatanu i jego ludności tubylczej, podlega ono zabiegom przywłaszczania na rzecz kultury narodowej, tj. podporządkowywania jako integralnej jej części. Towarzyszą temu procesy banalizacji, folkloryzacji oraz komercjalizacji spuścizny Majów, czego przykładem są nowe formy ekspozycyjne. Odniesienia do dziedzictwa mają charakter selektywny, obrazy traktowane są wybiórczo, adaptowane i poddawane obróbce audiowizualnej w celu wypracowania łatwych w odbiorze produktów artystycznych dla masowego odbiorcy, łączących w sposób swobodny przeszłość ze współczesnością.


2019 ◽  
Vol 19 (3) ◽  
pp. 581-602 ◽  
Author(s):  
Nathan V. Roberts

AbstractThe discontinuous Petrov–Galerkin (DPG) methodology of Demkowicz and Gopalakrishnan guarantees the optimality of the finite element solution in a user-controllable energy norm, and provides several features supporting adaptive schemes. The approach provides stability automatically; there is no need for carefully derived numerical fluxes (as in DG schemes) or for mesh-dependent stabilization terms (as in stabilized methods). In this paper, we focus on features of Camellia that facilitate implementation of new DPG formulations; chief among these is a rich set of features in support of symbolic manipulation, which allow, e.g., bilinear formulations in the code to appear much as they would on paper. Many of these features are general in the sense that they can also be used in the implementation of other finite element formulations. In fact, because DPG’s requirements are essentially a superset of those of other finite element methods, Camellia provides built-in support for most common methods. We believe, however, that the combination of an essentially “hands-free” finite element methodology as found in DPG with the rapid development features of Camellia are particularly winsome, so we focus on use cases in this class. In addition to the symbolic manipulation features mentioned above, Camellia offers support for one-irregular adaptive meshes in 1D, 2D, 3D, and space-time. It provides a geometric multigrid preconditioner particularly suited for DPG problems, and supports distributed parallel execution using MPI. For its load balancing and distributed data structures, Camellia relies on packages from the Trilinos project, which simplifies interfacing with other computational science packages. Camellia also allows loading of standard mesh formats through an interface with the MOAB package. Camellia includes support for static condensation to eliminate element-interior degrees of freedom locally, usually resulting in substantial reduction of the cost of the global problem. We include a discussion of the variational formulations built into Camellia, with references to those formulations in the literature, as well as an MPI performance study.


2019 ◽  
Vol 8 (1) ◽  
pp. 32-61
Author(s):  
William Matthews

The canonised Yijing had a decisive influence over the development of so-called “correlative cosmology” in China’s early imperial period, presenting the cosmos as knowable through sixty-four hexagrams and classifiable according to eight trigrams. The exact nature of these correlative categories continues to inspire debate. On the one hand, they appear to be defined relationally, but on the other they purport to describe everything in the cosmos in terms of fixed principles. These apparently discordant properties can be reconciled by paying due attention to the role of scale. This is revealed through a focus on the hexagram images as two distinct but interrelated forms of analogy, as human constructs for symbolic manipulation and as empirical descriptors of cosmic circumstances. Adopting perspectives from cognitive linguistics and anthropology, this symbolic manipulation allows unknown situations to be understood metaphorically via the hexagrams, and then metonymically incorporated into a natural category of cosmic circumstances. This transition between metaphoric and metonymic relations is a function of scale, and is reflected in the Yijing’s correlative categories. These correspond to perceived absolute natural kinds, but maintain a relational character dependant on the salience of metaphorical and metonymic relations at different scales. At time of publication, the journal operated under the old name. When quoting please refer to the citation on the left using British Journal of Chinese Studies. The pdf of the article still reflects the old journal name; issue number and page range are consistent.


Author(s):  
T Heeringa

The traditional modeling approach in engineering is mathematical, but thanks to the advances in computer technology it is now possible for the practical engineer to model physical systems in a more “user friendly” way. This paper will demonstrate the power and simplicity of Bond Graphs in modelling technique. Bond Graph modelling was original developed in the late 1950s by the late Professor Henry M. Paynter of MIT. Professor Paynter acted well before his time as the main advantage of his creation, other than the modeling insight that it provides and the ability of effectively dealing with mechatronics, came into fruition only with the recent advent of modern computer technology and the tools derived as a result of it, including symbolic manipulation, MATLAB and SIMULINK and the simulation package 20sim, see:  www.20sim.com , which allows direct input of the Bond Graph.


2018 ◽  
Vol 13 (3) ◽  
pp. 729-745
Author(s):  
Martina Blečić Kavur

The ritualization of helmets, along with fragmentation and hybridization, is a well-known fact in the wider area of South-Eastern Europe. It is apparent on the numerous examples of the helmets of the Illyrian type, interpreted in various contexts, for various purposes and in different ways. In the territory of Dolenjska (Slovenia), two Illyrian helmets of the type III A found in the grave VII/19 at Kapiteljska njiva in Novo Mesto present an exception. This is an exclusive double interment of the Eastern Alps region, both concerning its size and funerary construction, and the offerings consisting of warrior’s and equestrian equipment, ornaments and personal items, along with a set of bronze vessels and the first example of helmets of the Illyrian type among the communities of the Late Hallstatt circle in Dolenjska. The context of the grave may be dated into the second half of the 5th century and the beginning of the 4th century BC. The very choice of luxurious objects points to the state of the deceased and their immediate surrounding, ascribing to themselves the power (military, political, economic, ideological) through the practice of massive destruction during funerals. Such ritualization, deliberate destruction or damaging of objects became the ritual practice. As the “sacrifices” of an unique ritual protocol, the deliberate and violent ritualizations became a medium, and the symbolic manipulation of “cultural” proofs was a reflection of social dimensions of the living, i.e. precisely the communities of the Dolenjska Hallstatt society at its eastern frontiers.  


2018 ◽  
Vol 995 ◽  
pp. 012005
Author(s):  
Maselan Ali ◽  
Suliadi Sufahani ◽  
Wan N.A.W. Ahmad ◽  
M. Ghazali Kamardan ◽  
Mohd Saifullah Rusiman ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document