scholarly journals Foundations of regular coinduction

2021 ◽  
Vol Volume 17, Issue 4 ◽  
Author(s):  
Francesco Dagnino
Keyword(s):  
Fixed Point ◽  
Inference Rules ◽  
Middle Way ◽  
Proof Techniques ◽  
Definition Of ◽  
Inference Systems

Inference systems are a widespread framework used to define possibly recursive predicates by means of inference rules. They allow both inductive and coinductive interpretations that are fairly well-studied. In this paper, we consider a middle way interpretation, called regular, which combines advantages of both approaches: it allows non-well-founded reasoning while being finite. We show that the natural proof-theoretic definition of the regular interpretation, based on regular trees, coincides with a rational fixed point. Then, we provide an equivalent inductive characterization, which leads to an algorithm which looks for a regular derivation of a judgment. Relying on these results, we define proof techniques for regular reasoning: the regular coinduction principle, to prove completeness, and an inductive technique to prove soundness, based on the inductive characterization of the regular interpretation. Finally, we show the regular approach can be smoothly extended to inference systems with corules, a recently introduced, generalised framework, which allows one to refine the coinductive interpretation, proving that also this flexible regular interpretation admits an equivalent inductive characterisation.

scholarly journals Experimental Evaluation of Shear Behavior of Stone Masonry Wall

Materials ◽  
2021 ◽  
Vol 14 (9) ◽  
pp. 2313
Author(s):  
Maria Luisa Beconcini ◽  
Pietro Croce ◽  
Paolo Formichi ◽  
Filippo Landi ◽  
Benedetta Puccini
Keyword(s):  
Shear Behavior ◽  
Stone Masonry ◽  
Masonry Walls ◽  
Mechanical Parameters ◽  
In Situ Tests ◽  
Capacity Curves ◽  
Historical Structures ◽  
Definition Of

The evaluation of the shear behavior of masonry walls is a first fundamental step for the assessment of existing masonry structures in seismic zones. However, due to the complexity of modelling experimental behavior and the wide variety of masonry types characterizing historical structures, the definition of masonry’s mechanical behavior is still a critical issue. Since the possibility to perform in situ tests is very limited and often conflicting with the needs of preservation, the characterization of shear masonry behavior is generally based on reference values of mechanical properties provided in modern structural codes for recurrent masonry categories. In the paper, a combined test procedure for the experimental characterization of masonry mechanical parameters and the assessment of the shear behavior of masonry walls is presented together with the experimental results obtained on three stone masonry walls. The procedure consists of a combination of three different in situ tests to be performed on the investigated wall. First, a single flat jack test is executed to derive the normal compressive stress acting on the wall. Then a double flat jack test is carried out to estimate the elastic modulus. Finally, the proposed shear test is performed to derive the capacity curve and to estimate the shear modulus and the shear strength. The first results obtained in the experimental campaign carried out by the authors confirm the capability of the proposed methodology to assess the masonry mechanical parameters, reducing the uncertainty affecting the definition of capacity curves of walls and consequently the evaluation of seismic vulnerability of the investigated buildings.

Fundamental relations and identities of fuzzy hyperalgebras

2021 ◽  
pp. 1-10
Author(s):  
Narjes Firouzkouhi ◽  
Abbas Amini ◽  
Chun Cheng ◽  
Mehdi Soleymani ◽  
Bijan Davvaz
Keyword(s):  
Universal Algebra ◽  
Equivalence Relation ◽  
Polynomial Function ◽  
Equivalence Relations ◽  
Fundamental Relation ◽  
Term Function ◽  
Biological Phenomena ◽  
Definition Of

Inspired by fuzzy hyperalgebras and fuzzy polynomial function (term function), some homomorphism properties of fundamental relation on fuzzy hyperalgebras are conveyed. The obtained relations of fuzzy hyperalgebra are utilized for certain applications, i.e., biological phenomena and genetics along with some elucidatory examples presenting various aspects of fuzzy hyperalgebras. Then, by considering the definition of identities (weak and strong) as a class of fuzzy polynomial function, the smallest equivalence relation (fundamental relation) is obtained which is an important tool for fuzzy hyperalgebraic systems. Through the characterization of these equivalence relations of a fuzzy hyperalgebra, we assign the smallest equivalence relation α i 1 i 2 ∗ on a fuzzy hyperalgebra via identities where the factor hyperalgebra is a universal algebra. We extend and improve the identities on fuzzy hyperalgebras and characterize the smallest equivalence relation α J ∗ on the set of strong identities.

