{"id":"W7009968315","doi":"","title":"Formal Probabilistic Risk Assessment using Theorem Proving with Applications in Power Systems","year":2021,"lang":"en","type":"dissertation","venue":"Spectrum Research Repository (Concordia University)","topic":"Power System Reliability and Maintenance","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Probabilistic logic; Reliability (semiconductor); Fault tree analysis; Electric power system; Block (permutation group theory); Probabilistic risk assessment; Power transmission; Block diagram; Event (particle physics); Formal verification","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008479737,0.001869584,0.001087421,0.002798892,0.001008871,0.003110416,0.002035844,0.001105848,0.003547549],"category_scores_gemma":[0.02639675,0.0008777957,0.002608699,0.002638223,0.003439552,0.003923994,0.002659756,0.002978249,0.0005730581],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001877907,"about_ca_system_score_gemma":0.002130703,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003723412,"about_ca_topic_score_gemma":0.001875495,"domain_scores_codex":[0.9931866,0.003587446,0.0004672318,0.0007332001,0.001780476,0.0002451591],"domain_scores_gemma":[0.9675035,0.02864499,0.001041163,0.001510478,0.001169167,0.0001307416],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00006295467,0.00013481,0.001001554,0.0007550613,0.0001376707,0.000371443,0.0005517042,0.4763326,0.003953391,0.355407,0.001498013,0.1597938],"study_design_scores_gemma":[0.00003789492,0.00004245762,0.0001640332,0.0001512064,0.00004320288,0.0001203198,0.00004563651,0.7146549,0.003451346,0.2741902,0.007062851,0.0000360216],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001583925,0.0003318711,0.9966441,0.00008515841,0.00001727531,0.00004110678,0.00002909738,0.0003526626,0.0009147739],"genre_scores_gemma":[0.1157674,0.001354115,0.8812168,0.0001179261,0.0001158345,0.0002636244,0.0001288492,0.0002167583,0.0008186799],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008479737,"threshold_uncertainty_score":0.04484564,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01225972809130744,"score_gpt":0.2519738798363971,"score_spread":0.2397141517450897,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}