An exercise in symbolic programming: Computation of general normalized inclination functions

1972 ◽  
Vol 6 (2) ◽  
pp. 187-197 ◽  
Author(s):  
J. A. Campbell
Keyword(s):  
Symbolic Programming ◽  
Inclination Functions

Symbolic Programming with Structured Data

Expert F# 4.0 ◽  
2015 ◽  
pp. 317-344 ◽  
Author(s):  
Don Syme ◽  
Adam Granicz ◽  
Antonio Cisternino
Keyword(s):  
Structured Data ◽  
Symbolic Programming

Revisiting the sampling problem of satellite gravimetry – a perspective from the Bender configuration

2020 ◽  
Author(s):  
Anshul Yadav ◽  
Balaji Devaraju ◽  
Matthias Weigelt ◽  
Nico Sneeuw
Keyword(s):  
Spectral Resolution ◽  
General Pattern ◽  
Analytical Framework ◽  
Spectral Space ◽  
Signal Acquisition ◽  
Polar Gap ◽  
Sampling Problem ◽  
Global Coverage ◽  
Inclination Functions ◽  
East West

<p class="western" align="justify">The signal acquisition by the two different GRACE-like satellite pairs in a Bender configuration - polar and inclined, is dissimilar to each other. This difference is attributable to differing relative sampling geometry and global coverage. While the polar pair covers the entire globe, the inclined pair does not cover the higher latitudes leaving a local discontinuity around the poles in acquired signal (better known as the Polar Gap problem). Similarly, due to its north-south orientation, the polar pair can capture well the features that are predominantly oriented in the east-west direction. We simulated a Bender configuration using ESA's Earth System Model to see how the two satellite pairs contributed to the spherical harmonic coefficients. The general pattern was that the polar orbit contributed strongly to the zonal coefficients and the tesserals around it (near-zonal coefficients) while the inclined orbit contributed strongly to the other tesseral and the sectorial coefficients, which is well known. We also found out that the weak zonal and near-zonal inclined pair contributions lay inside a wedge in the spectral space, very similar to the polar gap error wedge. We want to discern how the satellites' relative geometry, particularly the polar gap issue in the inclined pair of a bender configuration, affects the solution's spectral resolution. In this study, we model the contribution coefficients of the polar and inclined pairs as a function of orbit geometries, employing the semi-analytical framework based on inclination functions. We hope that this will help <span lang="en-IN">in understanding the spectral resolution of the next generation gravity missions</span>.</p>

Analysis of Self-Excited Induction Generators Using Symbolic Programming

1992 ◽  
Vol 29 (4) ◽  
pp. 329-338 ◽  
Author(s):  
T. F. Chan
Keyword(s):  
Numerical Analysis ◽  
Programming Language ◽  
Computer Programming ◽  
Algebraic Manipulation ◽  
The Self ◽  
Induction Generator ◽  
Straightforward Manner ◽  
Symbolic Programming ◽  
Induction Generators ◽  
High Degree

Analysis of self-excited induction generators using symbolic programming Using the symbolic programming language MACSYMA, the self-excited induction generator may be analysed in a straightforward manner with a high degree of accuracy. Very little manual effort need be spent on algebraic manipulation, numerical analysis and computer programming. Typical program sessions are cited to illustrate the elegance of this approach.

Declarative modeling of symbolic continous processes in a robot simulation system

Robotica ◽  
1984 ◽  
Vol 2 (2) ◽  
pp. 105-109
Author(s):  
Richard M. Salter
Keyword(s):  
Production System ◽  
System State ◽  
World Model ◽  
Symbolic Programming ◽  
Continuous Parameter ◽  
Declarative Modeling ◽  
Concurrent Processes ◽  
World Modeling ◽  
Artificial Intelligence Systems

SUMMARYThe production system has been used extensively in Artificial Intelligence systems due, possibly, to a lack of a prior procedural orientation towards the knowledge embedded within it. As a result, this paradigm is especially useful in modeling domains in which a strong procedural correlation of data would not naturally appear. The production system is therefore an appropriate tool for designing models of systems of independent processes whose interactions can be defined in terms of system state.We are interested in modeling continuous, concurrent processes for simulating robot activities, and present a description of a system which is capable of representing such processes as symbolic expressions within a production system database. This system implements a world model which acts as a continuous function of time, and a set of rules written in a language capable of specifying time-dependent properties of the model. In addition, rules may specify new rules, thus permitting processes to be mapped out over time as sequences of events.The methodology presented in this paper is an attempt to utilize the power of symbolic programming in a design for world modeling, and a characterization of the requirements for applying such systems to problem domains which contain a continuous parameter, such as time. We believe that the technique of embedding time used here is appropriate for expressing the dynamic evolution of these models.

Sign in / Sign up

Export Citation Format

Share Document