It is known that the satisfiability problem for equations over free partially commutative monoids is decidable but computationally hard. In this paper we consider the satisfiability problem for equations over free partially commutative monoids under the constraint that the solution is a subset of the alphabet. We prove that this problem is NP-complete for quadratic equations and that its unifor...

A correlation based on the general form of cubic equations of state has been derived. This equation provides a convenient mathematical form of the Joule-Thomson coefficient in terms of the state variable V and T. The Joule-Thomson coefficient calculated by this correlation has been compared with experimental data. It has been shown that the Redilich-Kwang equation of state is a suitable equ...

In this paper, an energy management strategy is proposed for a series plug-in hybrid electric vehicle. A number of quadratic equations are employed to determine the engine fuel-rate with respect to battery power. The problem is solved by using quadratic programming and simulated annealing method together to find the optimal battery power commands and the engine-on power. The influences induced ...

This paper introduces an online and intelligent energy management controller to improve the fuel economy of a power-split plug-in hybrid electric vehicle (PHEV). Based on analytic analysis between fuelrate and battery current at different driveline power and vehicle speed, quadratic equations are applied to simulate the relationship between battery current and vehicle fuel-rate. The power thres...

A construction is given for a planar rational Pythagorean hodograph spiral which interpolates any two-point G Hermite data that a spiral can match. When the curvature at one of the points is zero, the construction gives the unique interpolant that is the involute of a rational Pythagorean hodograph curve of the form cubic over linear. Otherwise, the spiral comprises an involute of a Tschirnhaus...

This paper considers an MIG/c queueing system serving a finite number (J) of distinct customer classes. Performance of the system, as measured by the vector of steady-state xpected waiting times of the customer classes (the performance vector), may be controlled by adopting an appropriate priority discipline. We show that the performance space, the set of performance vectors which are achievabl...

Subspace identification methods produce unreliable model estimates when a small number of noisy measurements are available. In such cases, the accuracy of the estimated parameters can be improved by using prior knowledge about the system. The prior knowledge considered in this paper is constraints on the impulse response, e.g., steady-state gain, overshoot, and rise time. The method proposed ha...

based on the carnahan and starling hard sphere equation of compressibility, an equation of state has been derived. conditions that must be met by all equations of state are applied in order to obtain attractive term or non - ideal compressibility term of the equation. second virial coefficient and acentric factor arc used in the derivation of the equation of state. in this equation, compressibi...