In this paper an approach for robust anti-windup compensation design for multivariable controllers based on the characterization of H2-H∞ norms as Linear Matrix Inequalities (LMI) is presented. The method consider a mix of H2-H∞ performance indexes on the transfer functions of the disturbances to the controlled output, and of the actuator output signal to the controller output signal. The contr...

We evaluated three mathematical procedures to estimate the parameters of the relationship between weight and length for Cichla monoculus: least squares ordinary regression on log-transformed data, non-linear estimation using raw data and a mix of multivariate analysis and fuzzy logic. Our goal was to find an alternative approach that considers the uncertainties inherent to this biological model...

The notion of proof-net category defined in this paper is closely related to graphs implicit in proof nets for the multiplicative fragment without constant propositions of linear logic. Analogous graphs occur in Kelly’s and Mac Lane’s coherence theorem for symmetric monoidal closed categories. A coherence theorem with respect to these graphs is proved for proof-net categories. Such a coherence ...

Yoghurt is a unique fermented dairy product, consumed throughout the world and the trend ofconsumption is increasing due to its unique health benefits. Yoghurt mix is often supplemented with MSNF(milk solids-non-fat), it may contain as much as 5.7% unhydrolysed lactose. Lactose can be hydrolysed withan enzyme lactase. Deficiency of lactase in lactose-intolerant persons leads to gastrointestinal...

We reexamine the foundations of linear logic, developing a system of natural deduction following Martin-Löf’s separation of judgments from propositions. Our construction yields a clean and elegant formulation that accounts for a rich set of multiplicative, additive, and exponential connectives, extending dual intuitionistic linear logic but differing from both classical linear logic and Hyland ...

Linear integer constraints are one of the most important constraints in combinatorial problems since they are commonly found in many practical applications. Typically, encoding linear constraints to SAT performs poorly in problems with these constraints in comparison to constraint programming (CP) or mixed integer programming (MIP) solvers. But some problems contain a mix of combinatoric constr...

rutting of hot mix asphalt pavements due to increased number of heavy vehicles, especially in tropical regions, causes several performance problems. large stone asphalt mixtures have more stiffness and shear resistance and so more rutting resistance compared to conventional mixtures. hence, using these mixtures in thick layers of hot mix asphalt pavements at tropical regions could be an appropr...

The notion of proof-net category defined in this paper is closely related to graphs implicit in proof nets for the multiplicative fragment without constant propositions of linear logic. Analogous graphs occur in Kelly’s and Mac Lane’s coherence theorem for symmetric monoidal closed categories. A coherence theorem with respect to these graphs is proved for proof-net categories. Such a coherence ...

A frequency-domain parametric method for transcoding first-order B-format signals to a binaural format is introduced. The method provides better spatial sharpness than linear methods allow. A high angular resolution planewave decomposition of the B-format establishes two independent direction estimates per time/frequency bin. This alleviates the requirement that the sound sources in a mix are W...

We consider a class of graphs embedded in R2 as noncommutative proof-nets with an explicit exchange rule. We give two characterization of such proof-nets, one representing proof-nets as CW-complexes in a two-dimensional disc, the other extending a characterization by Asperti. As a corollary, we obtain that the test of correctness in the case of planar graphs is linear in the size of the data. B...