SearcharxivSearch

arXiv subjects

Chanjin Park

Publications and source records attributed to Chanjin Park.

2 recordsLinked to original sources

A High-frequency Geodetic VLBI Experiment for Optical Clock Comparison

An intercontinental metrological clock comparison between Italy and the Republic of Korea was performed by means of geodetic K-band VLBI observations. The comparison involved the hydrogen masers (H-masers) used at Medicina and Sejong radio telescopes. The same clocks were simultaneously compared by a satellite link and by high-precision optical clocks maintained at the National Metrology Institutes, KRISS in Korea and INRIM in Italy, and delivered to VLBI antennas via optical fiber. The H-masers frequency difference was estimated by extrapolating the clock rate from VLBI data using two geodetic VLBI software. This was subsequently compared with clock differences derived by satellite link and by local optical clocks. Results obtained with different approaches were in agreement at the level of $10^{-15}$ s/s. This pilot study demonstrates that standard high-frequency (K-band) geodetic VLBI campaigns could be a viable approach to conduct intercontinental clock comparisons, now only possible via satellite links. This uncertainty can be reduced thanks to the planned installation of new-generation, broadband, high-frequency receivers on the involved telescopes. K/Q/W-band geodetic observations will allow an improvement of the accuracy of the resulting group delays through broad bandwidth synthesis from 20 to 100 GHz. Furthermore, the Frequency Phase Transfer (FPT) method will also be explored together with the use of PCAL systems installed at the radio telescopes to improve phase stability and thus allow a better estimation of the station clock parameters.

astro-ph.IM

Agentic Problem Frames: A Systematic Approach to Engineering Reliable Domain Agents

Large Language Models (LLMs) are evolving into autonomous agents, yet current "frameless" development--relying on ambiguous natural language without engineering blueprints--leads to critical risks such as scope creep and open-loop failures. To ensure industrial-grade reliability, this study proposes Agentic Problem Frames (APF), a systematic engineering framework that shifts focus from internal model intelligence to the structured interaction between the agent and its environment. The APF establishes a dynamic specification paradigm where intent is concretized at runtime through domain knowledge injection. At its core, the Act-Verify-Refine (AVR) loop functions as a closed-loop control system that transforms execution results into verified knowledge assets, driving system behavior toward asymptotic convergence to mission requirements (R). To operationalize this, this study introduces the Agentic Job Description (AJD), a formal specification tool that defines jurisdictional boundaries, operational contexts, and epistemic evaluation criteria. The efficacy of this framework is validated through two contrasting case studies: a delegated proxy model for business travel and an autonomous supervisor model for industrial equipment management. By applying AJD-based specification and APF modeling to these scenarios, the analysis demonstrates how operational scenarios are systematically controlled within defined boundaries. These cases provide a conceptual proof that agent reliability stems not from a model's internal reasoning alone, but from the rigorous engineering structures that anchor stochastic AI within deterministic business processes, thereby enabling the development of verifiable and dependable domain agents.

cs.AI