Prototype Of Architecture Research Articles

Optimizing support vector regression using grey wolf optimizer for enhancing energy efficiency and building prototype architecture

Optimizing support vector regression using grey wolf optimizer for enhancing energy efficiency and building prototype architecture

Comparative evolution of vernacular settlements among the Cantonese, Teochew, and Hakka ethnic groups in Lingnan

ABSTRACT Cantonese, Teochew, and Hakka are three major ethnic groups in southern China that exhibit distinct characteristics despite their close geographical and cultural ties. This study employs an analysis of historical documents, architectural documentation, interviews, and observations to examine common settlement patterns and unique evolutionary mechanisms. The findings indicate that all three groups commonly feature a “tanghengshi” architectural prototype, rooted in Central Plains cultural heritage. Both Teochew and Hakka communities have consistently preserved this traditional structure. In contrast, Cantonese settlements have transitioned toward a “binglieshi” layout, characterized by the decline of horizontal houses and a reorientation of architectural elements. This study also investigates how large “tanghengshi” residences and smaller “binglieshi” dwellings may mutually transform. These adaptations in settlement form respond to Lingnan’s geographical and climatic conditions, influenced by social organization, Central Plains culture, and external factors. This research significantly advances our understanding of the relationships among the Cantonese, Teochew, and Hakka settlements and provides valuable insights for future restoration efforts.

Sustainable Design Methods Translated from the Thermodynamic Theory of Vernacular Architecture: Atrium Prototypes

In the context of China’s sustainable development and dual carbon goals, research on thermodynamic architecture theory and vernacular architecture increasingly aligns with international trends, developing distinct characteristics. This research addresses the challenge of rapid changes in the built environment by focusing on climate adaptability and passive technologies. However, the development of thermodynamic theory in vernacular architecture faced technical limitations in the early 21st century and was later overshadowed by the industry’s reliance on active technologies to meet green building standards, resulting in a reduced role for architects in the green building field. This article traces the origins of passive architecture, rooted in vernacular architecture, and applies thermodynamic theory to explore architectural prototypes. It examines the theoretical feasibility of architectural design in achieving low-carbon and sustainable goals, aiming to fill a gap in thermodynamic theory within the broader context of sustainable architectural development. After demonstrating the various passive prototypes inherent in vernacular architecture, this paper proposes a courtyard prototype focused on residential comfort for design translation and analysis. The research methods employed include bioclimatic charting, balance point temperature analysis in time series, and extensive computer simulations. Through the process of prototype extraction, performance analysis, validation, and optimization, the paper systematically discusses sustainable design methods within the framework of thermodynamic architecture theory. It also provides practical demonstrations of these methods across four distinct climate regions in China. By translating vernacular architectural designs, this research systematically organizes the theoretical framework for architects’ early involvement in low-carbon and green building design, offering a theoretical foundation for initiating the design process through prototype translation while guiding the generation of green ecological buildings.

Acquisition of Flight Data from Mini Unmanned Aerial Systems

Swift progress in unmanned aerial vehicle (UAV) system technology mandates effective real-time monitoring and accurate flight data capture for building an optimum target-based cutting-edge UAVs. In the current epoch of modern-UAV era, small size and mission-oriented UAV prototypes are increasingly pervasive. This study highlights the design of a data acquisition target-based mini-UAV and introduces a novel telemetry software solution to safe and reliable communication between mini-UAV and ground control station (GCS). The primary aim is to demystify the proposed wireless communication software solution on mini-UAV capability in obtaining and managing comprehensive flight data. While creating the appropriate target-based mini-UAV prototype architecture, the features that we aim to realize for the UAV components are addressed with a system approach and the component selection is presented in detail. The integration point of the selected components is conveyed in general terms. Thus, a guiding resource for future UAV studies will be presented. Then, the processes of obtaining the flight data of mini-UAVs will be addressed. At this point, the design logic of the required commands and background software will be conveyed. Obtaining the flight data of mini-UAVs will provide important scientific contributions to the literature in terms of aviation research and safety analysis. Obtaining the flight data of mini-UAVs will meet the data set needs for flight safety improvements and air traffic management optimization studies. A general analysis of the flight parameters obtained as a result of obtaining the flight data will be performed, the predictability of the parameters will be evaluated, and the analysis of the flight phases will be performed by presenting the relationships of the parameters according to the flight scenarios and the sections taken from the parameter set in the study. This study can be considered as a concrete example of situational monitoring of UAVs.

