This theoretical study shows the technical feasibility of self-powered geothermal desalination of groundwater sources at <100 °C. A general method and framework are developed and then applied to specific case studies. First, the analysis considers an ideal limit to performance based on exergy analysis using generalised idealised assumptions. This thermodynamic limit applies to any type of proce...

Dualizing marked Petri nets results in tokens for transitions (t-tokens). A marked transition can strictly not be enabled, even if there are sufficient ”enabling” tokens (p-tokens) on its input places. On the other hand, t-tokens can be moved by the firing of places. This permits flows of t-tokens which describe sequences of non-events. Their benefit to simulation is the possibility to model (a...

Let $R$ be a ring and $M$ a right $R$-module with $S=End_R(M)$. A module $M$ is called semi-projective if for any epimorphism $f:Mrightarrow N$, where $N$ is a submodule of $M$, and for any homomorphism $g: Mrightarrow N$, there exists $h:Mrightarrow M$ such that $fh=g$. In this paper, we study SGQ-projective and $pi$-semi-projective modules as two generalizations of semi-projective modules. A ...

We give a close formula for the N\'eron-Tate height of tautological integral cycles on Jacobians curves over number fields as well new lower bound arithmetic self-intersection $\hat{\omega}^2$ dualizing sheaf curve in terms Zhang's invariant $\varphi$. As an application, we obtain effective Bogomolov-type result cycles. deduce these results from more general combinatorial computation intersecti...

A new self-powered and sensing semi-active control system based on magnetorheological (MR) damper is presented. The system includes four key parts: a rack and pinion mechanism, a linear permanent magnet DC generator, a current adjustment MR damper, and a control circuit. Numerical simulations for seismic protection of elevated bridges equipped with this system excited by two historical earthqua...

In this paper, we describe new methods to compute the radical (resp. real radical) of an ideal, assuming it complex (resp. real) variety is finte. The aim is to combine approaches for solving a system of polynomial equations with dual methods which involve moment matrices and semi-definite programming. While the border basis algorithms of [17] are efficient and numerically stable for computing ...