Filters








1,481 Hits in 2.5 sec

Modeling an Algebraic Stepper [chapter]

John Clements, Matthew Flatt, Matthias Felleisen
2001 Lecture Notes in Computer Science  
Our DrScheme programming environment [9, 8] also provides an algebraic stepper for Scheme.  ...  The algebraic stepper explains a Scheme computation in terms of an algebraic rewriting of the program text. A program is rewritten until it is in a canonical form (if it has one).  ...  Conclusion Our paper presents a high-level model of an algebraic stepper for a functional language.  ... 
doi:10.1007/3-540-45309-1_21 fatcat:a4quqq6a45axja6j255nt7ztm4

Odeint - Solving ordinary differential equations in C++

Karsten Ahnert, Mario Mulansky
2011 arXiv   pre-print
Many physical, biological or chemical systems are modeled by ordinary differential equations (ODEs) and finding their solution is an every-day-task for many scientists.  ...  Steppers taking advantage of the algebra concept are parametrized by the algebra.  ...  For this reason an algebra concept has been introduced which is used by most of the steppers (but not by all). It defines how basic operations on a state type are performed.  ... 
arXiv:1110.3397v1 fatcat:pdo2iii6wvb6fbbzvwujm5qpoy

"Coarse" stability and bifurcation analysis using time-steppers: A reaction-diffusion example

C. Theodoropoulos, Y.-H. Qian, I. G. Kevrekidis
2000 Proceedings of the National Academy of Sciences of the United States of America  
We demonstrate an adaptation of this approach that allows for a direct, effective ("coarse") bifurcation analysis of microscopic, kinetic-based models; this is illustrated through a comparative study of  ...  Anal. 30, 1099-1120 ] provide an attractive framework for the latter.  ...  We then implemented an RPM-continuation code around a time-stepper employing an implicit Euler scheme for this discretization.  ... 
doi:10.1073/pnas.97.18.9840 pmid:10963656 pmcid:PMC27601 fatcat:7bd45eb7m5fxznx7be7sntwagm

DiffMan: An object-oriented MATLAB toolbox for solving differential equations on manifolds

Kenth Engø, Arne Marthinsen, Hans Z. Munthe-Kaas
2001 Applied Numerical Mathematics  
We describe an object oriented MATLAB toolbox for solving di erential equations on manifolds. The software re ects recent development within the area of geometric integration.  ...  The strict mathematical de nitions and results are well suited for implementation in an object oriented language, and, due to its simplicity, the authors have c hosen MATLAB as the working environment.  ...  Shape: 3 The shape of an object in @hmnsphere consists of an object in the Lie algebra laso.  ... 
doi:10.1016/s0168-9274(00)00042-8 fatcat:7g36k6d5zzakzm3fb5r6u23zm4

Deriving Simulators for Hybrid Chi Models

D.a. Beek, K.l. Man, M.A. Reniers, J.E. Rooda, R.R.H. Schiffelers
2006 2006 IEEE Conference on Computer-Aided Control Systems Design  
The hybrid Chi language is a formalism for modeling, simulation and verification of hybrid systems.  ...  This paper discusses the principles of deriving an implementation for simulation and verification directly from the semantics, and presents an implementation based on a symbolic solver.  ...  Note that an implementation of the stepper functions may impose additional restrictions on the χ sub syntax.  ... 
doi:10.1109/cacsd.2006.285442 fatcat:aopciu3qt5ahtcyxk4pahmqp2u

Deriving simulators for hybrid Chi models

D.A. van Beek, K.L. Man, M.A. Reniers, J.E. Rooda, R.R.H. Schiffelers
2006 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control  
The hybrid Chi language is a formalism for modeling, simulation and verification of hybrid systems.  ...  This paper discusses the principles of deriving an implementation for simulation and verification directly from the semantics, and presents an implementation based on a symbolic solver.  ...  Note that an implementation of the stepper functions may impose additional restrictions on the χ sub syntax.  ... 
doi:10.1109/cacsd-cca-isic.2006.4776622 fatcat:4klvd3rakbeixjhum2rm4l5bcy

FMI Go! A simulation runtime environment with a client server architecture over multiple protocols

Claude Lacoursière, Tomas Härdin
2017 Proceedings of the 12th International Modelica Conference, Prague, Czech Republic, May 15-17, 2017  
We believe that these are the components missing to Here we investigate a simple truck model with an engine modeled with a point mass -the flywheel -, a PI control which aims at reaching a given speed,  ...  This is a client-server design where the client is the global simulation stepper and the servers are the simulation modules.  ...  Force based model coupling and is described in Sec. 5 and a kinematic coupling as well as a differential algebraic stepper is found in Sec. 6.  ... 
doi:10.3384/ecp17132653 dblp:conf/modelica/LacoursiereH17 fatcat:2t4cmzc6hrdfrijpins3skakcu

DrScheme: a programming environment for Scheme

ROBERT BRUCE FINDLER, JOHN CLEMENTS, CORMAC FLANAGAN, MATTHEW FLATT, SHRIRAM KRISHNAMURTHI, PAUL STECKLER, MATTHIAS FELLEISEN
2002 Journal of functional programming  
Beyond the ordinary programming environment tools, DrScheme provides an algebraic stepper, a context-sensitive syntax checker, and a static debugger.  ...  It fully integrates a graphicsenriched editor, a parser for multiple variants of Scheme, a functional read-eval-print loop, and an algebraic printer.  ...  algebraic printer, an algebraic stepper, and a full-fledged static debugger.  ... 
doi:10.1017/s0956796801004208 fatcat:btjznsbufnfcvheyagkvc36kfq

