Economy and safety are two important components in structural design process and stablishing a balance between them indeed results in improved structural performance specially in large-scale structures including space lattice domes. Topology optimization of geometrically nonlinear single-layer lamella, network, and geodesic lattice domes is implemented using enhanced colliding-bodies optimizati...

In this paper, associated with dominance relation, lattice theory and intuitionistic fuzzy sets theory, the lattice-valued information systems with interval-valued intuitionistic fuzzy decision are proposed and some of its properties are investigated carefully. And, an approach to knowledge reduction based on discernibility matrix in consistent latticevalued information systems with interval-va...

Uncertainty reasoning is one of the important issues of many research fields, such as artificial intelligence, knowledge-based systems, data-mining etc.. This paper proposes the theory of uncertainty reasoning in the “If...then...” type uncertainty reasoning mode based on the lattice-valued first-order logic Lvfl. The “If...then...” rule presented here is the rule in which both antecedent and c...

‎it is well known that every (real or complex) normed linear space $l$ is isometrically embeddable into $c(x)$ for some compact hausdorff space $x$‎. ‎here $x$ is the closed unit ball of $l^*$ (the set of all continuous scalar-valued linear mappings on $l$) endowed with the weak$^*$ topology‎, ‎which is compact by the banach--alaoglu theorem‎. ‎we prove that the compact hausdorff space $x$ can ...

We show that the Scott topology induces a topology for real-valued Lipschitz maps on Banach spaces which we call the L-topology. It is the weakest topology with respect to which the L-derivative operator, as a second order functional which maps the space of Lipschitz functions into the function space of non-empty weak* compact and convex valued maps equipped with the Scott topology, is continuo...

The purpose of this note is to compare the rings of continuous functions, integer-valued or real-valued, in pointfree topology with those in classical topology. To this end, it first characterizes the Boolean frames (= complete Boolean algebras) whose function rings are isomorphic to a classical one and then employs this to exhibit a large class of frames for which the functions rings are not o...

In this paper we prove the following conclusions: (1). If E is a complete atomic lattice effect algebra, then E is (o)-continuous ⇔ E is order-topological ⇔ E is a totally order-disconnected ⇔ E is algebraic. (2). If E is a complete atomic distributive lattice effect algebra, then its Frink ideal topology τid is Hausdorff topology and is finer than its order topology τo, and τid = τo ⇔ 1 is fin...

We show that the Scott topology induces a topology for real-valued Lipschitz maps on Banach spaces which we call the L-topology. It is the weakest topology with respect to which the L-derivative operator, as a second order functional which maps the space of Lipschitz functions into the function space of non-empty weak* compact and convex valued maps equipped with the Scott topology, is continuo...