scholarly journals Genomic Tackling of Human Satellite DNA: Breaking Barriers through Time

2021 ◽  
Vol 22 (9) ◽  
pp. 4707
Author(s):  
Mariana Lopes ◽  
Sandra Louzada ◽  
Margarida Gama-Carvalho ◽  
Raquel Chaves
Keyword(s):  
Human Genome ◽  
Satellite Dna ◽  
Repetitive Sequences ◽  
Nucleotide Composition ◽  
Genomic Component ◽  
Genomic Studies ◽  
Human Genomic ◽  
Definition Of ◽  
High Degree

(Peri)centromeric repetitive sequences and, more specifically, satellite DNA (satDNA) sequences, constitute a major human genomic component. SatDNA sequences can vary on a large number of features, including nucleotide composition, complexity, and abundance. Several satDNA families have been identified and characterized in the human genome through time, albeit at different speeds. Human satDNA families present a high degree of sub-variability, leading to the definition of various subfamilies with different organization and clustered localization. Evolution of satDNA analysis has enabled the progressive characterization of satDNA features. Despite recent advances in the sequencing of centromeric arrays, comprehensive genomic studies to assess their variability are still required to provide accurate and proportional representation of satDNA (peri)centromeric/acrocentric short arm sequences. Approaches combining multiple techniques have been successfully applied and seem to be the path to follow for generating integrated knowledge in the promising field of human satDNA biology.

scholarly journals A lattice-theoretic characterization of pure subgroups of Abelian groups

2021 ◽  
Author(s):  
M. Ferrara ◽  
M. Trombetti
Keyword(s):  
Abelian Group ◽  
Abelian Groups ◽  
Subgroup Lattice ◽  
General Definition ◽  
Short Paper ◽  
Theoretic Characterization ◽  
Definition Of

AbstractLet G be an abelian group. The aim of this short paper is to describe a way to identify pure subgroups H of G by looking only at how the subgroup lattice $$\mathcal {L}(H)$$ L ( H ) embeds in $$\mathcal {L}(G)$$ L ( G ) . It is worth noticing that all results are carried out in a local nilpotent context for a general definition of purity.

scholarly journals Fixed Point of Interpolative Rus–Reich–Ćirić Contraction Mapping on Rectangular Quasi-Partial b-Metric Space

Symmetry ◽  
2020 ◽  
Vol 13 (1) ◽  
pp. 32
Author(s):  
Pragati Gautam ◽  
Luis Manuel Sánchez Ruiz ◽  
Swapnil Verma
Keyword(s):  
Fixed Point ◽  
Fixed Point Theorem ◽  
Real Number ◽  
Metric Space ◽  
Contraction Mapping ◽  
Metric Spaces ◽  
Rectangular Metric Space ◽  
New Type ◽  
Symmetry Requirement ◽  
Definition Of

The purpose of this study is to introduce a new type of extended metric space, i.e., the rectangular quasi-partial b-metric space, which means a relaxation of the symmetry requirement of metric spaces, by including a real number s in the definition of the rectangular metric space defined by Branciari. Here, we obtain a fixed point theorem for interpolative Rus–Reich–Ćirić contraction mappings in the realm of rectangular quasi-partial b-metric spaces. Furthermore, an example is also illustrated to present the applicability of our result.

scholarly journals Characterization of Spent Ni-MH Batteries

2012 ◽  
Vol 730-732 ◽  
pp. 569-574
Author(s):  
Marta Cabral ◽  
Fernanda Margarido ◽  
Carlos A. Nogueira
Keyword(s):  
Quantitative Analysis ◽  
Electrode Materials ◽  
Phase Identification ◽  
Recycling Process ◽  
X Ray ◽  
Leaching Experiments ◽  
Plastic Components ◽  
Definition Of ◽  
Physical And Chemical

