{"id":"https://openalex.org/W4205216050","doi":"https://doi.org/10.3390/sym14010025","title":"Reasoning Method Based on Intervals with Symmetric Truncated Normal Density","display_name":"Reasoning Method Based on Intervals with Symmetric Truncated Normal Density","publication_year":2021,"publication_date":"2021-12-25","ids":{"openalex":"https://openalex.org/W4205216050","doi":"https://doi.org/10.3390/sym14010025"},"language":"en","primary_location":{"id":"doi:10.3390/sym14010025","is_oa":true,"landing_page_url":"https://doi.org/10.3390/sym14010025","pdf_url":"https://www.mdpi.com/2073-8994/14/1/25/pdf?version=1640777022","source":{"id":"https://openalex.org/S190787756","display_name":"Symmetry","issn_l":"2073-8994","issn":["2073-8994"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Symmetry","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/2073-8994/14/1/25/pdf?version=1640777022","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5067158129","display_name":"Peng Wu","orcid":"https://orcid.org/0000-0003-4784-8984"},"institutions":[{"id":"https://openalex.org/I21193070","display_name":"Beijing Jiaotong University","ror":"https://ror.org/01yj56c84","country_code":"CN","type":"education","lineage":["https://openalex.org/I21193070"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Peng Wu","raw_affiliation_strings":["School of Computer and Information Technology, Beijing Jiaotong University, Beijing 100044, China"],"affiliations":[{"raw_affiliation_string":"School of Computer and Information Technology, Beijing Jiaotong University, Beijing 100044, China","institution_ids":["https://openalex.org/I21193070"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049609001","display_name":"Zhenjie Hou","orcid":"https://orcid.org/0000-0002-3572-1460"},"institutions":[{"id":"https://openalex.org/I4210153482","display_name":"Changzhou University","ror":"https://ror.org/04ymgwq66","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210153482"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhenjie Hou","raw_affiliation_strings":["School of Computer and Artificial Intelligence, Changzhou University, Changzhou 213164, China"],"affiliations":[{"raw_affiliation_string":"School of Computer and Artificial Intelligence, Changzhou University, Changzhou 213164, China","institution_ids":["https://openalex.org/I4210153482"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070828650","display_name":"Jiqiang Liu","orcid":"https://orcid.org/0000-0003-1147-4327"},"institutions":[{"id":"https://openalex.org/I21193070","display_name":"Beijing Jiaotong University","ror":"https://ror.org/01yj56c84","country_code":"CN","type":"education","lineage":["https://openalex.org/I21193070"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Jiqiang Liu","raw_affiliation_strings":["School of Computer and Information Technology, Beijing Jiaotong University, Beijing 100044, China"],"affiliations":[{"raw_affiliation_string":"School of Computer and Information Technology, Beijing Jiaotong University, Beijing 100044, China","institution_ids":["https://openalex.org/I21193070"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030041377","display_name":"Jinzhao Wu","orcid":"https://orcid.org/0000-0002-9777-0487"},"institutions":[{"id":"https://openalex.org/I150807315","display_name":"Guangxi University","ror":"https://ror.org/02c9qn167","country_code":"CN","type":"education","lineage":["https://openalex.org/I150807315"]},{"id":"https://openalex.org/I167274908","display_name":"Guangxi University for Nationalities","ror":"https://ror.org/0495efn48","country_code":"CN","type":"education","lineage":["https://openalex.org/I167274908"]},{"id":"https://openalex.org/I21193070","display_name":"Beijing Jiaotong University","ror":"https://ror.org/01yj56c84","country_code":"CN","type":"education","lineage":["https://openalex.org/I21193070"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Jinzhao Wu","raw_affiliation_strings":["School of Computer and Information Technology, Beijing Jiaotong University, Beijing 100044, China","School of Computer, Electronics and Information, Guangxi University, Nanning 530004, China","School of Mathematics and Physics, Guangxi University for Nationalities, Nanning 530006, China"],"affiliations":[{"raw_affiliation_string":"School of Computer and Information Technology, Beijing Jiaotong University, Beijing 100044, China","institution_ids":["https://openalex.org/I21193070"]},{"raw_affiliation_string":"School of Computer, Electronics and Information, Guangxi University, Nanning 530004, China","institution_ids":["https://openalex.org/I150807315"]},{"raw_affiliation_string":"School of Mathematics and Physics, Guangxi University for Nationalities, Nanning 530006, China","institution_ids":["https://openalex.org/I167274908"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5030041377","https://openalex.org/A5070828650"],"corresponding_institution_ids":["https://openalex.org/I150807315","https://openalex.org/I167274908","https://openalex.org/I21193070"],"apc_list":{"value":2000,"currency":"CHF","value_usd":2165},"apc_paid":{"value":2000,"currency":"CHF","value_usd":2165},"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.20166008,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"14","issue":"1","first_page":"25","last_page":"25"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9962999820709229,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9962999820709229,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9945999979972839,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9922000169754028,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6188870668411255},{"id":"https://openalex.org/keywords/variance","display_name":"Variance (accounting)","score":0.5565932989120483},{"id":"https://openalex.org/keywords/interval","display_name":"Interval (graph theory)","score":0.5206508040428162},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5009016990661621},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.49656230211257935},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.4225690960884094},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.35845503211021423},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3452596366405487},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3237057328224182},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.07816770672798157}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6188870668411255},{"id":"https://openalex.org/C196083921","wikidata":"https://www.wikidata.org/wiki/Q7915758","display_name":"Variance (accounting)","level":2,"score":0.5565932989120483},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.5206508040428162},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5009016990661621},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.49656230211257935},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.4225690960884094},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.35845503211021423},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3452596366405487},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3237057328224182},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.07816770672798157},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C121955636","wikidata":"https://www.wikidata.org/wiki/Q4116214","display_name":"Accounting","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.3390/sym14010025","is_oa":true,"landing_page_url":"https://doi.org/10.3390/sym14010025","pdf_url":"https://www.mdpi.com/2073-8994/14/1/25/pdf?version=1640777022","source":{"id":"https://openalex.org/S190787756","display_name":"Symmetry","issn_l":"2073-8994","issn":["2073-8994"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Symmetry","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:da0012a5cb21486db8ab1315435ed462","is_oa":true,"landing_page_url":"https://doaj.org/article/da0012a5cb21486db8ab1315435ed462","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Symmetry, Vol 14, Iss 1, p 25 (2021)","raw_type":"article"},{"id":"pmh:oai:mdpi.com:/2073-8994/14/1/25/","is_oa":true,"landing_page_url":"https://dx.doi.org/10.3390/sym14010025","pdf_url":null,"source":{"id":"https://openalex.org/S4306400947","display_name":"MDPI (MDPI AG)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210097602","host_organization_name":"Multidisciplinary Digital Publishing Institute (Switzerland)","host_organization_lineage":["https://openalex.org/I4210097602"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Symmetry","raw_type":"Text"}],"best_oa_location":{"id":"doi:10.3390/sym14010025","is_oa":true,"landing_page_url":"https://doi.org/10.3390/sym14010025","pdf_url":"https://www.mdpi.com/2073-8994/14/1/25/pdf?version=1640777022","source":{"id":"https://openalex.org/S190787756","display_name":"Symmetry","issn_l":"2073-8994","issn":["2073-8994"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Symmetry","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8034016658","display_name":null,"funder_award_id":"61772006","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4205216050.pdf","grobid_xml":"https://content.openalex.org/works/W4205216050.grobid-xml"},"referenced_works_count":31,"referenced_works":["https://openalex.org/W170447493","https://openalex.org/W1552618645","https://openalex.org/W1555745065","https://openalex.org/W1590463358","https://openalex.org/W1979646426","https://openalex.org/W2002532412","https://openalex.org/W2045173716","https://openalex.org/W2067705970","https://openalex.org/W2130420956","https://openalex.org/W2615216224","https://openalex.org/W2752387439","https://openalex.org/W2752666516","https://openalex.org/W2765435434","https://openalex.org/W2769128709","https://openalex.org/W2806472663","https://openalex.org/W2912640545","https://openalex.org/W2964274100","https://openalex.org/W3010735201","https://openalex.org/W3099242408","https://openalex.org/W3118854623","https://openalex.org/W3158684676","https://openalex.org/W3168224710","https://openalex.org/W3189820450","https://openalex.org/W3212734608","https://openalex.org/W4205227699","https://openalex.org/W4206429178","https://openalex.org/W4243976235","https://openalex.org/W4249816584","https://openalex.org/W4253159834","https://openalex.org/W6633166845","https://openalex.org/W6737895865"],"related_works":["https://openalex.org/W1973641256","https://openalex.org/W3086618278","https://openalex.org/W2089274067","https://openalex.org/W56994397","https://openalex.org/W1121942432","https://openalex.org/W2418069309","https://openalex.org/W2585070004","https://openalex.org/W2376158287","https://openalex.org/W1526165314","https://openalex.org/W2359859943"],"abstract_inverted_index":{"Error":[0],"parameters":[1],"are":[2,23,83,139],"inevitable":[3],"in":[4,91,156],"systems.":[5],"In":[6,19],"formal":[7],"verification,":[8],"previous":[9,110],"reasoning":[10,99,112,120,144,164],"methods":[11],"seldom":[12],"considered":[13],"the":[14,32,52,62,88,103,109,119,129,136,142],"probability":[15,38,104],"information":[16,105],"of":[17,31,55,64,68,87,106,118,122],"errors.":[18],"this":[20,92],"article,":[21],"errors":[22,107],"described":[24],"as":[25],"symmetric":[26,35,69],"truncated":[27,36,56,70],"normal":[28,37,57],"intervals":[29,33,58],"consisting":[30],"and":[34,46,59,66],"density.":[39],"Furthermore,":[40],"we":[41,95],"also":[42],"rigorously":[43],"prove":[44],"lemmas":[45],"a":[47,97],"theorem":[48],"to":[49],"partially":[50],"simplify":[51],"calculation":[53],"process":[54,79],"independently":[60],"verify":[61],"formulas":[63,90],"variance":[65],"expectation":[67],"interval":[71],"given":[72],"by":[73],"some":[74],"scholars.":[75],"The":[76],"mathematical":[77],"derivation":[78],"or":[80],"verification":[81,121],"codes":[82],"provided":[84],"for":[85],"most":[86],"key":[89],"article.":[93],"Hence,":[94],"propose":[96],"new":[98],"method":[100,147],"that":[101,135],"combines":[102],"with":[108,141],"statistical":[111],"methods.":[113,165],"Finally,":[114],"an":[115],"engineering":[116],"example":[117],"train":[123],"acceleration":[124],"is":[125,133,153],"provided.":[126],"After":[127],"simulating":[128],"large-scale":[130],"cases,":[131],"it":[132,152],"shown":[134],"simulation":[137],"results":[138],"consistent":[140],"theoretical":[143],"results.":[145],"This":[146],"needs":[148],"more":[149,154],"calculation,":[150],"while":[151],"effective":[155],"detecting":[157],"non-error\u2019s":[158],"fault":[159],"factors":[160],"than":[161],"other":[162],"error":[163]},"counts_by_year":[],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}