1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23 package org.hipparchus.ode;
24
25 import java.util.ArrayList;
26 import java.util.Collections;
27 import java.util.Comparator;
28 import java.util.List;
29 import java.util.PriorityQueue;
30 import java.util.Queue;
31 import java.util.stream.Collectors;
32 import java.util.stream.Stream;
33
34 import org.hipparchus.CalculusFieldElement;
35 import org.hipparchus.Field;
36 import org.hipparchus.exception.MathIllegalArgumentException;
37 import org.hipparchus.exception.MathIllegalStateException;
38 import org.hipparchus.ode.events.Action;
39 import org.hipparchus.ode.events.FieldDetectorBasedEventState;
40 import org.hipparchus.ode.events.FieldEventOccurrence;
41 import org.hipparchus.ode.events.FieldEventState;
42 import org.hipparchus.ode.events.FieldODEEventDetector;
43 import org.hipparchus.ode.events.FieldODEStepEndHandler;
44 import org.hipparchus.ode.events.FieldStepEndEventState;
45 import org.hipparchus.ode.sampling.AbstractFieldODEStateInterpolator;
46 import org.hipparchus.ode.sampling.FieldODEStateInterpolator;
47 import org.hipparchus.ode.sampling.FieldODEStepHandler;
48 import org.hipparchus.util.FastMath;
49 import org.hipparchus.util.Incrementor;
50
51
52
53
54
55 public abstract class AbstractFieldIntegrator<T extends CalculusFieldElement<T>> implements FieldODEIntegrator<T> {
56
57
58 private final List<FieldODEStepHandler<T>> stepHandlers;
59
60
61 private FieldODEStateAndDerivative<T> stepStart;
62
63
64 private T stepSize;
65
66
67 private boolean isLastStep;
68
69
70 private boolean resetOccurred;
71
72
73 private final Field<T> field;
74
75
76 private final List<FieldDetectorBasedEventState<T>> detectorBasedEventsStates;
77
78
79 private final List<FieldStepEndEventState<T>> stepEndEventsStates;
80
81
82 private boolean statesInitialized;
83
84
85 private final String name;
86
87
88 private Incrementor evaluations;
89
90
91 private transient FieldExpandableODE<T> equations;
92
93
94
95
96
97 protected AbstractFieldIntegrator(final Field<T> field, final String name) {
98 this.field = field;
99 this.name = name;
100 stepHandlers = new ArrayList<>();
101 stepStart = null;
102 stepSize = null;
103 detectorBasedEventsStates = new ArrayList<>();
104 stepEndEventsStates = new ArrayList<>();
105 statesInitialized = false;
106 evaluations = new Incrementor();
107 }
108
109
110
111
112 public Field<T> getField() {
113 return field;
114 }
115
116
117 @Override
118 public String getName() {
119 return name;
120 }
121
122
123 @Override
124 public void addStepHandler(final FieldODEStepHandler<T> handler) {
125 stepHandlers.add(handler);
126 }
127
128
129 @Override
130 public List<FieldODEStepHandler<T>> getStepHandlers() {
131 return Collections.unmodifiableList(stepHandlers);
132 }
133
134
135 @Override
136 public void clearStepHandlers() {
137 stepHandlers.clear();
138 }
139
140
141 @Override
142 public void addEventDetector(final FieldODEEventDetector<T> detector) {
143 detectorBasedEventsStates.add(new FieldDetectorBasedEventState<>(detector));
144 }
145
146
147 @Override
148 public List<FieldODEEventDetector<T>> getEventDetectors() {
149 return detectorBasedEventsStates.stream().map(FieldDetectorBasedEventState::getEventDetector).collect(Collectors.toList());
150 }
151
152
153 @Override
154 public void clearEventDetectors() {
155 detectorBasedEventsStates.clear();
156 }
157
158
159 @Override
160 public void addStepEndHandler(FieldODEStepEndHandler<T> handler) {
161 stepEndEventsStates.add(new FieldStepEndEventState<>(handler));
162 }
163
164
165 @Override
166 public List<FieldODEStepEndHandler<T>> getStepEndHandlers() {
167 return stepEndEventsStates.stream().map(FieldStepEndEventState::getHandler).collect(Collectors.toList());
168 }
169
170
171 @Override
172 public void clearStepEndHandlers() {
173 stepEndEventsStates.clear();
174 }
175
176
177 @Override
178 public T getCurrentSignedStepsize() {
179 return stepSize;
180 }
181
182
183 @Override
184 public void setMaxEvaluations(int maxEvaluations) {
185 evaluations = evaluations.withMaximalCount((maxEvaluations < 0) ? Integer.MAX_VALUE : maxEvaluations);
186 }
187
188
189 @Override
190 public int getMaxEvaluations() {
191 return evaluations.getMaximalCount();
192 }
193
194
195 @Override
196 public int getEvaluations() {
197 return evaluations.getCount();
198 }
199
200
201
202
203
204
205
206 protected FieldODEStateAndDerivative<T> initIntegration(final FieldExpandableODE<T> eqn,
207 final FieldODEState<T> s0, final T t) {
208
209 this.equations = eqn;
210 evaluations = evaluations.withCount(0);
211
212
213 eqn.init(s0, t);
214
215
216 final T t0 = s0.getTime();
217 final T[] y0 = s0.getCompleteState();
218 final T[] y0Dot = computeDerivatives(t0, y0);
219
220
221 final FieldODEStateAndDerivative<T> s0WithDerivatives =
222 eqn.getMapper().mapStateAndDerivative(t0, y0, y0Dot);
223
224
225 detectorBasedEventsStates.forEach(s -> {
226 s.init(s0WithDerivatives, t);
227 s.getEventDetector().getHandler().init(s0WithDerivatives, t, s.getEventDetector());
228 });
229
230
231 stepEndEventsStates.forEach(s -> {
232 s.init(s0WithDerivatives, t);
233 s.getHandler().init(s0WithDerivatives, t);
234 });
235
236
237 for (FieldODEStepHandler<T> handler : stepHandlers) {
238 handler.init(s0WithDerivatives, t);
239 }
240
241 setStateInitialized(false);
242
243 return s0WithDerivatives;
244
245 }
246
247
248
249
250 protected FieldExpandableODE<T> getEquations() {
251 return equations;
252 }
253
254
255
256
257 protected Incrementor getEvaluationsCounter() {
258 return evaluations;
259 }
260
261
262
263
264
265
266
267
268
269
270
271 public T[] computeDerivatives(final T t, final T[] y)
272 throws MathIllegalArgumentException, MathIllegalStateException, NullPointerException {
273 evaluations.increment();
274 return equations.computeDerivatives(t, y);
275 }
276
277
278
279
280
281 protected void incrementEvaluations(final int nTimes) {
282 evaluations.increment(nTimes);
283 }
284
285
286
287
288
289
290
291 protected void setStateInitialized(final boolean stateInitialized) {
292 this.statesInitialized = stateInitialized;
293 }
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308 protected FieldODEStateAndDerivative<T> acceptStep(final AbstractFieldODEStateInterpolator<T> interpolator,
309 final T tEnd)
310 throws MathIllegalArgumentException, MathIllegalStateException {
311
312 FieldODEStateAndDerivative<T> previousState = interpolator.getGlobalPreviousState();
313 final FieldODEStateAndDerivative<T> currentState = interpolator.getGlobalCurrentState();
314 FieldODEStateInterpolator<T> restricted = interpolator;
315
316
317 if (!statesInitialized) {
318
319 detectorBasedEventsStates.forEach(s -> s.reinitializeBegin(interpolator));
320 statesInitialized = true;
321 }
322
323
324 stepEndEventsStates.forEach(s -> s.setStepEnd(currentState.getTime()));
325
326
327 final int orderingSign = interpolator.isForward() ? +1 : -1;
328 final Queue<FieldEventState<T>> occurringEvents = new PriorityQueue<>(new Comparator<FieldEventState<T>>() {
329
330 @Override
331 public int compare(FieldEventState<T> es0, FieldEventState<T> es1) {
332 return orderingSign * Double.compare(es0.getEventTime().getReal(), es1.getEventTime().getReal());
333 }
334 });
335
336 resetOccurred = false;
337 boolean doneWithStep = false;
338 resetEvents:
339 do {
340
341
342 occurringEvents.clear();
343 final FieldODEStateInterpolator<T> finalRestricted = restricted;
344 Stream.concat(detectorBasedEventsStates.stream(), stepEndEventsStates.stream()).
345 forEach(s -> { if (s.evaluateStep(finalRestricted)) {
346
347 occurringEvents.add(s);
348 }
349 });
350
351
352 do {
353
354 eventLoop:
355 while (!occurringEvents.isEmpty()) {
356
357
358 final FieldEventState<T> currentEvent = occurringEvents.poll();
359
360
361 FieldODEStateAndDerivative<T> eventState =
362 restricted.getInterpolatedState(currentEvent.getEventTime());
363
364
365 restricted = restricted.restrictStep(previousState, eventState);
366
367
368 for (final FieldDetectorBasedEventState<T> state : detectorBasedEventsStates) {
369 if (state != currentEvent && state.tryAdvance(eventState, interpolator)) {
370
371
372 occurringEvents.remove(state);
373
374 occurringEvents.add(state);
375
376 occurringEvents.add(currentEvent);
377 continue eventLoop;
378 }
379 }
380
381
382
383 for (final FieldODEStepHandler<T> handler : stepHandlers) {
384 handler.handleStep(restricted);
385 }
386
387
388 final FieldEventOccurrence<T> occurrence = currentEvent.doEvent(eventState);
389 final Action action = occurrence.getAction();
390 isLastStep = action == Action.STOP;
391
392 if (isLastStep) {
393
394
395
396
397 final FieldODEStateAndDerivative<T> savedState = eventState;
398 eventState = interpolator.getInterpolatedState(occurrence.getStopTime());
399 restricted = interpolator.restrictStep(savedState, eventState);
400
401
402 for (final FieldODEStepHandler<T> handler : stepHandlers) {
403 handler.handleStep(restricted);
404 handler.finish(restricted.getCurrentState());
405 }
406
407 }
408
409 if (isLastStep) {
410
411 return eventState;
412 }
413
414 if (action == Action.RESET_DERIVATIVES || action == Action.RESET_STATE) {
415
416
417 final FieldODEState<T> newState = occurrence.getNewState();
418 final T[] y = newState.getCompleteState();
419 final T[] yDot = computeDerivatives(newState.getTime(), y);
420 resetOccurred = true;
421 final FieldODEStateAndDerivative<T> newStateAndDerivative = equations.getMapper().mapStateAndDerivative(newState.getTime(),
422 y, yDot);
423 detectorBasedEventsStates.forEach(e -> e.getEventDetector().reset(newStateAndDerivative, tEnd));
424 return newStateAndDerivative;
425 }
426
427
428
429 previousState = eventState;
430 restricted = restricted.restrictStep(eventState, currentState);
431
432 if (action == Action.RESET_EVENTS) {
433 continue resetEvents;
434 }
435
436
437
438 if (currentEvent.evaluateStep(restricted)) {
439
440 occurringEvents.add(currentEvent);
441 }
442
443 }
444
445
446
447
448
449
450
451
452 for (final FieldDetectorBasedEventState<T> state : detectorBasedEventsStates) {
453 if (state.tryAdvance(currentState, interpolator)) {
454 occurringEvents.add(state);
455 }
456 }
457
458 } while (!occurringEvents.isEmpty());
459
460 doneWithStep = true;
461 } while (!doneWithStep);
462
463
464 isLastStep = isLastStep || currentState.getTime().subtract(tEnd).norm() < FastMath.ulp(tEnd.getReal());
465
466
467 for (FieldODEStepHandler<T> handler : stepHandlers) {
468 handler.handleStep(restricted);
469 if (isLastStep) {
470 handler.finish(restricted.getCurrentState());
471 }
472 }
473
474 return currentState;
475
476 }
477
478
479
480
481
482
483
484
485 protected void sanityChecks(final FieldODEState<T> initialState, final T t)
486 throws MathIllegalArgumentException {
487
488 final double threshold = 1000 * FastMath.ulp(FastMath.max(FastMath.abs(initialState.getTime().getReal()),
489 FastMath.abs(t.getReal())));
490 final double dt = initialState.getTime().subtract(t).norm();
491 if (dt < threshold) {
492 throw new MathIllegalArgumentException(LocalizedODEFormats.TOO_SMALL_INTEGRATION_INTERVAL,
493 dt, threshold, false);
494 }
495
496 }
497
498
499
500
501 protected boolean resetOccurred() {
502 return resetOccurred;
503 }
504
505
506
507
508 protected void setStepSize(final T stepSize) {
509 this.stepSize = stepSize;
510 }
511
512
513
514
515 protected T getStepSize() {
516 return stepSize;
517 }
518
519
520
521
522 protected void setStepStart(final FieldODEStateAndDerivative<T> stepStart) {
523 this.stepStart = stepStart;
524 }
525
526
527 @Override
528 public FieldODEStateAndDerivative<T> getStepStart() {
529 return stepStart;
530 }
531
532
533
534
535 protected void setIsLastStep(final boolean isLastStep) {
536 this.isLastStep = isLastStep;
537 }
538
539
540
541
542 protected boolean isLastStep() {
543 return isLastStep;
544 }
545
546 }