Stepping Lazy Programs [article]

Stephen Chang and John Clements and Eli Barzilay and Matthias Felleisen
2011 arXiv   pre-print
In this paper, we introduce a supplemental tool, the algebraic program stepper. An algebraic stepper shows computation as a mathematical calculation.  ...  Mathematically speaking, an algebraic stepper renders computation as the standard rewriting sequence of a lazy lambda-calculus.  ...  That is, the stepper explains evaluation as an algebraic process using a form of parallel reduction.  ... 
arXiv:1108.4706v1 fatcat:mjtxojqhyrhgteqlyv6eu4vawu

Distributed Cooperative Control for Stepper Motor Synchronization

Sauro J Yague, Guillermo Reyes Carmenaty, Alejandro Rolán Blanco, Aurelio García Cerrada, J. Detand, D. Ruxu
2018 MATEC Web of Conferences  
Modeling of the two-phase hybrid stepper motor in closed loop is derived in rotary reference frame, based on field-oriented control techniques to provide torque control.  ...  This paper describes the design and simulation of a distributed cooperative control algorithm based on multi-agents to synchronize a group of stepper motors.  ...  Algebraic Graph Theory The communication network is modeled by a graph and establishes the links and interconnections between the agents.  ... 
doi:10.1051/matecconf/201816702001 fatcat:baayjlxbgzgyhcaxqrniuboifu

A stepper for a functional JavaScript sublanguage

Martin Henz, Thomas Tan, Zachary Chua, Peter Jung, Yee-Jian Tan, Xinyi Zhang, Jingjing Zhao
2021 Proceedings of the 2021 ACM SIGPLAN International Symposium on SPLASH-E  
The stepper, showing the step just after the third call of factorial, written in JavaScript.  ...  To support the learner in adopting this mental model, we built an algebraic stepperÐa tool for visualizing the evaluation of Source ğ2 programs according to the model.  ...  models.  ... 
doi:10.1145/3484272.3484968 fatcat:nyi5tcyozrf73lpfc7qardfgue

DrScheme: A pedagogic programming environment for scheme [chapter]

Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen
1997 Lecture Notes in Computer Science  
DrScheme also provides an algebraic stepper, a syntax checker and a static debugger. The rst reduces Scheme programs, including programs with assignment and control e ects, to values (and e ects).  ...  It fully integrates a graphics-enriched editor, a multi-lingual parser that can process a hierarchy o f s y n tactically restrictive v ariants of Scheme, a functional read-eval-print loop, and an algebraically  ...  algebraic printer, an algebraic stepper and a full-edged static debugger.  ... 
doi:10.1007/bfb0033856 fatcat:ra34r4glwrb35efrc27ejwndqe

KINEMATICS ANALYSIS AND IMPLEMENTATION OF THREE DEGREES OF FREEDOM ROBOTIC ARM BY USING MATLAB

Hasan Dawood Salman, Mohsin Noori Hamzah, Sadeq Hussein Bakhy
2021 THE IRAQI JOURNAL FOR MECHANICAL AND MATERIALS ENGINEERING  
The kinematics modeling of the robot arm plays an important role in robot control.  ...  For inverse kinematics, an algebraic solution based on trigonometric formulas mixed with geometric method was adopted for a 3 DOF modular manipulator taking into account the existence of a shoulder offset  ...  an algebraic solution based on trigonometric formulas, and the simulation of the robot arm was executed using the MATLAB program.  ... 
doi:10.32852/iqjfmme.v21i2.547 fatcat:jj5djhxdjnbifo5sczxwy2lnym

From Stack Traces to Lazy Rewriting Sequences [chapter]

Stephen Chang, Eli Barzilay, John Clements, Matthias Felleisen
2012 Lecture Notes in Computer Science  
In this paper, we introduce a new lazy debugging tool for novice programmers, an algebraic stepper that presents computation as a sequence of parallel rewriting steps.  ...  Semantically, our rewriting system represents a compromise between Launchbury's store-based semantics and an axiomatic description of lazy computation as sharing-via-parameters.  ...  That is, the stepper explains evaluation as an algebraic process using a form of parallel program rewriting.  ... 
doi:10.1007/978-3-642-34407-7_7 fatcat:ylgakkwnvvdutp5yb6oqfzk5g4

Effective equations for discrete systems: A time stepper based approach [article]

J. Moeller, O. Runborg, P. G. Kevrekidis, K. Lust, I. G. Kevrekidis
2003 arXiv   pre-print
The advantage of the approach is that the "coarse model" (the continuum, effective equation) need not be explicitly constructed.  ...  We will use the coarse time stepper approach to simulate an effective equation like (2) .  ...  In addition to (14) we then use an algebraic equation to be able to handle turning points, S(u, λ, ∆s) = u(s) − u(s − ∆s) 2 ∆s + |λ(s) − λ(s − ∆s)| 2 ∆s − ∆s = 0, (15) where u(s − ∆s) and λ(s − ∆s) refers  ... 
arXiv:physics/0307153v1 fatcat:4hubomzp6nbcpdnkul6u52sooi
« Previous Showing results 1 — 15 out of 1,481 results