乐胖代购免代理版

{"id":"https://openalex.org/W4239878156","doi":"https://doi.org/10.1109/qest.2004.1348028","title":"A Structured path-based approach for computing transient rewards of large CTMCs","display_name":"A Structured path-based approach for computing transient rewards of large CTMCs","publication_year":2004,"publication_date":"2004-01-01","ids":{"openalex":"https://openalex.org/W4239878156","doi":"https://doi.org/10.1109/qest.2004.1348028"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/qest.2004.1348028","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-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/A5054324652","display_name":"V.V. Lam","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"funder","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"V.V. Lam","raw_affiliation_strings":["Department of Electrical and Computer Engineering Coordinated Science Laboratory, University of Illinois, Urbana-Champaign, Urbana-Champaign, IL, USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering Coordinated Science Laboratory, University of Illinois, Urbana-Champaign, Urbana-Champaign, IL, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022119933","display_name":"Peter Buchholz","orcid":"https://orcid.org/0000-0002-9966-7686"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"funder","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"P. Buchholz","raw_affiliation_strings":["Department of Electrical and Computer Engineering Coordinated Science Laboratory, University of Illinois, Urbana-Champaign, Urbana-Champaign, IL, USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering Coordinated Science Laboratory, University of Illinois, Urbana-Champaign, Urbana-Champaign, IL, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5074285069","display_name":"William H. Sanders","orcid":null},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"funder","lineage":["https://openalex.org/I200332995"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"W.H. Sanders","raw_affiliation_strings":["Informatik IV, Universit\u00e4t Dortmund, Dortmund, Germany"],"affiliations":[{"raw_affiliation_string":"Informatik IV, Universit\u00e4t Dortmund, Dortmund, Germany","institution_ids":["https://openalex.org/I200332995"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.615,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":7,"citation_normalized_percentile":{"value":0.59046,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":78,"max":79},"biblio":{"volume":"1469","issue":null,"first_page":"136","last_page":"145"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9988,"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/T10142","display_name":"Formal Methods in Verification","score":0.9988,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9986,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9921,"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":[{"id":"https://openalex.org/keywords/uniformization","display_name":"Uniformization (probability theory)","score":0.8066299},{"id":"https://openalex.org/keywords/representation","display_name":"Representation","score":0.64167106},{"id":"https://openalex.org/keywords/transient","display_name":"Transient (computer programming)","score":0.4981885}],"concepts":[{"id":"https://openalex.org/C149260544","wikidata":"https://www.wikidata.org/wiki/Q7885142","display_name":"Uniformization (probability theory)","level":5,"score":0.8066299},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.74277186},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.6549359},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.64167106},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.6153147},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5572129},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.5081265},{"id":"https://openalex.org/C2780799671","wikidata":"https://www.wikidata.org/wiki/Q17087362","display_name":"Transient (computer programming)","level":2,"score":0.4981885},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.4805796},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.459695},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.45959008},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.42875025},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3961316},{"id":"https://openalex.org/C163836022","wikidata":"https://www.wikidata.org/wiki/Q6771326","display_name":"Markov model","level":3,"score":0.3414815},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3023929},{"id":"https://openalex.org/C54907487","wikidata":"https://www.wikidata.org/wiki/Q7915688","display_name":"Variable-order Markov model","level":4,"score":0.28640366},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.21375757},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.13367727},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"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.1109/qest.2004.1348028","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":[],"datasets":[],"versions":[],"referenced_works_count":13,"referenced_works":["https://openalex.org/W1513249631","https://openalex.org/W1514324734","https://openalex.org/W1784183156","https://openalex.org/W1965492307","https://openalex.org/W2031305654","https://openalex.org/W2088545059","https://openalex.org/W2107561541","https://openalex.org/W2127611273","https://openalex.org/W2128934846","https://openalex.org/W2151997354","https://openalex.org/W2161584651","https://openalex.org/W2169174934","https://openalex.org/W4248248518"],"related_works":["https://openalex.org/W2804608325","https://openalex.org/W2413828414","https://openalex.org/W2379651310","https://openalex.org/W2354322608","https://openalex.org/W2153427469","https://openalex.org/W2113019827","https://openalex.org/W2084326697","https://openalex.org/W2077211377","https://openalex.org/W2027903142","https://openalex.org/W1541249122"],"abstract_inverted_index":{"Structured":[0],"(a.k.a.":[1],"symbolic)":[2],"representation":[3,44,140],"techniques":[4],"of":[5,45,64,84,122,132,137,149,172,192],"Markov":[6,70],"models":[7,40,166],"have,":[8],"to":[9,91,97,109,162,176,185],"a":[10,56,92,101,129,138,168,193],"large":[11,19,68,165,194],"extent,":[12],"been":[13],"used":[14],"effectively":[15],"for":[16,59,141],"representing":[17],"very":[18,164,169],"transition":[20],"matrices":[21],"and":[22,48,78,95,145,189],"their":[23,28,46],"associated":[24],"state":[25,143],"spaces.":[26],"However,":[27],"success":[29],"means":[30],"that":[31,86,124],"the":[32,43,114,120,135,142,146,150,157,178,187,190],"largest":[33],"space":[34,144],"requirement":[35],"encountered":[36],"when":[37],"analyzing":[38],"these":[39],"is":[41],"often":[42],"iteration":[47],"solution":[49,158],"vectors.":[50],"In":[51,174],"this":[52],"paper,":[53],"we":[54,181],"present":[55],"new":[57],"approach":[58,74],"computing":[60],"bounds":[61],"on":[62],"solutions":[63],"transient":[65],"measures":[66],"in":[67,128,199],"continuous-time":[69],"chains":[71],"(CTMCs).":[72],"The":[73],"extends":[75],"existing":[76],"path-":[77],"uniformization-based":[79],"methods":[80],"by":[81],"identifying":[82],"sets":[83],"paths":[85,112,123],"are":[87],"equivalent":[88],"with":[89],"respect":[90],"reward":[93,152],"measure":[94,153],"related":[96],"one":[98],"another":[99],"via":[100],"simple":[102],"structural":[103],"relationship.":[104],"This":[105],"relationship":[106],"allows":[107],"us":[108,161],"explore":[110],"multiple":[111],"at":[113],"same":[115],"time,":[116],"thus":[117],"significantly":[118],"increasing":[119],"number":[121],"can":[125],"be":[126],"explored":[127],"given":[130],"amount":[131,171],"time.":[133],"Furthermore,":[134],"use":[136,184],"structured":[139],"direct":[147],"computation":[148],"desired":[151],"(without":[154],"ever":[155],"storing":[156],"vector)":[159],"allow":[160],"analyze":[163],"using":[167],"small":[170],"storage.":[173],"addition":[175],"presenting":[177],"method":[179],"itself":[180],"illustrate":[182],"its":[183],"compute":[186],"reliability":[188],"availability":[191],"distributed":[195],"information":[196],"service":[197],"system":[198],"which":[200],"faults":[201],"may":[202],"propagate":[203],"across":[204],"subsystems.":[205]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4239878156","counts_by_year":[],"updated_date":"2025-03-24T00:46:03.360236","created_date":"2022-05-12"}