Reactive systems (RSs) represent a meta-framework aimed at deriving behavioral congruences for those computational formalisms whose operational semantics is provided by reduction rules. RSs proved a flexible specification device, yet so far most of the efforts dealing with their behavioural semantics focused on idem pushouts (IPOs) and saturated (also known as dynamic) bisimulations. In this pa...

This paper presents a regularization technique for the high order efficient numerical evaluation of nearly singular, principal-value, and finite-part Cauchy-type integral operators. By relying on Cauchy formula, Cauchy-Goursat theorem, on-curve Taylor interpolations input density, proposed methodology allows to recast associated operators as smooth contour integrals. As such, they can be accura...

An enormous variety of nonlinear differential equations and functions have been recast exactly in the canonical form called an S-system. This is a system of nonlinear ordinary differential equations, each with the same structure: the change in a variable is equal to a difference of products of power-law functions. We review the development of S-systems, prove that the minimum for the range of e...

In statistical mechanics, it is well known that finite-state classical lattice models can be recast as quantum models, with distinct classical configurations identified with orthogonal basis states. This mapping makes classical statistical mechanics on a lattice a special case of quantum statistical mechanics, and classical combinatorial entropy a special case of quantum entropy. In a similar m...

To suppress methanol crossover in direct methanol fuel cells DMFCs , a Nafion-Bi2V0.75Sb0.25O5.4 composite membrane was prepared by recast method. Oxygen-ion conductive Bi2V0.75Sb0.25O5.4 powders were highly dispersed in a Nafion 117 membrane to physically block methanol crossover and/or chemically oxidize the methanol, which was confirmed by the difference in the methanol diffusion coefficient...

We recast parts of decision theory in terms of channel theory concentrating on qualitative issues. Channel theory allows one to move between model theoretic and language theoretic notions as is necessary for an adequate covering. Doing so clarifies decision theory and presents the opportunity to investigate alternative formulations. As an example, we take some of Savage’s notions of decision th...

The effort–motion method, which describes the dynamics of openand closed-chain topologies of rigid bodies interconnected with revolute and prismatic pairs, is interpreted geometrically. Systems are identified for which the simultaneous control of forces and velocities is desirable, and a representative open-chain system is selected for use in the ensuing analysis. Gauge invariant transformation...

Abstract In this research, the environment-friendly dry electrical discharge machining (EDM) process is investigated to improve microhardness, surface finish, and white layer thickness of machined surfaces using graphite-argon gas as a dielectric medium. The graphite powder, mixed with compressed argon gas, has been used replace existing medium in EDM process. Gas pressure, current, pulse width...