{"id":"https://openalex.org/W3048614548","doi":"https://doi.org/10.12737/2308-4898-2020-66-81","title":"Computer Verification of Descriptive Geometry Task Solutions for Engineering and Graphic Education","display_name":"Computer Verification of Descriptive Geometry Task Solutions for Engineering and Graphic Education","publication_year":2020,"publication_date":"2020-08-10","ids":{"openalex":"https://openalex.org/W3048614548","doi":"https://doi.org/10.12737/2308-4898-2020-66-81","mag":"3048614548"},"language":"en","primary_location":{"id":"doi:10.12737/2308-4898-2020-66-81","doi":"https://doi.org/10.12737/2308-4898-2020-66-81","is_oa":false,"landing_page_url":"https://doi.org/10.12737/2308-4898-2020-66-81","pdf_url":null,"source":{"id":"https://openalex.org/S2764503789","display_name":"Geometry & Graphics","issn_l":"2308-4898","issn":["2308-4898"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4324001544","host_organization_name":"Infra-M Academic Publishing House","host_organization_lineage":["https://openalex.org/P4324001544"],"host_organization_lineage_names":["Infra-M Academic Publishing House"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Geometry & Graphics","raw_type":"journal-article"},"volume":null,"type":"article","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/A5060171425","display_name":"Aleksey Aleksandrovich Boykov","orcid":"https://orcid.org/0000-0002-2068-1267","observed_orcids":["https://orcid.org/0000-0002-2068-1267"]},"institutions":[{"id":"https://openalex.org/I4210135186","display_name":"MIREA - Russian Technological University","ror":"https://ror.org/04qrtgy16","country_code":"RU","type":"education","lineage":["https://openalex.org/I4210135186"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"A. Boykov","raw_affiliation_strings":["MIREA \u2013 Russian Technological University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"MIREA \u2013 Russian Technological University","institution_ids":["https://openalex.org/I4210135186"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5060171425"],"corresponding_institution_ids":["https://openalex.org/I4210135186"],"apc_list":null,"apc_paid":null,"fwci":0.8359,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.74037012,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":93,"max":95},"biblio":{"volume":"8","issue":"2","first_page":"66","last_page":"81"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13267","display_name":"Advanced Theoretical and Applied Studies in Material Sciences and Geometry","score":0.42309999465942383,"subfield":{"id":"https://openalex.org/subfields/1704","display_name":"Computer Graphics and Computer-Aided Design"},"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/T13267","display_name":"Advanced Theoretical and Applied Studies in Material Sciences and Geometry","score":0.42309999465942383,"subfield":{"id":"https://openalex.org/subfields/1704","display_name":"Computer Graphics and Computer-Aided Design"},"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/T14025","display_name":"Educational Technology and Assessment","score":0.3562000095844269,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T12124","display_name":"Engineering Education and Curriculum Development","score":0.02710000053048134,"subfield":{"id":"https://openalex.org/subfields/3304","display_name":"Education"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/descriptive-geometry","display_name":"descriptive geometry","score":0.9929999709129333},{"id":"https://openalex.org/keywords/computer-aided-verification","display_name":"computer-aided verification","score":0.6740000247955322},{"id":"https://openalex.org/keywords/formal-grammars","display_name":"formal grammars","score":0.7820000052452087},{"id":"https://openalex.org/keywords/dxf-files","display_name":"DXF files","score":0.8880000114440918},{"id":"https://openalex.org/keywords/vector-graphics","display_name":"vector graphics","score":0.6399999856948853},{"id":"https://openalex.org/keywords/geometric-construction","display_name":"geometric construction","score":0.4099999964237213},{"id":"https://openalex.org/keywords/distance-education","display_name":"distance education","score":0.5170000195503235}],"concepts":[{"id":"https://openalex.org/C2780507150","wikidata":"https://www.wikidata.org/wiki/Q638755","display_name":"Descriptive geometry","level":2,"score":0.8087071180343628},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7488503456115723},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.45849716663360596},{"id":"https://openalex.org/C21442007","wikidata":"https://www.wikidata.org/wiki/Q1027879","display_name":"Graphics","level":2,"score":0.41671067476272583},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3776727020740509},{"id":"https://openalex.org/C199639397","wikidata":"https://www.wikidata.org/wiki/Q1788588","display_name":"Engineering drawing","level":1,"score":0.3532981276512146},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.3327528238296509},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.12737/2308-4898-2020-66-81","doi":"https://doi.org/10.12737/2308-4898-2020-66-81","is_oa":false,"landing_page_url":"https://doi.org/10.12737/2308-4898-2020-66-81","pdf_url":null,"source":{"id":"https://openalex.org/S2764503789","display_name":"Geometry & Graphics","issn_l":"2308-4898","issn":["2308-4898"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4324001544","host_organization_name":"Infra-M Academic Publishing House","host_organization_lineage":["https://openalex.org/P4324001544"],"host_organization_lineage_names":["Infra-M Academic Publishing House"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Geometry & Graphics","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5385000109672546,"display_name":"Quality education","id":"https://metadata.un.org/sdg/4"}],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1985595800","https://openalex.org/W2210190747","https://openalex.org/W2317254562","https://openalex.org/W2797719886","https://openalex.org/W2800935927","https://openalex.org/W2882977591","https://openalex.org/W2884837973","https://openalex.org/W2984208188","https://openalex.org/W3005839269","https://openalex.org/W3007743920","https://openalex.org/W4235856854","https://openalex.org/W4285719527","https://openalex.org/W6603992628"],"related_works":["https://openalex.org/W6987631799","https://openalex.org/W2991121828","https://openalex.org/W2912146366","https://openalex.org/W2945634624","https://openalex.org/W327798080","https://openalex.org/W2505912648","https://openalex.org/W2797719886","https://openalex.org/W2313446972","https://openalex.org/W2367437813","https://openalex.org/W2762488941"],"abstract_inverted_index":{"In":[0],"this":[1,121],"paper":[2],"is":[3,34,68,80,124,149,162,176,229,240],"formulated":[4],"the":[5,20,37,53,76,93,102,138,146,189,217,273],"relevance":[6],"of":[7,13,22,39,63,75,105,111,120,132,140,145,154,195,200,205,216,226,233,251,265,271],"computer":[8],"tools":[9],"creation":[10],"for":[11,27,59,130,183,207,219,236,262],"verification":[12,32,122,147,237],"descriptive":[14,64,133],"geometry":[15,65,134],"task":[16,135,218],"solutions.":[17],"Are":[18],"analyzed":[19],"shortcomings":[21],"available":[23],"methods":[24],"and":[25,50,90,113,169,198,213,258],"systems":[26],"such":[28],"verification.":[29],"A":[30,142],"new":[31],"method":[33,123,275],"proposed":[35,69,274],"\u2013":[36,86],"mode":[38],"superposition":[40],"based":[41],"on":[42],"overlaying":[43,54],"a":[44,48,60,72,106,114,127,155,158,165,173,184,221,224,234,277],"student\u2019s":[45,185],"solution":[46],"with":[47],"template":[49,103,156],"formal":[51,73],"evaluation":[52],"results.":[55],"To":[56],"create":[57],"templates":[58],"wide":[61],"range":[62],"tasks,":[66,252],"it":[67],"to":[70,223],"use":[71],"grammar":[74],"correct":[77,211],"solution,":[78,186],"which":[79,161,188],"constructed":[81],"using":[82],"special":[83],"nonterminal":[84],"symbols":[85,96],"\u201cand\u201d,":[87],"\u201cor\u201d,":[88],"\u201ctransform\u201d":[89],"\u201cinstance\u201d.":[91],"As":[92],"grammar\u2019s":[94],"terminal":[95],"are":[97,281],"used":[98,261],"geometric":[99],"figures.":[100],"Thus,":[101],"consists":[104],"graphic":[107],"part":[108],"(a":[109],"set":[110],"figures)":[112],"structural":[115],"description":[116],"(grammar).":[117],"An":[118,203],"implementation":[119],"demonstrated":[125,241],"as":[126,178,180,276],"software":[128],"system":[129,148,245],"verifying":[131],"solutions":[136,209],"in":[137,164,249,254,279],"form":[139],"DXF-files.":[141],"functional":[143],"model":[144,191],"given.":[150,230],"The":[151,231,243],"automatic":[152],"formation":[153],"from":[157],"graphical":[159],"model,":[160],"created":[163,244],"vector":[166],"graphics":[167],"editor":[168],"does":[170],"not":[171],"require":[172],"symbolic":[174],"description,":[175],"considered,":[177],"well":[179],"processing":[181],"procedure":[182],"during":[187],"verifiable":[190],"goes":[192],"through":[193],"phases":[194],"normalization,":[196],"filtration,":[197],"extracting":[199],"higher-level":[201],"elements.":[202],"example":[204],"checking":[206],"two":[208],"(the":[210],"one":[212],"containing":[214],"errors)":[215],"constructing":[220],"perpendicular":[222],"plane":[225],"general":[227],"position":[228],"work":[232],"subsystem":[235],"result":[238],"visualization":[239],"too.":[242],"can":[246,259],"be":[247,260],"implemented":[248],"Internet-libraries":[250],"or":[253],"distance":[255],"learning":[256],"systems,":[257],"remote":[263],"support":[264],"geometric-graphic":[266],"courses.":[267],"Conclusions":[268],"about":[269],"feasibility":[270],"introducing":[272],"tool":[278],"CAD-systems":[280],"made.":[282]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2}],"updated_date":"2026-11-13T13:42:25.865203","created_date":"2020-08-18T00:00:00"}