proven theorem
Recently Published Documents


TOTAL DOCUMENTS

4
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

2020 ◽  
Vol 18 (04) ◽  
pp. 2050019
Author(s):  
K. G. Kulikov ◽  
T. V. Koshlan

A new method has been introduced which allows us to determine the stability of protein complexes with point changes of amino acid residues that also take into account the three-dimensional structure of the complex. This formulated and proven theorem is aimed at determining the criterion for the stability of protein molecules. The algorithm and software package were developed for analyzing protein interactions, taking into account their three-dimensional structure from the PDB database.


Symmetry ◽  
2019 ◽  
Vol 11 (10) ◽  
pp. 1301 ◽  
Author(s):  
Vladimir S. Kulabukhov

The problem of determining inverses for maps in commutative diagrams arising in various problems of a new paradigm in algebraic system theory based on a single principle—the general principle of isomorphism is considered. Based on the previously formulated and proven theorem of realization, the rules for determining the inverses for typical cases of specifying commutative diagrams are derived. Simple examples of calculating the matrix maps inverses, which illustrate both the derived rules and the principle of relativity in algebra based on the theorem of realization, are given. The examples also illustrate the emergence of new properties (emergence) in maps in commutative diagrams modeling (realizing) the corresponding systems.


Algorithms ◽  
2019 ◽  
Vol 12 (5) ◽  
pp. 101
Author(s):  
Manuel Schimmack ◽  
Paolo Mercorelli

This paper deals with an approximation of a first derivative of a signal using a dynamic system of the first order. After formulating the problem, a proposition and a theorem are proven for a possible approximation structure, which consists of a dynamic system. In particular, a proposition based on a Lyapunov approach is proven to show the convergence of the approximation. The proven theorem is a constructive one and shows directly the suboptimality condition in the presence of noise. Based on these two results, an adaptive algorithm is conceived to calculate the derivative of a signal with convergence in infinite time. Results are compared with an approximation of the derivative using an adaptive Kalman filter (KF).


We bring together and discuss a number of exact relationships in two-dimensional (or plane) elasticity, that are useful in studying the effective elastic constants and stress fields in two-dimensional composite materials. The first of these dates back to Michell (1899) and states that the stresses, induced by applied tractions, are independent of the elastic constants in a two-dimensional material containing holes. The second involves the use of Dundurs constants which, for a composite consisting of two isotropic elastic phases, reduce the dependence of stresses on the elastic constants from three independent dimensionless parameters to two. It is shown that these two results are closely related to a recently proven theorem by Cherkaev, Lurie and Milton, which we use to show that the effective Young’s modulus of a sheet containing holes is independent of the Poisson’s ratio of the matrix material. We also show that the elastic moduli of a composite can be found exactly if the shear moduli of the components are all equal; a previously known result. We illustrate these results with computer simulations, where appropriate. Finally we conjecture on generalizations to multicomponent composite materials and to situations where the bonding between the phases is not perfect.


Sign in / Sign up

Export Citation Format

Share Document