Low-Cost Efficient Wireless Intelligent Sensor (LEWIS) for Research and Education.

Sensors have recently become valuable tools in engineering, providing real-time data for monitoring structures and the environment. They are also emerging as new tools in education and training, offering learners real-time information to reinforce their understanding of engineering concepts. However, sensing technology's complexity, costs, fabrication and implementation challenges often hinder engineers' exploration. Simplifying these aspects could make sensors more accessible to engineering students. In this study, the researcher developed, fabricated, and tested an efficient low-cost wireless intelligent sensor aimed at education and research, named LEWIS1. This paper describes the hardware and software architecture of the first prototype and their use, as well as the proposed new versions, LEWIS1-β and LEWIS1-γ, which simplify both hardware and software. The capabilities of the proposed sensor are compared with those of an accurate commercial PCB sensor. This paper also demonstrates examples of outreach efforts and suggests the adoption of the newer versions of LEWIS1 as tools for education and research. The authors also investigated the number of activities and sensor-building workshops that have been conducted since 2015 using the LEWIS sensor, showing an increasing trend in the excitement of people from various professions to participate and learn sensor fabrication.

Mcti: mixed-criticality task-based isolation

The ever-increasing demand for high performance in the time-critical, low-power embedded domain drives the adoption of powerful but unpredictable, heterogeneous Systems-on-Chip. On these platforms, the main source of unpredictability—the shared memory subsystem—has been widely studied, and several approaches to mitigate undesired effects have been proposed over the years. Among them, performance-counter-based regulation methods have proved particularly successful. Unfortunately, such regulation methods require precise knowledge of each task’s memory consumption and cannot be extended to isolate mixed-criticality tasks running on the same core as the regulation budget is shared. Moreover, the desirable combination of these methodologies with well-known time-isolation techniques—such as server-based reservations—is still an uncharted territory and lacks a precise characterization of possible benefits and limitations. Recognizing the importance of such consolidation for designing predictable real-time systems, we introduce MCTI (Mixed-Criticality Task-based Isolation) as a first initial step in this direction. MCTI is a hardware/software co-design architecture that aims to improve both CPU and memory isolations among tasks with different criticalities even when they share the same CPU. In order to ascertain the correct behavior and distill the benefits of MCTI, we implemented and tested the proposed prototype architecture on a widely available off-the-shelf platform. The evaluation of our prototype shows that (1) MCTI helps shield critical tasks from concurrent non-critical tasks sharing the same memory budget, with only a limited increase in response time being observed, and (2) critical tasks running under memory stress exhibit an average response time close to that achieved when running without memory stress.

Creating sustainable and flexible architectural skin with microbial cellulose-based material: synthesis and mechanical characterization

AbstractAttaining sustainability by developing efficient architectural materials will be a suitable remedy for various environmental problems. Incorporating clean biotechnology, particularly Bacterial Cellulose (BC), into the field of Architecture Design offers a novel strategy with the objective of creating environmentally-friendly architectural materials. The key goal of this research is to investigate the synthesis of BC by cultivating kombucha SCOBY in a culture medium that has been supplemented with sugar and tea extract. The linear density, tensile strength and strain of the BC bio-film and BC composites were assessed in order to determine the material’s degree of fitness in potential applications. The tensile test showed that BC bio-film and its jute composite had tensile strengths of 5 MPa and 10 MPa respectively, indicating notable resilience and durability as a feasible substitute for conventional construction materials. The study delves deeper into the sustainability, biodegradability, and economic feasibility of BC, emphasising its potential as an independent foundational material. The incorporation of jute fibres into BC enhances its capabilities, resulting in the development of a novel composite material known as BC + jute. This composite exhibits superior mechanical and psychochemical characteristics, making it suitable for the creation of sophisticated architectural prototypes. The results of this research establish a strong foundation for the advancement of ecologically conscious architectural solutions, demonstrating the feasibility and capacity of BC in promoting sustainability within the construction sector.Keywords: Microbial Cellulose, Scopy, Architecture, Environmental-friendly, sustainability, interior design, jute fiber, biomaterials.

Analytic representative element rate decline models for naturally fractured reservoir depletion

