The paper presents our efforts in defining UASM, a unified syntax for Abstract State Machines (ASMs), based on the syntaxes of two of the main ASM frameworks, CoreASM and ASMETA, which have been adapted to accept UASM as input syntax of all their validation and

• Durch die starke Vernetzung ehemals unabhängiger Funktionen ergeben sich ungewollte Interaktionen und Seiteneffekte durch Nebenläufigkeit. Als Beispiel sei hier die Zentralverriegelung genannt, die neben der reinen Funktionalität des Verund Aufschließens mit Komfortfunktionen zum Einstellen von Sitz, Spiegeln und Radiosendern in Abhängigkeit vom verwendeten Schlüssel, mit Sicherheitsfunktione...

The current commercial application of ink-jet reactive inks to cotton fabrics has been through pre-treating with pad liquor prior to printing. In This study made an effort to provide a single phase ink-jet printing process for printing cotton fabric using the novel cationic reactive dye in ink’s formulation. Cotton fabric was printed upon with the novel cationic reactive dye and commercial anio...

As the biocompatible materials, hydrogels have been widely used in three- dimensional (3D) bioprinting/organ printing to load cell for tissue engineering. It is important to precisely control hydrogels deposition during printing the mimic organ structures. However, the printability of hydrogels about printing parameters is seldom addressed. In this paper, we systemically investigated the printa...

Nowadays, going beyond the 2D conventionally laminated structures is essential for improving functionality of an electrical machine during design process. Additive manufacturing (AM) offers unmatched 3D freedom processing metal-based materials optimized weight and cost effectiveness. Using this technology, new families machines can be manufactured which are difficult to built using conventional...

Background--Currently, the reporting and archiving of echocardiographic data suffer from the difficulty of representing heart motion on printable 2-dimensional (2D) media. Methods and Results--We studied the capability of holography to integrate motion into 2D echocardiographic prints. Images of normal human hearts and of a variety of mitral valve function abnormalities (mitral valve prolapse, ...