{“id”:“https://openalex.org/W2079124355“,”doi“:”https://doi.org/10.109/tse.1980.230463“,”title“:”自动控制器描述语言“,”display_name“:”自动控制器描述语言“,”publication_year“:1980,”publication_date“:”1980-01-01“,”ids“:{”openalex“:”https://openalex.org/W2079124355“,”doi“:”https://doi.org/10.109/tse.1980.230463“,”mag“:”2079124355“},”language“:”en“,”primary_location“:{”is_oa“:false,”landing_page_url“:”https://doi.org/10.109/tse.1980.230463“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S8351582“,”display_name“:”IEEE软件工程事务“,”issn_l“:”0098-5589“,”isn“:[”00985589“,”1939-3520“,”2326-3881“],”is_oa“:false,”is.in_doaj“:false,”is_core“:true,”host_organization“:”https://openalex.org/P4310320439“,”“host_organization_name”:“IEEE Computer Society”,“host_ordanization_lineage”:[“https://openalex.org/P4310320439","https://openalex.org/P4310318808“],”host_organization_lineage_names“:[”IEEE Computer Society“,”Institute of Electrical and Electronics Engineers“],“type”:“journal”},“license”:null,“licence_id”:null,“version”:null,“is_accepted”:false,“is_published”:false},”type“:”article“,”type_crossref“:“jordal-article”,“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/A5000424496“,”display_name“:”Hideyuki Takahashi“,”orcid“:”https://orcid.org/0000-0002-2465-3992},“机构”:[{“id”:https://openalex.org/I104946051“,”display_name“:”日本大学“,”ror“:”网址:https://ror.org/05jk51a88“,”country_code“:”JP“,”type“:“教育”,”世系“:[”https://openalex.org/I104946051“]}],”countries“:[”JP“],”is_corresponding“:true,”raw_author_name“:”H.Takahashi“,”raw _affiliation_strings“:【”日本大学科学与工程学院数学系“】,”affiliations“:[{”raw _affiliation_string“:”日本大学理工学院数学系”,“institution_ids”:【”https://openalex.org/I104946051“]}]}],”countries_disticont_count“:1,”institutions_disticent_count”:1,“corresponding_author_ids”:[“https://openalex.org/A5000424496“],”对应的机构ID“:[”https://openalex.org/I104946051“],”apc_list“:null,”apc _payed“:nul,”fwci“:1.503,”has_fulltext“:true,”fulltext_origin“:”ngrams“,”cited_by_count“:6,”citation_normalized_percentile“:{”value“:0.738163,”is_in_top_1_percent“:false,”is_ in_top_ 10_percennt“:false},”cited_by_percentile_year“:{“min”:76,“max”:77},“biblio”:{“volume”:“SE-6“,”问题“:”1“,”first_page“:”53“,”last_page“:”64“},”is_retracted“:false,”is_paratext“:fase,”primary_topic“:{”id“:”https://openalex.org/T10126“,”“display_name”:“程序分析和验证技术”,“score”:0.9995,“subfield”:{“id”:“https://openalex.org/subfields/1702“,”display_name“:”人工智能“},”字段“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}},”主题“:[{”id“:”https://openalex.org/T10126“,”“display_name”:“程序分析和验证技术”,“score”:0.9995,“subfield”:{“id”:“https://openalex.org/subfields/1702“,”display_name“:”人工智能“},”字段“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}},{”id“:”https://openalex.org/T10142“,”“display_name”:“软件验证和控制中的形式方法”,“score”:0.9981,“subfield”:{“id”:“https://openalex.org/subfields/1703“,”display_name“:”计算理论与数学“},”字段“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}},{”id“:”https://openalex.org/T11010“,”display_name“:”逻辑编程与知识表示“,”score“:0.9962,”subfield“:{”id“:”https://openalex.org/subfields/1702“,”display_name“:”人工智能“},”字段“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}}],”关键词“:[{”id“:”https://openalex.org/keywords/component网站“,”display_name“:”组件(热力学)“,”score“:0.550162},{”id“:”https://openalex.org/keywords/description-logics网站“,”display_name“:”Description Logics“,”score“:0.512541},{”id“:”https://openalex.org/keywords/automatic-control网站“,”display_name“:”自动控制“,”score“:0.43395197}],”concepts“:[{”id“:”https://openalex.org/C41008148,“wikidata”:https://www.wikidata.org/wiki/Q21198“,”display_name“:”计算机科学“,”level“:0,”score“:0.85230273},{”id“:”https://openalex.org/C203479927,“wikidata”:https://www.wikidata.org/wiki/Q5165939“,”display_name“:”控制器(灌溉)“,”level“:2,”score“:0.75939184},{”id“:”https://openalex.org/C25343380,“wikidata”:https://www.wikidata.org/wiki/Q277521“,”display_name“:”关系(数据库)“,”级别“:2,”分数“:0.6327262},{”id“:”https://openalex.org/C98045186,“wikidata”:https://www.wikidata.org/wiki/Q205663“,”display_name“:”Process(computing)“,”level“:2,”score“:0.5650304},{”id“:”https://openalex.org/C168167062,“wikidata”:https://www.wikidata.org/wiki/Q1117970“,”display_name“:”组件(热力学)“,”level“:2,”score“:0.550162},{”id“:”https://openalex.org/C199360897,“wikidata”:https://www.wikidata.org/wiki/Q9143“,”display_name“:”编程语言“,”level“:1,”score“:0.5412845},{”id“:”https://openalex.org/C2775924081,“wikidata”:https://www.wikidata.org/wiki/Q55608371“,”display_name“:”Control(management)“,”level“:2,”score“:0.48670605},{”id“:”https://openalex.org/C167123822,“wikidata”:https://www.wikidata.org/wiki/Q184199“,”display_name“:”自动控制“,”级别“:2,”分数“:0.43395197},{”id“:”https://openalex.org/C133731056,“wikidata”:https://www.wikidata.org/wiki/Q4917288“,”display_name“:”控制工程“,”level“:1,”score“:0.22813785},{”id“:”https://openalex.org/C77088390,“wikidata”:https://www.wikidata.org/wiki/Q8513“,”display_name“:”Database“,”level“:1,”score“:0.19709241},{”id“:”https://openalex.org/C154945302,“wikidata”:https://www.wikidata.org/wiki/Q11660“,”display_name“:”人工智能“,”level“:1,”score“:0.18705752},{”id“:”https://openalex.org/C121332964,“wikidata”:https://www.wikidata.org/wiki/Q413“,”display_name“:”物理“,”级别“:0,”分数“:0.0},{”id“:”https://openalex.org/C6557445,“wikidata”:https://www.wikidata.org/wiki/Q173113“,”display_name“:”农学“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C86803240,“wikidata”:https://www.wikidata.org/wiki/Q420“,”display_name“:”生物学“,”等级“:0,”分数“:0.0},{”id“:”https://openalex.org/C127413603,“wikidata”:https://www.wikidata.org/wiki/Q11023“,”display_name“:”工程“,”级别“:0,”分数“:0.0},{”id“:”https://openalex.org/C97355855,“wikidata”:https://www.wikidata.org/wiki/Q11473“,”display_name“:”热力学“,”level“:1,”score“:0.0}],”mesh“:[],”locations_count“:1.”locations“:[{”is_oa“:false,”landing_page_url“:”https://doi.org/10.109/tse.1980.230463“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S8351582“,”display_name“:”IEEE软件工程事务“,”issn_l“:”0098-5589“,”isn“:[”00985589“,”1939-3520“,”2326-3881“],”is_oa“:false,”is.in_doaj“:false,”is_core“:true,”host_organization“:”https://openalex.org/P4310320439“,”“host_organization_name”:“IEEE Computer Society”,“host_ordanization_lineage”:[“https://openalex.org/P4310320439","https://openalex.org/P4310318808“],”host_organization_lineage_names“:[”IEEE Computer Society“,”Institute of Electrical and Electronics Engineers“],“type”:“journal”},“license”:null,“licence_id”:null,“version”:null,“is_accepted”:false,“is_published”:false}],“best_oa_location”:nul,“sustainable_development_goals”:[],“grant:[],”datasets“:[]”,“versions”:[[],“referenced_works_count“:4,”referenced_works“:[”https://openalex.org/W1981864726","https://openalex.org/W2034794571","https://openalex.org/W2040960502","https://openalex.org/W2066210260“],”related_works“:[”https://openalex.org/W4234874385","https://openalex.org/W4233308809","https://openalex.org/W2388988621","https://openalex.org/W2378782423","https://openalex.org/W2357797405","https://openalex.org/W2357256365","https://openalex.org/W2348502264","https://openalex.org/W2323648130","https://openalex.org/W2157140558","https://openalex.org/W2000675896“],”abstract_inverted_index“:{”This“:[0,58,88],”paper“:[1,59,89],”proposes“:[2,60],”a“:[3,61,81,92,97100108118129],”control-oriented“:[4],”Algol-like“:[5138],”non-procedural“:[6],”language“:[7,62],”called“:[8],”Condor.“:/9],”Automatic“:[10],”控制器“:[11,66103],”theory“:[12],“in”:[13,44,71,80111],“company”:[14],“with”:[15,85149],“公司”计算机“:[16],”科学“:[17],”基础“:[18],”许多“:[19,76],”工业“:[20],”领域。“:[21],”Sequential“:[22],”control“:[23],”is“:[24,95104128137],”special“:[25],”important。“:[26],”So“:[27],”far“:[28],”sequential-controller“:[29],”description“:[30],”methods“:[31],”have“:[32],”by“:[33],”and“:[34120139],”large“:[35,48],”been“:[36,55],”lmited“:[37],”to“:[38106122],”graphic“:[39],”ones“:[40],”which“:[41,78112],”are“:[42],“不可读”:[43],“the”:[45134142],“case”:[46],“of”:[47,75],“controllers。“:[49],”A“:[50,69102125],”高级“:[51],”语言“:[52],”方法“:[53],”有“:[54],”考虑“:[56105],”不太可能。“:[57],”广泛“:[63],”适合“:[64],”用于“:[65133],”体系结构“:[67],”描述。“:[68],”控制器“:[70],”其“:[72],”性质“:[73],”组成“:[74],”子系统“:[77],”工作“:[79144],”并行“:[82],”方式“:[83],”交互“:[84148],”一个“:[86123150],”另一个“。“:[87124151],”认为“:[90],”那“:[91],”基本“:[93],”组件“:[94],”不是“:[96],”进程“:[98],”但是“:[99],”响应。“:[101],”be“:[107],”responsing“:[109],”system“:[110],”every“:[113],”reactor“:114],”works“:[115],”together“,”:[116],”having“:[117],”relationship“:[119],”communication“:121],”Condor“:[126],”program“:[127],”role“:[130],”assignment“:[131],”list“:%132],”reporters;“:[135],”it“:[136],”非程序性。“:[140],”All“:[141],”statements“:[143],”at“:[145],”All“:[146],”times“,:[147]},”cited_by_api_url“:”https://api.openalex.org/works?filter=cites:W2079124355“,”counts_by_year“:[],”updated_date“:”2024-08-13T23:04:13.515384“,”创建日期“:”2016-06-24“}