{“id”：“https://openalex.org/W2129060147“，”doi“：”https://doi.org/10.1109/cimca.2005.1631319“，”title“：”用于验证模糊控制系统的模型检查技术“，”display_name“：”一种用于验证模糊系统的模型检测技术“，“publication_year”：2006，”publication_date“：”2006-05-25“，”ids“：{”openalex“：”https://openalex.org/W2129060147“，”doi“：”https://doi.org/10.1109/cimca.2005.1631319“，”mag“：”2129060147“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1109/cimca.2005.1631319“，”pdf_url“：null，”source“：nul，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”“oa_url”：“”http://mclab.di.uniroma1.it/publications/papers/papers\Intrigila2005.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5038380237“，”display_name“：”Benedetto Intrigila“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I26415053“，”display_name“：”拉奎拉大学“，”ror“：”https://ror.org/01j9p1r26“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I26415053“]}，{”id“：”https://openalex.org/I861853513“，”display_name“：”萨皮恩扎罗马大学“，”ror“：”https://ror.org/02be6w209“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I861853513“]｝]，”国家“：[”IT“]，”is_correresponsing“：false，”raw_author_name“：”B.Intragila“，”raw_affiation_strings“：[”意大利拉奎拉拉奎拉大学信息学院“，”意大利罗马拉萨皮恩扎罗马大学信息学院“]，”附属机构“：[{”raw_affiation_string“：”意大利拉奎拉拉奎拉拉奎拉大学信息学院“，”机构ID“：[”https://openalex.org/I26415053“]}，{”raw_affiliation_string“：”意大利罗马拉萨皮恩扎罗马大学信息学院“，”institution_ids“：[”https://openalex.org/I861853513“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5055757002“，”display_name“：”Daniele Magazzeni“，”orcid“：”https://orcid.org/0000-0002-1934-3447}，“机构”：[{“id”：https://openalex.org/I223532165“，”display_name“：”犹他大学“，”ror“：”https://ror.org/03r0ha626“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I223532165“]｝]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”D.Magazzeni“，”raw_affiation_strings“：[”犹他州盐湖城计算机大学学院“]，”附属机构“：[｛”raw_affiation_string“：”犹他州盐湖城计算机大学学院“，”institution_ids“：[”https://openalex.org/I223532165“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5085357809“，”display_name“：”Igor Melatti“，”orcid“：”https://orcid.org/0000-0002-6273-6190}，“机构”：[{“id”：https://openalex.org/I26415053“，”display_name“：”拉奎拉大学“，”ror“：”https://ror.org/01j9p1r26“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I26415053“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”I.Melatti“，”raw _affiliation_strings“：[“意大利拉奎拉大学信息学博士”]，”affiliations“：[{”raw _affiliation_string“：”意大利拉奎la大学信息学硕士”，“institution_ids”：[”https://openalex.org/I26415053“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5010524910“，”display_name“：”Enrico Tronci“，”orcid“：”https://orcid.org/0000-0002-0377-3119“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”E.Tronci“，”raw _ afiliation_strings“：[]，“affiliations”：[]}]，“countries _ distinct_count”：2，“institutions _ disting_count“：3，”corresponding_author_ids“：[].，”correcponding_institution_ids”：[]“apc_list”：null，“apc_payed”：null，“has_fulltext”：true，“fulltext_origin“：”ngrams“，”cited_by_count“：3，”cited_by_percentile_year“：{“min”：75，“max”：77}，“biblio”：{”volume“：null，“issue”：null、“first_page”：null，“last_page”：null}，”is_retracted“：false，”is_paratext“：false，”primary_topic“:{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9996，“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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9996，“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/T11125“，”“display_name”：“系统中Petri网的建模与控制”，“score”：0.9913，“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/T10904“，”“display_name”：“可重构计算系统和设计方法”，“score”：0.9819，“subfield”：{“id”：“https://openalex.org/subfields/1708“，”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/model-checking“，”display_name“：”模型检查“，”score“：0.64697}，{”id“：”https://openalex.org/keywords/safety-verification（https://openalex.org/keywords/safety-verification）“，”display_name“：”安全验证“，”score“：0.535692｝]，”concepts“：[｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.755525}，{”id“：”https://openalex.org/C63479239，“wikidata”：https://www.wikidata.org/wiki/Q7353546“，”display_name“：”健壮性（进化）“，”level“：3，”score“：0.70984817}，{”id“：”https://openalex.org/C195975749，“wikidata”：https://www.wikidata.org/wiki/Q1475705“，”display_name“：”模糊控制系统“，”level“：3，”score“：0.5741061}，{”id“：”https://openalex.org/C58166，“wikidata”：https://www.wikidata.org/wiki/Q224821“，”display_name“：”模糊逻辑“，”level“：2，”score“：0.56900835}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.52211726}，{”id“：”https://openalex.org/C98045186，“wikidata”：https://www.wikidata.org/wiki/Q205663“，”display_name“：”Process（computing）“，”level“：2，”score“：0.428459}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.23134634}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.20820677}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.06958723}，{”id“：”https://openalex.org/C55493867，“wikidata”：https://www.wikidata.org/wiki/Q7094“，”display_name“：”生物化学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329“，”display_name“：”Chemistry“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C104317684，“wikidata”：https://www.wikidata.org/wiki/Q7187“，”display_name“：”Gene“，”level“：2，”score“：0.0｝]，”mesh“：[]，”locations_count“：2，”locations“：[｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1109/cimca.2005.1631319“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.726.4663，“pdf_url”：http://mclab.di.uniroma1.it/publications/papers/papers\Intrigila2005.pdf，“源”：{“id”：https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.726.4663，“pdf_url”：http://mclab.di.uniroma1.it/publications/papers/papers\Intrigila2005.pdf，“源”：{“id”：https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[]，”grants“：【】，”dataset“：【]，“versions”：【】；“referenced_works_count”：24，“reference d_works”：【”https://openalex.org/W1502860153","https://openalex.org/W1523988803","https://openalex.org/W1537530326","https://openalex.org/W1559470193","https://openalex.org/W1583487553","https://openalex.org/W1601763377","https://openalex.org/W1835342941","https://openalex.org/W1848505562","https://openalex.org/W1861352738","https://openalex.org/W1947849810","https://openalex.org/W195082763","https://openalex.org/W1966293307","https://openalex.org/W1996334746","https://openalex.org/W2005860604","https://openalex.org/W2010104284","https://openalex.org/W2017670549","https://openalex.org/W2044309072","https://openalex.org/W2060095702","https://openalex.org/W2136157766","https://openalex.org/W2155873717","https://openalex.org/W2166158916","https://openalex.org/W2173952623","https://openalex.org/W30961909","https://openalex.org/W4300021588“]，”related_works“：[”https://openalex.org/W3004061698","https://openalex.org/W2738546080","https://openalex.org/W2736871302","https://openalex.org/W2551596431","https://openalex.org/W2364866360","https://openalex.org/W2177212599","https://openalex.org/W2144809267","https://openalex.org/W2117798332","https://openalex.org/W2012842278","https://openalex.org/W183086211“]，”ngrams_url“：”https://api.openalex.org/works/W2129060147/ngrams网站“，”“abstract_inverted_index”：{“Fuzzy”：[0]，“control”：[1,13,64114]，“is”：[2,29,78]，“well”：[3]，“known”：[4]，“as”：[5,58]，“a”：[6,32,41,54,5912121175]，“power”：[7]，“technology”：[8]，“for”：[9,18,62155]，“designing”：[10]，“and”：[11,73141]，“implementation”：[12]，“systems.”然而，“：[15,75]，”统计“：[16]，”证据“：[17]，”他们的“：[19,71]，”correct“：[20109]，”behavior“：[21110]，”may“：[22102152]，”be“：[23103153170]，”not“：[24]，”enough“，”：[25]，”even“：[26]，”when“：[27]，”it“：[28,86173]，”based“：[30]，”on“：[31188]，”large“：[33]，”number“：[34,55,83178]，”of“：[35,56,84111124179184192]，”samplings。“：[36]，”In“：[37145]，”order“：[38]，”to“：[39,6910613516169]，”provide“：%40]，”more“：[42,67]，”systemical“：[43]，”verification“：[44,60157]，”process“：[45]，”the“：[46,82108125130156162182189193]，”cell-to-cell“：47,76]，”mapping“：[48,77164]，”technology“：[49]，”has“：[50]，”been“：[51]，”“已使用”：[52105154]，“In”：[53,81,93]，“cases”：[57]，“tool”：[61]模糊“：[63113]，”系统“：[65]，”和“：[66]，”最近，“：[68]，”评估“：[70]，”最优性“：[72]，”鲁棒性。“：[74]，”典型“：[79]，”有限“：[80]，”细胞“：[85]，”可以“：[87]，”探索。“：[88]，“收件人”：[89116]，“克服”：[90]，“此”：[91,94117146]，“限制”，：[92]，“纸张”：[95]，“我们”：[96119]，“显示”：[97]，“如何”：[98]，“模型”：[99]，“检查”：[100]，“技术”：[101]，“替代”：[104]，“验证”：[107]，“系统”。“：[115]，”end，“：[118]，”use“：[120136]，”modified“：[122]，”version“：[123]，”Murphi“：[126]，”verifier“，”：[127]，“which”：[128]，“ease”：[129]，“modeling”：[131]，“phase”：%132]，“by”：[133]，“allowing”：[134]，“finited”：[137]，“precision”：[138]，“real”：[139]，“numbers”：[140]，“external”：[142]，“C”“：[143]，”函数。“：[144]，”方式“：[147]，”同时“：[148]，”已经“：[149]，”设计“：[150]，”模拟器“：[151]，”阶段。“：[158]，”With“：[159]，”respect“：[160]，”cell“：[163]，”technology“，：[165]，”our“：[166]，”approach“：/167]，”exists“：[168]，”competitive；“：[171]，”确实“：[172]，”探索“：[174]，”多“：[176]，”较大“：[177]，”状态“：[180]，”在“：[181]，”成本“：[183]，”存在“：[185]，”较少“：[186]，”信息性“：[187]，”全局“：[190]，”动态“：[191]，”系统“：[194]}，”引用_by_api_url“：”https://api.openalex.org/works？filter=cites:W2129060147“，”counts_by_year“：[{”年“：2016，”cited_by_count“：1}]，”更新日期“：”2024-06-19T04:48:24.393679“，”创建日期“：“2016-06-24”}