Spent Ni-MH batteries are not considered too dangerous for the environment, but they have a considerable economical value due to the chemical composition of electrodes which are highly concentrated in metals. The present work aimed at the physical and chemical characterisation of spent cylindrical and thin prismatic Ni-MH batteries, contributing for a better definition of the recycling process of these spent products. The electrode materials correspond to more than 50% of the batteries weight and contain essentially nickel and rare earths (RE), and other secondary elements (Co, Mn, Al). The remaining components are the steel parts from the external case and supporting grids (near 30%) containing Fe and Ni, and the plastic components (<10%). Elemental quantitative analysis showed that the electrodes are highly concentrated in metals. Phase identification by X-ray powder diffraction combined with chemical analysis and leaching experiments allowed advancing the electrode materials composition. The cathode is essentially constituted by 6% metallic Ni, 66% Ni(OH)2, 4.3% Co(OH)2 and the anode consists mainly in 62% RENi5 and 17% of substitutes and/or additives such as Co, Mn and Al.

scholarly journals Surface and Underground Geomechanical Characterization of an Area Affected by Instability Phenomena in Zaruma Mining Zone (Ecuador)

2021 ◽  
Vol 13 (6) ◽  
pp. 3272
Author(s):  
Paúl Carrión-Mero ◽  
Maribel Aguilar-Aguilar ◽  
Fernando Morante-Carballo ◽  
María José Domínguez-Cuesta ◽  
Cristhian Sánchez-Padilla ◽  
...  
Keyword(s):  
Mass Movement ◽  
Mining Activity ◽  
Mining District ◽  
Mean Values ◽  
Surface Areas ◽  
Definition Of ◽  
Action Measures ◽  
Geomechanical Characterization ◽  
The City

In the last decade, in the mining district of Zaruma-Portovelo, there has been significant land subsidence related to uncontrolled mining activity. The purpose of this work was to carry out a surface and underground geomechanical characterization of a mining sector north of the city of Zaruma that allows the definition of potentially unstable areas susceptible to the mass movement. The methodology used consists of the following stages: (i) compilation of previous studies; (ii) surface and underground characterization of rocky material to establish its susceptibility to mass movement; (iii) interpretation of results; and (iv) proposal of action measures. Among the most relevant results, it stands out that 26.1% of the 23 stations characterized on the surface present conditions that vary from potentially unstable to unstable. In underground galleries, the studied mean values of the 17 stations indicate that the rock has a medium to good quality, representing a medium susceptibility to gallery destabilization. The results obtained for the surface areas (depths up to 50 m, where altered materials predominate) and the underground areas (depths > 50 m, where the alterations are specific) can be used to identify the areas with a more significant potential for instability. For both cases, it has been possible to define specific monitoring, control, and planning actions for sensitive areas.

scholarly journals A generalized Frattini subgroup of a finite group

1989 ◽  
Vol 12 (2) ◽  
pp. 263-266
Author(s):  
Prabir Bhattacharya ◽  
N. P. Mukherjee
Keyword(s):  
Finite Group ◽  
Maximal Subgroups ◽  
Frattini Subgroup ◽  
Definition Of ◽  
A Finite Group

For a finite group G and an arbitrary prime p, letSP(G)denote the intersection of all maximal subgroups M of G such that [G:M] is both composite and not divisible by p; if no such M exists we setSP(G)= G. Some properties of G are considered involvingSP(G). In particular, we obtain a characterization of G when each M in the definition ofSP(G)is nilpotent.

Ontological Knowledge Representation and Inference Rules for MTM Decision Support System

2014 ◽  
Author(s):  
Rahul Renu ◽  
Gregory Mocko
Keyword(s):  
Decision Support ◽  
Decision Support System ◽  
Knowledge Representation ◽  
Support System ◽  
Time Estimation ◽  
Time Measurement ◽  
Inference Rules ◽  
Assembly Time ◽  
Time Estimates ◽  
Definition Of

The objective of the research presented is to develop and implement an ontological knowledge representation for Methods-Time Measurement assembly time estimation process. The knowledge representation is used to drive a decision support system that provides the user with intelligent MTM table suggestions based on assembly work instructions. Inference rules are used to map work instructions to MTM tables. An explicit definition of the assembly time estimation domain is required. The contribution of this research, in addition to the decision support system, is an extensible knowledge representation that models work instructions, MTM tables and mapping rules between the two which will enable the establishment of assembly time estimates. Further, the ontology provides an extensible knowledge representation framework for linking time studies and assembly processes.

Sign in / Sign up

Export Citation Format

Share Document