Opened 9 months ago
Last modified 5 weeks ago
#3073 accepted enhancement
Constraints and Splitting for Interval Arithmetic
Reported by: | chaider | Owned by: | chaider |
---|---|---|---|
Priority: | medium | Milestone: | HeuristicLab 3.3.17 |
Component: | Problems.DataAnalysis | Version: | branch |
Keywords: | Cc: |
Description
Extend the current interval arithmetic
- Add shape constraints to define constraints over the model and its partial derivatives
- Add splitting for intervals to reduce the overestimation of boundaries
Change History (31)
comment:1 Changed 9 months ago by chaider
- Status changed from new to accepted
comment:2 Changed 9 months ago by chaider
- Added DataAnalysis.Symbolic (Corrected path)
- Changed includes/paths
- Added solution
comment:3 Changed 9 months ago by chaider
r17591 Added Problems.DataAnalysis and Problems.DataAnalysis.Views
comment:4 Changed 9 months ago by chaider
r17607 Added classes/views to define constraints
comment:5 Changed 9 months ago by chaider
- Added interval grammar for fixed scaling
- Changed formatting
- Fixed typos
comment:6 Changed 9 months ago by chaider
- Added splitting parameter in IntervalInterpreter
- Added methods for spitting in Interval class
- Fixed some typos and other minor changes
comment:7 Changed 8 months ago by chaider
r17637 Changed variable ranges to readonly at GetIntervals methods
comment:8 Changed 8 months ago by chaider
- Added HyperbolicTangent as known symbol to IntervalInterpreter and DerivativeCalculator
- Removed Cube- and Cuberoot-Symbol from IntervalArithmeticGrammar and set Power- and Root-Symbol to disabled
- Added HyperbolicTangent as known symbol to IntervalInterpreter and DerivativeCalculator
- Removed Cube- and Cuberoot-Symbol from IntervalArithmeticGrammar and set Power- and Root-Symbol to disabled
comment:9 Changed 8 months ago by chaider
r17651 Persistence fixes
comment:10 Changed 7 months ago by dpiringe
- added regions in IntervalConstraint
- modified IntervalConstraintsParser to detect regions
comment:11 Changed 6 months ago by dpiringe
- added a weight property for constraints (to have a weight multiplier for errors) in IntervalConstraint
- modified IntervalConstraintsParser to detect weights
comment:12 Changed 6 months ago by dpiringe
- added a check in Interval/IntervalConstraintsParser to throw an exception for multiple variables with the same key
comment:13 Changed 6 months ago by chaider
r17742 Added smart splitting method to interpreter
comment:14 Changed 6 months ago by gkronber
r17756: suggested refactoring / fix for splitting algorithm
comment:15 Changed 6 months ago by gkronber
r17757:17758: change sorting order for BoxBound
comment:16 Changed 6 months ago by chaider
- Split only variables occuring more than once in the model
- Fixed returning interval from splitting method
comment:17 Changed 5 months ago by chaider
r17763 Added interface for bound estimators and added an IABoundEstimator
comment:18 Changed 5 months ago by dpiringe
- added new class Region and refactored the relevant code in IntervalConstraint and IntervalConstraintsParser
- added the .editorconfig file from trunk (to satisfy the coding guidelines)
comment:19 Changed 5 months ago by dpiringe
- fixed a bug which caused a NullPointerException
- added a storable constructor in Region
comment:20 Changed 5 months ago by chaider
- Removed Region class and used IntervallCollection instead
- Changed Parser to work with IntervalColletions
- Moved CheckConstraint methods from Analyzer to IntervalUtil class
- Added CheckConstraint method to interface to check if an interval is in a given constraint
- Added possibility to stop splitting as soon as a constraint is fulfiled
comment:21 Changed 5 months ago by chaider
r17773 Fixed error calculation in IABoundsEstimator
comment:22 Changed 4 months ago by gkronber
r17780: added (limited) support for power symbol (only for integer exponents)
comment:23 Changed 3 months ago by chaider
r17790 Merged trunk into branch
comment:24 Changed 3 months ago by dpiringe
- removed the weight multiplication in IntervalUtil -> should not be calculated in this method
comment:25 Changed 3 months ago by mkommend
r17793: Merged trunk changes into the branch.
comment:26 Changed 3 months ago by gkronber
comment:27 Changed 3 months ago by gkronber
r17800: fixed bug in derivation of power function
comment:28 Changed 3 months ago by gkronber
comment:29 Changed 2 months ago by chaider
r17818 Allow comma as decimal seperator
comment:30 Changed 7 weeks ago by chaider
r17822 Fixed double parsing
comment:31 Changed 5 weeks ago by gkronber
r17827: merged r17811:17826 from trunk to branch
r17589 Added branch