On abstract resource semantics and computability logic

We show that the uniform validity is equivalent to the non-uniform validity for Blass' semantics of [A. Blass, A game semantics for linear logic, Ann. Pure Appl. Logic 56 (1992) 183–220]. We present a shorter proof (than that of [G. Japaridze, The intuitionistic fragment of computability logic at the propositional level, Ann. Pure Appl. Logic 147 (3) (2007) 187–227]) of the completeness of the positive fragment of intuitionistic logic for this semantics, computability logic semantics, and the abstract resource semantics.     

Automotive Powertrain Control — A Survey

This paper surveys recent and historical publications on automotive powertrain control. Control‐oriented models of gasoline and diesel engines and their aftertreatment systems are reviewed, and challenging control problems for conventional engines, hybrid vehicles and fuel cell powertrains are discussed. Fundamentals are revisited and advancements are highlighted. A comprehensive list of references is provided.     

Tracking in a class of nonminimum-phase systems with nonlinear internal dynamics via sliding mode control using method of system center

A method of asymptotic output tracking in a class of causal nonminimum-phase uncertain nonlinear systems is considered. Local asymptotic stability of output tracking-error dynamics are provided for the specified class of systems with the nonlinear hyperbolic at the origin internal dynamics forced by a reference output profile and external disturbances defined by a known linear exosystem. The nonlinear vector field of the internal dynamics is expanded in a power series, obtained at a selected operational point in the internal dynamics state space. The presented technique employs some linear algebraic methods and sliding mode control approach. The solution is a complete constructive algorithm.     

Synthesis, Crystal Growth, and Acoustophotovoltaic Effect of TlIn1 – x Pr x Se2 and TlIn1 – x Pr x Te2

Procedures were developed for growing perfect TlIn_{1 – x} Pr _x Se₂ and TlIn_{1 – x} Pr _x Te₂ (0 x 0.08) single crystals. The growth charges were synthesized by a process involving partial cooling of a tilted, rotating tube. The crystals grown by the floating zone technique were found to readily cleave in two, mutually perpendicular mirror planes to give rectangular parallelepipeds. The crystals were shown to exhibit a sizeable acoustophotovoltaic effect: a combined action of radiation and sound waves produced an emf between the electrodes or a short-circuit current.     

Optical transmission of blood: effect of erythrocyte aggregation

The influence of red blood cell (RBC) aggregation on transparency of blood in the red-near infrared spectral range is investigated. We argue that for relatively thin blood layers the light diffraction on aggregates becomes the dominant phenomenon. The nature of pulsatile changes of blood transparency is explained by pulsations of RBC aggregate size. For another case of over-systolic vessel occlusion the following time evolution of blood transparency strongly depends on light wavelength. This dependence may serve as a basis for an alternative approach to noninvasive blood tests: occlusion spectroscopy. Theoretical results well correspond to both in vivo and in vitro measurements reproducing pulsatile blood flow and long occlusion as well.     

Fourier fringe analysis with improved spatial resolution

The spatial resolution of the phase image derived from the interferogram by Fourier fringe analysis is limited by the necessity to isolate a first order in the Fourier plane. By use of the two complementary outputs of the interferometer, it is possible to eliminate the zero order and thus to improve the spatial resolution by a factor of approximately 2. The theory of this improvement is presented and confirmed experimentally.