Representative single anisotropic matrix block 2D Green’s function models for depletion through fully-penetrating, vertical fractures through different numbers of fracture faces are constructed that analytically capture both fracture and block depletion with fracture-matrix mass transfer. The 1D Green’s function for a fracture system is likewise solved in terms of the time evolution of average fracture pressure. While transient average pressure values are not inherently measurable, they are transformed into cumulative production or instantaneous flowrate values, thus producing new rate decline model functional forms. Primary variables in assembling the interacting systems model are the volume ratio, Vf /Vm, permeability ratio, kf /kx, and geometry, (a/b)(ky/kx), with the last term accounting for both block shape and permeability anisotropy. We construct interacting systems models in terms of various ratios of Vf /Vm, and kf /kx for three fracture architecture prototypes: representative matrix blocks depleted by 4, 2, or 1 contacting fractures. The single matrix block models can be migrated to ones for heterogeneous systems using superposition and matrix block distributions, as demonstrated with a binary distribution of block sizes with variable fractions. Analytic solutions for rate decline problems can be used to understand the production signatures of naturally fractured reservoirs and interpretation of fracture volume fraction, permeability ratio, average matrix block size, and measures of heterogeneity.

Principles and Design of Biphasic Self‐Stratifying Batteries Toward Next‐Generation Energy Storage

AbstractLarge‐scale energy storage devices play pivotal roles in effectively harvesting and utilizing green renewable energies (such as solar and wind energy) with capricious nature. Biphasic self‐stratifying batteries (BSBs) have emerged as a promising alternative for grid energy storage owing to their membraneless architecture and innovative battery design philosophy, which holds promise for enhancing the overall performance of the energy storage system and reducing operation and maintenance costs. This minireview aims to provide a timely review of such emerging energy storage technology, including its fundamental design principles, existing categories, and prototype architectures. The challenges and opportunities of this undergoing research topic will also be systematically highlighted and discussed to provide guidance for the subsequent R&D of superior BSBs while conducive to bridging the gap for their future practical application.

Principles and Design of Biphasic Self-Stratifying Batteries Toward Next-Generation Energy Storage.

Large-scale energy storage devices play pivotal roles in effectively harvesting and utilizing green renewable energies (such as solar and wind energy) with capricious nature. Biphasic self-stratifying batteries (BSBs) have emerged as a promising alternative for grid energy storage owing to their membraneless architecture and innovative battery design philosophy, which holds promise for enhancing the overall performance of the energy storage system and reducing operation and maintenance costs. This minireview aims to provide a timely review of such emerging energy storage technology, including its fundamental design principles, existing categories, and prototype architectures. The challenges and opportunities of this undergoing research topic will also be systematically highlighted and discussed to provide guidance for the subsequent R&D of superior BSBs while conducive to bridging the gap for their future practical application.

Designing a wearable IoT-based bladder level monitoring system for neurogenic bladder patients

ABSTRACT Over the last years, the use of Internet of Things (IoT) systems in healthcare has increased due to technological advancements and increased availability of data. Sensor-based monitoring of physiological parameters, in particular, promises rich opportunities to promote overall health and self-management of patients suffering from chronic diseases. As such, neurogenic bladder patients lack sensation and control over their bladder while they could regain sovereignty over their bladder management through monitoring their physiological parameters. In this paper, we aim to develop a wearable IoT-based bladder level monitoring system for managing neurogenic bladder dysfunctions. We develop a set of design principles taking a stance from behaviour theory and implement the design principles in a software architecture following a design science research approach. Further, we evaluate and revise the developed artefact and implement a prototype of the software architecture. Our research contributes to IS research through prescriptive knowledge for IoT-based bladder level monitoring systems that can be transferred and generalised to similar areas of application. Further, we contribute to behaviour theory as we theorise a new type of trigger that we call a hybrid trigger.

Effect of angular variation and in vitro degradation on mechanical properties of PBAT 3D scaffolds

AbstractThe customization of polymeric prototypes is available to meet the specific needs of individual patients, considering tissue location and patient‐specific characteristics. Poly (butylene adipate‐co‐terephthalate) (PBAT) has shown great promise among various polymers in this scenario due to its biodegradability and processability properties. However, the effect of geometry changes on the mechanical properties of PBAT 3D scaffolds and their mechanical stability after in vitro degradation are crucial to determining the final application. This study focuses on the structural, morphological, and mechanical characterization of PBAT prototypes with different architectures and evaluating their mechanical properties before and after in vitro degradation. Three‐dimensional structures were 3D printed with rectilinear deposition angles of 15°, 30°, 45°, 60°, 75°, and 90°. Mechanical tests revealed that the prototype architecture influenced the stiffness, elongation, and maximum tension, where a greater resistance was observed for filaments containing the lowest angles. The thermal stability of PBAT remained unaffected either by reprocessing or hydrolytic degradation; however, in vitro degradation affected the mechanical behavior by increasing the stiffness and decreasing the elongation of the scaffold. Biological assays have demonstrated the nontoxic nature of PBAT and its potential to promote cell viability at a rate of 95%. These findings underscore the possibility of optimizing the PBAT design and structure to tune the mechanical properties and contribute to advancing tissue engineering strategies.

