Detailed Model Research Articles

Co-optimization of power and water distribution systems for simultaneous hydropower generation and water pressure regulation

Water Distribution Systems (WDSs) are gravitational systems supplying water, mainly. Little research has been conducted on harnessing the great amount of energy that is currently dissipated during water pressure regulation, usually performed with “passive” devices like Pressure Reduction Valves (PRVs). This paper develops a co-optimization framework between Water and Power Distribution Systems (PDS) and introduces the concept of Integrated Power-Water Distribution System (IPWDS). Under this framework, PRVs are replaced by hydro-turbines, which form the interconnecting links between the two systems. They regulate pressure at the WDS while injecting the power resulting from their action to PDS. The complete WDS and PDS mathematical models are adopted and the detailed turbine design and performance model that accounts for turbines feasible operational range is considered. The suggested method optimizes the power generation of the hydro-turbines subject to the hydraulic restrictions and power flow constraints imposed by each network. Optimal Power Flow (OPF) has been extended in order to accommodate turbine’s model and constraints imposed by the varying daily flows of the WDS and PDS. Results taken under the suggested framework from a typical WDS, demonstrated that more than 393 MWh (approximately $40 K) of clean power could be produced per year. However, the violation of the unified set of constraints from the IPWDS may reduce the amount of renewable power generation by a significant 7%. This paper focuses mainly on the technical aspect of such an approach. Future work will focus on the economic assessment and viability of such joint projects, resulting from co-optimization and on social-technical aspects that aim on maximizing the penetration of turbines within existing PDS.

Modelling of Multi-Storey Cross-Laminated Timber Buildings for Vibration Serviceability

In this study, the vibration serviceability of multi-storey timber buildings is addressed. The core of this study pertains to the preparation of a comprehensive finite element model to predict modal properties for an accurate vibration serviceability checking. To that end, findings obtained from studying three multi-storey timber buildings are summarized and discussed. Two of the buildings (of seven and eight storeys) consist entirely of cross-laminated timber (CLT), while the third is a five-storey hybrid CLT-concrete building. Thanks to the detailed finite element models and modal testing results, one has the capability to conduct sensitivity analyses, classical and Bayesian model updating, and uncertainty quantifications. With these methodologies, influential modelling parameters as well as the sources of modelling error were identified. This allowed for conclusions to be drawn about the in-plane shear stiffness of the constructed walls (whose higher value causes the natural frequencies to increase by up to 25%), the soil deformability (which may cause the natural frequencies to drop by up to 20%), and the perpendicular-to-the-grain deformation of floor slabs (which may lead to an overestimation of a fundamental frequency by up to 8%).

Effect of loading rate on mode I fracture behavior of red sandstone: Insights from AE and DIC techniques

The loading rate is an essential factor that influences the fracture characteristics and behavior of rock materials. In the study, a series of mode I fracture tests were performed on semi-circular bending (SCB) specimens of red sandstone under a range of static loading rates (0.005 mm/min–2 mm/min). The results showed that fracture toughness increases linearly with the logarithm of loading rates but the critical crack mouth opening displacement (CMODc) almost keeps constant. The fracture processes of rock were monitored using the acoustic emission (AE) and digital image correlation (DIC) techniques. The accumulated ringing counts increases with the loading rates at a natural logarithm relationship. The quantitative analysis for RA-AF data reveals that the contribution of shear cracks to mode I fracture increases with the loading rates. Prior to the DIC analysis, the DIC parameters were firstly calibrated by comparing the CMOD obtained from the clip gauge with that from the DIC data. By virtue of the strain and displacement fields, the fracture process, including post-peak fracture behavior, was analyzed using the cohesion zone model (CZM) in detail. Some fracture parameters, such as fracture process zone (FPZ) length and width, critical crack tip opening displacement (CTODc) were identified. The results indicate that FPZ length decreases with the loading rates but FPZ width and CTODc are nearly unaffected. The FPZ length at post-peak stage is lower than that at peak, regardless of the loading rate. Finally, the FPZ length measured by DIC is compared to that estimated by five theoretical models. The results show that the FPZ length calculated by the modified Irwin model is very closed to that from DIC.

Mitigating SSO in an Actual DFIG-MTDC System: Field Implementation and Tests

