Low-complexity first-order constraint linearization methods for efficient nonlinear MPC

2017 ◽  
Author(s):  
Giampaolo Torrisi ◽  
Sergio Grammatico ◽  
Damian Frick ◽  
Tommaso Robbiani ◽  
Roy S. Smith ◽  
...  
Keyword(s):  
Low Complexity ◽  
First Order ◽  
Linearization Methods ◽  
Order Constraint

scholarly journals Theory of finite or infinite trees revisited

2008 ◽  
Vol 8 (04) ◽  
pp. 431-489 ◽  
Author(s):  
KHALIL DJELLOUL ◽  
THI-BICH-HANH DAO ◽  
THOM FRÜHWIRTH
Keyword(s):  
Constraint Satisfaction ◽  
Decision Procedure ◽  
Constraint Satisfaction Problem ◽  
Free Variable ◽  
Constraint Solver ◽  
First Order ◽  
Infinite Trees ◽  
Order Constraint ◽  
Infinite Set ◽  
Rewriting Rules

AbstractWe present in this paper a first-order axiomatization of an extended theoryTof finite or infinite trees, built on a signature containing an infinite set of function symbols and a relationfinite(t), which enables to distinguish between finite and infinite trees. We show thatThas at least one model and prove its completeness by giving not only a decision procedure, but a full first-order constraint solver that gives clear and explicit solutions for any first-order constraint satisfaction problem inT. The solver is given in the form of 16 rewriting rules that transform any first-order constraintinto an equivalent disjunction φ of simple formulas such that φ is either the formulatrueor the formulafalseor a formula having at least one free variable, being equivalent neither totruenor tofalseand where the solutions of the free variables are expressed in a clear and explicit way. The correctness of our rules implies the completeness ofT. We also describe an implementation of our algorithm in CHR (Constraint Handling Rules) and compare the performance with an implementation in C++ and that of a recent decision procedure for decomposable theories.

Experimental analysis on mechanical properties of BF/PLA composites and its lightweight design on power battery box

2021 ◽  
pp. 095440702110658
Author(s):  
Ying Zhao ◽  
Siqi Zheng ◽  
Minghan Yan ◽  
Xuanming Liu ◽  
Binlin Wang ◽  
...  
Keyword(s):  
Mechanical Properties ◽  
Working Conditions ◽  
Lightweight Design ◽  
Mechanical Shock ◽  
First Order ◽  
Automotive Components ◽  
Power Battery ◽  
Element Simulation ◽  
Order Constraint ◽  
Modal Vibration

In response to the concept of energy conservation and environmental protection, a novel composite battery box with BF/PLA composite is proposed. Firstly, the mechanical properties of BF/PLA composite are tested, and it is concluded that the property parameters of BF/PLA composite with 50% BF mass fraction is selected as the material property parameter of subsequent finite element simulation. Subsequently, the statics analysis and constraint modal analysis of the traditional metal battery box are carried out under the typical working conditions of rapid turning and braking under vertical bumping. Based on this, the upper and lower box materials of the battery box except the bracket are replaced by BF/PLA composite. The morphology optimization, topology optimization and free size optimization are carried out with the constraint that the first-order modal vibration frequency is no less than 30 Hz. Compared with the traditional metal battery box, the stiffness and strength of the optimized BF/PLA composite battery box are significantly enhanced. Moreover, the first-order constraint modal frequency increases by 15.5%, and the comprehensive weight reduction ratio reaches 40.88%. Finally, the optimized BF/PLA composite battery box is verified under random vibration, mechanical shock analysis, collision analysis, extrusion and falling ball analysis and drop analysis conditions. Meanwhile, compared with the traditional metal battery box under the same working conditions, the excellent reliability of the composite battery box is highlighted. The proposed BF/PLA composite battery box satisfies the requirements of stiffness and strength performances under various working conditions, which provides theoretical and data support for the application of composite materials in battery box and other automotive components.

Theoretical and mathematical conditions for use of linearization methods for saturation-type radioassay data.

1982 ◽  
Vol 28 (5) ◽  
pp. 1196-1197
Author(s):  
W Shaw
Keyword(s):  
Mass Action ◽  
Affinity Constant ◽  
Mathematical Basis ◽  
Saturation Condition ◽  
First Order ◽  
Linearization Methods ◽  
Mass Action Law

Abstract The algebraic equivalency of nine different methods for the linearization of saturation-type radioassay data was previously demonstrated mathematically to hold under the assumption that the antibody is saturated with ligand. Although compete saturation with antibody never occurs, a good approximation to a saturation condition occurs when the product of the labeled ligand and the affinity constant is 100 or more. The mathematical basis for determining when methods for the linearization of saturation-type radioassay data are valid is derived from a development of the first-order mass action law applied to ligand-antibody reactions.

scholarly journals New Iterative Method for Estimation of Carrier Frequency in Multicarrier Systems

2019 ◽  
Vol 01 (01) ◽  
pp. 24-30 ◽  
Author(s):  
Ramadhan Masmoudi
Keyword(s):  
Carrier Frequency ◽  
Carrier Frequency Offset ◽  
Low Complexity ◽  
Frequency Division ◽  
Multiple Systems ◽  
Multicarrier Systems ◽  
First Order ◽  
Present Simulation ◽  
New Iterative Method ◽  
Taylor’S Series

The key problem for OFDM (Orthogonal Frequency Division Multiple) systems is who to Estimate carrier frequency offset (CFO) with reduced complexity and acceptable performance. The CFO must be compensated before DFT (Discrete Fourier Transform) in order to restore data correctly and enhance the system performance. This paper, present a low complexity estimator of CFO with Semi-Blind (SB) criterion based on pilot tones and on virtual subcarriers, and with the aid of subspace based method. However, MUSIC and ESPRIT based semi-blind algorithms require a highly computational complexity. To overcome this drawback, we use Taylor’s series for the first order as developed in [1]. The present methods developed in this paper are very suitable for Multi- Carrier (MC) systems when the CFO are present. Simulation results demonstrated that the semi-blind (SB) approach outperforms the blind-based approach.

Sign in / Sign up

Export Citation Format

Share Document