نتایج جستجو برای: strong binary relation

تعداد نتایج: 762501  

جسور, داوود, زاهدی, مهدی,

 Magnetic activity of one or both components of close binary systems can cause orbital period variation of the systems.Variation in gravitational quadropole moment will change the orbital period of the systems. In this article, we suppose that magnetic field is poloidal-troidal according to dynamo theory, and finds its relation with period change in the systems.

1993
Paolo Atzeni Luca Cabibbo Giansalvatore Mecca

The IsaLog model and language are presented. The model has complex objects with classes, relations, and isa hierarchies. The language is strongly typed and declarative. The main issue is the de nition of the semantics of the language, given in three di erent ways, shown to be equivalent: a model-theoretic semantics, a reduction to logic programming with function symbols, and a xpoint semantics....

2012
Robert J. Woodward Shant Kirakos Karakashian Berthe Y. Choueiry Christian Bessiere

Our goal is to investigate the definition and application of strong consistency properties on the dual graphs of binary Constraint Satisfaction Problems (CSPs). As a first step in that direction, we study the structure of the dual graph of binary CSPs, and show how it can be arranged in a triangle-shaped grid. We then study, in this context, Relational Neighborhood Inverse Consistency (RNIC), w...

1993
Paolo Atzeni Luca Cabibbo Giansalvatore Mecca

The IsaLog: model and language are presented. The model has complex objects with classes, relations, and isa hierarchies. The language is strongly typed and declarative. The main issue is the de nition of the semantics of the IsaLog: language. The novel features are mostly due to the interaction of hierarchies with negation in the body of rules. Two semantics are presented and shown to be equiv...

2003

High Reynolds number turbulent flows of incompressible fluids in plane channels and annuli are simulated using a finite difference procedure which integrates the NavierStokes equations in time and in three-dimensional space. This paper describes the finite difference procedure and the subgrid scale (SGS) motion model. The model differs from earlier ones in the following points. The finite diffe...

2018
Wenqiang Lei Yuanxin Xiang Yuwei Wang Qian Zhong Meichun Liu Min-Yen Kan

Modern solutions for implicit discourse relation recognition largely build universal models to classify all of the different types of discourse relations. In contrast to such learning models, we build our model from first principles, analyzing the linguistic properties of the individual top-level Penn Discourse Treebank (PDTB) styled implicit discourse relations: Comparison, Contingency and Exp...

2001
Apoloniusz Tyszka

A stronger form of the theorem constructing a rigid binary relation on any set Apoloniusz Tyszka Summary. On every set A there is a rigid binary relation i.e. such a relation R ⊆ A × A that there is no homomorphism A, R → A, R except the identity (Vopěnka et al. [1965]). We prove that for each infinite cardinal number κ if card A ≤ 2 κ , then there exists a relation R ⊆ A × A with the following...

Journal: :Physics of Plasmas 2021

Binary complex plasmas consist of microparticles two different species and can form two-dimensional square lattices under certain conditions. The dispersion relations the lattice waves are derived for longitudinal transverse in-plane modes, assuming that out-of-plane mode is suppressed by strong vertical confinement. results compared with spectra obtained in Langevin dynamics simulations. Furth...

2014
Sanja Jančić-Rašović

The association between hyperstructures and binary relations had been intensively studied 5,6,10,11,2,4,20 . Chvalina 5,6 and Hort 2 use ordered structures for the construction of semigroups and hypergroups. Rosenberg 4 associated with any binary relation of full domain, a hypergroupoid and found conditions on , such that is a hypergroup. Corsini and Leoreanu 16 study hypergroups and binary rel...

2016
TSUYOSHI ANDO Takayuki Furuta T. ANDO

It is well-known that for Hilbert space linear operators 0 ≤ A and 0 ≤ C, inequality C ≤ A does not imply C ≤ A. We introduce a strong order relation 0 ≤ B≪ A, which guarantees that C ≤ BAB for all 0 ≤ C ≤ B, and that C ≤ A when B commutes with A. Connections of this approach with the arithmetic-geometric mean inequality of Bhatia–Kittaneh as well as the Kantorovich constant of A are mentioned.

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید