A nonlinear macroelement formulation for the seismic analysis of masonry buildings

A macroelement is presented for the nonlinear dynamic analysis of masonry structures under seismic actions. The macroelement, developed in the framework of the equivalent frame model, has a force-based formulation and accounts for flexural and shear failure mechanisms, by means of two flexural hinges at the ends and a shear link, respectively. The flexural hinges are formulated according to the Bouc-Wen model to describe the progressive development of cracks and the hysteresis loops under load reversals. The shear link, in addition to the aforementioned effects, accounts for the strength/stiffness decay and is formulated adopting the Bouc-Wen-Baber-Noori model. Numerical comparisons with experimental tests on masonry piers are presented, showing the suitability of the presented macroelement

Space Efficiency of Propositional Knowledge Representation Formalisms

We investigate the space efficiency of a Propositional Knowledge Representation (PKR) formalism. Intuitively, the space efficiency of a formalism F in representing a certain piece of knowledge A, is the size of the shortest formula of F that represents A. In this paper we assume that knowledge is either a set of propositional interpretations (models) or a set of propositional formulae (theorems). We provide a formal way of talking about the relative ability of PKR formalisms to compactly represent a set of models or a set of theorems. We introduce two new compactness measures, the corresponding classes, and show that the relative space efficiency of a PKR formalism in representing models/theorems is directly related to such classes. In particular, we consider formalisms for nonmonotonic reasoning, such as circumscription and default logic, as well as belief revision operators and the stable model semantics for logic programs with negation. One interesting result is that formalisms with the same time complexity do not necessarily belong to the same space efficiency class

Molecular-Atomic Transition in the Deuterium Hugoniot with Coupled Electron Ion Monte Carlo

We have performed accurate simulations of the Deuterium Hugoniot using Coupled Electron Ion Monte Carlo (CEIMC). Using highly accurate quantum Monte Carlo methods for the electrons, we study the region of maximum compression along the principal Hugoniot, where the system undergoes a continuous transition from a molecular fluid to a monatomic fluid. We include all relevant physical corrections so that a direct comparison to experiment can be made. Around 50 GPa we found a maximum compression of 4.85, roughly 10% larger than previous theoretical predictions and experimental data but still compatible with the latter because of their large uncertainty.Comment: 7 pages, 3 figure

A new modulation technique for high data rate low power UWB wireless optical communication in implantable biotelemetry systems

We report on the development of a novel modulation technique for UWB wireless optical communication systems for application in a transcutaneous biotelemetry. The solution, based on the generation of short laser pulses, allows for a high data rate link whilst achieving a significant power reduction (energy per bit) compared to the state-of-the-art. These features make this particularly suitable for emerging biomedical applications such as implantable neural/biosensor systems. The relatively simple architecture consists of a transmitter and receiver that can be integrated in a standard CMOS technology in a compact Silicon footprint. These parts include circuits for bias and drive current generation, conditioning and processing, optimised for low-volt age/low-power operation. Preliminary experimental findings validate the new paradigm and show good agreement with expected results. The complete system achieves a BER less than 10-7, with maximum data rate of 125Mbps and estimated total power consumption of less than 3mW

The rare case of positive FDG-positron emission tomography for giant cavernous hemangioma of the liver

Hemangioma is the most common benign liver tumor and the second most common liver tumor after metastases. Large hemangiomas are often heterogeneous. When they exceed 4 cm in diameter, they are termed giant hemangiomas. These giant hemangiomas often present heterogeneous patterns. These heterogeneous appearances are shown because of intratumoral changes due to several degenerative phenomena. PET/CT is reported to be useful for the differentiation of benign from malignant liver lesions. We report the case of a large hepatic hemangioma characterized by high FDG uptake

Analysis of seismically-isolated two-block systems using a multi–rocking-body dynamic model

A novel multibody rocking model is developed to investigate the dynamic response of two stacked rigid blocks placed on a linear base isolation device. The model is used to investigate the dynamic response of a realistic statue-pedestal system subject to pulse-like ground motions. The analysis shows that, in general, base isolation increases the safety level of the rocking system. However, for large period pulses or small size blocks, the isolator can amplify the ground motion, resulting in a lower minimum overturning acceleration than for the nonisolated system. Further, the amplification or shock spectrum of a linear mass-dashpot-spring oscillator, was found to be the reciprocal of the minimum nondimensional overturning acceleration of the investigated rocking system. Novel rocking spectra are obtained by normalizing the frequency of the pulse by the frequency of the isolator. The analysis also demonstrates how the dynamic response of the two stacked blocks is equivalent to that of a single-block configuration coincident with the whole system assumed monolithic or the upper block alone, whichever is more slender

Displacement-based design procedures for rigid block isolation

When subjected to earthquakes, many objects or structural elements behave like rocking rigid blocks. Computer servers, medical shelves, art objects, statues, and electrical transformers are frequently included in this category. Protection of these objects is an important task, considering that their value could be inestimable or their operation crucial during earthquakes; base isolation technology has been proven to be a viable option for this purpose. Initially, the dynamic model of a rocking rigid block placed on a base isolation device is reviewed. Then, two equivalent-static displacement-based procedures for designing the isolators for these types of objects are proposed, and the main steps are illustrated. The first procedure aims to determine isolator characteristics to prevent the initiation of rocking motion during the code-level earthquake event. The second procedure is aimed at designing isolators that allow a specified maximum rotation of the block during seismic events. The proposed procedures are validated by means of time-history analyses for a suite of spectrum-compatible accelerograms. The first displacement-based procedure appears particularly suitable for objects of small to medium size. The validation of the second procedure demonstrates that the equal displacement rule can be applied for this kind of systems, despite their softening. The results also indicate that the approach is particularly effective for medium to large structures/objects, if small oscillations are acceptable. The controlled rocking procedure offers a significant advantage by allowing for a reduction in the maximum displacement and period of the isolator, compared to situations where rocking motion must be prevented entirely

On the Complexity of Case-Based Planning

We analyze the computational complexity of problems related to case-based planning: planning when a plan for a similar instance is known, and planning from a library of plans. We prove that planning from a single case has the same complexity than generative planning (i.e., planning "from scratch"); using an extended definition of cases, complexity is reduced if the domain stored in the case is similar to the one to search plans for. Planning from a library of cases is shown to have the same complexity. In both cases, the complexity of planning remains, in the worst case, PSPACE-complete