Library: RandomDraw - verify numerics (II)
- strive at complete branch coverage for the mapping function - decide that the neutral value can deliberately lie outside the value range, in which case the probability setting controls the number of _value_ result incidents vs neutral value result incidents. - introduce a third path to define this case clearly - implement the range setting Builder-API functions - absorb boundrary and illegal cases
This commit is contained in:
parent
4f28e8ad6c
commit
2578df7c1d
3 changed files with 435 additions and 73 deletions
|
|
@ -150,10 +150,12 @@ namespace lib {
|
|||
|
||||
|
||||
|
||||
|
||||
/**********************************************************//**
|
||||
* A component and builder to draw limited parameter values
|
||||
* based on some source of randomness (or hash input).
|
||||
* Effectively this is a function which "draws" on invocation.
|
||||
* Probabilities and ranges can be configured by builder API.
|
||||
* @tparam POL configuration policy baseclass
|
||||
*/
|
||||
template<class POL>
|
||||
|
|
@ -165,7 +167,7 @@ namespace lib {
|
|||
|
||||
Tar maxResult_{Tar::maxVal()}; ///< maximum result val actually to produce < max
|
||||
Tar minResult_{Tar::minVal()}; ///< minimum result val actually to produce > min
|
||||
double probability_{0}; ///< probability that value is in [1 .. m]
|
||||
double probability_{0}; ///< probability that value is in [min .. max] \ neutral
|
||||
|
||||
|
||||
/** @internal quantise into limited result value */
|
||||
|
|
@ -180,12 +182,12 @@ namespace lib {
|
|||
REQUIRE (minResult_ < maxResult_);
|
||||
REQUIRE (0.0 <= probability_);
|
||||
REQUIRE (probability_ <= 1.0);
|
||||
auto org = util::max (Tar::zeroVal(), minResult_);
|
||||
double q = (1.0 - probability_);
|
||||
if (val < q) // control probability of values ≠ neutral
|
||||
return Tar::zeroVal();
|
||||
val -= q; // [0 .. [q .. 1[
|
||||
val /= probability_; // [0 .. 1[
|
||||
auto org = Tar::zeroVal();
|
||||
if (org == minResult_)
|
||||
{ // simple standard case
|
||||
val *= maxResult_ - org; // [0 .. m[
|
||||
|
|
@ -193,6 +195,15 @@ namespace lib {
|
|||
val += CAP_EPSILON; // round down yet absorb dust
|
||||
return Tar{floor (val)};
|
||||
}
|
||||
else
|
||||
if (org < minResult_ or org > maxResult_)
|
||||
{ // disjoint form origin, but compact
|
||||
org = minResult_; // ensure all values covered
|
||||
val *= maxResult_ - org + 1; // [o .. m]
|
||||
val += org;
|
||||
val += CAP_EPSILON;
|
||||
return Tar{floor (val)};
|
||||
}
|
||||
else// Origin is somewhere within value range
|
||||
{// ==> wrap "negative" part above max
|
||||
// to map 0.0 ⟼ org (≙neutral)
|
||||
|
|
@ -253,14 +264,25 @@ namespace lib {
|
|||
RandomDraw&&
|
||||
probability (double p)
|
||||
{
|
||||
probability_ = p;
|
||||
probability_ = util::limited (0.0, p ,1.0);
|
||||
return move (*this);
|
||||
}
|
||||
|
||||
RandomDraw&&
|
||||
maxVal (Tar m)
|
||||
{
|
||||
maxResult_ = m;
|
||||
maxResult_ = util::min (m, Tar::maxVal());
|
||||
if (minResult_>=maxResult_)
|
||||
minVal (--m);
|
||||
return move (*this);
|
||||
}
|
||||
|
||||
RandomDraw&&
|
||||
minVal (Tar m)
|
||||
{
|
||||
minResult_ = util::max (m, Tar::minVal());
|
||||
if (maxResult_<=minResult_)
|
||||
maxVal (++m);
|
||||
return move (*this);
|
||||
}
|
||||
|
||||
|
|
|
|||
|
|
@ -26,16 +26,12 @@
|
|||
|
||||
|
||||
|
||||
|
||||
#include "lib/test/run.hpp"
|
||||
//#include "lib/test/test-helper.hpp"
|
||||
#include "lib/random-draw.hpp"
|
||||
#include "lib/time/timevalue.hpp"
|
||||
#include "lib/test/diagnostic-output.hpp"////////////////////TODO
|
||||
#include "lib/format-string.hpp"
|
||||
//#include "lib/util.hpp"
|
||||
|
||||
//#include <cstdlib>
|
||||
#include <array>
|
||||
|
||||
|
||||
|
|
@ -43,29 +39,28 @@
|
|||
namespace lib {
|
||||
namespace test{
|
||||
|
||||
// using util::isSameObject;
|
||||
// using std::rand;
|
||||
using util::_Fmt;
|
||||
using lib::time::FSecs;
|
||||
using lib::time::TimeVar;
|
||||
|
||||
// namespace error = lumiera::error;
|
||||
// using error::LUMIERA_ERROR_FATAL;
|
||||
// using error::LUMIERA_ERROR_STATE;
|
||||
|
||||
|
||||
namespace {
|
||||
// const Literal THE_END = "all dead and hero got the girl";
|
||||
namespace { // policy and configuration for test...
|
||||
|
||||
/**
|
||||
* @note the test uses a rather elaborate result value setting
|
||||
* - produces five distinct values
|
||||
* - value range is symmetrical to origin
|
||||
* - zero is defined as the _neutral value_
|
||||
* - accepts a `size_t` hash value as basic input
|
||||
*/
|
||||
struct SymmetricFive
|
||||
: function<Limited<int, 2,-2, 0>(size_t)>
|
||||
{
|
||||
/** by default use the hash directly as source of randomness */
|
||||
static size_t defaultSrc (size_t hash) { return hash; }
|
||||
|
||||
/**
|
||||
* @internal helper to expose the signature `size_t(size_t)`
|
||||
* by wrapping a given lambda or functor.
|
||||
*/
|
||||
/** Adaptor to handle further mapping functions */
|
||||
template<class SIG>
|
||||
struct Adaptor
|
||||
{
|
||||
|
|
@ -97,9 +92,9 @@ namespace test{
|
|||
};
|
||||
}
|
||||
};
|
||||
|
||||
};
|
||||
}
|
||||
//
|
||||
}//(End) Test config
|
||||
|
||||
|
||||
using Draw = RandomDraw<SymmetricFive>;
|
||||
|
|
@ -110,9 +105,12 @@ namespace test{
|
|||
* @test Verify a flexible builder for random-value generators; using a config template,
|
||||
* these can be outfitted to use a suitable source of randomness and to produce
|
||||
* values from a desired target type and limited range.
|
||||
* - TODO
|
||||
* @see result.hpp
|
||||
* @see lib::ThreadJoinable usage example
|
||||
* - for this test, generated result values are ∈ [-2 .. 0 .. +2]
|
||||
* - no actual randomness is used; rather a `size_t` challenge is
|
||||
* sent in to verify precisely deterministic numeric results.
|
||||
* @see random-draw.hpp
|
||||
* @see vault::gear::TestChainLoad as usage example
|
||||
* @see SchedulerStress_test
|
||||
*/
|
||||
class RandomDraw_test
|
||||
: public Test
|
||||
|
|
@ -131,32 +129,13 @@ namespace test{
|
|||
|
||||
|
||||
|
||||
/** @test TODO demonstrate a basic usage scenario
|
||||
* @todo WIP 11/23 ✔ define ⟶ 🔁 implement
|
||||
/** @test demonstrate a basic usage scenario
|
||||
* @todo WIP 11/23 ✔ define ⟶ ✔ implement
|
||||
*/
|
||||
void
|
||||
simpleUse()
|
||||
{
|
||||
auto draw = Draw().probability(0.5);
|
||||
//SHOW_EXPR (int(draw(0) ));
|
||||
//SHOW_EXPR (int(draw(16 )));
|
||||
//SHOW_EXPR (int(draw(31 )));
|
||||
//SHOW_EXPR (int(draw(32 )));
|
||||
//SHOW_EXPR (int(draw(39 )));
|
||||
//SHOW_EXPR (int(draw(40 )));
|
||||
//SHOW_EXPR (int(draw(47 )));
|
||||
//SHOW_EXPR (int(draw(48 )));
|
||||
//SHOW_EXPR (int(draw(55 )));
|
||||
//SHOW_EXPR (int(draw(56 )));
|
||||
//SHOW_EXPR (int(draw(63 )));
|
||||
//SHOW_EXPR (int(draw(64 )));
|
||||
//SHOW_EXPR (int(draw(65 )));
|
||||
//SHOW_EXPR (int(draw(95 )));
|
||||
//SHOW_EXPR (int(draw(96 )));
|
||||
//SHOW_EXPR (int(draw(127)));
|
||||
//SHOW_EXPR (int(draw(128)));
|
||||
//SHOW_EXPR (int(draw(168)));
|
||||
//SHOW_EXPR (int(draw(256)));
|
||||
CHECK (draw( 0) == 0);
|
||||
CHECK (draw( 16) == 0);
|
||||
CHECK (draw( 32) == 1);
|
||||
|
|
@ -199,19 +178,24 @@ namespace test{
|
|||
|
||||
|
||||
|
||||
/** @test TODO verify random number transformations
|
||||
/** @test verify random number transformations
|
||||
* - use a Draw instance with result values `[-2..0..+2]`
|
||||
* - values are evenly distributed within limits of quantisation
|
||||
* - the probability parameter controls the amount of neutral results
|
||||
* @todo WIP 11/23 🔁 define ⟶ ✔ implement
|
||||
* - maximum and minimum value settings will be respected
|
||||
* - the interval [min..max] is independent from neutral value
|
||||
* - probability defines the cases within [min..max] \ neutral
|
||||
* - all other cases `q = 1 - p` will yield the neutral value
|
||||
* - implausible max/min settings will be corrected automatically
|
||||
* @todo WIP 11/23 ✔ define ⟶ ✔ implement
|
||||
*/
|
||||
void
|
||||
verify_numerics()
|
||||
{
|
||||
auto distribution = [](Draw const& draw)
|
||||
{
|
||||
using Arr = std::array<uint,5>;
|
||||
Arr step{0};
|
||||
using Arr = std::array<int,5>;
|
||||
Arr step{-1,-1,-1,-1,-1};
|
||||
Arr freq{0};
|
||||
for (uint i=0; i<128; ++i)
|
||||
{
|
||||
|
|
@ -219,7 +203,7 @@ namespace test{
|
|||
CHECK (-2 <= res and res <= +2);
|
||||
int idx = res+2;
|
||||
freq[idx] += 1;
|
||||
if (res and not step[idx])
|
||||
if (step[idx] < 0)
|
||||
step[idx] = i;
|
||||
}
|
||||
_Fmt line{"val:%+d (%02d|%5.2f%%)\n"};
|
||||
|
|
@ -241,11 +225,11 @@ namespace test{
|
|||
report += distribution(draw);
|
||||
CHECK (report ==
|
||||
"+++| --empty-- \n"
|
||||
"val:-2 (00| 0.00%)\n"
|
||||
"val:-1 (00| 0.00%)\n"
|
||||
"val:-2 (-1| 0.00%)\n"
|
||||
"val:-1 (-1| 0.00%)\n"
|
||||
"val:+0 (00|100.00%)\n"
|
||||
"val:+1 (00| 0.00%)\n"
|
||||
"val:+2 (00| 0.00%)\n"_expect);
|
||||
"val:+1 (-1| 0.00%)\n"
|
||||
"val:+2 (-1| 0.00%)\n"_expect);
|
||||
|
||||
|
||||
draw.probability(1.0);
|
||||
|
|
@ -266,8 +250,8 @@ namespace test{
|
|||
"+++| p ≔ 1.0 \n"
|
||||
"val:-2 (32|25.00%)\n"
|
||||
"val:-1 (48|25.00%)\n"
|
||||
"val:+0 (00| 0.00%)\n"
|
||||
"val:+1 (01|25.00%)\n"
|
||||
"val:+0 (-1| 0.00%)\n"
|
||||
"val:+1 (00|25.00%)\n"
|
||||
"val:+2 (16|25.00%)\n"_expect);
|
||||
|
||||
|
||||
|
|
@ -378,6 +362,189 @@ namespace test{
|
|||
"val:+0 (00|90.62%)\n"
|
||||
"val:+1 (58| 3.12%)\n"
|
||||
"val:+2 (60| 1.56%)\n"_expect);
|
||||
|
||||
|
||||
// ═════════
|
||||
draw.probability(0.5).maxVal(1);
|
||||
CHECK (draw( 0) == 0);
|
||||
CHECK (draw( 16) == 0);
|
||||
CHECK (draw( 31) == 0);
|
||||
CHECK (draw( 32) == +1);
|
||||
CHECK (draw( 42) == +1);
|
||||
CHECK (draw( 43) == -2);
|
||||
CHECK (draw( 53) == -2);
|
||||
CHECK (draw( 54) == -1);
|
||||
CHECK (draw( 63) == -1);
|
||||
CHECK (draw( 64) == 0);
|
||||
CHECK (draw( 95) == 0);
|
||||
CHECK (draw( 96) == +1);
|
||||
|
||||
report = "+++| p ≔ 0.50 max ≔ 1 \n";
|
||||
report += distribution(draw);
|
||||
CHECK (report ==
|
||||
"+++| p ≔ 0.50 max ≔ 1 \n"
|
||||
"val:-2 (43|17.19%)\n"
|
||||
"val:-1 (54|15.62%)\n"
|
||||
"val:+0 (00|50.00%)\n"
|
||||
"val:+1 (32|17.19%)\n"
|
||||
"val:+2 (-1| 0.00%)\n"_expect);
|
||||
|
||||
|
||||
draw.probability(1.0).maxVal(1);
|
||||
CHECK (draw( 0) == +1);
|
||||
CHECK (draw( 16) == +1);
|
||||
CHECK (draw( 21) == +1);
|
||||
CHECK (draw( 22) == -2);
|
||||
CHECK (draw( 42) == -2);
|
||||
CHECK (draw( 43) == -1);
|
||||
CHECK (draw( 63) == -1);
|
||||
CHECK (draw( 64) == +1);
|
||||
CHECK (draw( 85) == +1);
|
||||
CHECK (draw( 86) == -2);
|
||||
CHECK (draw( 96) == -2);
|
||||
|
||||
report = "+++| p ≔ 1.0 max ≔ 1 \n";
|
||||
report += distribution(draw);
|
||||
CHECK (report ==
|
||||
"+++| p ≔ 1.0 max ≔ 1 \n"
|
||||
"val:-2 (22|32.81%)\n"
|
||||
"val:-1 (43|32.81%)\n"
|
||||
"val:+0 (-1| 0.00%)\n"
|
||||
"val:+1 (00|34.38%)\n"
|
||||
"val:+2 (-1| 0.00%)\n"_expect);
|
||||
|
||||
|
||||
// ═════════
|
||||
draw.probability(0.5).maxVal(0);
|
||||
CHECK (draw( 0) == 0);
|
||||
CHECK (draw( 31) == 0);
|
||||
CHECK (draw( 32) == -2);
|
||||
CHECK (draw( 47) == -2);
|
||||
CHECK (draw( 48) == -1);
|
||||
CHECK (draw( 63) == -1);
|
||||
CHECK (draw( 64) == 0);
|
||||
CHECK (draw( 95) == 0);
|
||||
CHECK (draw( 96) == -2);
|
||||
|
||||
report = "+++| p ≔ 0.50 max ≔ 0 \n";
|
||||
report += distribution(draw);
|
||||
CHECK (report ==
|
||||
"+++| p ≔ 0.50 max ≔ 0 \n"
|
||||
"val:-2 (32|25.00%)\n"
|
||||
"val:-1 (48|25.00%)\n"
|
||||
"val:+0 (00|50.00%)\n"
|
||||
"val:+1 (-1| 0.00%)\n"
|
||||
"val:+2 (-1| 0.00%)\n"_expect);
|
||||
|
||||
|
||||
draw.probability(1.0).maxVal(0);
|
||||
CHECK (draw( 0) == -2);
|
||||
CHECK (draw( 31) == -2);
|
||||
CHECK (draw( 32) == -1);
|
||||
CHECK (draw( 63) == -1);
|
||||
CHECK (draw( 64) == -2);
|
||||
CHECK (draw( 96) == -1);
|
||||
|
||||
report = "+++| p ≔ 1.0 max ≔ 0 \n";
|
||||
report += distribution(draw);
|
||||
CHECK (report ==
|
||||
"+++| p ≔ 1.0 max ≔ 0 \n"
|
||||
"val:-2 (00|50.00%)\n"
|
||||
"val:-1 (32|50.00%)\n"
|
||||
"val:+0 (-1| 0.00%)\n"
|
||||
"val:+1 (-1| 0.00%)\n"
|
||||
"val:+2 (-1| 0.00%)\n"_expect);
|
||||
|
||||
|
||||
// ═════════
|
||||
draw.probability(0.5).maxVal(-1);
|
||||
CHECK (draw( 32) == -2);
|
||||
CHECK (draw( 47) == -2);
|
||||
CHECK (draw( 48) == -1);
|
||||
CHECK (draw( 63) == -1);
|
||||
CHECK (draw( 64) == 0);
|
||||
CHECK (draw( 95) == 0);
|
||||
CHECK (draw( 96) == -2);
|
||||
|
||||
report = "+++| p ≔ 0.50 max ≔ -1 \n";
|
||||
report += distribution(draw);
|
||||
CHECK (report ==
|
||||
"+++| p ≔ 0.50 max ≔ -1 \n"
|
||||
"val:-2 (32|25.00%)\n"
|
||||
"val:-1 (48|25.00%)\n"
|
||||
"val:+0 (00|50.00%)\n"
|
||||
"val:+1 (-1| 0.00%)\n"
|
||||
"val:+2 (-1| 0.00%)\n"_expect);
|
||||
|
||||
|
||||
draw.probability(1.0).maxVal(-1);
|
||||
CHECK (draw( 0) == -2);
|
||||
CHECK (draw( 31) == -2);
|
||||
CHECK (draw( 32) == -1);
|
||||
CHECK (draw( 63) == -1);
|
||||
CHECK (draw( 64) == -2);
|
||||
|
||||
report = "+++| p ≔ 1.0 max ≔ -1 \n";
|
||||
report += distribution(draw);
|
||||
CHECK (report ==
|
||||
"+++| p ≔ 1.0 max ≔ -1 \n"
|
||||
"val:-2 (00|50.00%)\n"
|
||||
"val:-1 (32|50.00%)\n"
|
||||
"val:+0 (-1| 0.00%)\n"
|
||||
"val:+1 (-1| 0.00%)\n"
|
||||
"val:+2 (-1| 0.00%)\n"_expect);
|
||||
|
||||
|
||||
// ═════════
|
||||
draw.probability(0.5).maxVal(2).minVal(1);
|
||||
CHECK (draw( 32) == +1);
|
||||
CHECK (draw( 48) == +2);
|
||||
CHECK (draw( 63) == +2);
|
||||
CHECK (draw( 64) == 0);
|
||||
|
||||
report = "+++| p ≔ 0.50 min ≔ 1 max ≔ 2 \n";
|
||||
report += distribution(draw);
|
||||
CHECK (report ==
|
||||
"+++| p ≔ 0.50 min ≔ 1 max ≔ 2 \n"
|
||||
"val:-2 (-1| 0.00%)\n"
|
||||
"val:-1 (-1| 0.00%)\n"
|
||||
"val:+0 (00|50.00%)\n"
|
||||
"val:+1 (32|25.00%)\n"
|
||||
"val:+2 (48|25.00%)\n"_expect);
|
||||
|
||||
|
||||
draw.probability(1.0).maxVal(2).minVal(1);
|
||||
CHECK (draw( 0) == +1);
|
||||
CHECK (draw( 32) == +2);
|
||||
CHECK (draw( 63) == +2);
|
||||
CHECK (draw( 64) == +1);
|
||||
|
||||
report = "+++| p ≔ 1.0 min ≔ 1 max ≔ 2 \n";
|
||||
report += distribution(draw);
|
||||
CHECK (report ==
|
||||
"+++| p ≔ 1.0 min ≔ 1 max ≔ 2 \n"
|
||||
"val:-2 (-1| 0.00%)\n"
|
||||
"val:-1 (-1| 0.00%)\n"
|
||||
"val:+0 (-1| 0.00%)\n"
|
||||
"val:+1 (00|50.00%)\n"
|
||||
"val:+2 (32|50.00%)\n"_expect);
|
||||
|
||||
|
||||
// ═════════
|
||||
draw.probability(0.5).maxVal(0);
|
||||
CHECK (draw( 32) == -1);
|
||||
CHECK (draw( 63) == -1);
|
||||
CHECK (draw( 64) == 0);
|
||||
|
||||
report = "+++| p ≔ 0.50 max ≔ 0 (-> min ≔ -1) \n";
|
||||
report += distribution(draw);
|
||||
CHECK (report ==
|
||||
"+++| p ≔ 0.50 max ≔ 0 (-> min ≔ -1) \n"
|
||||
"val:-2 (-1| 0.00%)\n"
|
||||
"val:-1 (32|50.00%)\n"
|
||||
"val:+0 (00|50.00%)\n"
|
||||
"val:+1 (-1| 0.00%)\n"
|
||||
"val:+2 (-1| 0.00%)\n"_expect);
|
||||
}
|
||||
|
||||
|
||||
|
|
|
|||
|
|
@ -96728,13 +96728,13 @@ Date:   Thu Apr 20 18:53:17 2023 +0200<br/>
|
|||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node BACKGROUND_COLOR="#eef0c5" COLOR="#990000" CREATED="1700577987947" ID="ID_1072243558" MODIFIED="1700591549880" TEXT="Result-Mapping fertigstellen">
|
||||
<icon BUILTIN="pencil"/>
|
||||
<node COLOR="#338800" CREATED="1700577987947" ID="ID_1072243558" MODIFIED="1700615772415" TEXT="Result-Mapping fertigstellen">
|
||||
<icon BUILTIN="button_ok"/>
|
||||
<node COLOR="#338800" CREATED="1700578049835" ID="ID_1039524348" MODIFIED="1700591554997" TEXT="(optional) Minimal-Wert beachten">
|
||||
<icon BUILTIN="button_ok"/>
|
||||
</node>
|
||||
<node BACKGROUND_COLOR="#eef0c5" COLOR="#990000" CREATED="1700578067566" ID="ID_1673296895" MODIFIED="1700578327612" TEXT="(optional) neutralen Wert definieren">
|
||||
<icon BUILTIN="pencil"/>
|
||||
<node COLOR="#338800" CREATED="1700578067566" ID="ID_1673296895" MODIFIED="1700615768199" TEXT="(optional) neutralen Wert definieren">
|
||||
<icon BUILTIN="button_ok"/>
|
||||
<node COLOR="#435e98" CREATED="1700578338693" ID="ID_1746695653" MODIFIED="1700591392565" TEXT="Wunsch: neutralen Wert mitten im Wertebereich">
|
||||
<richcontent TYPE="NOTE"><html>
|
||||
<head>
|
||||
|
|
@ -96786,10 +96786,115 @@ Date:   Thu Apr 20 18:53:17 2023 +0200<br/>
|
|||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node BACKGROUND_COLOR="#d2beaf" COLOR="#5c4d6e" CREATED="1700610508815" FOLDED="true" ID="ID_1769349161" MODIFIED="1700610564967" TEXT="neutraler Wert könnte sogar konfigurierbar sein">
|
||||
<icon BUILTIN="hourglass"/>
|
||||
<icon BUILTIN="stop-sign"/>
|
||||
<node CREATED="1700610523003" ID="ID_1030452299" MODIFIED="1700610531650" TEXT="könnte... ja warum?"/>
|
||||
<node CREATED="1700610535713" ID="ID_1907433050" MODIFIED="1700610562747" TEXT="YAGNI">
|
||||
<icon BUILTIN="closed"/>
|
||||
</node>
|
||||
<node BACKGROUND_COLOR="#eef0c5" COLOR="#990000" CREATED="1700579867534" ID="ID_1525251156" MODIFIED="1700591492624" TEXT="Quantisierung verbessern">
|
||||
<icon BUILTIN="pencil"/>
|
||||
<node BACKGROUND_COLOR="#f8f1cb" COLOR="#a50125" CREATED="1700579884119" ID="ID_805978365" MODIFIED="1700579898358" TEXT="Probleme mit der Wahrscheinlichkeitsverteilung">
|
||||
</node>
|
||||
<node BACKGROUND_COLOR="#e0ceaa" COLOR="#690f14" CREATED="1700610689481" ID="ID_1952215621" MODIFIED="1700613329351" TEXT="neutraler Wert kann außerhalb des Wertebereichs liegen">
|
||||
<icon BUILTIN="messagebox_warning"/>
|
||||
<node CREATED="1700610701943" ID="ID_1911303152" MODIFIED="1700610712229" TEXT="ja...nein..oh">
|
||||
<icon BUILTIN="ksmiletris"/>
|
||||
</node>
|
||||
<node BACKGROUND_COLOR="#e0ceaa" COLOR="#690f48" CREATED="1700610722028" ID="ID_1729000980" MODIFIED="1700610777018" TEXT="ich sage: ja!">
|
||||
<icon BUILTIN="yes"/>
|
||||
<node CREATED="1700610737674" ID="ID_910999312" MODIFIED="1700610741605" TEXT="macht Sinnn"/>
|
||||
<node CREATED="1700610742033" ID="ID_1941477701" MODIFIED="1700610759355" TEXT="...da der »neutrale Wert« spezielle Semantik trägt"/>
|
||||
</node>
|
||||
<node COLOR="#435e98" CREATED="1700610847439" ID="ID_1923479598" MODIFIED="1700613348354" TEXT="⟹ erfordert spezielle Mechanik">
|
||||
<linktarget COLOR="#81c09c" DESTINATION="ID_1923479598" ENDARROW="Default" ENDINCLINATION="-376;33;" ID="Arrow_ID_920221846" SOURCE="ID_491799030" STARTARROW="None" STARTINCLINATION="267;-354;"/>
|
||||
<node CREATED="1700610871608" ID="ID_884876966" MODIFIED="1700612629620" TEXT="könnte man subsumieren"/>
|
||||
<node CREATED="1700610876983" ID="ID_218611890" MODIFIED="1700610892378">
|
||||
<richcontent TYPE="NODE"><html>
|
||||
<head>
|
||||
|
||||
</head>
|
||||
<body>
|
||||
<p>
|
||||
und zwar unter den <i>einfachen Fall</i>
|
||||
</p>
|
||||
</body>
|
||||
</html>
|
||||
</richcontent>
|
||||
<icon BUILTIN="idea"/>
|
||||
<node CREATED="1700610894141" ID="ID_1438709417" MODIFIED="1700610906898" TEXT="weil dafür der neutrale Wert bereits randständig ist"/>
|
||||
<node CREATED="1700610912931" ID="ID_838858780" MODIFIED="1700610929772" TEXT="weil dort bereits mit einem künstlichen Origin gearbeitet wird"/>
|
||||
<node COLOR="#5b280f" CREATED="1700612637963" ID="ID_388842503" MODIFIED="1700612655329" TEXT="die Eingangsbedingung paßt aber nicht">
|
||||
<font NAME="SansSerif" SIZE="12"/>
|
||||
<icon BUILTIN="button_cancel"/>
|
||||
</node>
|
||||
</node>
|
||||
<node COLOR="#338800" CREATED="1700610954037" ID="ID_1082494599" MODIFIED="1700613156961">
|
||||
<richcontent TYPE="NODE"><html>
|
||||
<head>
|
||||
|
||||
</head>
|
||||
<body>
|
||||
<p>
|
||||
<u>Konsequenz</u>: <i>speziellen Fall </i>schaffen...
|
||||
</p>
|
||||
</body>
|
||||
</html>
|
||||
</richcontent>
|
||||
<icon BUILTIN="button_ok"/>
|
||||
<node CREATED="1700612681153" ID="ID_1008138940" MODIFIED="1700612681153">
|
||||
<richcontent TYPE="NODE"><html>
|
||||
<head>
|
||||
|
||||
</head>
|
||||
<body>
|
||||
<p>
|
||||
explizit org ≔ minResult_
|
||||
</p>
|
||||
</body>
|
||||
</html>
|
||||
</richcontent>
|
||||
</node>
|
||||
<node CREATED="1700612742665" ID="ID_187755742" MODIFIED="1700612779461" TEXT="kein +1 - Offset (da minResult in diesem Fall nicht ausgeschlossen werden muß)"/>
|
||||
<node CREATED="1700612684943" ID="ID_690347204" MODIFIED="1700612702951" TEXT="Intervall weiter aufspreizen, so daß alle Werte erreicht werden"/>
|
||||
<node CREATED="1700612703571" ID="ID_77046954" MODIFIED="1700612738805">
|
||||
<richcontent TYPE="NODE"><html>
|
||||
<head>
|
||||
|
||||
</head>
|
||||
<body>
|
||||
<p>
|
||||
dabei beachten: val ≡ 1.0 liegt am Rand und wird <i>genau nicht mehr erreicht</i>
|
||||
</p>
|
||||
</body>
|
||||
</html>
|
||||
</richcontent>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node COLOR="#435e98" CREATED="1700613164473" ID="ID_1204196082" MODIFIED="1700613301089">
|
||||
<richcontent TYPE="NODE"><html>
|
||||
<head>
|
||||
|
||||
</head>
|
||||
<body>
|
||||
<p>
|
||||
der Fall, daß der neutrale Wert am oberen Rand liegt,
|
||||
</p>
|
||||
<p>
|
||||
wird mehr zufälligerweise vom innenliegenden Fall
|
||||
</p>
|
||||
<p>
|
||||
korrekt mit behandelt, indem die 1.Hälfte wegfällt
|
||||
</p>
|
||||
</body>
|
||||
</html>
|
||||
</richcontent>
|
||||
<icon BUILTIN="idea"/>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node COLOR="#338800" CREATED="1700579867534" ID="ID_1525251156" MODIFIED="1700615765359" TEXT="Quantisierung verbessern">
|
||||
<icon BUILTIN="button_ok"/>
|
||||
<node BACKGROUND_COLOR="#e0ceaa" COLOR="#690f14" CREATED="1700579884119" ID="ID_805978365" MODIFIED="1700615732006" TEXT="Probleme mit der Wahrscheinlichkeitsverteilung">
|
||||
<icon BUILTIN="messagebox_warning"/>
|
||||
<node CREATED="1700580065522" ID="ID_1293962654" MODIFIED="1700580090733" TEXT="für Zufälligkeit wäre quant ≙ card ideal"/>
|
||||
<node CREATED="1700580100458" ID="ID_508177019" MODIFIED="1700580112917" TEXT="für Gleichverteilung muß quant eine 2-er-Potenz sein"/>
|
||||
|
|
@ -96797,6 +96902,7 @@ Date:   Thu Apr 20 18:53:17 2023 +0200<br/>
|
|||
<node CREATED="1700580327644" ID="ID_163898715" MODIFIED="1700580337478" TEXT="der verbleibende Rest leuchtet nicht mehr alle Werte aus"/>
|
||||
</node>
|
||||
<node CREATED="1700580296744" ID="ID_1912245268" MODIFIED="1700580306635" TEXT="auch unebene Teil-Wertbereiche sind problematisch"/>
|
||||
<node BACKGROUND_COLOR="#e0ceaa" COLOR="#690f14" CREATED="1700615737693" ID="ID_711912636" MODIFIED="1700615760685" TEXT="�� mit dem gewählten Quantiser ~ 3% Fehler"/>
|
||||
</node>
|
||||
<node COLOR="#338800" CREATED="1700579942375" ID="ID_1570826487" MODIFIED="1700591481064" TEXT="Quantiser auf 2-log der Kardinalität aufbauen">
|
||||
<icon BUILTIN="button_ok"/>
|
||||
|
|
@ -96834,12 +96940,19 @@ Date:   Thu Apr 20 18:53:17 2023 +0200<br/>
|
|||
<arrowlink DESTINATION="ID_241609475" ENDARROW="Default" ENDINCLINATION="-131;9;" ID="Arrow_ID_404249054" STARTARROW="None" STARTINCLINATION="77;5;"/>
|
||||
<icon BUILTIN="yes"/>
|
||||
</node>
|
||||
<node BACKGROUND_COLOR="#fdfdcf" COLOR="#ff0000" CREATED="1700591494047" ID="ID_367849222" MODIFIED="1700591500352" TEXT="Verteilung empirisch untersuchen">
|
||||
<icon BUILTIN="flag-pink"/>
|
||||
</node>
|
||||
<node COLOR="#338800" CREATED="1700591494047" ID="ID_367849222" MODIFIED="1700615641406" TEXT="Verteilung empirisch untersuchen">
|
||||
<arrowlink COLOR="#33b2c7" DESTINATION="ID_1583745392" ENDARROW="Default" ENDINCLINATION="66;-218;" ID="Arrow_ID_1227385946" STARTARROW="None" STARTINCLINATION="-136;0;"/>
|
||||
<icon BUILTIN="button_ok"/>
|
||||
<node COLOR="#438b98" CREATED="1700615644760" ID="ID_1143715475" MODIFIED="1700615681457" TEXT="jede Menge Fehler gefunden...">
|
||||
<icon BUILTIN="ksmiletris"/>
|
||||
</node>
|
||||
<node BACKGROUND_COLOR="#c8c0b6" COLOR="#438b98" CREATED="1700615657197" ID="ID_1227454632" MODIFIED="1700615703424" TEXT="hab nun komplette Fall+Pfadabdeckung">
|
||||
<icon BUILTIN="idea"/>
|
||||
</node>
|
||||
</node>
|
||||
<node BACKGROUND_COLOR="#fdfdcf" COLOR="#ff0000" CREATED="1700591521028" ID="ID_1363297386" MODIFIED="1700591544937" TEXT="DSL-Setter müssen nun stets konsistente Gesamteinstellung erzeugen">
|
||||
<icon BUILTIN="flag-pink"/>
|
||||
<node COLOR="#338800" CREATED="1700591521028" ID="ID_1363297386" MODIFIED="1700615724507" TEXT="DSL-Setter müssen nun stets konsistente Gesamteinstellung erzeugen">
|
||||
<icon BUILTIN="button_ok"/>
|
||||
</node>
|
||||
<node COLOR="#338800" CREATED="1700578085130" ID="ID_1160195104" MODIFIED="1700578334393" TEXT="Konsistenz der Definitionen prüfen (statisch)">
|
||||
<icon BUILTIN="button_ok"/>
|
||||
|
|
@ -96848,18 +96961,27 @@ Date:   Thu Apr 20 18:53:17 2023 +0200<br/>
|
|||
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1700491985219" ID="ID_460437503" MODIFIED="1700577836021" TEXT="Adaptierung restrukturieren">
|
||||
<icon BUILTIN="flag-yellow"/>
|
||||
</node>
|
||||
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1700577811739" ID="ID_1356052727" MODIFIED="1700577841449" TEXT="Konfigurations-DSL aufbauen">
|
||||
<icon BUILTIN="flag-yellow"/>
|
||||
<node BACKGROUND_COLOR="#eef0c5" COLOR="#990000" CREATED="1700577811739" ID="ID_1356052727" MODIFIED="1700615790193" TEXT="Konfigurations-DSL aufbauen">
|
||||
<icon BUILTIN="pencil"/>
|
||||
<node COLOR="#435e98" CREATED="1700615802219" ID="ID_1202526627" MODIFIED="1700615816505" TEXT="probability"/>
|
||||
<node COLOR="#435e98" CREATED="1700615805467" ID="ID_1780693023" MODIFIED="1700615816505" TEXT="maxVal"/>
|
||||
<node COLOR="#435e98" CREATED="1700615809354" ID="ID_664060947" MODIFIED="1700615816506" TEXT="minVal"/>
|
||||
<node CREATED="1700615812738" ID="ID_1089110674" MODIFIED="1700615814517" TEXT="mapping"/>
|
||||
</node>
|
||||
</node>
|
||||
<node BACKGROUND_COLOR="#eef0c5" COLOR="#990000" CREATED="1700491877926" ID="ID_1958310493" MODIFIED="1700502021655" TEXT="Test zur Dokumentation">
|
||||
<icon BUILTIN="pencil"/>
|
||||
<node BACKGROUND_COLOR="#eef0c5" COLOR="#990000" CREATED="1700491902622" ID="ID_523469259" MODIFIED="1700577965111" TEXT="soll auch den Prozeß der Spezialisierung demonstrieren">
|
||||
<node BACKGROUND_COLOR="#eef0c5" COLOR="#990000" CREATED="1700491902622" ID="ID_523469259" MODIFIED="1700615927608" TEXT="soll auch das Vorgehen zur Spezialisierung demonstrieren">
|
||||
<icon BUILTIN="pencil"/>
|
||||
<node CREATED="1700615879735" ID="ID_1206033672" MODIFIED="1700615946925" TEXT="verwende schon mal spezielle Ergebniswerte">
|
||||
<arrowlink COLOR="#382e90" DESTINATION="ID_1803348383" ENDARROW="Default" ENDINCLINATION="131;-8;" ID="Arrow_ID_1166708502" STARTARROW="None" STARTINCLINATION="-7;7;"/>
|
||||
</node>
|
||||
<node BACKGROUND_COLOR="#eef0c5" COLOR="#990000" CREATED="1700491930155" ID="ID_1583745392" MODIFIED="1700591561138" TEXT="numerische Grenzen beleuchten">
|
||||
<icon BUILTIN="pencil"/>
|
||||
<node COLOR="#338800" CREATED="1700600684146" ID="ID_1803348383" MODIFIED="1700600699382" TEXT="Limited -2 .. 0 .. +2">
|
||||
</node>
|
||||
<node COLOR="#338800" CREATED="1700491930155" ID="ID_1583745392" MODIFIED="1700615634983" TEXT="numerische Grenzen beleuchten">
|
||||
<linktarget COLOR="#33b2c7" DESTINATION="ID_1583745392" ENDARROW="Default" ENDINCLINATION="66;-218;" ID="Arrow_ID_1227385946" SOURCE="ID_367849222" STARTARROW="None" STARTINCLINATION="-136;0;"/>
|
||||
<icon BUILTIN="button_ok"/>
|
||||
<node COLOR="#338800" CREATED="1700600684146" ID="ID_1803348383" MODIFIED="1700615937015" TEXT="Limited -2 .. 0 .. +2">
|
||||
<linktarget COLOR="#382e90" DESTINATION="ID_1803348383" ENDARROW="Default" ENDINCLINATION="131;-8;" ID="Arrow_ID_1166708502" SOURCE="ID_1206033672" STARTARROW="None" STARTINCLINATION="-7;7;"/>
|
||||
<icon BUILTIN="button_ok"/>
|
||||
</node>
|
||||
<node COLOR="#338800" CREATED="1700600547646" ID="ID_1733363168" MODIFIED="1700600560846" TEXT="verify some relevant stepping points directly">
|
||||
|
|
@ -96880,6 +97002,57 @@ Date:   Thu Apr 20 18:53:17 2023 +0200<br/>
|
|||
<node COLOR="#338800" CREATED="1700600445406" ID="ID_664166647" MODIFIED="1700600490102" TEXT="various probabilities (0, 1, 0.99, ... 0.10)">
|
||||
<icon BUILTIN="button_ok"/>
|
||||
</node>
|
||||
<node COLOR="#338800" CREATED="1700604864932" ID="ID_1979925834" MODIFIED="1700607874137" TEXT="maxVal = 1">
|
||||
<icon BUILTIN="button_ok"/>
|
||||
<node COLOR="#338800" CREATED="1700604931512" ID="ID_1694493549" MODIFIED="1700607872005" TEXT="probability = 0.5">
|
||||
<icon BUILTIN="button_ok"/>
|
||||
</node>
|
||||
<node COLOR="#338800" CREATED="1700604938450" ID="ID_1143473642" MODIFIED="1700607873288" TEXT="probability = 1.0">
|
||||
<icon BUILTIN="button_ok"/>
|
||||
</node>
|
||||
</node>
|
||||
<node COLOR="#338800" CREATED="1700604956767" ID="ID_892833284" MODIFIED="1700608385397" TEXT="maxVal = 0">
|
||||
<icon BUILTIN="button_ok"/>
|
||||
<node COLOR="#338800" CREATED="1700604963920" ID="ID_1628587988" MODIFIED="1700613393796" TEXT="probability = 0.5">
|
||||
<linktarget COLOR="#a9b4c1" DESTINATION="ID_1628587988" ENDARROW="Default" ENDINCLINATION="109;0;" ID="Arrow_ID_1125759765" SOURCE="ID_1049841145" STARTARROW="None" STARTINCLINATION="6;-34;"/>
|
||||
<icon BUILTIN="button_ok"/>
|
||||
</node>
|
||||
<node COLOR="#338800" CREATED="1700604938450" ID="ID_853219608" MODIFIED="1700608387316" TEXT="probability = 1.0">
|
||||
<icon BUILTIN="button_ok"/>
|
||||
</node>
|
||||
</node>
|
||||
<node COLOR="#338800" CREATED="1700604977212" ID="ID_491799030" MODIFIED="1700613358705" TEXT="maxVal = -1">
|
||||
<arrowlink COLOR="#81c09c" DESTINATION="ID_1923479598" ENDARROW="Default" ENDINCLINATION="-376;33;" ID="Arrow_ID_920221846" STARTARROW="None" STARTINCLINATION="267;-354;"/>
|
||||
<icon BUILTIN="button_ok"/>
|
||||
<node COLOR="#338800" CREATED="1700604982692" ID="ID_1931542094" MODIFIED="1700613397255" TEXT="probability = 0.5">
|
||||
<icon BUILTIN="button_ok"/>
|
||||
<node CREATED="1700613380683" ID="ID_1049841145" MODIFIED="1700613399811" TEXT="verhalten sich zufällig identisch">
|
||||
<arrowlink DESTINATION="ID_1628587988" ENDARROW="Default" ENDINCLINATION="109;0;" ID="Arrow_ID_1125759765" STARTARROW="None" STARTINCLINATION="6;-34;"/>
|
||||
<icon BUILTIN="idea"/>
|
||||
</node>
|
||||
</node>
|
||||
<node COLOR="#338800" CREATED="1700604938450" ID="ID_80447174" MODIFIED="1700613320326" TEXT="probability = 1.0">
|
||||
<icon BUILTIN="button_ok"/>
|
||||
</node>
|
||||
</node>
|
||||
<node COLOR="#338800" CREATED="1700605189408" ID="ID_757773023" MODIFIED="1700615603606" TEXT="maxVal = 2, minVal=+1">
|
||||
<icon BUILTIN="button_ok"/>
|
||||
<node COLOR="#338800" CREATED="1700604982692" ID="ID_405389043" MODIFIED="1700615609458" TEXT="probability = 0.5">
|
||||
<icon BUILTIN="button_ok"/>
|
||||
</node>
|
||||
<node COLOR="#338800" CREATED="1700604938450" ID="ID_351263684" MODIFIED="1700615608914" TEXT="probability = 1.0">
|
||||
<icon BUILTIN="button_ok"/>
|
||||
</node>
|
||||
</node>
|
||||
<node COLOR="#338800" CREATED="1700606021617" ID="ID_1964921327" MODIFIED="1700615605518" TEXT="maxVal = 0">
|
||||
<icon BUILTIN="button_ok"/>
|
||||
<node COLOR="#338800" CREATED="1700606035232" ID="ID_1325704418" MODIFIED="1700615606608" TEXT="führt zur Korrektur">
|
||||
<icon BUILTIN="button_ok"/>
|
||||
</node>
|
||||
<node COLOR="#338800" CREATED="1700606041014" ID="ID_1282747236" MODIFIED="1700615607179" TEXT="probability = 0.5">
|
||||
<icon BUILTIN="button_ok"/>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1700501979956" ID="ID_571312425" MODIFIED="1700577970844" TEXT="Wirkung des Builder-API dokumentieren">
|
||||
<icon BUILTIN="flag-yellow"/>
|
||||
|
|
|
|||
Loading…
Reference in a new issue