We summarize some recent results showing how the lambdacalculus may be obtained by considering the metric completion (with respect to a suitable notion of distance) of a space of affine lambda-terms, i.e., lambda-terms in which abstractions bind variables appearing at most once. This formalizes the intuitive idea that multiplicative additive linear logic is “dense” in full linear logic (in fact...

This paper is focused on a novel design of stepped diaphragm for MEMS capacitive pressure sensor used in tire pressure monitoring system. The structure of sensor diaphragm plays a key role for determining the sensitivity of the sensor and the non-linearity of the output.First the structures of two capacitive pressure sensors with clamped square flatdiaphragms, with different thicknesses are inv...

This paper investigates two class of Schrödinger equations with mixed source terms, containing, respectively, a local/non-local non-linearity and an inhomogeneous perturbation. In the energy sub-critical regime, one obtains some sharp thresholds global/non-global existence dichotomy.

tac (time to amplitude convertor) is one of the most important time measurement instrumentswhich has great significance in many fields of science, especially radiation physics. a tac unit has beendesigned based on the start-stop analog method and nim (nuclear instrument modules) standards. afterdesigning the circuit, it was simulated by pspice software and constructed by discrete and integrated...

the rational expectations permanent income hypothesis implies that consumption follows a martingale. however, most empirical tests have rejected the hypothesis. those empirical tests are based on linear models. if the data generating process is non-linear, conventional tests may not assess some of the randomness properly. as a result, inference based on conventional tests of linear models can b...