Recently, a new type of subsynchronous oscillation (SSO) event was observed in the doubly fed induction generator (DFIG)-based wind farm connected to a multi-terminal dc (MTDC) grid. It has been established that converter-based devices can interact with each other and other grid components. Generally, it is difficult to replicate an SSO event and devise a mitigation scheme due to the complex and black-box nature of converter-based devices. This paper demonstrates the field implementation of a model-independent method to mitigate the SSO using additional band-rejection filters in the DFIG's converter controller. The proposed method is unique in the sense that the complete design and implementation were carried out without detailed models or prior EMT studies. Field results illustrate that the risk of SSO can be significantly reduced by supplementing the DFIGs with properly tuned band-rejection filters, which reshape the DFIGs' impedance characteristics at the desired frequency. The test results obtained under various operating conditions further confirm the effectiveness of the mitigation scheme. The implementation and field tests of the filter-based mitigation scheme in an actual system can provide a practical reference for solving similar SSO issues in other large-scale systems without going through detailed EMT studies.

A new catalog of magnetically active solar-like oscillators

We present a new catalog of stars for which detected solar-like oscillations and magnetic activity measurements from chromospheric spectroscopic observations are both available. Our results were obtained by exploiting NASA TESS mission light curves for active stars observed within the Mount Wilson Observatory HK project and the HK survey of the Hamburg Robotic Telescope TIGRE. We analyzed the light curves for a total of 191 stars by adopting recent techniques based on Bayesian analysis and model comparison to assess the detection of a power excess originating from solar-like oscillations. We characterized the oscillations in a total of 34 targets, for which we provide estimates for the global asteroseismic parameters of νmax (the frequency of maximum oscillation power), Δν (the large frequency separation), and for the amplitude of the solar-like oscillation envelope Amax. We provide strong statistical evidence for the detection of solar-like oscillations in 15 stars of our sample, identify six further stars where a detection is likely, and 13 stars for which oscillations cannot be ruled out. The key parameters extracted in this work will be exploited for a detailed stellar modeling of the targets and to calibrate relations that connect the level of the measured magnetic activity to the suppression induced on the global oscillation amplitudes. This opens the possibility of shedding light on the interplay between magnetic fields and oscillations. Because of their relatively high brightness, the targets may also be of interest for future dedicated follow-up observations using both photometry and spectropolarimetry.

On efficient modelling of radical production in cavitation assisted reactors

Process intensification by cavitation is gaining widespread attention due to the benefits that the intense bubble collapse conditions can provide, yet, several knowledge gaps exist in the modelling of such systems. This work studies the numerical prediction of single bubble dynamics and the various approaches that can be employed to estimate the changes in the chemical composition of cavitating bubbles. Specific emphasis is placed on the prediction of the radical production rates during bubble collapse and the computational performance, with the aim of coupling the single bubble dynamics to flow models for reactor hydrodynamics. The results reveal that the choice of chemical reaction approach has virtually no effect on the bubble dynamics, whereas the predicted radical production rates can differ substantially. It is found that evaluating the radical production only on temperature peaks, an approach commonly followed in literature, may result in the most erroneous estimations (on average 12.8 times larger than those of the full kinetic model), while a simplified kinetic model yields more accurate predictions (2.3 times larger) at the expense of increased computational times. Continuous evaluation of the bubble content by assuming equilibrium when the bubble temperature is above a certain threshold (≈1500K) is shown to be capable of predicting total radical production values close to those estimated by solving the kinetics of a detailed reaction model (19.8% difference), as well as requiring only 22.2% more computational costs compared to simulations without chemical reaction modelling. Such an equilibrium approach is therefore recommended for future studies aiming to couple flow simulations with single bubble dynamics to accurately predict radical production rates in cavitation devices, involving numerous bubbles following different flow trajectories. Furthermore, an algebraic expression that successfully approximates the full kinetic simulation results is proposed as a function of the initial nucleus size and the time integral of the liquid pressure when it is under vapor pressure. Such a model can be applied in modelling efforts that do not require local instantaneous radical concentrations, and paves the way for efficient closure modelling of radical production in CFD simulations of hydrodynamic reactors.

Design and Optimization of a Robot Dosing Device for Aliquoting of Biological Samples Based on Genetic Algorithms

Aliquoting of biological samples refers to the process of dividing a larger biological sample into smaller, representative portions known as aliquots. This procedure is commonly employed in laboratories, especially in fields like molecular biology, genetics, and clinical research. Currently, manual dosing devices are commonplace in laboratories, but they demand a significant amount of time for their manual operation. The automated dosing devices available are integrated into narrowly focused aliquoting systems and lack versatility as manipulator equipment. Addressing this limitation, a novel technical solution is proposed in this paper for a modular dosing device compatible with robotic manipulators. The paper introduces and details a mathematical model, optimizes its parameters, and constructs a detailed 3D model using the NX environment to demonstrate the engineering feasibility of our concept. It further outlines the development of a three-dimensional dynamic simulation model for the dosing device, comparing analytical calculations with simulation results. The construction of a dosing device prototype is discussed, followed by a comprehensive experimental validation.

