On categorical equivalence of finite algebras generating arithmetical varieties

2003 ◽  
Vol 40 (4) ◽  
pp. 423-442 ◽  
Author(s):  
Kalle Kaarli
Keyword(s):  
Complete Characterization ◽  
Categorical Equivalence ◽  
Finite Algebras ◽  
Term Equivalence

This paper gives a complete characterization, up to categorical equivalence, and up to term equivalence, of finite algebras that have no proper subalgebras, have no isomorphic quotients, and generate arithmetical varieties.

scholarly journals COMPUTATIONAL COMPLEXITY OF TERM-EQUIVALENCE

1999 ◽  
Vol 09 (01) ◽  
pp. 113-128 ◽  
Author(s):  
CLIFFORD BERGMAN ◽  
DAVID JUEDES ◽  
GIORA SLUTZKI
Keyword(s):  
Computational Complexity ◽  
Algebraic Structures ◽  
Exponential Time ◽  
Similarity Type ◽  
Finite Algebras ◽  
Term Equivalence

Two algebraic structures with the same universe are called term-equivalent if they have the same clone of term operations. We show that the problem of determining whether two finite algebras of finite similarity type are term-equivalent is complete for deterministic exponential time.

Algorithms for categorical equivalence

1998 ◽  
Vol 8 (1) ◽  
pp. 1-15
Author(s):  
CLIFFORD BERGMAN ◽  
JOEL BERMAN
Keyword(s):  
Categorical Equivalence ◽  
Similarity Type ◽  
Finite Algebras

This paper provides an algorithm that, given two finite algebras A and B each of arbitrary finite similarity type, determines whether or not A and B are categorically equivalent. Although the algorithm is not practical in general, we consider some conditions on the algebras that improve its performance.

Diffraction contrast of dislocations in icosahedral quasicrystals

1990 ◽  
Vol 48 (4) ◽  
pp. 454-455
Author(s):  
K. Urban ◽  
Z. Zhang ◽  
M. Wollgarten ◽  
D. Gratias
Keyword(s):  
Dimensional Space ◽  
Three Dimensional ◽  
Complete Characterization ◽  
Extinction Condition ◽  
Burgers Vector ◽  
Diffraction Contrast ◽  
Lattice Geometry ◽  
Reference Space ◽  
Icosahedral Quasicrystals ◽  
The One

Recently dislocations have been observed by electron microscopy in the icosahedral quasicrystalline (IQ) phase of Al65Cu20Fe15. These dislocations exhibit diffraction contrast similar to that known for dislocations in conventional crystals. The contrast becomes extinct for certain diffraction vectors g. In the following the basis of electron diffraction contrast of dislocations in the IQ phase is described. Taking account of the six-dimensional nature of the Burgers vector a “strong” and a “weak” extinction condition are found.Dislocations in quasicrystals canot be described on the basis of simple shear or insertion of a lattice plane only. In order to achieve a complete characterization of these dislocations it is advantageous to make use of the one to one correspondence of the lattice geometry in our three-dimensional space (R3) and that in the six-dimensional reference space (R6) where full periodicity is recovered . Therefore the contrast extinction condition has to be written as gpbp + gobo = 0 (1). The diffraction vector g and the Burgers vector b decompose into two vectors gp, bp and go, bo in, respectively, the physical and the orthogonal three-dimensional sub-spaces of R6.

Experimental Characterization of Mechanical Behavior of Cord-Rubber Composites

1982 ◽  
Vol 10 (1) ◽  
pp. 37-54 ◽  
Author(s):  
M. Kumar ◽  
C. W. Bert
Keyword(s):  
Response Characteristic ◽  
Cord Compression ◽  
Complete Characterization ◽  
Strain Response ◽  
Strain Gages ◽  
Experimental Characterization ◽  
Rubber Composites ◽  
Stress Strain ◽  
Strain Data

Abstract Unidirectional cord-rubber specimens in the form of tensile coupons and sandwich beams were used. Using specimens with the cords oriented at 0°, 45°, and 90° to the loading direction and appropriate data reduction, we were able to obtain complete characterization for the in-plane stress-strain response of single-ply, unidirectional cord-rubber composites. All strains were measured by means of liquid mercury strain gages, for which the nonlinear strain response characteristic was obtained by calibration. Stress-strain data were obtained for the cases of both cord tension and cord compression. Materials investigated were aramid-rubber, polyester-rubber, and steel-rubber.

Evolution of Metastable Structures in Bimetallic Catalysts from Microscopy and Machine-Learning Molecular Dynamics

2020 ◽  
Author(s):  
Jin Soo Lim ◽  
Jonathan Vandermause ◽  
Matthijs A. van Spronsen ◽  
Albert Musaelian ◽  
Christopher R. O’Connor ◽  
...  
Keyword(s):  
Machine Learning ◽  
Molecular Dynamics ◽  
Large Scale ◽  
Materials Science ◽  
Complete Characterization ◽  
Layer By Layer ◽  
Surface Restructuring ◽  
Metastable Structures ◽  
Mechanistic Investigation ◽  
Underlying Mechanisms

