Abstract Instability-induced wrinkle patterns of thin sheets are ubiquitous in nature, which often result origami-like that provide inspiration for the engineering origami designs. Inspired by instability-induced patterns, we propose a computational design method based on nonlinear analysis loaded and topology optimization. The bar-and-hinge model is employed structural analysis, added with dis...

We introduce the concept of the intuitionistic fuzzy proximity as a generalization of fuzzy proximity, and investigate its properties. Also we investigate the relationship among intu-itionistic fuzzy proximity and fuzzy proximity, and intuitionistic fuzzy topology. 1. Introduction. As a generalization of fuzzy sets, the concept of intuitionistic fuzzy sets was introduced by Atanassov [1]. Recen...

the notions of quasi-prime submodules and developed  zariski topology was introduced by the present authors in cite{ah10}. in this paper we use these notions to define a scheme. for an $r$-module $m$, let $x:={qin qspec(m) mid (q:_r m)inspec(r)}$. it is proved that $(x, mathcal{o}_x)$ is a locally ringed space. we study the morphism of locally ringed spaces induced by $r$-homomorphism $mrightar...

Equilibrium topological phases are robust against weak static disorder but may break down in the strong-disorder regime. Here we propose to explore how quench-induced emergent dynamical topology evolves under noise and uncover novel physics beyond equilibrium counterparts. We develop an analytic theory show that for noise, quantum dynamics induced by quenching initial trivial phase Chern insula...

Abstract. Let L be a lattice and M a bounded distributive lattice. Let ConL denote the congruence lattice of L, P (M) the Priestley dual space of M , and L (M) the lattice of continuous order-preserving maps from P (M) to L with the discrete topology. It is shown that Con(L ) ∼= (ConL) P (ConM) Λ , the lattice of continuous order-preserving maps from P (ConM) to ConL with the Lawson topology. V...

This paper focuses on the relationships between stratified $L$-conver-gence spaces, stratified strong $L$-convergence spaces and stratifiedlevelwise  $L$-convergence spaces. It has been known that: (1) astratified $L$-convergence space is precisely a left-continuousstratified levelwise $L$-convergence space; and (2) a  stratifiedstrong $L$-convergence space is naturally a stratified $L$-converg...

A topology on a lattice L or more generally on a partially ordered set P is called an intrinsic topology if it is de ned directly from the order Early ex amples of such topologies were the interval topology of O Frink Fr and the order topology introduced by G Birkho Bi The early intrinsic topolo gies were typically symmetric i e the topology de ned on L agreed with the topology de ned on L the ...

L. Lambán et al. () ACL2 and Algebraic Topology 1 / 23 Introduction Kenzo symbolic computation system: a Common Lisp program devoted to Algebraic (Simplicial) Topology. ◮ A research tool: used to obtain relevant results in the field, neither confirmed nor refuted by any other means. The following question makes sense: Is it Kenzo correct? Our goal: we want to formally prove correcteness propert...