Results 61 to 70 of about 11,806,111 (314)
Matching concepts across HOL libraries [PDF]
, 2014 Many proof assistant libraries contain formalizations of the same mathematical concepts. The concepts are often introduced (defined) in different ways, but the properties that they have, and are in turn formalized, are the same.
C So +14 more
core +2 more sources
Current Tracking Adaptive Control of Brushless DC Motors
International Journal of Adaptive Control and Signal Processing, EarlyView.In this paper, the current tracking for Brushless Direct Current motors is approached considering uncertainty in the parameters of the motor's model. An adaptive control scheme to compensate electrical parameters uncertainty is proposed without requiring any knowledge of the mechanical parameters.
Fernanda Ramos‐García +3 more
wiley +1 more source
A Penetrating-Anchoring Mathematical Model for the Soft Asteroid Anchoring System
International Journal of Aerospace Engineering, 2021 The asteroid landing mechanism is necessary to be anchored to avoid flowing away. At present, the study on the anchoring system is mainly focused on the mechanical design, but there are few researches on the penetrating or anchoring mathematical model ...
Zhijun Zhao, Shuang Wang, Jingdong Zhao
doaj +1 more source
The Burr XII-Burr XII Distribution: Mathematical Properties and Characterizations [PDF]
, 2019 We introduce a new continuous distribution called the Burr XII-Burr XII distribution. Some of its properties are derived. The method of maximum likelihood is used to estimate the unknown parameters.
Gad, Ahmed M. +3 more
core +1 more source
International Journal of Adaptive Control and Signal Processing, EarlyView.This work introduces an adaptive human pilot model that captures pilot time‐delay effects in adaptive control systems. The model enables the prediction of pilot–controller interactions, facilitating safer integration and improved design of adaptive controllers for piloted applications.
Abdullah Habboush, Yildiray Yildiz
wiley +1 more source
Mathematical Properties of the Hyperbolicity of Circulant Networks
Advances in Mathematical Physics, 2015 If X is a geodesic metric space and x1,x2,x3∈X, a geodesic triangle T={x1,x2,x3} is the union of the three geodesics [x1x2], [x2x3], and [x3x1] in X.
Juan C. Hernández +2 more
doaj +1 more source
Modeling of strain and filtration properties of a semi-finished leather product
Journal of Leather Science and Engineering, 2021 A study on deformation and filtration properties of a leather semi-finished product after chrome tanning are presented. The analytical dependences of compressive load on compressive (recovery) strain and moisture content of a leather semi-finished ...
A. Amanov +4 more
doaj +1 more source
The Luttinger model: its role in the RG-theory of one dimensional many body Fermi systems
, 2000 The Luttinger model was introduced to illustrate the theory of Tomonaga via an exactly soluble model. It became soon the subject of great interest also on the part of Mathematical Physics and a key to the investigations of the mathematical properties of ...
Gallavotti, Giovanni
core +2 more sources
Bond Additive Modeling 5. Mathematical Properties of the Variable Sum Exdeg Index
, 2011 Recently, discrete and variable Adriatic indices have been introduced and it has been shown that the sum α -exdeg index is good predictor (when variable parameter is equal to 0.37 ) of the octanol-water partition coefficient for octane isomers.
D. Vukičević
semanticscholar +1 more source
Advanced Engineering Materials, EarlyView.Laser surface texturing significantly improves the corrosion resistance and mechanical strength of 3D‐printed iron polylactic acid (Ir‐PLA) for marine applications. Optimal laser parameters reduce corrosion by 80% and enhance tensile strength by 25% and ductility by 15%.
Mohammad Rezayat +6 more
wiley +1 more source