{"id":"https://openalex.org/W4390787744","doi":"https://doi.org/10.1063/5.0182302","title":"Fundamental dependencies for requirements compliance conditions of a unique system under limited amount of testing","display_name":"Fundamental dependencies for requirements compliance conditions of a unique system under limited amount of testing","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4390787744","doi":"https://doi.org/10.1063/5.0182302"},"language":"en","primary_location":{"id":"doi:10.1063/5.0182302","doi":"https://doi.org/10.1063/5.0182302","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1063/5.0182302","pdf_url":null,"source":{"id":"https://openalex.org/S2764696622","display_name":"AIP conference proceedings","issn_l":"0094-243X","issn":["0094-243X","1551-7616","1935-0465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","jufo-1","norway-1"],"host_organization":"https://openalex.org/P4310320257","host_organization_name":"American Institute of Physics","host_organization_lineage":["https://openalex.org/P4310320257"],"host_organization_lineage_names":["American Institute of Physics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"AIP Conference Proceedings","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5091637438","display_name":"Ya. N. Gusenitsa","orcid":"https://orcid.org/0000-0003-4757-5066","observed_orcids":["https://orcid.org/0000-0003-4757-5066"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Ya. N. Gusenitsa","raw_affiliation_strings":["FSAI MIT \"ERA\", Krasnodar Territory, Anapa, Pionersky pr., 41, 353456, Russian Federation"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"FSAI MIT \"ERA\", Krasnodar Territory, Anapa, Pionersky pr., 41, 353456, Russian Federation","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5091637438"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.00523241,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"3033","issue":null,"first_page":"040022","last_page":"040022"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12000","display_name":"Systems Engineering Methodologies and Applications","score":0.8457000255584717,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12000","display_name":"Systems Engineering Methodologies and Applications","score":0.8457000255584717,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13898","display_name":"Diverse Interdisciplinary Research Studies","score":0.02500000037252903,"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/T13293","display_name":"Engineering and Test Systems","score":0.016899999231100082,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/requirements-compliance","display_name":"requirements compliance","score":0.9620000123977661},{"id":"https://openalex.org/keywords/knowability","display_name":"knowability","score":0.8849999904632568},{"id":"https://openalex.org/keywords/integrity","display_name":"integrity","score":0.9399999976158142},{"id":"https://openalex.org/keywords/inference-rules","display_name":"inference rules","score":0.6660000085830688}],"concepts":[{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.8472933769226074},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6028543710708618},{"id":"https://openalex.org/C84170951","wikidata":"https://www.wikidata.org/wiki/Q647225","display_name":"Axiomatic design","level":3,"score":0.5585266351699829},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.4737613797187805},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.4494825601577759},{"id":"https://openalex.org/C2781460075","wikidata":"https://www.wikidata.org/wiki/Q1399332","display_name":"Compliance (psychology)","level":2,"score":0.4345383942127228},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35488709807395935},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2639349699020386},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.14805909991264343},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11253958940505981},{"id":"https://openalex.org/C2778648169","wikidata":"https://www.wikidata.org/wiki/Q967768","display_name":"Compatibility (geochemistry)","level":2,"score":0.06745857000350952},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C77805123","wikidata":"https://www.wikidata.org/wiki/Q161272","display_name":"Social psychology","level":1,"score":0.0},{"id":"https://openalex.org/C42360764","wikidata":"https://www.wikidata.org/wiki/Q83588","display_name":"Chemical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1063/5.0182302","doi":"https://doi.org/10.1063/5.0182302","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1063/5.0182302","pdf_url":null,"source":{"id":"https://openalex.org/S2764696622","display_name":"AIP conference proceedings","issn_l":"0094-243X","issn":["0094-243X","1551-7616","1935-0465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","jufo-1","norway-1"],"host_organization":"https://openalex.org/P4310320257","host_organization_name":"American Institute of Physics","host_organization_lineage":["https://openalex.org/P4310320257"],"host_organization_lineage_names":["American Institute of Physics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"AIP Conference Proceedings","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W2048984651","https://openalex.org/W2062276401","https://openalex.org/W2346800499","https://openalex.org/W3029208533","https://openalex.org/W3205433558","https://openalex.org/W4293195724","https://openalex.org/W4308501242"],"related_works":["https://openalex.org/W1647604228","https://openalex.org/W183272329","https://openalex.org/W6980833604","https://openalex.org/W4400115379","https://openalex.org/W4254543749","https://openalex.org/W3165308169","https://openalex.org/W1978608362","https://openalex.org/W7100983224","https://openalex.org/W7055700290","https://openalex.org/W4237864232"],"abstract_inverted_index":{"The":[0],"paper":[1],"proposes":[2],"a":[3,16,42,57,70,82,113],"methodology":[4,22],"for":[5,47,110],"assessing":[6],"compliance":[7,55,68,80,111],"of":[8,19,28,44,54,56,67,69,79,81,107,112,119],"unique":[9,58,71,83,114],"systems":[10],"with":[11,62,74,86,116],"the":[12,26,37,48,52,63,65,75,77,87,90,102,105,108,117,120],"requirements":[13],"basing":[14],"on":[15,25,89,101],"limited":[17],"amount":[18],"testing.The":[20],"proposed":[21,49],"is":[23,126],"based":[24,100],"principles":[27],"three-component":[29],"cognition,":[30],"knowability":[31],"and":[32,95,123],"integrity,":[33],"as":[34,36],"well":[35],"formal":[38],"axiomatic":[39],"method.We":[40],"formulated":[41,94,121],"system":[43,59,72,84,115],"fundamental":[45],"axioms":[46],"methodology,":[50],"including:":[51],"axiom":[53,66,78],"action":[60],"properties":[61],"requirements;":[64,76],"appearance":[73],"purpose":[85],"requirements.Based":[88],"postulated":[91],"axioms,":[92],"we":[93],"proved":[96],"theorems":[97,122],"that":[98],"determine,":[99],"inference":[103],"rules,":[104],"dependencies":[106],"conditions":[109],"requirements.Analysis":[118],"their":[124],"corollaries":[125],"carried":[127],"out.":[128]},"counts_by_year":[],"updated_date":"2026-09-17T22:18:28.273824","created_date":"2024-01-13T00:00:00"}