On UAV Terrestrial Connectivity Enhancement through Smart Selective Antennas

Nowadays, Unmanned Aerial Vehicles (UAVs) are widely used in heterogeneous contexts and, thanks to a continuous technological evolution, are going to be used for several applications such as, for example, Beyond Visual Line of Sight (BVLOS) operations. Since in BVLOS flights the UAV and the ground control center may not have a direct visibility with each other, a robust communication system is needed to provide reliable connectivity. Although a cellular (4G/5G) network is the current best candidate to enable BVLOS applications, there are still some limitations to overcome, as 4G (LTE) and 5G (NR) cellular networks are natively designed for terrestrial use. In this paper, we first investigate current cellular communication limitations for UAV-based applications, in particular taking into account both results available in the literature, as well as experimental performance campaigns. Then, a viable solution for mitigating these drawbacks exploiting selective on-board antennas is proposed, whose performance is experimentally investigated with a preliminary prototypical architecture.

Unobtrusive Cognitive Assessment in Smart-Homes: Leveraging Visual Encoding and Synthetic Movement Traces Data Mining.

The ubiquity of sensors in smart-homes facilitates the support of independent living for older adults and enables cognitive assessment. Notably, there has been a growing interest in utilizing movement traces for identifying signs of cognitive impairment in recent years. In this study, we introduce an innovative approach to identify abnormal indoor movement patterns that may signal cognitive decline. This is achieved through the non-intrusive integration of smart-home sensors, including passive infrared sensors and sensors embedded in everyday objects. The methodology involves visualizing user locomotion traces and discerning interactions with objects on a floor plan representation of the smart-home, and employing different image descriptor features designed for image analysis tasks and synthetic minority oversampling techniques to enhance the methodology. This approach distinguishes itself by its flexibility in effortlessly incorporating additional features through sensor data. A comprehensive analysis, conducted with a substantial dataset obtained from a real smart-home, involving 99 seniors, including those with cognitive diseases, reveals the effectiveness of the proposed functional prototype of the system architecture. The results validate the system's efficacy in accurately discerning the cognitive status of seniors, achieving a macro-averaged F1-score of 72.22% for the two targeted categories: cognitively healthy and people with dementia. Furthermore, through experimental comparison, our system demonstrates superior performance compared with state-of-the-art methods.

APPLICATION OF THE RED PITAYA PLATFORM IN THE TECHNOLOGY OF PROTOTYPING AUTOMATED EDDY CURRENT TESTING SYSTEMS

Automated eddy current non-destructive testing has an important role in the quality inspection system for products made of conductive materials both at the production stage and during their operation. The appearance of novel alloys, the complexity of product geometry and inspection conditions, and the increased requirements for the reliability and accuracy of inspection results stimulate the acceleration process of creating new eddy current inspection tools. The technology of prototyping makes it possible to solve this problem. The purpose of the article is to review the functionality and technical characteristics of Red Pitaya for use in the technology of prototyping eddy current inspection, as well as to create a prototype architecture of an automated eddy current inspection system based on it.The choice of the Red Pitaya platform as a convenient tool for prototyping automated systems was made due to its functionality, reliability, and availability. In general, the article highlights the advantages and prospects of using the Red Pitaya platform in the prototyping of automated eddy current non-destructive testing systems. The aspects of the Red Pitaya hardware and its capabilities for expanding the functionality, which allows to create highly efficient and flexible control systems, are considered in detail. The compatibility of Red Pitaya with other devices and accessories is considered, which significantly increases its versatility and adaptability to various requirements and applications.The article highlights the importance of using the Jupyter Notebook application in combination with Red Pitaya as a convenient tool for software development. This helps to facilitate the process of creating and programmatically implementing complex signal processing algorithms in eddy current control systems, and provides flexibility in creating new software products.Modern trends and prospects for the development of eddy current testing, market needs, and the ability to adapt to different application scenarios are taken into account in the proposed architecture of the prototype automated eddy current testing system.

