{"id":"https://openalex.org/W7224166315","doi":"https://doi.org/10.5281/zenodo.23749165","title":"Record-Preserving Rearming and a Certified Second Service in Autonomous Source Refresh","display_name":"Record-Preserving Rearming and a Certified Second Service in Autonomous Source Refresh","publication_year":2026,"publication_date":"2026-10-28","ids":{"openalex":"https://openalex.org/W7224166315","doi":"https://doi.org/10.5281/zenodo.23749165"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23749165","doi":"https://doi.org/10.5281/zenodo.23749165","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23749165","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","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.23749165","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/T10126","display_name":"Logic, programming, and type systems","score":0.2175000011920929,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.2175000011920929,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T13898","display_name":"Diverse Interdisciplinary Research Studies","score":0.09260000288486481,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T12797","display_name":"History of Computing Technologies","score":0.06360000371932983,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"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/records-preservation","display_name":"records preservation","score":0.5210000276565552},{"id":"https://openalex.org/keywords/orthogonal-operators","display_name":"orthogonal operators","score":0.43299999833106995},{"id":"https://openalex.org/keywords/lean-formalization","display_name":"Lean formalization","score":0.4410000145435333}],"concepts":[{"id":"https://openalex.org/C134066672","wikidata":"https://www.wikidata.org/wiki/Q1424639","display_name":"Payload (computing)","level":3,"score":0.5559999942779541},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.49540001153945923},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.4503999948501587},{"id":"https://openalex.org/C2776639384","wikidata":"https://www.wikidata.org/wiki/Q840396","display_name":"Ideal (ethics)","level":2,"score":0.4406999945640564},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.4189999997615814},{"id":"https://openalex.org/C191795146","wikidata":"https://www.wikidata.org/wiki/Q3878446","display_name":"Norm (philosophy)","level":2,"score":0.39989998936653137},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.3716000020503998},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.3619999885559082},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.3447999954223633},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.3199000060558319},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3181000053882599},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.3124000132083893},{"id":"https://openalex.org/C2779614062","wikidata":"https://www.wikidata.org/wiki/Q716894","display_name":"Lease","level":2,"score":0.30730000138282776},{"id":"https://openalex.org/C101618186","wikidata":"https://www.wikidata.org/wiki/Q3633928","display_name":"UMTS frequency bands","level":2,"score":0.29840001463890076},{"id":"https://openalex.org/C99844830","wikidata":"https://www.wikidata.org/wiki/Q102441924","display_name":"Scaling","level":2,"score":0.29589998722076416},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.2953000068664551},{"id":"https://openalex.org/C2078106","wikidata":"https://www.wikidata.org/wiki/Q14906620","display_name":"Accumulator (cryptography)","level":2,"score":0.2621999979019165},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.2551000118255615},{"id":"https://openalex.org/C186370098","wikidata":"https://www.wikidata.org/wiki/Q442787","display_name":"Energy (signal processing)","level":2,"score":0.25369998812675476}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.23749165","doi":"https://doi.org/10.5281/zenodo.23749165","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23749165","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.23749166","doi":"https://doi.org/10.5281/zenodo.23749166","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23749166","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.23749165","doi":"https://doi.org/10.5281/zenodo.23749165","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23749165","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/W7213295480","https://openalex.org/W7223567359","https://openalex.org/W7213666069","https://openalex.org/W7213652817","https://openalex.org/W7204687600","https://openalex.org/W7221781793","https://openalex.org/W7160994577","https://openalex.org/W7171253827","https://openalex.org/W2274014871","https://openalex.org/W7223440066"],"abstract_inverted_index":{"A":[0,40,100],"completed":[1],"autonomous":[2,214],"operation":[3],"need":[4,160],"not":[5,81,212],"leave":[6],"its":[7,260,270],"apparatus":[8],"in":[9],"a":[10,18,27,55,115,138,218,235],"state":[11],"admittedby":[12],"the":[13,22,46,51,60,75,84,95,110,120,154,171,193,241,266],"next":[14],"operation.":[15],"We":[16],"construct":[17],"second":[19,145],"service":[20],"from":[21,73,240],"actual":[23,121],"terminal":[24],"record":[25,34,202],"of":[26,93,132,216,259,265],"specifiedsource-refresh":[28],"preparation,":[29],"rather":[30],"than":[31],"replacing":[32],"that":[33],"by":[35,234],"an":[36],"ideal":[37,172],"ready":[38],"state.":[39],"preinstalled,initially":[41],"inactive":[42],"twenty-four-coordinate":[43],"supply":[44],"augments":[45],"twenty-coordinate":[47],"parent.":[48],"Its":[49,147],"routerarchives":[50],"old":[52,61,178],"outputs,":[53],"and":[54,183,197,201,231,254,262],"clock-driven":[56],"mechanical":[57,86,181],"exchange":[58],"transfers":[59],"carrier":[62],"infor-mation":[63],"into":[64],"physical":[65,257],"histories.":[66],"The":[67],"exact":[68,250],"decoded":[69],"scaling":[70],"product":[71],"differs":[72],"one:":[74],"realizedlaunch":[76],"is":[77,151,190,205],"close":[78],"to,":[79,83],"but":[80],"equal":[82],"stored":[85],"reference.":[87],"Both":[88],"clock":[89],"reactions":[90],"andthe":[91],"cost":[92],"activating":[94],"history":[96],"energy":[97],"are":[98],"retained.":[99],"conserved":[101],"internal":[102],"norm":[103,133],"excludes":[104],"everyrecovered":[105],"historical":[106],"receiver":[107],"box":[108],"for":[109],"chosen":[111],"new":[112],"payload":[113,131],"family;":[114],"separate":[116],"functional":[117,206],"receivingclass":[118],"admits":[119],"continuation":[122],"without":[123],"deleting":[124],"passive":[125],"records.":[126],"For":[127],"every":[128],"independentlysupplied":[129],"four-dimensional":[130],"at":[134],"most":[135],"one":[136],"half,":[137],"connected":[139,238],"source-valid":[140],"route":[141],"reachesthe":[142],"originally":[143],"prescribed":[144],"readout.":[146],"joint":[148],"loading-and-processing":[149],"error":[150],"below":[152],"0.000409,against":[153],"declared":[155],"tolerance":[156],"0.01.":[157],"Later":[158],"interactions":[159],"no":[161],"additional":[162],"near-ideal":[163],"angle":[164],"conditionbecause":[165],"their":[166],"realized":[167],"orthogonal":[168],"operators":[169],"fix":[170],"zero-register":[173],"target.":[174],"All":[175],"forty-four":[176],"coordi-nates,":[177],"output":[179],"archives,":[180],"histories,":[182],"signed":[184],"source-value":[185],"events":[186],"remain":[187,268],"available.The":[188],"result":[189],"conditional":[191],"on":[192],"published":[194],"first-terminal":[195,243],"membership":[196],"supplied":[198],"source,":[199],"prepa-ration,":[200],"identities.":[203],"It":[204],"reuse":[207],"with":[208],"finite":[209],"preinstalled":[210],"resources,":[211],"exactreset,":[213],"creation":[215],"supplies,":[217],"uniform":[219],"first-use":[220],"theorem,":[221],"unlimited":[222],"repeatability,":[223],"or":[224],"alaboratory":[225],"demonstration.":[226],"This":[227],"manuscript":[228],"consolidates":[229],"analytic":[230],"finite-computation":[232],"evidence,accompanied":[233],"newly":[236],"executed":[237],"reproduction":[239],"trusted":[242],"records.A":[244],"dedicated":[245],"Lean":[246],"support":[247],"package":[248],"checks":[249],"algebra,":[251],"certificate":[252],"arithmetic,":[253],"conditionalerror":[255],"transport;":[256],"instantiation":[258],"hypotheses":[261],"full":[263],"formalization":[264],"cumulativetheorem":[267],"outside":[269],"scope.":[271]},"counts_by_year":[],"updated_date":"2026-10-31T12:09:11.096373","created_date":"2026-10-30T00:00:00"}