{“id”：“https://openalex.org/W4243772462“，”doi“：”https://doi.org/10.109/fmcad.2014.6987591“，”title“：”Towards Pareto-optimal parameter synthesis for monotoie cost functions“，”display_name“：”Towards Pareto-optimatal parameter synthesis of monotoine cost fuctions“，”publication_year“：2014，”publiction_date“：”2014-10-01“，”ids“：{”openalex“：”https://openalex.org/W4243772462“，”doi“：”https://doi.org/10.109/fmcad.2014.6987591“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/fmcad.2014.6987591“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“，”any_repository_has_fulltext“：false}”，”authorships“：[{”author_position“：”first“，”作者“：{”id“：”https://openalex.org/A5088054439“，”display_name“：”Benjamin Bittner“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”country_code“：”IT“，”type“：”设施“，”沿袭“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”B.Bittner“，”raw _affiliation_strings“：[“Fondazione Bruno Kessler，Trento，Italy”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5076775585“，”display_name“：”Marco Bozzano“，”orcid“：”https://orcid.org/0000-0002-4135-103X}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”country_code“：”IT“，”type“：”设施“，”沿袭“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”M.Bozzano“，”raw _affiliation_strings“：[“Fondazione Bruno Kessler，Trento，Italy”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5017426974“，”display_name“：”Alessandro Cimatti“，”orcid“：”https://orcid.org/0000-0002-1315-6990}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”country_code“：”IT“，”type“：”设施“，”沿袭“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”A.Cimatti“，”raw _affiliation_strings“：[“Fondazione Bruno Kessler，Trento，Italy”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5089003950“，”display_name“：”Marco Gario“，”orcid“：”https://orcid.org/0000-0003-0001-9628}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”country_code“：”IT“，”type“：”设施“，”沿袭“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”M.Gario“，”raw _affiliation_strings“：[“Fondazione Bruno Kessler，Trento，Italy”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5038636493“，”display_name“：”Alberto Griggio“，”orcid“：”https://orcid.org/0000-0002-3311-0893}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”country_code“：”IT“，”type“：”设施“，”沿袭“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”A.Griggio“，”raw _ afiliation_strings“：[“Fondazione Bruno Kessler，Trento，Italy”]}]“countries _ distinct_count”：1，”institutions _ disting_count“：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：null，”apc_payed“：nul，”has_full text“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：3，”cited_by_percentile_year“：{”min“：80，”max“：82}，”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.9938，“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.9938，“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/T11729“，”display_name“：”大规模定制与产品模块化“，”score“：0.9908，”subfield“：{”id“：”https://openalex.org/subfields/s405“，”display_name“：”技术与创新管理“}，”字段“：{”id“：”https://openalex.org/fields/14“，”display_name“：”商业、管理和会计“}，”域“：{”id“：”https://openalex.org/domains/2“，”“display_name”：“社会科学”}}，{”id“：”https://openalex.org/T11159“，”“display_name”：“制造中的制造和装配设计”，“score”：0.9896，“subfield”：{“id”：“https://openalex.org/subfields/2209“，”display_name“：”工业和制造工程“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/product-cost-estimation网站“，”display_name“：”产品成本估算“，”score“：0.571667}，{”id“：”https://openalex.org/keywords/product-modularity网站“，”display_name“：”产品模块化“，”score“：0.525761}，{”id“：”https://openalex.org/keywords/process-planning网站“，”display_name“：”流程规划“，”score“：0.525235}，{”id“：”https://openalex.org/keywords/platform-based-product-development网站“，”display_name“：”基于平台的产品开发“，”score“：0.512598}，{”id“：”https://openalex.org/keywords/modular-product-architecture网站“，”display_name“：”模块化产品架构“，”score“：0.512427}]，”concepts“：[{”id“：”https://openalex.org/C126255220，“wikidata”：https://www.wikidata.org/wiki/Q141495“，”display_name“：”数学优化“，”level“：1，”score“：0.726519}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.61242807}，{”id“：”https://openalex.org/C73586568，“wikidata”：https://www.wikidata.org/wiki/Q2600211“，”display_name“：”参数空间“，”level“：2，”score“：0.52116585}，{”id“：”https://openalex.org/C137635306，“wikidata”：https://www.wikidata.org/wiki/Q182667“，”display_name“：”Pareto原则“，”level“：2，”score“：0.49469826}，{”id“：”https://openalex.org/C206588197，“wikidata”：https://www.wikidata.org/wiki/Q846574“，”display_name“：”重用“，”级别“：2，”分数“：0.4566743}，{”id“：”https://openalex.org/C2777303404，“wikidata”：https://www.wikidata.org/wiki/Q759757“，”display_name“：”Convergence（economics）“，”level“：2，”score“：0.42244974｝，｛”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395网址“，”display_name“：”数学“，”等级“：0，”分数“：0.23031431}，{”id“：”https://openalex.org/C18903297，“wikidata”：https://www.wikidata.org/wiki/Q7150“，”display_name“：”生态学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C162324750网址，“wikidata”：https://www.wikidata.org/wiki/Q8134“，”display_name“：”经济学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”生物学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C50522688，“wikidata”：https://www.wikidata.org/wiki/Q189833“，”display_name“：”经济增长“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/fmcad.2014.6987591“，”pdf_url“：null，”source“：null，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝]，”best_oa_location“：null，”sustainable_development_goals“：[]，”grants“：[]，”dataset“：[]，”version“：[]，”referenced_works_count“：25，”referenced_works“：[”https://openalex.org/W14781952","https://openalex.org/W1483379332","https://openalex.org/W1490423772","https://openalex.org/W1503071078","https://openalex.org/W1741445233","https://openalex.org/W1830944000","https://openalex.org/W1889085354","https://openalex.org/W1917164756","https://openalex.org/W1975041710","https://openalex.org/W2059338741","https://openalex.org/W2080728370","https://openalex.org/W2112144216","https://openalex.org/W2113531445","https://openalex.org/W2154300023","https://openalex.org/W2160690545","https://openalex.org/W2162776653","https://openalex.org/W2167672803","https://openalex.org/W2167836176","https://openalex.org/W2182439353","https://openalex.org/W2209251751","https://openalex.org/W233122475","https://openalex.org/W247316031","https://openalex.org/W255499308","https://openalex.org/W3138459719","https://openalex.org/W4253798085“]，”related_works“：[”https://openalex.org/W2999162218","https://openalex.org/W2384475851","https://openalex.org/W2381798600","https://openalex.org/W2367078749","https://openalex.org/W2353602216","https://openalex.org/W2351618306","https://openalex.org/W2080708212","https://openalex.org/W2043126582","https://openalex.org/W2020279610","https://openalex.org/W2000444236“]，”ngrams_url“：”https://api.openalex.org/works/W4243772462/ngrams网站“，”“abstract_inverted_index”：{“设计器”：[0]，“是”：[1,68]，“经常”：[2]，“必需”：[3]，“到”：[4106126]，“探索”：[5]，“替代”：[6]，“解决方案”：[7]，“交易”：[8]，“关”：[9]，“沿”：[10]，“不同”：[11]，“维度”：[12]，“（例如，”：[13]，“功率”：[14]，“消耗”：[15]，”重量，“：[16]，”成本“：[17]，”可靠性“：[18]，”响应“：[19]，”时间）。“：[20]，”此类“：[21]，”勘探“：[22]，”可以“：[23]，”是“：[24]，”编码“：[25]，”作为“：[26]，”a“：[27,34,38,47152]，”问题“：[28,56]，”of“：[29,57,76116123135151]，”参数“：[30,35,58,95]，”综合“：[31]，”即，“：[32]，”发现“：[33,65]，”估价“：[36]，”（表示“：[37]，”设计“：[39]，“溶液）”：[40]，“这样”：[41]，“那样”：[42,67,87,97]，““：[43，55，70，74，92，9102114121133136149]，”对应“：[44]，”系统“：[45]，”满足“：[46]，”期望“：[48]，”属性。“：[49]，”In“：[50]，”this“：[51]，”paper“，：[52]，”we“：/53]，”tollw“：[54]，”synthesis“：[59143]，”with“：[00104]，”multi-dimensional“：/61]，”cost“：[62159]，”functions“：[63]，”by“：[64]，”solutions“：66]，”In“：[69,73,89]，”Pareto“：[71]，”front:“：[72]，”space“：%75]，”最佳”：[77]，“权衡”：[78]，“可能”。“：[79]，“我们”：[80]，“提议”：[81]，“几个”：[82]，“算法”：[83]，“基于”：[84]，“关于”：[85113120138]，“IC3，”：[86]，“交错”：[88]，“各种”：[90]，“方式”：[91]，“搜索”：[93]，“用于”：[94]，“估价”：[96]，“满足”：[98]，“属性”：[100]，“和”：[1011144147158]，“优化”：[103]，“尊重”：[105]，“成本”。“：[107]，”The“：[108]，”most“：[109]，”effect“：[110]，”one“：[111]，”depends“：[112]，”reuse“：[115]，”inductive“：+117]，”invarants“：+118]，”extraction“：[122]，”unsatisfable“：[124]，”cores“：[125]，”accelerate“：[127]，”convergence“。“：[128]，”我们的“：[129]，”实验“：[130]，”评估“：[131]，”显示“：[132]，”可行性“：[134]，”方法“：[137]，”实用“：[139]，”基准“：[140]，”来自“：[141]，”可诊断性“：[142]，”生产线“：[145]，”工程“：[146]，”证明“：[148]，”重要性“：[150]，”紧密“：[153]，”集成“：[154]，”介于“：[155]，”模型“”：[156]，“检查”：[157]，“优化。“：[160]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4243772462“，”counts_by_year“：[{”年份“：2019，”cited_by_count“：1}，{”年度“：2018，”cited_by_count”：1}，{“年份”：2017，”citecd_by_count“：1}]，”updated_date“：”2024-06-03T12:14:51.634664“，”created_dates“：”2020年5月12日“}