“...seems to be built not of stone”: Without Foundation by V. Petrov (Domontovych) as an Architectural and Pictorial Novel-Ekphrasis

Intermedial analysis remains one of the leading interpretive strategies of contemporary literary studies, which determines the relevance of the study. The aim is to read the novel Without Foundation (1948) by V. Petrov (Domontovych) through the prism of intermediality. The research methods are determined by the objective. The method of intermedial analysis, contextual analysis, hermeneutic, comparative and semiotic methods are used. It is indicated that the writer transports a number of codes of plastic arts into the word: composition, colour and linear ratios, volumes, light and shadows, texture, etc. Verbal descriptions of works of art as visual objects in a novel often become a self-contained main narrative with extensive reflections on artistic phenomena. Certain episodes of the novel are a kind of verbal extension of the characters depicted in the paintings. Masterpieces of world and national art, as well as precedent-setting names of artists, provide the writer with the opportunity to find motives, moods, and images that are in tune with his or her own, and enrich the arsenal of visual and expressive means. The main basis of the artistic narrative is the architectural structure, which, determining the unity of the thematic and poetic design of reality, determines the subject, type of hero, system of characters, problematics, plot and compositional structure, chronotope, and type of narrative. Built not of stone, but in the writer's imagination, the Varangian Church becomes an architectural prototype that models a literary work, partially structuring it. Thus, the multifaceted verbal visualization of the Cathedral, in its artistic concept, tends to be similar to the artistic solution of C. Monet with regard to the Cathedral of Rouen. The author also devoted a "series of paintings" to the Varangian Church, which depict the urban space associated with the architectural object. Conclusions. The complex system of visual codes and their multiplicity testify to the originality and novelty of the Ukrainian writer, whose novel, in its language directly related to plastic arts, became a "prologue" to contemporary novels-ekphrasises.

ATHENA I—An architecture for near real-time physiological signal monitoring and pattern detection

Smart healthcare has wide application possibilities, including physiological signals analysis. With the development and improvement of microelectronic devices and sensors, wearable sensors can acquire physiological signals with quality and support remote health monitoring. Due to the growing use of these devices, there is a need for easy and flexible ways to use them in health monitoring. To contribute in this context, we developed the ATHENA I, an architecture focused on using wearables to acquire physiological signals and applying artificial intelligence to classify health patterns in real-time. Because of the constant improvement of wearable devices, we focused on developing a flexible and efficient architecture. Since many health centers outside the central regions of the metropolis have reduced connectivity, we designed an architecture capable of operating entirely outside the data network. The architecture prototype features BITalino wearable sensor and a Raspberry Pi single-board computer. For a complete prototype evaluation, we performed stress-inducing experiments conducted by psychologists to acquire a new dataset of physiological signs. We used this dataset in pattern classification in offline operations and near real-time situations. Our purpose with these experiments is to predict stress, being able to differentiate the normal state from the stress state. The classification results for the stress patterns showed promising results, with accuracy above 98.72% for binary classification (stress, no-stress); and 92.72% for classification with three classes (pre-stress, stress, and post-stress). In the real-time classification, we obtained an accuracy of 69.00%. The architecture presented excellent communication and operation stability. During the experiments, the architecture performed short and long acquisitions efficiently.

Prototyping an integrated IoT-based real-time sewer monitoring system using low-power sensors

Improper monitoring of sewage networks may raise various issues such as overflows, pipe blockages, theft of manhole covers, leading to flooding and pollution, infrastructure damage, vehicles accidents, injury, and even death from falling into open manholes. The key objective of this research was to examine different elements and create a prototype architecture for a real-time sewer monitoring system. Implementation of the architecture involved constructing a data gathering station and experimenting with various wireless sensing devices to assess the precision of the sensors. In addition, the study sought to design a geographic information system that integrates algorithms capable of identifying sewer overflow, blocked pipes, and the presence of manhole covers. The performance of Sharp GP2Y0A41SK0F infrared, TF-Luna Benewake LiDar, TOF400 VL53L1X laser, JSN-SR04T ultrasonic distance sensors was tested in terms of their ability to monitor water level and manhole cover. Tests revealed the most favorable results in TOF400 VL53L1X at distances between 0.2 and 1.0 m (presumed distance to the manhole cover) with a standard deviation of 0.13–0.24, and in TF-Luna Benewake at distances between 1.0 and 5.0 m (presumed distance to the chamber bottom) with a standard deviation of 0.44–1.15. The deviation analysis has yielded equations that can be utilized to provide rough estimates of the accuracy levels of the aforementioned sensors, based on the measured distance. Additionally, the FC-28 analog and YL-63 infrared sensors were evaluated for detecting pipe blockages, with the YL-63 being more suitable. The outcomes of this study furnish valuable insights that can aid in achieving sustainable resolutions for issues related to sewer monitoring

