Add consistency measure using sleep time and habitual bedtime

2022-01-03 13:05:14 +11:00 · 2022-01-03 13:05:14 +11:00 · eb5bcb9558
commit eb5bcb9558
parent e67215ac1d
3 changed files with 378 additions and 0 deletions
--- a/dlmo.mzn
+++ b/dlmo.mzn
@ -7,6 +7,9 @@ float: DLMO_threshold = 13.043;
 array[Patient] of opt float: dlmo;
 array[Patient, Horizon] of opt float: sample;

+% consistency in terms of STDEV
+array[Patient] of opt float: consistency;
+
 test has_dlmo(Patient: pt) = occurs(dlmo[pt]);

 % --- Derived data ---
--- a/hbt_stdev.dzn
+++ b/hbt_stdev.dzn
@ -0,0 +1,187 @@
+consistency = [
+PT4001:	0.6538955307,
+PT4010:	2.098516105,
+PT4012:	0.9770853428,
+PT4016:	0.5536674264,
+PT4017:	0.6488186252,
+PT4018:	1.205147689,
+PT4019:	1.271898136,
+PT4020:	1.112697281,
+PT4021:	1.068488028,
+PT4022:	1.290994449,
+PT4023: <>,
+PT4024:	1.427827187,
+PT4027: <>,
+PT4028:	1.3183684,
+PT4029:	1.249867718,
+PT4031:	1.431989957,
+PT4033:	1.409810674,
+PT4035:	1.870033104,
+PT4036:	1.708765915,
+PT4037:	0.5019802058,
+PT4038:	0.5830498177,
+PT4039:	0.4394561333,
+PT4040:	2.395915285,
+PT4042:	0.8353151039,
+PT4044:	0.465318347,
+PT4048:	0.7319250547,
+PT4049:	2.770808718,
+PT4050:	0.4166666667,
+PT4052:	1.099693319,
+PT4053:	0.2863748977,
+PT4055:	0.9728456051,
+PT4056:	1.457860468,
+PT4058:	0.3948410704,
+PT4060:	3.12619501,
+PT4061:	1.181924043,
+PT4062:	0.8993163188,
+PT4063:	0.4082482905,
+PT4064: <>,
+PT4065:	0.8366600265,
+PT4066:	0.5307975431,
+PT4067:	0.9800085034,
+PT4068:	0.9214521551,
+PT4069:	0.7704015307,
+PT4070:	0.4879500365,
+PT4071:	0.5088502446,
+PT4072:	1.060922031,
+PT4073:	0.6645800679,
+PT4076:	2.496060388,
+PT4077:	1.37171927,
+PT4078:	1.02175412,
+PT4081:	1.214942244,
+PT4082:	1.105392027,
+PT4083:	0.2439750182,
+PT4084:	0.7046425789,
+PT4085:	0.6725927091,
+PT4088:	0.377964473,
+PT4090:	1.251586295,
+PT4095:	1.642785253,
+PT4100:	0.7605692661,
+PT4101:	1.047957197,
+PT4102:	0.9594972228,
+PT4103:	0.6362090103,
+PT4105:	1.881161833,
+PT4106:	0.7465352067,
+PT4107:	2.265817418,
+PT4108:	1.248808956,
+PT4109:	1.039402301,
+PT4110:	1.436140662,
+PT4111:	0.7956312591,
+PT4112:	1.194536726,
+PT4114:	0.679324283,
+PT4115:	0.4611206731,
+PT4116:	0.7487909125,
+PT4117:	0.6601366702,
+PT4118:	1.742812147,
+PT4119: <>,
+PT4121:	1.38443731,
+PT4122:	0.5204164999,
+PT4123:	0.7830799996,
+PT4124:	1.629344011,
+PT4126:	0.9046104719,
+PT4129:	0.4082482905,
+PT4130:	1.695309433,
+PT4131:	0.7129007738,
+PT4132:	0.3552255413,
+PT4133:	0.3464674336,
+PT4134:	0.4835248663,
+PT4136:	0.4531634836,
+PT4137:	0.8880824715,
+PT4138:	0.8797546556,
+PT4143:	0.7230611733,
+PT4145:	0.6850829325,
+PT4146:	0.854725427,
+PT4147:	1.721990512,
+PT4149:	0.6681531048,
+PT4150:	0.6244044782,
+PT4151:	1.474877809,
+PT4153:	1.55724115,
+PT4156:	1.045382262,
+PT4157:	0.7668133055,
+PT4158:	0.1696167482,
+PT4159:	1.268122597,
+PT4160:	0.7867957925,
+PT4162:	0.7859547492,
+PT4163:	4.067030949,
+PT4164:	0.2041241452,
+PT4165:	0.9050490355,
+PT4166:	0.9401747558,
+PT4167:	1.35420177,
+PT4168:	1.462256627,
+PT4171:	0.5400617249,
+PT4172:	0.4190408549,
+PT4173:	0.04349177384,
+PT4174:	0.5156287578,
+PT4175:	1.557432258,
+PT4178:	1.25499004,
+PT5001:	0.5345224838,
+PT5002:	0.7997602154,
+PT5003:	0.8942053313,
+PT5004:	1.069044968,
+PT5005:	1.718249386,
+PT5006:	0.790360242,
+PT5009:	0.8521681032,
+PT5011:	0.9174239296,
+PT5012:	0.7008875703,
+PT5013:	1.045113345,
+PT5016:	0.8164965809,
+PT5018:	2.631652568,
+PT5021:	1.219875091,
+PT5023:	1.339309524,
+PT5024:	1.35729949,
+PT5025:	0.9834947406,
+PT5026:	2.035108515,
+PT5027:	1.069044968,
+PT5028:	0.3426283408,
+PT6001:	2.273393962,
+PT6003:	2.311118742,
+PT6004:	0.6454972244,
+PT6006:	0.921696159,
+PT6007:	1.19636796,
+PT6008:	0.9154031696,
+PT6009:	1.105541597,
+PT6011:	0.8762557127,
+PT6012:	1.076492443,
+PT6013:	1.336677354,
+PT6015:	1.157360846,
+PT6016:	1.829812637,
+PT6018:	0.5681120688,
+PT6019:	2.535269728,
+PT6020:	0.3061862178,
+PT6021:	1.239239398,
+PT6023:	0.2033125152,
+PT6024:	1.188987164,
+PT6028:	0.5345224838,
+PT6029:	0.457520925,
+PT6032:	0.8245569598,
+PT6039:	1.052679876,
+PT6041:	1.158132048,
+PT6043:	2.134607135,
+PT6044:	2.091887201,
+PT6046:	1.609549051,
+PT6047:	3.214550254,
+PT6048:	3.007266332,
+PT6051:	0.9834611163,
+PT6052:	0.7543524502,
+PT6054:	1.055973184,
+PT6056:	0.5565982279,
+PT6057:	0.6536729762,
+PT6062:	1.112697281,
+PT6063:	0.2715573351,
+PT6064:	0.8436269017,
+PT6069:	2.429971585,
+PT6071:	0.6174490961,
+PT6072:	1.118300156,
+PT6074:	1.390990473,
+PT6076:	0.4158722586,
+PT6077:	0.4866470968,
+PT6081:	0.6811424421,
+PT6082:	0.6380256418,
+PT6085:	0.5,
+PT6088:	0.4461771779,
+PT6092:	0.3037464481,
+PT6093:	1.109721353,
+PT6094:	0.6206861709,
+PT6096:	0.7867957925,
+PT6099:	0.8261595987,];
--- a/slo_stdev.dzn
+++ b/slo_stdev.dzn
@ -0,0 +1,188 @@
+consistency = [
+PT5001:	1.094720375,
+PT5002:	0.7445303196,
+PT5003:	1.137387706,
+PT5004:	1.254621088,
+PT5005:	1.181873681,
+PT5006:	0.6156039749,
+PT5009:	0.781955898,
+PT5011:	0.8670939118,
+PT5012:	0.4458509491,
+PT5013:	0.8388704928,
+PT5016:	0.8164965809,
+PT5018:	2.437377049,
+PT5021:	1.149390223,
+PT5023:	0.6519202405,
+PT5024:	1.314097353,
+PT5025:	1.135205037,
+PT5026:	1.686342195,
+PT5027:	0.9714849812,
+PT5028:	0.6150665641,
+PT4001:	0.7541770805,
+PT4010:	1.57558673,
+PT4012:	0.9426336516,
+PT4016:	0.5069882021,
+PT4017:	0.9786071519,
+PT4018:	1.122019862,
+PT4019:	1.201575245,
+PT4020:	1.281739889,
+PT4021:	1.079694744,
+PT4022:	1.216617742,
+PT4023: <>,
+PT4024:	1.448521414,
+PT4027: <>,
+PT4028:	1.012141896,
+PT4029:	1.10628914,
+PT4031:	1.38443731,
+PT4033:	1.1961634,
+PT4035:	1.977134504,
+PT4036:	0.7485700654,
+PT4037:	0.6214848238,
+PT4038:	0.7757911135,
+PT4039:	0.4946806998,
+PT4040:	2.439202533,
+PT4042:	0.9412293548,
+PT4044:	0.4490436634,
+PT4048:	0.8521681032,
+PT4049:	2.832352771,
+PT4050:	0.4102683339,
+PT4052:	1.059256253,
+PT4053:	0.378401679,
+PT4055:	0.9728456051,
+PT4056:	1.480548483,
+PT4058:	1.026217176,
+PT4060:	3.14487279,
+PT4061:	1.396040319,
+PT4062:	0.9212224453,
+PT4063:	0.8128433341,
+PT4064: <>,
+PT4065:	0.8771798245,
+PT4066:	0.5307975431,
+PT4067:	2.431134852,
+PT4068:	0.5916079783,
+PT4069:	0.7704015307,
+PT4070:	0.4303314829,
+PT4071:	0.5311089526,
+PT4072:	0.9184830489,
+PT4073:	0.8909264841,
+PT4076:	2.46544103,
+PT4077:	2.206741715,
+PT4078:	0.9489272696,
+PT4081:	1.174249732,
+PT4082:	1.22068807,
+PT4083:	1.216617742,
+PT4084:	0.6311155824,
+PT4085:	0.7574585046,
+PT4088:	0.6725927091,
+PT4090:	1.094720375,
+PT4095:	1.361192093,
+PT4100:	0.7467035138,
+PT4101:	0.9868513877,
+PT4102:	1.031257516,
+PT4103:	0.5747670336,
+PT4105:	2.472978304,
+PT4106:	0.4791002369,
+PT4107:	1.747163234,
+PT4108:	1.109125209,
+PT4109:	1.375811449,
+PT4110:	1.306779231,
+PT4111:	0.8107413813,
+PT4112:	1.015911768,
+PT4114:	1.191615328,
+PT4115:	1.331968548,
+PT4116:	1.031270342,
+PT4117:	0.6286270418,
+PT4118:	1.661965592,
+PT4119: <>,
+PT4121:	1.252510706,
+PT4122:	4.244394062,
+PT4123:	0.775953075,
+PT4124:	1.669045921,
+PT4126:	0.7052336473,
+PT4129:	0.3561626761,
+PT4130:	1.785292278,
+PT4131:	0.7224389174,
+PT4132:	0.3784471195,
+PT4133:	0.3021089891,
+PT4134:	0.4368144667,
+PT4136:	1.086990165,
+PT4137:	0.9501461876,
+PT4138:	0.8988676004,
+PT4143:	0.6533896153,
+PT4145:	0.6914730079,
+PT4146:	0.7416198487,
+PT4147:	1.486037307,
+PT4149:	0.8471083712,
+PT4150:	0.5376068861,
+PT4151:	2.003386683,
+PT4153:	1.229837388,
+PT4156:	0.6778574634,
+PT4157:	0.7870731395,
+PT4158:	0.2915249089,
+PT4159:	1.560402031,
+PT4160:	0.7071067812,
+PT4162:	0.8958679395,
+PT4163:	4.088941727,
+PT4164:	0.1725163898,
+PT4165:	0.962765802,
+PT4166:	0.5068968775,
+PT4167:	0.6832268597,
+PT4168:	1.560285468,
+PT4171:	0.5815448774,
+PT4172:	0.2249338527,
+PT4173:	0.320445292,
+PT4174:	0.5727497953,
+PT4175:	1.140436424,
+PT4178:	0.7005289007,
+PT6001:	2.125058356,
+PT6003:	2.110245228,
+PT6004:	0.6398371155,
+PT6006:	1.999186342,
+PT6007:	1.233577303,
+PT6008:	1.143823996,
+PT6009:	1.27747581,
+PT6011:	0.9217535623,
+PT6012:	1.040114717,
+PT6013:	1.336677354,
+PT6015:	0.9953928261,
+PT6016:	1.599851184,
+PT6018:	0.6022993859,
+PT6019:	2.664163011,
+PT6020:	0.3259601203,
+PT6021:	1.320623951,
+PT6023:	0.3963290547,
+PT6024:	1.095022408,
+PT6028:	0.8753306254,
+PT6029:	0.4509689744,
+PT6032:	1.178230671,
+PT6039:	1.138550085,
+PT6041:	0.8692650304,
+PT6043:	2.134607135,
+PT6044:	2.00890873,
+PT6046:	1.599532835,
+PT6047:	3.248880556,
+PT6048:	2.94919503,
+PT6051:	0.8719618457,
+PT6052:	0.7853654829,
+PT6054:	0.9108763732,
+PT6056:	0.7232532323,
+PT6057:	1.532422953,
+PT6062:	1.07475234,
+PT6063:	0.2734987885,
+PT6064:	0.7856601713,
+PT6069:	2.330568089,
+PT6071:	0.7058898096,
+PT6072:	1.181957617,
+PT6074:	1.644897514,
+PT6076:	0.4299470867,
+PT6077:	0.4732388683,
+PT6081:	0.7033555251,
+PT6082:	0.6080370011,
+PT6085:	0.5,
+PT6088:	0.5220026556,
+PT6092:	0.6649282891,
+PT6093:	1.11744228,
+PT6094:	1.388611083,
+PT6096:	0.7800420556,
+PT6099:	0.8207381501,
+];