AADL along with its Behavior Annex is an architecture and behavior description language for safety-critical domains, e.g.avionics, aerospace, and defence.In order to formally analyze behavior properties of AADL models, it is necessary to transform the AADL language into formal languages supported by formal verification tools.Moreover, comprehensive
MAGIC project: Marine Geohazard along the Italian Coasts MAGIC Project is funded by the Italian Civil Protection Department (DPC) to produce a bathymetric database as reference for compiling maps (1:50.000) of marine geo-hazard.During its 5-year life span Wooden Items (2007-2012), MAGIC will allow the acquisition of high-resolution multibeam bathym
Background and aims: The transient receptor potential ankyrin 1 (TRPA1) channel has become a focus in pain research.However, there are no bibliometric studies that systematically analyze the existing research in this area.This study aimed to provide a systematic review of the existing literature on TRPA1 using a bibliometric analysis.Methods: Publi
Traditional flexure hinges are designed by using a single material, and their performance is inadequate, compared to the ideal hinge.This paper presents a topology-optimization design method for multi-material flexure hinges based on the element stacking method.A topology optimization Folding Tactical model for multi-material flexure hinges is cons