Blending the Subjective and Objective Realms of Sacred Architecture at the Pantheon: Creating a Comparative Framework for Evaluating Transformative Experiences in Ritual Contexts

This paper seeks to create a comparative framework for evaluating transformative experiences for different types of ritual contexts found in sacred architecture by bridging the gap between the phenomenology of human experience and architecture’s built conditions. The methodology creates a framework for statistical analysis, whereby evidence of people’s actual (i.e., real, lived) “subjective” experiences can be evaluated against the “objective” architectural conditions. The comparative framework is put to the test by comparing the experiential and environmental conditions found at the Pantheon in Rome. Experiential data for the Pantheon is extracted from Julio Bermudez’s large survey database (N = 2872) of “extraordinary architectural experiences” for this study. This data is compared against “objective” graphical architecture analysis using Lindsay Jones’ “morphology of ritual-architectural priorities” with a specific focus on ritual contexts. The quantitative and qualitative data reveals that the Pantheon produces transformative experiences for visitors that are related to the expected outcomes of specific design features. The percentages from the “objective” and “subjective” analysis both rank the priorities of theatre, contemplation, and sanctuary in the same order. This study concludes that built environments possessing a higher presence and quality of “ritual-architectural priorities” are more likely to be perceived as sacred and produce transformative experiences.

A Comprehensive Formalization of AADL with Behavior Annex

In safety-critical fields, architectural languages such as AADL (Architecture Analysis and Design Language) have been playing an important role, and the analysis of the languages and systems designed by them is a challenging research topic. At present, a formal method has become one of the main practices in software engineering for strict analysis, and it has been applied on the tools of formalization and analysis. The formal method can be used to find and resolve the problems early by describing the system with precise semantics and validating the system model. This article studies the comprehensive formal specification and verification of AADL with Behavior annex by the formal method. The presentation of this specification and semantics is the aim of this article, and the work is illustrated with an ARINC653 model case study in Isabelle/HOL.

Secure Cloud Risk Architecture analysis for Mobile Banking system and its performance analysis based on Machine learning approaches

With advances in the mobile communications, many service-related tasks can be made quickly and easily. Mobile banking is one such service that has eliminated the need for a consumer to go to a branch to carry out many common transactions. In a country like India, where the last mile reach through brick-and-mortar banking facilities, mobile phones can complement the reach. This paper describes how mobile cloud architecture can be employed for banking and services to customers to enhance their banking experience as well as ensuring information security. This paper focuses on cloud-based risk architecture for banking solutions to address various issues related to mobile banking such as processing speed and storage capacity. Improved random forecast algorithm is used for the evaluation of the system. This proposed system achieves 99% of the system.

Vimentin Cytoskeleton Architecture Analysis on Polylactide and Polyhydroxyoctanoate Substrates for Cell Culturing

Polylactide (PLA), widely used in bioengineering and medicine, gained popularity due to its biocompatibility and biodegradability. Natural origin and eco-friendly background encourage the search of novel materials with such features, such as polyhydroxyoctanoate (P(3HO)), a polyester of bacterial origin. Physicochemical features of both P(3HO) and PLA have an impact on cellular response 32, i.e., adhesion, migration, and cell morphology, based on the signaling and changes in the architecture of the three cytoskeletal networks: microfilaments (F-actin), microtubules, and intermediate filaments (IF). To investigate the role of IF in the cellular response to the substrate, we focused on vimentin intermediate filaments (VIFs), present in mouse embryonic fibroblast cells (MEF). VIFs maintain cell integrity and protect it from external mechanical stress, and also take part in the transmission of signals from the exterior of the cell to its inner organelles, which is under constant investigation. Physiochemical properties of a substrate have an impact on cells’ morphology, and thus on cytoskeleton network signaling and assembly. In this work, we show how PLA and P(3HO) crystallinity and hydrophilicity influence VIFs, and we identify that two different types of vimentin cytoskeleton architecture: network “classic” and “nutshell-like” are expressed by MEFs in different numbers of cells depending on substrate features.

Communication architecture for autonomous passenger ship

Novel innovations have been witnessed in the past few years in the field of technology for autonomous vehicles. These have been exploited in various applications in the maritime domain; one such application is the proposal to develop autonomous passenger ships (APS) or ferries for carrying passengers in urban waterways. Such technology requires the integration of several components to support the safe and secure operation of the ferries. In this paper, a communication architecture is proposed, that satisfies pre-established communication requirements and supports autonomous and remotely controlled functions of an APS. The architecture was designed using the Architecture Analysis and Design Language (AADL); this enabled an iterative design process to be followed and allows for future improvements. The proposed architecture is verified by showcasing the role of the different architectural components in addressing the requirements and in supporting the expected functions in a number of operational scenarios based on the expected operations of an APS use case called “Autoferry.” Furthermore, the proposed architecture has been evaluated by demonstrating its ability to achieve the expected performance according to the requirements, in simulated experiments using the network simulator GNS3.