乐胖代购免代理版

{"id":"https://openalex.org/W4390047426","doi":"https://doi.org/10.1016/j.ins.2023.120027","title":"Non-interference assessment in colored net systems via integer linear programming","display_name":"Non-interference assessment in colored net systems via integer linear programming","publication_year":2023,"publication_date":"2023-12-21","ids":{"openalex":"https://openalex.org/W4390047426","doi":"https://doi.org/10.1016/j.ins.2023.120027"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1016/j.ins.2023.120027","pdf_url":null,"source":{"id":"https://openalex.org/S192650101","display_name":"Information Sciences","issn_l":"0020-0255","issn":["0020-0255","1872-6291"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-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/A5045934176","display_name":"Wenjing Zhong","orcid":"https://orcid.org/0000-0002-0683-0684"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wenjing Zhong","raw_affiliation_strings":["National Key Laboratory of Science and Technology on Information System Security, Beijing, 100101, China","School of Electro-Mechanical Engineering, Xidian University, Xi'an, Shaanxi, 710071, China"],"affiliations":[{"raw_affiliation_string":"School of Electro-Mechanical Engineering, Xidian University, Xi'an, Shaanxi, 710071, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"National Key Laboratory of Science and Technology on Information System Security, Beijing, 100101, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101603452","display_name":"Jinjing Zhao","orcid":"https://orcid.org/0000-0001-5404-6002"},"institutions":[],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Jinjing Zhao","raw_affiliation_strings":["National Key Laboratory of Science and Technology on Information System Security, Beijing, 100101, China"],"affiliations":[{"raw_affiliation_string":"National Key Laboratory of Science and Technology on Information System Security, Beijing, 100101, China","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080332732","display_name":"Hesuan Hu","orcid":"https://orcid.org/0000-0002-8724-2058"},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]},{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]},{"id":"https://openalex.org/I87445476","display_name":"Xi'an Jiaotong University","ror":"https://ror.org/017zhmm22","country_code":"CN","type":"education","lineage":["https://openalex.org/I87445476"]}],"countries":["CN","SG"],"is_corresponding":true,"raw_author_name":"Hesuan Hu","raw_affiliation_strings":["School of Computer Science and Engineering, College of Engineering, Nanyang Technological University, 639798, Singapore","School of Electro-Mechanical Engineering, Xidian University, Xi'an, Shaanxi, 710071, China","State Key Laboratory for Manufacturing Systems Engineering, Xi'an Jiaotong University, Xi'an, Shaanxi, 710054, China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, College of Engineering, Nanyang Technological University, 639798, Singapore","institution_ids":["https://openalex.org/I172675005"]},{"raw_affiliation_string":"School of Electro-Mechanical Engineering, Xidian University, Xi'an, Shaanxi, 710071, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"State Key Laboratory for Manufacturing Systems Engineering, Xi'an Jiaotong University, Xi'an, Shaanxi, 710054, China","institution_ids":["https://openalex.org/I87445476"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5101603452","https://openalex.org/A5080332732"],"corresponding_institution_ids":["https://openalex.org/I172675005","https://openalex.org/I149594827","https://openalex.org/I87445476"],"apc_list":{"value":3330,"currency":"USD","value_usd":3330,"provenance":"doaj"},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":0,"max":68},"biblio":{"volume":"658","issue":null,"first_page":"120027","last_page":"120027"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9997,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9997,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.9954,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9943,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.52348053}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7348023},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.5502852},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.533316},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.52395344},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.52348053},{"id":"https://openalex.org/C32022120","wikidata":"https://www.wikidata.org/wiki/Q797225","display_name":"Interference (communication)","level":3,"score":0.46245432},{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.4472323},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36663628},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.35341644},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.32155424},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2776696},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.104656905},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1016/j.ins.2023.120027","pdf_url":null,"source":{"id":"https://openalex.org/S192650101","display_name":"Information Sciences","issn_l":"0020-0255","issn":["0020-0255","1872-6291"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[{"funder":"https://openalex.org/F4320320751","funder_display_name":"Ministry of Education - Singapore","award_id":"MOE2015-T2-2-049"},{"funder":"https://openalex.org/F4320320751","funder_display_name":"Ministry of Education - Singapore","award_id":"2014-T1-001-147"},{"funder":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China","award_id":"61203037"},{"funder":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China","award_id":"61973242"},{"funder":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China","award_id":"61573265"},{"funder":"https://openalex.org/F4320324173","funder_display_name":"Natural Science Foundation of Shaanxi Province","award_id":"2017ZDJC-34"},{"funder":"https://openalex.org/F4320328119","funder_display_name":"National University's Basic Research Foundation of China","award_id":null},{"funder":"https://openalex.org/F4320334924","funder_display_name":"Program for New Century Excellent Talents in University","award_id":"NCET-12-0921"},{"funder":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities","award_id":"K5051304021"},{"funder":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities","award_id":"K7215581201"},{"funder":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities","award_id":"K5051304004"}],"datasets":[],"versions":[],"referenced_works_count":29,"referenced_works":["https://openalex.org/W1474311139","https://openalex.org/W1996109622","https://openalex.org/W2003070900","https://openalex.org/W2031373068","https://openalex.org/W2047989760","https://openalex.org/W2097743305","https://openalex.org/W2139526178","https://openalex.org/W2142340571","https://openalex.org/W2158302348","https://openalex.org/W2165570690","https://openalex.org/W2200463568","https://openalex.org/W2513202551","https://openalex.org/W2520248080","https://openalex.org/W2585648289","https://openalex.org/W2769745615","https://openalex.org/W2806501132","https://openalex.org/W2808505761","https://openalex.org/W2899822557","https://openalex.org/W2955723829","https://openalex.org/W2963995273","https://openalex.org/W2993138519","https://openalex.org/W3016446838","https://openalex.org/W3043429084","https://openalex.org/W3043998178","https://openalex.org/W3046742326","https://openalex.org/W3090463444","https://openalex.org/W3133725719","https://openalex.org/W3210867448","https://openalex.org/W78026558"],"related_works":["https://openalex.org/W791317142","https://openalex.org/W4230983483","https://openalex.org/W2285033125","https://openalex.org/W2154794415","https://openalex.org/W2132799268","https://openalex.org/W2119655921","https://openalex.org/W2109094990","https://openalex.org/W1980200158","https://openalex.org/W1551257573","https://openalex.org/W1538101305"],"abstract_inverted_index":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4390047426","counts_by_year":[],"updated_date":"2024-12-12T08:45:56.391632","created_date":"2023-12-22"}