乐胖代购免代理版

{"id":"https://openalex.org/W1515828222","doi":"https://doi.org/10.1155/2015/716561","title":"Model-Checking Driven Design of QoS-Based Routing Protocol for Wireless Sensor Networks","display_name":"Model-Checking Driven Design of QoS-Based Routing Protocol for Wireless Sensor Networks","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https://openalex.org/W1515828222","doi":"https://doi.org/10.1155/2015/716561","mag":"1515828222"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1155/2015/716561","pdf_url":"https://downloads.hindawi.com/journals/js/2015/716561.pdf","source":{"id":"https://openalex.org/S96783963","display_name":"Journal of Sensors","issn_l":"1687-725X","issn":["1687-725X","1687-7268"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://downloads.hindawi.com/journals/js/2015/716561.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100708691","display_name":"Zhi Chen","orcid":"https://orcid.org/0000-0002-5159-1280"},"institutions":[{"id":"https://openalex.org/I41198531","display_name":"Nanjing University of Posts and Telecommunications","ror":"https://ror.org/043bpky34","country_code":"CN","type":"education","lineage":["https://openalex.org/I41198531"]},{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhi Chen","raw_affiliation_strings":["College of Computer, Nanjing University of Posts and Telecommunications, Nanjing 210023, China","Institute of Computer Technology, Nanjing University of Posts and Telecommunications, Nanjing 210023, China","State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210023, China"],"affiliations":[{"raw_affiliation_string":"College of Computer, Nanjing University of Posts and Telecommunications, Nanjing 210023, China","institution_ids":["https://openalex.org/I41198531"]},{"raw_affiliation_string":"Institute of Computer Technology, Nanjing University of Posts and Telecommunications, Nanjing 210023, China","institution_ids":["https://openalex.org/I41198531"]},{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210023, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073942252","display_name":"Ya Peng","orcid":null},"institutions":[{"id":"https://openalex.org/I41198531","display_name":"Nanjing University of Posts and Telecommunications","ror":"https://ror.org/043bpky34","country_code":"CN","type":"education","lineage":["https://openalex.org/I41198531"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ya Peng","raw_affiliation_strings":["College of Computer, Nanjing University of Posts and Telecommunications, Nanjing 210023, China","Institute of Computer Technology, Nanjing University of Posts and Telecommunications, Nanjing 210023, China"],"affiliations":[{"raw_affiliation_string":"College of Computer, Nanjing University of Posts and Telecommunications, Nanjing 210023, China","institution_ids":["https://openalex.org/I41198531"]},{"raw_affiliation_string":"Institute of Computer Technology, Nanjing University of Posts and Telecommunications, Nanjing 210023, China","institution_ids":["https://openalex.org/I41198531"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066705277","display_name":"Wenjing Yue","orcid":"https://orcid.org/0000-0003-4551-3611"},"institutions":[{"id":"https://openalex.org/I41198531","display_name":"Nanjing University of Posts and Telecommunications","ror":"https://ror.org/043bpky34","country_code":"CN","type":"education","lineage":["https://openalex.org/I41198531"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Wenjing Yue","raw_affiliation_strings":["College of Telecommunications and Information Engineering, Nanjing University of Posts and Telecommunications, Nanjing 210003, China","Institute of Computer Technology, Nanjing University of Posts and Telecommunications, Nanjing 210023, China"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Technology, Nanjing University of Posts and Telecommunications, Nanjing 210023, China","institution_ids":["https://openalex.org/I41198531"]},{"raw_affiliation_string":"College of Telecommunications and Information Engineering, Nanjing University of Posts and Telecommunications, Nanjing 210003, China","institution_ids":["https://openalex.org/I41198531"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5066705277"],"corresponding_institution_ids":["https://openalex.org/I41198531"],"apc_list":{"value":2100,"currency":"USD","value_usd":2100,"provenance":"doaj"},"apc_paid":{"value":2100,"currency":"USD","value_usd":2100,"provenance":"doaj"},"fwci":0.553,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":2,"citation_normalized_percentile":{"value":0.71566,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":73,"max":76},"biblio":{"volume":"2015","issue":null,"first_page":"1","last_page":"7"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9991,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9991,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.9989,"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/T12326","display_name":"Network Packet Processing and Optimization","score":0.9954,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.79106754},{"id":"https://openalex.org/C104954878","wikidata":"https://www.wikidata.org/wiki/Q1648707","display_name":"Routing protocol","level":3,"score":0.65132},{"id":"https://openalex.org/C5119721","wikidata":"https://www.wikidata.org/wiki/Q220501","display_name":"Quality of service","level":2,"score":0.6364372},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5782314},{"id":"https://openalex.org/C74172769","wikidata":"https://www.wikidata.org/wiki/Q1446839","display_name":"Routing (electronic design automation)","level":2,"score":0.54107875},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.4996624},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.49051613},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4637995},{"id":"https://openalex.org/C24590314","wikidata":"https://www.wikidata.org/wiki/Q336038","display_name":"Wireless sensor network","level":2,"score":0.42562973},{"id":"https://openalex.org/C47318570","wikidata":"https://www.wikidata.org/wiki/Q8026863","display_name":"Wireless Routing Protocol","level":4,"score":0.4255726},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.098712385},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1155/2015/716561","pdf_url":"https://downloads.hindawi.com/journals/js/2015/716561.pdf","source":{"id":"https://openalex.org/S96783963","display_name":"Journal of Sensors","issn_l":"1687-725X","issn":["1687-725X","1687-7268"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":false,"landing_page_url":"https://doaj.org/article/130d520cadfc4831bcc760c108a7af9d","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1155/2015/716561","pdf_url":"https://downloads.hindawi.com/journals/js/2015/716561.pdf","source":{"id":"https://openalex.org/S96783963","display_name":"Journal of Sensors","issn_l":"1687-725X","issn":["1687-725X","1687-7268"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[{"funder":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China","award_id":"BK20131382"},{"funder":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China","award_id":"60905040"},{"funder":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China","award_id":"XXRJ-009"},{"funder":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China","award_id":"2013M531393"},{"funder":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China","award_id":"1102102C"}],"datasets":[],"versions":[],"referenced_works_count":24,"referenced_works":["https://openalex.org/W1506324337","https://openalex.org/W1962072139","https://openalex.org/W1967946563","https://openalex.org/W1972382727","https://openalex.org/W1982424587","https://openalex.org/W1992892290","https://openalex.org/W2010928165","https://openalex.org/W2014131243","https://openalex.org/W2033262684","https://openalex.org/W2044376828","https://openalex.org/W2046274922","https://openalex.org/W2069062347","https://openalex.org/W2070539234","https://openalex.org/W2082758699","https://openalex.org/W2091409608","https://openalex.org/W2120926795","https://openalex.org/W2122117190","https://openalex.org/W2125489993","https://openalex.org/W2150189917","https://openalex.org/W2150220388","https://openalex.org/W2152256714","https://openalex.org/W2287495257","https://openalex.org/W2913523018","https://openalex.org/W96055412"],"related_works":["https://openalex.org/W4233083428","https://openalex.org/W3093717461","https://openalex.org/W2546592407","https://openalex.org/W2539045230","https://openalex.org/W2126842185","https://openalex.org/W2035482066","https://openalex.org/W2011277702","https://openalex.org/W1888834805","https://openalex.org/W1593279778","https://openalex.org/W1526204052"],"abstract_inverted_index":{"Accurate":[0],"and":[1,44,74,102],"reliable":[2],"routing":[3,30,86,110],"protocols":[4,31],"with":[5],"Quality":[6],"of":[7,32,53,67,77,107],"Service":[8],"(QoS)":[9],"support":[10],"determine":[11],"the":[12,28,36,40,45,58,64,68,72,78,93,104,108],"mission-critical":[13],"application":[14],"efficiency":[15],"in":[16,57,81],"WSNs.":[17,114],"This":[18],"paper":[19],"proposes":[20],"a":[21,83],"model-checking":[22,94],"design":[23,38,60,95,100,112],"driven":[24],"framework":[25,80,96],"for":[26,113],"designing":[27,82],"QoS-based":[29,85,109],"WSNs,":[33],"which":[34],"involves":[35],"light-weight":[37],"process,":[39],"timed":[41],"automata":[42],"model,":[43],"alternative":[46],"QoS":[47,105],"verification":[48],"properties.":[49],"The":[50,88],"accurate":[51],"feedback":[52],"continually":[54],"model":[55],"checking":[56],"iterative":[59],"process":[61],"effectively":[62],"stimulates":[63],"parameter":[65],"tuning":[66],"protocols.":[69],"We":[70],"demonstrate":[71],"straightforward":[73],"modular":[75],"characteristics":[76],"proposed":[79],"prototype":[84,89],"protocol.":[87],"study":[90],"shows":[91],"that":[92],"may":[97],"complement":[98],"other":[99],"methods":[101],"ensure":[103],"implementation":[106],"protocol":[111]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W1515828222","counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2025-01-01T22:50:25.324696","created_date":"2016-06-24"}