Improving force characteristics of linear oscillatory generator with spring permanent magnet for Stirling engines based on subdomain method

In this paper, an electromagnetic analysis method is proposed to improve force characteristics by using spring permanent magnets (PMs) along the axial and circumferential directions of a linear oscillatory generator (LOG). For accurate electromagnetic analysis, a detailed analysis model of the LOG is developed, and the governing equations of each subdomain are derived based on Maxwell’s equations and electromagnetic theory. Analytical solutions of the magnetic vector potential in each subdomain are derived using boundary conditions. The reliability of the proposed method is verified through a comparison with the results of a two-dimensional finite element analysis (FEA). In particular, the force characteristics depending on the spring PM is effectively derived by considering the three-dimensional (3D) circumferential and axial end effects. The proposed analysis method is used to determine the thickness of spring PM that transforms the detent force of the LOG with the spring PM into restoring force. The reliability of the proposed analysis method is verified through comparison with the results of a 3D FEA.

Spatially resolved laser Thomson scattering measurements in a negative glow and cathode presheath to investigate a 1D sheath model

This paper presents spatially resolved laser Thomson scattering measurements in a cathode presheath and describes a new approximation for the electric field at the plasma-sheath boundary that accounts for collisional and ionization effects. The approximation is derived from a 1D sheath model using asymptotic theory, and the approximation is validated against the exact solution of the 1D model. The approximation of the electric field at the plasma-sheath boundary is examined with experimentally measured profiles of electron properties in the cathode presheath and negative glow of a glow discharge. The measurements are made with a noninvasive laser Thomson scattering system applied to a 20 kV pulsed plasma with an electrode gap of 26.53 mm at neutral pressures of 2, 2.5, and 25 Torr for argon, krypton, and helium, respectively. Peak electron densities for the He, Ar, and Kr plasmas are around 9 × 1018, 2.4 × 1019, and 7.5 × 1019 m−3, respectively. For all the gases, the electrons in the negative glow are approximately isothermal at electron temperatures between 1 and 2 eV, and for He and Ar, the electrons were not isothermal in the cathode presheath. The electron density profile in the cathode presheath was nonmonotonic, and calculations of the ionization rate indicate that a sharp increase in the ionization rate may produce a nonmonotonic density profile in the cathode presheath. The insights gained from spatially-resolved noninvasive measurements of electron properties in a cathode sheath reveal the need for more detailed cathode sheath models.

Vox-Surf: Voxel-Based Implicit Surface Representation.

Virtual content creation and interaction play an important role in modern 3D applications. Recovering detailed 3D models from real scenes can significantly expand the scope of its applications and has been studied for decades in the computer vision and computer graphics community. In this work, we propose Vox-Surf, a voxel-based implicit surface representation. Our Vox-Surf divides the space into finite sparse voxels, where each voxel is a basic geometry unit that stores geometry and appearance information on its corner vertices. Due to the sparsity inherited from the voxel representation, Vox-Surf is suitable for almost any scene and can be easily trained end-to-end from multiple view images. We utilize a progressive training process to gradually cull out empty voxels and keep only valid voxels for further optimization, which greatly reduces the number of sample points and improves inference speed. Experiments show that our Vox-Surf representation can learn fine surface details and accurate colors with less memory and faster rendering than previous methods. The resulting fine voxels can also be considered as the bounding volumes for collision detection, which is useful in 3D interactions. We also show the potential application of Vox-Surf in scene editing and augmented reality. The source code is publicly available at https://github.com/zju3dv/Vox-Surf.

A Dual-Band Coil Array With Novel High-Order Circuit Compensation for Shielding Design in EV Wireless Charging System

