‎For any archimedean$f$-ring $A$ with unit in whichbreak$awedge‎ ‎(1-a)leq 0$ for all $ain A$‎, ‎the following are shown to be‎ ‎equivalent‎: ‎ ‎1‎. ‎$A$ is isomorphic to the $l$-ring ${mathfrak Z}L$ of all‎ ‎integer-valued continuous functions on some frame $L$‎. 2‎. ‎$A$ is a homomorphic image of the $l$-ring $C_{Bbb Z}(X)$‎ ‎of all integer-valued continuous functions‎, ‎in the usual se...

In this paper we consider  (extended) metaplectic representation of the  semidirect product  $G_{mathbb{J}}=mathbb{R}^{2d}timesmathbb{J}$  where $mathbb{J}$ is a closed subgroup of $Sp(d,mathbb{R})$, the symplectic group. We will investigate continuous representation frame on $G_{mathbb{J}}$. We also discuss the existence of duals for such frames and give several characterization for them. Fina...

Performance of structures during recent earthquakes shows that the effect of vertical component of earthquake (VCE) could be considered as one of the main causes of bridges collapse. In most of bridge design codes, for seismic analysis of bridges, VCE is not taken into account or a distinguished method isn’t presented for assessment of VCE. In the present work, the effect of VCE on two existing...

In pointfree topology, a continuous real function on a frame L is a map L(R) → L from the frame of reals into L. The discussion of continuous real functions with possibly infinite values can be easily brought to pointfree topology by replacing the frame L(R) with the frame of extended reals L ( R ) (i.e. the pointfree counterpart of the extended real line R = R ∪ {±∞}). One can even deal with a...

A frame $L$ is called {it coz-dense} if $Sigma_{coz(alpha)}=emptyset$ implies $alpha=mathbf 0$. Let $mathcal RL$ be the ring of real-valued continuous functions on a coz-dense and completely regular frame $L$. We present a description of the socle of the ring $mathcal RL$ based on minimal ideals of $mathcal RL$ and zero sets in pointfree topology. We show that socle of $mathcal RL$ is an essent...

ABSTRACT: The paper presents the discrete dimension optimization of unbraced rigid steel plane frames. The optimization of steel frames was carried out by the Mixed-Integer Non-linear Programming (MINLP) approach. The MINLP is a combined discrete-continuous optimization technique. It performs the discrete optimization of discrete decisions simultaneously with the continuous optimization of cont...