SearcharxivSearch

arXiv subjects

Adrian Pop

Publications and source records attributed to Adrian Pop.

2 recordsLinked to original sources

ModBench: A Pipeline for Building Modelica Benchmark Datasets Mined from Library Repositories

Research on equation-based cyber-physical systems modeling languages, such as Modelica, is constrained by the lack of curated benchmark datasets. This limits empirical insight into the evolution and development of models. We address this gap with ModBench, a pipeline that mines Git repositories of Modelica libraries to produce benchmark datasets of model snapshots. The pipeline (1) filters repository commits to retain human-authored, Modelica-relevant revisions; (2) extracts simulation-eligible classes; and (3) builds canonical representations of Modelica classes. For empirical validation, we applied ModBench to the Modelica Standard Library (MSL) and report the resulting dataset, spanning the full commit history (since Modelica language v3), with 85,562 distinct class snapshots, and links enabling traceability to original models and Git metadata. The dataset, its API, and the data generation pipeline are publicly available to support future research on model evolution analysis, compiler testing, and automated model repair or generation.

cs.SE

The quantum theory of scalar fields on the de Sitter expanding universe

New quantum modes of the free scalar field are derived in a special time-evolution picture that may be introduced in moving charts of de Sitter backgrounds. The wave functions of these new modes are solutions of the Klein-Gordon equation and energy eigenfunctions, defining the energy basis. This completes the scalar quantum mechanics where the momentum basis is well-known from long time. In this enlarged framework the quantization of the scalar field can be done in canonical way obtaining the principal conserved one-particle operators and the Green functions.

gr-qc