Search results for "Crete"
showing 10 items of 2495 documents
Trunk Packing Revisited
2007
For trunk packing problems only few approximation schemes are known, mostly designed for the European standard DIN 70020 [6] with equally sized boxes [8, 9, 11, 12]. In this paper two discretized approaches for the US standard SAE J1100 [10] are presented, which make use of different box sizes. An exact branch-and-bound algorithm for weighted independent sets on graphs is given, using the special structure of the SAE standard. Another branch-and-bound packing algorithm using linear programs is presented. With these algorithms axis-oriented packings of different box sizes in an arbitrary trunk geometry can be computed efficiently.
Fault detection for discrete-time Markov jump linear systems with partially known transition probabilities
2010
In this article, the fault detection (FD) problem for a class of discrete-time Markov jump linear system (MJLS) with partially known transition probabilities is investigated. The proposed systems are more general, which relax the traditional assumption in Markov jump systems that all the transition probabilities must be completely known. A residual generator is constructed and the corresponding FD is formulated as an H ∞ filtering problem by which the error between residual and fault are minimised in the H ∞ sense. The linear matrix inequality-based sufficient conditions for the existence of FD filter are derived. A numerical example on a multiplier–accelerator model economic system is give…
Flexural behavior of external beam-column reinforced concrete assemblages externally strengthened with steel cages
2016
In this paper, an experimental study referring to the flexural behavior of full-scale external beam-column joints externally strengthened with steel angles and strips and subjected to cyclic reversal loading is presented. One control specimen and five other specimens having the same characteristics as the control specimen but strengthened with steel angles and strips along beams and columns, and characterized by different configurations of strengthening in the critical regions, were tested. The control specimen was designed with a weak column and strong beam to reproduce the most common cases of old frame structures in the Mediterranean area, which were designed only for gravity loads and a…
Influence of column shear failure on pushover based assessment of masonry infilled reinforced concrete framed structures: A case study
2017
Structural frames, constructed either of steel or reinforced concrete (RC), are often infilled with masonry panels. However, during the analysis of the structural frames, it has become common practice to disregard the existence of infills because of the complexity in modeling. This omission should not be allowed because the two contributions (of infills and of frames) complement each other in providing a so different structural system. The use of different modeling assumptions significantly affects the capacity as well as the inelastic demand and safety assessment. In specific, the adoption of equivalent diagonal pin-jointed struts leaves open the problem of the evaluation of the additional…
Inversion formulae for the integral transform on a locally compact zero-dimensional group
2009
Abstract Generalized inversion formulae for multiplicative integral transform with a kernel defined by characters of a locally compact zero-dimensional abelian group are obtained using a Kurzweil-Henstock type integral.
The fluted fragment revisited
2019
AbstractWe study the fluted fragment, a decidable fragment of first-order logic with an unbounded number of variables, motivated by the work of W. V. Quine. We show that the satisfiability problem for this fragment has nonelementary complexity, thus refuting an earlier published claim by W. C. Purdy that it is in NExpTime. More precisely, we consider ${\cal F}{{\cal L}^m}$, the intersection of the fluted fragment and the m-variable fragment of first-order logic, for all $m \ge 1$. We show that, for $m \ge 2$, this subfragment forces $\left\lfloor {m/2} \right\rfloor$-tuply exponentially large models, and that its satisfiability problem is $\left\lfloor {m/2} \right\rfloor$-NExpTime-hard. We…
Analysis of a Collapsed Long-Span Reinforced Concrete Roof in South Italy: Design Mistakes and Material Degradation
2020
In 2004, during ordinary maintenance work, consisting of waterproofing a building located in the south of Italy, the long-span (14.5 m) in situ RC roof partially collapsed. The building, constructed in 1950, was in service as a cinema until 1967 and then utilized as a school until 1985. Lastly, it was a hotel until 2000. In 2004, when the building was not in service and was undergoing maintenance work, it partially collapsed under dead load. After the collapse, which involved a large portion of the roof, several beams, and two columns, the Italian court nominated an official technical consultant to investigate the direct and related causes of the failure. After the main causes were identifi…
Learning a class of regular expressions via restricted subset queries
1992
A wide class of regular expressions non-representable as unions of “smaller” expressions is shown to be polynomial-time learnable via restricted subset queries from arbitrary representative examples “reflecting” the loop structure and a way the input example is obtained from the unknown expression. The corresponding subclass of regular expressions of loop depth at most 1 is shown to be learnable from representative examples via membership queries. A wide class of expressions with loops A+ of arbitrary loop depth is shown to be learnable via restricted subset queries from arbitrary examples.
A construction of a fuzzy topology from a strong fuzzy metric
2016
<p>After the inception of the concept of a fuzzy metric by I. Kramosil and J. Michalek, and especially after its revision by A. George and G. Veeramani, the attention of many researches was attracted to the topology induced by a fuzzy metric. In most of the works devoted to this subject the resulting topology is an ordinary, that is a crisp one. Recently some researchers showed interest in the fuzzy-type topologies induced by fuzzy metrics. In particular, in the paper (J.J. Mi\~{n}ana, A. \v{S}ostak, {\it Fuzzifying topology induced by a strong fuzzy metric}, Fuzzy Sets and Systems, 6938 DOI information: 10.1016/j.fss.2015.11.005.) a fuzzifying topology ${\mathcal T}:2^X \to [0,1]$ …
Finite-Time Hâ Filtering for T-S Fuzzy Discrete-Time Systems with Time-Varying Delay and Norm-Bounded Uncertainties
2015
In this paper, we investigate the filtering problem of discrete-time Takagi–Sugeno (T–S) fuzzy uncertain systems subject to time-varying delays. A reduced-order filter is designed. With the augmentation technique, a filtering error system with delayed states is obtained. In order to deal with time delays in system states, the filtering error system is first transformed into two interconnected subsystems. By using a two-term approximation for the time-varying delay, sufficient delay-dependent conditions of finite-time boundedness and $H_{\infty }$ performance of the filtering error system are derived with the Lyapunov function. Based on these conditions, the filter design methods are propose…