For the wireless power transfer (WPT) system in electric vehicle (EV) applications, a serious concern lies in the leakage electromagnetic field (EMF) emission. In order to address this issue, this article presents a dual-band coil array (DB-CA) with novel high-order circuit (HOC) compensation. The most attractive feature of DB-CA is that both the first and third harmonics of leakage EMF can be reduced simultaneously, while the system still resonates at the same frequency. A detailed mathematical model is established to intuitively reveal the relevance between impedance design and shielding performance, as well as the constraints to achieve resonance. In addition, the novel HOC compensation is employed to decouple the shielding design at each harmonic. Both simulated and experimental results verify the effectiveness of DB-CA, and a 1-kW WPT prototype operating at 85 kHz is established. By applying DB-CA, the leakage EMF can be reduced by 3.88 dB at 85 kHz and 1.84 dB at 255 kHz, respectively. Meanwhile, the system resonant frequency still locates at 85 kHz, and the achieved zero phase angle condition is independent with load condition. It can provide significant guidance to the design of shielding configurations in EV Wireless Charging System.

Time-dependent fatigue reliability analysis of heavy-haul railway steel bridges

Fatigue of heavy-haul railway bridges has been an ongoing concern due to the excessive stresses and frequent cyclic effects of freight trains. Current fracture-based fatigue research, which promotes fatigue reliability analysis caused by crack propagation, is challenged by the dilemma between the detailed modeling of cyclic stress and the reflection of temporal characteristics of loading conditions. In addition, due to the strong non-Gaussian nature of the fatigue limit state function and the computational inefficiency of integrating finite element analysis, current time-dependent reliability methods need to be further developed. To evaluate the fatigue reliability of heavy-haul railway steel bridges considering the temporal dependence of cyclic train loading, a time-dependent fatigue reliability methodology is developed in this study with two innovations. Firstly, a cyclic stress range model is proposed based on the load analysis at the bridge level, which can capture the time-dependent characteristics of the incurred stress range throughout service life. Then, an improved outcrossing rate method for strong non-Gaussian fatigue limit state functions is developed to reduce the computational costs associated with reliability analysis integrated with the finite element model. The developed time-dependent fatigue reliability methodology is then applied to a heavy-haul railway steel truss bridge located in Shandong, China, which proves its efficiency and accuracy in evaluating the time-dependent fatigue reliability of heavy-haul railway steel bridges. Furthermore, the developed methodology is able to provide insight into the balance between bridge fatigue damage and freight volume, and it is found that the combination of small train axle weight and high operation frequency is the optimal solution to achieve the fatigue reliability of the steel bridge while fulfilling the freight demand.

Beyond Point Masses. III. Detecting Haumea’s Nonspherical Gravitational Field

The dwarf planet Haumea is one of the most compelling trans-Neptunian objects to study, hosting two small, dynamically interacting satellites, a family of nearby spectrally unique objects, and a ring system. Haumea itself is extremely oblate due to its 3.9 hr rotation period. Understanding the orbits of Haumea’s satellites, named Hi’iaka and Namaka, requires detailed modeling of both satellite–satellite gravitational interactions and satellite interactions with Haumea’s nonspherical gravitational field (parameterized here as J 2). Understanding both of these effects allows for a detailed probe of the satellites’ masses and Haumea’s J 2 and spin pole. Measuring Haumea’s J 2 provides information about Haumea’s interior, possibly determining the extent of past differentation. In an effort to understand the Haumea system, we have performed detailed non-Keplerian orbit fitting of Haumea’s satellites using a decade of new, ultra-precise observations. Our fits detect Haumea’s J 2 and spin pole at ≳2.5σ confidence. Degeneracies present in the dynamics prevent us from precisely measuring Haumea’s J 2 with the current data, but future observations should enable a precise measurement. Our dynamically determined spin pole shows excellent agreement with past results, illustrating the strength of non-Keplerian orbit fitting. We also explore the spin–orbit dynamics of Haumea and its satellites, showing that axial precession of Hi’iaka may be detectable over decadal timescales. Finally, we present an ephemeris of the Haumea system over the coming decade, enabling high-quality observations of Haumea and its satellites for years to come.

Best practice models of aged-care implemented for First Nations people: a systematic review aligned with the Good Spirit Good Life quality of life principles

