Results 31 to 40 of about 739,145 (318)
Loop Leaping with Closures [PDF]
, 2012 Loop leaping is the colloquial name given to a form of program analysis in which summaries are derived for nested loops starting from the innermost loop and proceeding in a bottom-up fashion considering one more loop at a time.
Sebastian Biallas +7 more
core +1 more source
Predictive Control for a Wave-Energy Converter Array Based on an Interconnected Model
Journal of Marine Science and Engineering, 2022 This paper proposes a model predictive control (MPC) method based on an interconnected model to maximize the ocean wave energy extracted by a wave-energy converter (WEC) array. In the proposed method, a formally uniform interconnected model is applied to
Bo Zhang +5 more
doaj +1 more source
Loop Models and K-Theory [PDF]
Symmetry, Integrability and Geometry: Methods and Applications, 2018 This is a review/announcement of results concerning the connection between certain exactly solvable two-dimensional models of statistical mechanics, namely loop models, and the equivariant $K$-theory of the cotangent bundle of the Grassmannian. We interpret various concepts from integrable systems ($R$-matrix, partition function on a finite domain) in ...
openaire +4 more sources
The FALC-Loop web server for protein loop modeling [PDF]
Nucleic Acids Research, 2011 The FALC-Loop web server provides an online interface for protein loop modeling by employing an ab initio loop modeling method called FALC (fragment assembly and analytical loop closure). The server may be used to construct loop regions in homology modeling, to refine unreliable loop regions in experimental structures or to model segments of designed ...
Junsu Ko +5 more
openaire +2 more sources
Energies, 2023 The present paper investigates two different strategies for model-based calibration and control of tailpipe nitrogen oxide emissions in a light-duty 3.0 L diesel engine equipped with an aftertreatment system (ATS).
Stefano d’Ambrosio +2 more
doaj +1 more source
DSP Processer-in-the-Loop Tests Based on Automatic Code Generation
Inventions, 2022 The digital signal processing (DSP) processor-in-the-loop tests based on automatic code generation technology are studied. Firstly, the idea of model-based design is introduced, and the principle and method of embedded code automatic generation ...
Qi Zhang, Wenhui Pei
doaj +1 more source
Loops in the curvature matrix model [PDF]
Physics Letters B, 1992 Macroscopic loop correlators are investigated in the hermitian one matrix model with the potential perturbed by the higher order curvature term. In the phase of smooth surfaces the model is equivalent to the minimal conformal matter coupled to gravity. The properties of the model in the intermediate phase are similar to that of the discretized bosonic ...
openaire +2 more sources
, 2011 Proteins fold from a highly disordered state into a highly ordered one. Traditionally, the folding problem has been stated as one of predicting "the" tertiary structure from sequential information. However, new evidence suggests that the ensemble of unfolded forms may not be as disordered as once believed, and that the native form of many proteins may ...
openaire +2 more sources
MIL and SIL and PIL tests for MPPT algorithm
Cogent Engineering, 2017 This paper presents guidelines to develop the Maximum Power Point Tracking controller, as developed in the automotive and aeronautical applications, this by following the V-cycle development process, which means that our controller will be validated by ...
Saad Motahhir +3 more
doaj +1 more source
Applied Sciences, 2020 The energy management strategy (EMS) or power management strategy (PMS) unit is the core of power sharing control in the hybridization of automotive drivetrains in hybrid electric vehicles (HEVs).
Majid Vafaeipour +5 more
doaj +1 more source