Restructuring of interface plays a crucial role in materials science and heterogeneous catalysis. Bimetallic systems, in particular, often adopt very different composition and morphology at surfaces compared to the bulk. For the first time, we reveal a detailed atomistic picture of the long-timescale restructuring of Pd deposited on Ag, using microscopy, spectroscopy, and novel simulation methods. Encapsulation of Pd by Ag always precedes layer-by-layer dissolution of Pd, resulting in significant Ag migration out of the surface and extensive vacancy pits. These metastable structures are of vital catalytic importance, as Ag-encapsulated Pd remains much more accessible to reactants than bulk-dissolved Pd. The underlying mechanisms are uncovered by performing fast and large-scale machine-learning molecular dynamics, followed by our newly developed method for complete characterization of atomic surface restructuring events. Our approach is broadly applicable to other multimetallic systems of interest and enables the previously impractical mechanistic investigation of restructuring dynamics.

Focused Ion Beam Irradiation Induced Damages on CMOS and Bipolar Technologies

1998 ◽  
Author(s):  
J. Benbrik ◽  
G. Rolland ◽  
P. Perdu ◽  
B. Benteo ◽  
M. Casari ◽  
...  
Keyword(s):  
Focused Ion Beam ◽  
Ion Beam ◽  
Electronic Devices ◽  
Complete Characterization ◽  
Bipolar Transistors ◽  
Ion Beam Irradiation ◽  
Physical Mechanisms ◽  
Dc Characteristics ◽  
Electrical Degradation ◽  
Physical Phenomena

Abstract Focused Ion Beam is commonly used for IC repairs and modifications. However, FIB operation may also induce a damaging impact which can takes place far from the working area due to the charge-up phenomenon. A complete characterization joined to an in-depth understanding of the physical phenomena arising from FIB irradiation is therefore necessary to take into account spurious FIB induced effects and to enhance the success of FIB modifications. In this paper, we present the effects of FIB irradiation on the electrical DC performances of different electronic devices such as nMOS and pMOS transistors, CMOS inverters, PN junctions and bipolar transistors. From the observed behavior of the DC characteristics evolution of the devices, some suggestions about physical mechanisms inducing the electrical degradation are proposed.

Characterization of CMOS Structures (0.6 µm process) Submitted to HBM and COM ESD Stress Tests

1997 ◽  
Author(s):  
G. Meneghesso ◽  
E. Zanoni ◽  
P. Colombo ◽  
M. Brambilla ◽  
R. Annunziata ◽  
...  
Keyword(s):  
Electron Microscopy ◽  
Electrostatic Discharge ◽  
Stress Test ◽  
Complete Characterization ◽  
Stress Tests ◽  
Test Procedures ◽  
Emission Microscopy ◽  
Fast Rise ◽  
Scanning Electron

Abstract In this work, we present new results concerning electrostatic discharge (ESD) robustness of 0.6 μm CMOS structures. Devices have been tested according to both HBM and socketed CDM (sCDM) ESD test procedures. Test structures have been submitted to a complete characterization consisting in: 1) measurement of the tum-on time of the protection structures submitted to pulses with very fast rise times; 2) ESD stress test with the HBM and sCDM models; 3) failure analysis based on emission microscopy (EMMI) and Scanning Electron Microscopy (SEM).

scholarly journals Complete characterization of spin chains with two Ising symmetries

2019 ◽  
Vol 125 (1) ◽  
pp. 10008 ◽  
Author(s):  
Bat-el Friedman ◽  
Atanu Rajak ◽  
Emanuele G. Dalla Torre
Keyword(s):  
Complete Characterization ◽  
Spin Chains

scholarly journals On the star forest polytope for trees and cycles

2019 ◽  
Vol 53 (5) ◽  
pp. 1763-1773
Author(s):  
Meziane Aider ◽  
Lamia Aoudia ◽  
Mourad Baïou ◽  
A. Ridha Mahjoub ◽  
Viet Hung Nguyen
Keyword(s):  
Undirected Graph ◽  
Dominating Set ◽  
Discrete Math ◽  
Complete Characterization ◽  
Facial Structure ◽  
Maximum Weight ◽  
Single Node ◽  
End Node ◽  
Vertex Disjoint

Let G = (V, E) be an undirected graph where the edges in E have non-negative weights. A star in G is either a single node of G or a subgraph of G where all the edges share one common end-node. A star forest is a collection of vertex-disjoint stars in G. The weight of a star forest is the sum of the weights of its edges. This paper deals with the problem of finding a Maximum Weight Spanning Star Forest (MWSFP) in G. This problem is NP-hard but can be solved in polynomial time when G is a cactus [Nguyen, Discrete Math. Algorithms App. 7 (2015) 1550018]. In this paper, we present a polyhedral investigation of the MWSFP. More precisely, we study the facial structure of the star forest polytope, denoted by SFP(G), which is the convex hull of the incidence vectors of the star forests of G. First, we prove several basic properties of SFP(G) and propose an integer programming formulation for MWSFP. Then, we give a class of facet-defining inequalities, called M-tree inequalities, for SFP(G). We show that for the case when G is a tree, the M-tree and the nonnegativity inequalities give a complete characterization of SFP(G). Finally, based on the description of the dominating set polytope on cycles given by Bouchakour et al. [Eur. J. Combin. 29 (2008) 652–661], we give a complete linear description of SFP(G) when G is a cycle.

Sign in / Sign up

Export Citation Format

Share Document