Results 81 to 90 of about 1,068 (262)
A Duality Theorem for Quantitative Semantics
Electronic Notes in Theoretical Computer Science, 2009 AbstractThis paper mainly studies quantitative possibility theory in the framework of domain. Using Sugeno's integral and the notion of module a duality theorem is obtained between the extended possibilistic powerdomain over a continuous domain X and the extended fuzzy predicates on X.
Hengyang Wu, Yixiang Chen 0001
openaire +1 more source
Investigation on tunnel stability considering pipe‐roof support with transparent soil technology
Deep Underground Science and Engineering, EarlyView.This study integrates transparent soil technology, 3D reconstruction and numerical simulation to captures the full‐field deformation of shield tunnel instability. Results demonstrate that pipe‐roof support enhances stability via the “soil‐arching barrier effect,” effectively restraining failure wedge development by extending stress transfer paths ...
Zhi Jia +4 more
wiley +1 more source
Deep Underground Science and Engineering, EarlyView.This study proposes an eco‐friendly coal permeability enhancement technique by utilizing mine waste gangue as an abrasive in high‐pressure water jets. Integrating erosion experiments with smoothed particle hydrodynamics‐finite element method coupled simulations, the research study elucidates the flow field dynamics and a nonlinear solid–liquid ...
Qingxiang Wang +4 more
wiley +1 more source
Deep Underground Science and Engineering, EarlyView.The graphical abstract presents a steel segment–anchorage support system for open TBM tunnels under extremely intense rockburst conditions. The steel segment resists dynamic impact, while the anchorage structure restrains segment deformation and transfers loads into the rock.
Zhijun Li +4 more
wiley +1 more source
Electrica, 2003 Sufficient condition for optimality is derived for the problem under consideration on the basis of the apparatus of locally conjugate mappings,and duality theorems are proved.A sufficient condition for an extremum is an extremal relation for the direct ...
E. N. MAHMUDOV
doaj +2 more sources
Remark on the Poincaré duality theorem [PDF]
Proceedings of the American Mathematical Society, 1962 Here 77* (X) denotes the integral homology of X; Zp denotes the integers mod p. Similar results to these have been obtained by M. Rueff [4] using Seifert's "Linking invariant" [5].2 C. T. C. Wall [7] has also studied a similar situation. Our methods have similarity to theirs, but use of the Bockstein spectral sequence instead of more conventional ...
openaire +1 more source
Geological Journal, EarlyView.This work advances landslide susceptibility mapping by incorporating short‐term trigger data with landscape susceptibility mapping. We also examine the importance of downsampling, watershed delineation and geospatial correlations in evaluating outcomes.
Kanta Kotsugi +3 more
wiley +1 more source
Impact of Geography on Institutions in Agricultural and Nomadic Societies
International Studies of Economics, EarlyView.ABSTRACT How geography affects the choice of institutions is studied in a theoretical model. In this model, nations are located around a circle. Rulers compete through choosing tax rates, the level of military spending, and the degree of formality of institutions. Geographic condition is captured by population density.
Haiwen Zhou
wiley +1 more source
Catalan Bounds for Symmetric Strength‐Two Orthogonal Arrays
Journal of Combinatorial Designs, EarlyView.ABSTRACT A Hamming shell construction is a two‐level array obtained by taking every binary vector of a given Hamming weight a prescribed number of times, for each weight in turn. Such arrays are invariant under all permutations of the factors, and they are strength‐two orthogonal arrays exactly when the multiplicities satisfy three linear constraints ...
Ruwan C. Karunanayaka
wiley +1 more source
A duality theorem for linear congruences
Discrete Applied Mathematics, 1984 AbstractAn analogous duality theorem to that for Linear Programming is presented for systems of linear congruences. It is pointed out that such a system of linear congruences is a relaxation of an Integer Programming model (for which the duality theorem does not hold). Algorithms are presented for both the resulting primal and dual problems.
openaire +3 more sources