BackgroundAged-care programs that are based in First Nations worldviews are believed to translate to improved quality of life for First Nations Elders. First Nations perspectives of health and well-being incorporates social and cultural determinants in addition to traditional Western biomedical approaches. This is exemplified by the Good Spirit Good Life (GSGL) framework, which comprises 12 strength-based factors determined by First Nations Elders as constituting culturally appropriate ageing. Our objective was to conduct a systematic review of existing aged care models of practice to determine the degree of alignment with the GSGL framework. Recommendations of the national Australian Royal Commission into Aged Care Quality and Safety informed this work.MethodsWe conducted a systematic search of academic and grey literature in the PubMed, Scopus, Ovid Embase, and Informit online databases. Inclusion criteria comprised English language, original research describing the implementation of First Nations culturally appropriate aged care models, published before August 2022. Research that was not focused on First Nations Elders’ perspectives or quality of life was excluded. We subsequently identified, systematically assessed, and thematically analyzed 16 articles. We assessed the quality of included articles using the Aboriginal and Torres Strait Islander Quality Assessment Tool (ATSIQAT), and the Joanna Briggs Institute (JBI) critical appraisal tool for qualitative research.ResultsMost studies were of medium to high quality, while demonstrating strong alignment with the 12 GSGL factors. Nine of the included studies detailed whole service Models of care while 7 studies described a single program or service element. Thematic analysis of included studies yielded 9 enablers and barriers to implementing models of care.ConclusionsBest-practice First Nations aged care requires a decolonizing approach. Programs with strong adherence to the 12 GSGL factors are likely to improve Elders’ quality of life.

Modeling the structure of the dayside Venusian ionosphere: Impacts of protonation and Coulomb interaction

The CO$_2$-dominated thick atmosphere of Venus coexists with an ionosphere that is mainly formed, on the dayside, via the ionization of atmospheric neutrals by solar extreme ultraviolet and soft X-ray photons. Despite extensive modeling efforts that have reproduced the electron distribution reasonably well, we note two main shortcomings with respect to prior studies. The effects of protonation and Coulomb interaction are crucial to unveiling the structure and composition of the Venusian ionosphere. We evaluate the role of protonated species on the structure of the dayside Venusian ionosphere for the first time. We also evaluate the role of ion-ion Coulomb collisions, which are neglected in many existing models. Focusing on the solar minimum condition for which the effect of protonation is expected to be more prominent, we constructed a detailed one-dimensional photochemical model for the dayside Venusian ionosphere, incorporating more than 50 ion and neutral species (of which 17 are protonated species), along with the most thorough chemical network to date. We included both ion-neutral and ion-ion Coulomb collisions. Photoelectron impact processes were implemented with a two-stream kinetic model. Our model reproduces the observed electron distribution reasonably well. The model indicates that protonation tends to diverge the ionization flow into more channels via a series of proton transfer reactions along the direction of low to high proton affinities for parent neutrals. In addition, the distribution of O$_2^+$ is enhanced by protonation by a factor of nearly 2 at high altitudes, where it is efficiently produced via the reaction between O and OH$^+$. We find that Coulomb collisions influence the topside Venusian ionosphere not only directly by suppressing ion diffusion, but also indirectly by modifying ion chemistry. Two ion groups can be distinguished in terms of the effects of Coulomb collisions: one group preferentially produced at high altitudes and accumulated in the topside ionosphere, which is to be compared with another group that is preferentially produced at low altitudes and, instead, depleted in the topside ionosphere. Both protonation and Coulomb collisions have appreciable impacts on the topside Venusian ionosphere, which account for many of the significant differences in the model ion distribution between this study and early calculations.

Low Temperature Combustion Modeling and Predictive Control of Marine Engines

The increase of popularity of reactivity-controlled compression ignition (RCCI) is attributed to its capability of achieving ultra-low nitrogen oxides (NOx) and soot emissions with high brake thermal efficiency (BTE). The complex and nonlinear nature of the RCCI combustion makes it challenging for model-based control design. In this work, a model-based control system is developed to control the combustion phasing and the indicated mean effective pressure (IMEP) of RCCI combustion through the adjustments of total fuel energy and blend ratio (BR) in fuel injection. A physics-based nonlinear control-oriented model (COM) is developed to predict the main combustion performance indicators of an RCCI marine engine. The model is validated against a detailed thermo-kinetic multizone model. A novel linear parameter-varying (LPV) model coupled with a model predictive controller (MPC) is utilized to control the aforementioned parameters of the developed COM. The developed system is able to control combustion phasing and IMEP with a tracking error that is within a 5% error margin for nominal and transient engine operating conditions. The developed control system promotes the adoption of RCCI combustion in commercial marine engines.

Evidence of High-latitude Emission in the Prompt Phase of GRBs: How Far from the Central Engine are the GRBs Produced?

One of the difficulties in nailing down the physical mechanism of gamma-ray bursts (GRBs) comes from the fact that there has been no clear observational evidence on how far from the central engine the prompt gamma rays of GRBs are emitted. Here we present a simple study addressing this question by making use of the “high-latitude emission” (HLE). We show that our detailed numerical modeling exhibits a clear signature of HLE in the decaying phase of “broad pulses” of GRBs. We show that the HLE can emerge as a prominent spectral break in F ν spectra and dominate the peak of ν F ν spectra even while the “line-of-sight emission” (LoSE) is still ongoing. This finding provides a new view of HLE emergence since it has been believed so far that the HLE can show up and dominate the spectra only after the LoSE is turned off. We remark, however, that this “HLE break” can be hidden in some broad pulses, depending on the proximity between the peak energies of the LoSE and the HLE. Therefore, this new picture of HLE emergence explains both the detection and nondetection of HLE signature in observations of broad pulses. Also, we present three examples of Fermi Gamma-ray Burst Monitor GRBs with broad pulses that exhibit the HLE signature. We show that their gamma-ray-emitting region should be located at ∼1016 cm from the central engine, which places a constraint on the GRB models.

AT2022cmc: A Tidal Disruption Event with a Two-component Jet in a Bondi-profile Circumnuclear Medium

A supermassive black hole can launch a relativistic jet when it violently disrupts a star that passes too close. Such jetted tidal disruption events (TDEs) are rare and unique tools to investigate quiescent supermassive black holes, jet physics, and circumnuclear environments at high redshift. The newly discovered TDE AT2022cmc (z ∼ 1.193), providing rich multiband (X-ray, UV, optical, submillimeter, and radio) data, has been interpreted as the fourth on-axis jetted TDE. In this work, we constrain the circumnuclear medium (CNM) density profile with both a closure relation test and detailed forward shock model fit with a Markov Chain Monte Carlo approach to the multiband (optical, submillimeter, and radio) data of AT2022cmc. We find that the CNM density profile of AT2022cmc is n ∝ R −k with k ∼ 1.68, implying a Bondi accretion in history. Furthermore, our model fit result suggests a two-component jet in AT2022cmc, indicating similar jet physics to well-studied jetted TDE Sw J1644+57.

Deep Learning-Based Medical Image Registration Algorithm: Enhancing Accuracy with Dense Connections and Channel Attention Mechanisms

In critical clinical medical image analysis applications, such as surgical navigation and tumor monitoring, image registration is crucial. Recognizing the potential for enhanced accuracy in existing unsupervised image registration techniques for single-modal imagery, this research introduces an innovative deep learning-based image registration algorithm. Its novelty resides in integrating short and long connections to create a densely connected structure, markedly refining the feature map interconnectivity within the U-Net architecture. This advancement addresses the significant semantic gap issues arising from disparities in feature map sampling depths. Moreover, the algorithm incorporates a channel attention mechanism within the U-shaped network's decoder, significantly mitigating image noise and facilitating the generation of smoother deformation fields. This enhancement not only boosts the model's detail sensitivity but also markedly increases image registration precision, particularly evident when processing single-modal brain MRI datasets, thereby proving the algorithm's efficacy and utility. Extensive clinical application-based training and testing have underscored this algorithm's substantial contributions to medical image registration accuracy enhancement. Overall, by leveraging deep learning technologies and innovative algorithmic structures, this study addresses pivotal challenges in medical image registration, offering more precise and dependable support for clinical applications like surgical navigation and tumor surveillance.

Using model-driven engineering to automate software language translation

The porting or translation of software applications from one programming language to another is a common requirement of organisations that utilise software, and the increasing number and diversity of programming languages makes this capability as relevant today as in previous decades. Several approaches have been used to address this challenge, including machine learning and the manual definition of direct language-to-language translation rules, however the accuracy of these approaches remains unsatisfactory. In this paper we describe a new approach to program translation using model-driven engineering techniques: reverse-engineering source programs into specifications in the UML and OCL formalisms, and then forward-engineering the specifications to the required target language. This approach can provide assurance of semantic preservation, and additionally has the advantage of extracting precise specifications of software from code. We provide an evaluation based on a comprehensive dataset of examples, including industrial cases, and compare our results to those of other approaches and tools. Our specific contributions are: (1) Reverse-engineering source programs to detailed semantic models of software behaviour, to enable semantically-correct translations and reduce re-testing costs; (2) Program abstraction processes defined by precise and explicit rules, which can be edited and configured by users; (3) A set of reusable OCL library components appropriate for representing program semantics, and which can also be used for OCL specification of new applications; (4) A systematic procedure for building program abstractors based on language grammars and semantics.