{"id":"https://openalex.org/W7225565372","doi":"https://doi.org/10.5281/zenodo.24054188","title":"Source-Instantiated Finite-Service Recurrence in Autonomous Source Refresh","display_name":"Source-Instantiated Finite-Service Recurrence in Autonomous Source Refresh","publication_year":2026,"publication_date":"2026-11-08","ids":{"openalex":"https://openalex.org/W7225565372","doi":"https://doi.org/10.5281/zenodo.24054188"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24054188","doi":"https://doi.org/10.5281/zenodo.24054188","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24054188","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.24054188","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5133402233","display_name":"Qingchun Zhang","orcid":"https://orcid.org/0009-0008-0389-1474","observed_orcids":["https://orcid.org/0009-0008-0389-1474"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Zhang, Qingchun","raw_affiliation_strings":["Independent Researcher"],"raw_orcid":"https://orcid.org/0009-0008-0389-1474","affiliations":[{"raw_affiliation_string":"Independent Researcher","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5133402233"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.5044000148773193,"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.5044000148773193,"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/T10126","display_name":"Logic, programming, and type systems","score":0.1459999978542328,"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/T11567","display_name":"semigroups and automata theory","score":0.11599999666213989,"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/error-bounds","display_name":"error bounds","score":0.4869999885559082},{"id":"https://openalex.org/keywords/lean-formal-verification","display_name":"Lean formal verification","score":0.6420000195503235}],"concepts":[{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.5236999988555908},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.44040000438690186},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4377000033855438},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.4187000095844269},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.39750000834465027},{"id":"https://openalex.org/C2779664074","wikidata":"https://www.wikidata.org/wiki/Q3518405","display_name":"Terminal (telecommunication)","level":2,"score":0.38029998540878296},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.3723999857902527},{"id":"https://openalex.org/C2775896111","wikidata":"https://www.wikidata.org/wiki/Q642560","display_name":"Router","level":2,"score":0.3319000005722046},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.32820001244544983},{"id":"https://openalex.org/C154504017","wikidata":"https://www.wikidata.org/wiki/Q853614","display_name":"Identifier","level":2,"score":0.32690000534057617},{"id":"https://openalex.org/C2780310539","wikidata":"https://www.wikidata.org/wiki/Q12547192","display_name":"Imperfect","level":2,"score":0.30880001187324524},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.30649998784065247},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.30000001192092896},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.2921999990940094},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.29100000858306885},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.2791000008583069},{"id":"https://openalex.org/C103088060","wikidata":"https://www.wikidata.org/wiki/Q1062839","display_name":"Error detection and correction","level":2,"score":0.2773999869823456},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.2687000036239624},{"id":"https://openalex.org/C45340560","wikidata":"https://www.wikidata.org/wiki/Q215382","display_name":"Disjoint sets","level":2,"score":0.2630000114440918},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2628999948501587},{"id":"https://openalex.org/C134066672","wikidata":"https://www.wikidata.org/wiki/Q1424639","display_name":"Payload (computing)","level":3,"score":0.2621999979019165},{"id":"https://openalex.org/C175291020","wikidata":"https://www.wikidata.org/wiki/Q1156822","display_name":"Offset (computer science)","level":2,"score":0.25529998540878296}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24054188","doi":"https://doi.org/10.5281/zenodo.24054188","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24054188","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.24054189","doi":"https://doi.org/10.5281/zenodo.24054189","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24054189","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.5281/zenodo.24054188","doi":"https://doi.org/10.5281/zenodo.24054188","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24054188","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7224990923","https://openalex.org/W7213295480","https://openalex.org/W7224166315","https://openalex.org/W7225014997","https://openalex.org/W7213666069","https://openalex.org/W7213652817","https://openalex.org/W341836680","https://openalex.org/W7128310650","https://openalex.org/W7223563419","https://openalex.org/W369580192"],"abstract_inverted_index":{"A":[0,41,210],"sequence":[1],"of":[2,214],"completed":[3,50],"services":[4],"does":[5],"not":[6],"by":[7,121],"itself":[8],"establish":[9],"a":[10,15,20,33,93,136,163,192,206],"service":[11],"recurrence.":[12],"We":[13],"prove":[14],"source-instantiated":[16],"one-step":[17],"implication":[18],"for":[19,113],"specified":[21,211],"finite-packet":[22],"Hamiltonian":[23],"family,":[24],"starting":[25],"from":[26],"an":[27],"actual":[28],"labelled":[29],"terminal":[30,171],"state":[31],"and":[32,49,52,73,84,90,92,140,152,184,220,228,236],"fresh":[34],"packet":[35],"installed":[36],"at":[37,56,173],"the":[38,57,103,122,161,169,174,233],"original":[39,170],"preparation.":[40],"common":[42],"mechanical":[43,69],"box,":[44],"active-norm":[45],"bound,":[46,48],"resident":[47],"router":[51],"clock":[53,85,155],"guards":[54],"return":[55,96],"same":[58],"prescribed":[59,115,137],"elapsed":[60],"time.":[61],"The":[62,127],"proof":[63],"retains":[64],"all":[65],"archives,":[66],"imperfect":[67],"residuals,":[68],"histories,":[70],"physical":[71,133,208,234],"phases,":[72],"signed":[74],"source-value":[75],"traces.":[76],"It":[77],"combines":[78],"explicit":[79,197],"source":[80,128,235],"analysis,":[81],"exact":[82,176],"pulse":[83],"inequalities,":[86],"validated":[87],"coupled":[88],"occupancy":[89],"recovery,":[91],"correlated":[94],"fixed-time":[95],"argument.":[97],"An":[98],"isometric":[99],"record":[100,215],"embedding":[101],"gives":[102],"all-internal-record":[104],"estimate":[105],"EN":[106],"<":[107],"\u221a((0.000409)2":[108],"+":[109],"(N":[110],"\u2212":[111,131],"2)(0.000372)2)":[112],"every":[114],"finite":[116,193],"N":[117],"\u2265":[118],"2,":[119],"seeded":[120],"separately":[123,164],"established":[124],"second":[125],"service.":[126],"has":[129,223],"24N":[130],"4":[132],"coordinates":[134],"throughout":[135],"N-service":[138],"construction":[139,195],"requires":[141,205],"one":[142,148,150,153],"additional":[143],"payload,":[144],"three":[145],"blank":[146],"registers,":[147],"history,":[149],"router,":[151],"paid":[154],"per":[156],"supplied":[157,194],"transition.":[158],"After":[159],"freezing":[160],"recurrence,":[162],"propagated":[165],"fourth-service":[166],"family":[167],"reaches":[168],"box":[172],"unchanged":[175],"readout,":[177],"with":[178,196],"local":[179],"all-64-internal-coordinate":[180],"error":[181,187,218],"below":[182,188],"0.000371052741":[183],"accumulated":[185],"internal":[186],"0.000665841675.":[189],"This":[190],"is":[191],"resource":[198],"growth;":[199],"payload":[200],"choice":[201],"after":[202],"earlier":[203],"output":[204],"separate":[207],"contract.":[209],"supporting":[212],"subset":[213],"algebra,":[216],"conditional":[217],"transport,":[219],"rational":[221],"witnesses":[222],"been":[224],"executed":[225],"in":[226],"Lean":[227],"its":[229],"returned":[230],"evidence":[231],"assessed;":[232],"validated-numerics":[237],"arguments":[238],"remain":[239],"outside":[240],"that":[241],"subset.":[242]},"counts_by_year":[],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2026-11-09T00:00:00"}