SCIENTIFIC REFERENCE MODEL – DEFINING STANDARDS, METHODOLOGY AND IMPLEMENTATION OF SERIOUS 3D MODELS IN ARCHAEOLOGY, ART AND ARCHITECTURAL HISTORY

Abstract. In object-oriented historical research the need to combine hypotheses and textual arguments with the critical analysis based on sources – such as floor plans, sections, perspectives, and photographs – has considerably benefited from the developments in Digital Humanities (Münster, 2022). The use of digital 3D models has overcome many limitations inherent to two-dimensional records. Since the early 1990s hypothetical 3D reconstructions have therefore increasingly become routine research tools and essential means of representation capable of offering new methods of investigation, enabling new insights into the object-related research. In terms of a holistic approach to the analysis and case studies, i.e. the enhanced ability to examine and explore (Favro, 2012) serious challenges remain regarding documentation, interoperability and long-term access to 3D-based research outputs.In this context, numerous initiatives and research projects have emerged with the common objective of systematising and rationalising the various problems identified by scholars. Such projects still tend to remain isolated, lacking a significant impact on the community of potential users. 3D research outputs are not widely applicable, due to the complex prototypes of the software architecture, difficult to apply in a broad sense. Furthermore, the ‘old’ problems still exist, i.e. the traditional approaches - which do not consider a 3D model as a scholarly result, but only an investigative tool - and the reluctance to share these results and the associated procedures. Therefore, an attempt is being made to define the development and evaluation of an applicable methodology for the hypothetical 3D historical reconstruction, based on a shared theoretical approach.The working method presented here reflects many years of engagement with source-based hypothetical 3D reconstruction of no longer extant or unrealised architecture for teaching and research. Our focus is therefore on a low-threshold, application-oriented method of the Scientific Reference Model (SRM) as a documented and published basic model. The structured SRM represents an important working and knowledge state, which clarifies the essential information about the object, its components, its credibility or extent of hypothesis and copyright. Such SRM is made available for further research, edits and refinement, as well as further derivatives (special applications). Thus SRM represents a findable referential result of a scholarly investigation of a material object that physically no longer exists.

Isla: integrating full-scale ISA semantics and axiomatic concurrency models (extended version)

Architecture specifications such as Armv8-A and RISC-V are the ultimate foundation for software verification and the correctness criteria for hardware verification. They should define the allowed sequential and relaxed-memory concurrency behaviour of programs, but hitherto there has been no integration of full-scale instruction-set architecture (ISA) semantics with axiomatic concurrency models, either in mathematics or in tools. These ISA semantics can be surprisingly large and intricate, e.g. 100k+\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$+$$\\end{document} lines for Armv8-A. In this paper we present a tool, Isla, for computing the allowed behaviours of concurrent litmus tests with respect to full-scale ISA definitions, in the Sail language, and arbitrary axiomatic relaxed-memory concurrency models, in the Cat language. It is based on a generic symbolic engine for Sail ISA specifications. We equip the tool with a web interface to make it widely accessible, and illustrate and evaluate it for Armv8-A and RISC-V. The symbolic execution engine is valuable also for other verification tasks: it has been used in automated ISA test generation for the Arm Morello prototype architecture, extending Armv8-A with CHERI capabilities, and for Iris program-logic reasoning about binary code above the Armv8-A and RISC-V ISA specifications. By using full-scale and authoritative ISA semantics, Isla lets one evaluate litmus tests using arbitrary user instructions with high confidence. Moreover, because these ISA specifications give detailed and validated definitions of the sequential aspects of systems functionality, as used by hypervisors and operating systems, e.g. instruction fetch, exceptions, and address translation, our tool provides a basis for developing concurrency semantics for these. We demonstrate this for the Armv8-A instruction-fetch and virtual-memory models and examples of Simner et al.