Description Of Domain Research Articles

Application of experimental planning methods for an analytical description of the areas of operability of marine electromechanical systems

The topic of the study is to consider the possibility of using experimental planning methods to mathematically describe areas of performance in relation to marine electromechanical systems. A definition is given and a graphic illustration of the field of operability is provided. It is shown that information about the boundary of the field of operability allows solving the most important tasks of controlling the state of ship electromechanical systems of various functional purposes. Possible ways of solving the problem of constructing a field of efficiency and the difficulties of their practical implementation are given. The method of analytical description of the operability domain is considered, which assumes an independent approximation of each hypersurface that makes up the operability domain. It is shown that for such an approximation it is convenient to use polynomial dependencies, which can be obtained as a result of using experimental planning methods. The main advantages of this approach are considered, including the possibility of solving the problem in the case of a high dimension of the space of primary parameters, in the space of which the area of operability is built. It is noted that in order to obtain a unified analytical description of the field of operability, the properties of logical R-functions can be used, which make it possible to make the transition from logical functions to analytical dependencies. It is proved that polynomial dependencies have the properties of R-functions and can be used in such a transformation. The resulting analytical description of the health area is universal and does not depend on the configuration of the area itself. Unlike the known methods of analytical approximation of the field of operability, it is characterized by an exceptionally low methodological error and allows us to solve with high reliability the problem of parametric synthesis of marine electromechanical systems according to the criterion of the reserve of operability, as well as the tasks of evaluating and predicting their condition during operation. The considered example clearly demonstrated the sequence of solving the problem of analytical description of the field of operability and allowed us to conclude about the complex configuration of this area even for special cases and the simplest electromechanical systems.

A multifactorial approach to war and corruption metaphors in South Asian Englishes

AbstractThe present paper provides a corpus‐based study of war and corruption metaphors in South Asian Englishes (specifically Indian English, Bangladeshi English, Nepali English and Pakistani English). Considering the highly news‐relevant nature of these concepts, the South Asian Varieties of English corpus (SAVE2020) serves as the database. In an initial step, we outline the source domains at different levels of schematicity used to construe war and corruption, revealing the salient domains at location and person. By pursuing a multifactorial approach, this study aims at answering the question whether the choice of source domain is governed by the sociolinguistic factors gender and variety, and intra‐linguistic factors, for example, length and semantic prosody of the metaphor‐related words. It furthermore investigates whether multifactorial analyses, which are still a novelty within research on metaphor variation, constitute a suitable methodological approach. By doing so, our research demonstrates the need to complement this quantitative approach with a qualitative one that offers a more fine‐grained description of the source domains used to structure metaphorical concepts like war and corruption.

Updating Old English Dative–Genitives: A Diachronic Construction Grammar Account

This article conducts a corpus linguistics analysis of the dative–genitive subconstruction within the broader context of Old English double object complementation. The ditransitive construction in Old English has traditionally been perceived as a network of alternating subconstructions, including dat-acc, acc-dat, acc-gen, dat-gen, and acc-acc, as the most productive variants. Recent literature has primarily focused on dat-accs and acc-dats because they are the most productive patterns across the history of English, giving also rise to the current ditransitive construction. However, the less productive case frames have received considerably less recent attention. This work, part of an ongoing investigation aimed at creating an OE dat-gen database, builds upon Visser’s list, verified and implemented by findings obtained from a search conducted in the Dictionary of Old English Web Corpus. We obtain 88 verb types and 443 tokens, incorporating 19 new verb types and 260 tokens into the database. More significantly, we offer a detailed description of the conceptual domains and verb classes associated with OE dat-gens, which display a semantics characterized by the presence or absence of actual transfer, as well as transitions from literal to metaphorical transfer, with speech verbs playing a significant role.

Explanation, semantics, and ontology

The terms ‘semantics’ and ‘ontology’ are increasingly appearing together with ‘explanation’, not only in the scientific literature, but also in everyday social interactions, in particular, within organizations. Ontologies have been shown to play a key role in supporting the semantic interoperability of data and knowledge representation structures used by information systems. With the proliferation of applications of Artificial Intelligence (AI) in different settings and the increasing need to guarantee their explainability (but also their interoperability) in critical contexts, the term ‘explanation’ has also become part of the scientific and technical jargon of modern information systems engineering. However, all of these terms are also significantly overloaded. In this paper, we address several interpretations of these notions, with an emphasis on their strong connection. Specifically, we discuss a notion of explanation termed ontological unpacking, which aims at explaining symbolic domain descriptions (e.g., conceptual models, knowledge graphs, logical specifications) by revealing their ontological commitment in terms of their so-called truthmakers, i.e., the entities in one’s ontology that are responsible for the truth of a description. To illustrate this methodology, we employ an ontological theory of relations to explain a symbolic model encoded in the de facto standard modeling language UML. We also discuss the essential role played by ontology-driven conceptual models (resulting from this form of explanation processes) in supporting semantic interoperability tasks. Furthermore, we revisit a proposal for quality criteria for explanations from philosophy of science to assess our approach. Finally, we discuss the relation between ontological unpacking and other forms of explanation in philosophy and science, as well as in the subarea of Artificial Intelligence known as Explainable AI (XAI).

Rule-Based Explanations of Machine Learning Classifiers Using Knowledge Graphs

The use of symbolic knowledge representation and reasoning as a way to resolve the lack of transparency of machine learning classifiers is a research area that has lately gained a lot of traction. In this work, we use knowledge graphs as the underlying framework providing the terminology for representing explanations for the operation of a machine learning classifier escaping the constraints of using the features of raw data as a means to express the explanations, providing a promising solution to the problem of the understandability of explanations. In particular, given a description of the application domain of the classifier in the form of a knowledge graph, we introduce a novel theoretical framework for representing explanations of its operation, in the form of query-based rules expressed in the terminology of the knowledge graph. This allows for explaining opaque black-box classifiers, using terminology and information that is independent of the features of the classifier and its domain of application, leading to more understandable explanations but also allowing the creation of different levels of explanations according to the final end-user.

Periodic partitions with minimal perimeter

We show existence of fundamental domains which minimize a general perimeter functional in a homogeneous metric measure space. In some cases, which include the usual perimeter in the universal cover of a closed Riemannian manifold, and the fractional perimeter in Rn, we can prove regularity of the minimal domains. As a byproduct of our analysis we obtain that a countable partition which is minimal for the fractional perimeter is locally finite and regular, extending a result previously known for the local perimeter. Finally, in the planar case we provide a detailed description of the fundamental domains which are minimal for a general anisotropic perimeter.

Equivariant Solutions to the Optimal Partition Problem for the Prescribed Q-Curvature Equation

We study the optimal partition problem for the prescribed constant Q-curvature equation induced by the higher-order conformal operators under the effect of cohomogeneity one actions on Einstein manifolds with positive scalar curvature. This allows us to give a precise description of the solution domains and their boundaries in terms of the orbits of the action. We also prove the existence of least energy symmetric solutions to a weakly coupled elliptic system of prescribed Q-curvature equations under weaker assumptions and conclude a multiplicity result of sign-changing solutions to the prescribed constant Q-curvature problem induced by the Paneitz-Branson operator. Moreover, we study the coercivity of GJMS operators on Ricci solitons, compute the Q-curvature of these manifolds, and give a multiplicity result for the sign-changing solutions to the Yamabe problem with a prescribed number of nodal domains on the Koiso–Cao Ricci soliton.

Integrating subsystem embedding subalgebras and coupled cluster Green’s function: a theoretical foundation for quantum embedding in excitation manifold

In this study, we introduce a novel approach to coupled-cluster Green’s function (CCGF) embedding by seamlessly integrating conventional CCGF theory with the state-of-the-art sub-system embedding sub-algebras coupled cluster (SES-CC) formalism. This integration focuses primarily on delineating the characteristics of the sub-system and the corresponding segments of the Green’s function, defined explicitly by active orbitals. Crucially, our work involves the adaptation of the SES-CC paradigm, addressing the left eigenvalue problem through a distinct form of Hamiltonian similarity transformation. This advancement not only facilitates a comprehensive representation of the interaction between the embedded sub-system and its surrounding environment but also paves the way for the quantum mechanical description of multiple embedded domains, particularly by employing the emergent quantum flow algorithms. Our theoretical underpinnings further set the stage for a generalization to multiple embedded sub-systems. This expansion holds significant promise for the exploration and application of non-equilibrium quantum systems, enhancing the understanding of system–environment interactions. In doing so, the research underscores the potential of SES-CC embedding within the realm of quantum computations and multi-scale simulations, promising a good balance between accuracy and computational efficiency.

Abstract 17327: Heterogenous Shared Decision-Making Approaches to Sports Eligibility Decisions for Athletes With Cardiovascular Disease

Background: Historically, almost all pathologic cardiovascular (CV) diagnoses led to complete restriction from competitive sports. In 2015, the American College of Cardiology (ACC) and American Heart Association began to embrace a more nuanced, patient-centered approach to sports eligibility using shared decision-making (SDM). While SDM is a conceptually defensible approach to sports eligibility, operationalization is complex, and we know very little about how physicians understand and deploy it. Methods: To assess sports cardiologists’ understandings of SDM and approaches to eligibility decisions, in-depth interactive interviews were conducted with (N=20) self-identified sports cardiologists. Participants were sampled at random from the ACC Sports and Exercise Cardiology Section. Interviews were conducted using video conference or telephone, and transcripts were analyzed for qualitative description of key domains. Results: Analysis revealed heterogeneity regarding core elements of SDM. All 20 clinicians endorsed SDM, but conceptions of what SDM means varied. Some emphasized communication between physicians rather than with patients, and there was variation in describing the clinician’s role primarily as a provider of information or a more active driver of the decision. Furthermore, even though lifestyle considerations are a key component of SDM for sports eligibility, few clinicians (n=6) specifically referenced elicitation of a patient’s preferences as part of the SDM process. Clinicians also stated highly variable thresholds for prohibitive annual risk of sudden cardiac death during sports participation ranging from <1% to >10%, and they expressed heterogenous views of how athletes interpret risk. Some believed athletes can interpret risk in similar ways as other people; others felt they are largely blind to risk. Conclusions: These data collectively demonstrate heterogenous views of and approaches to SDM for sports eligibility decisions that likely result in very different encounters and decision outcomes. There is a need to develop a more robust understanding of how SDM is operationalized in this context and determine an evidence-based approach to SDM for sports and exercise eligibility in the context of CV disease.

Simulated mental imagery for robotic task planning.

Traditional AI-planning methods for task planning in robotics require a symbolically encoded domain description. While powerful in well-defined scenarios, as well as human-interpretable, setting this up requires a substantial effort. Different from this, most everyday planning tasks are solved by humans intuitively, using mental imagery of the different planning steps. Here, we suggest that the same approach can be used for robots too, in cases which require only limited execution accuracy. In the current study, we propose a novel sub-symbolic method called Simulated Mental Imagery for Planning (SiMIP), which consists of perception, simulated action, success checking, and re-planning performed on 'imagined' images. We show that it is possible to implement mental imagery-based planning in an algorithmically sound way by combining regular convolutional neural networks and generative adversarial networks. With this method, the robot acquires the capability to use the initially existing scene to generate action plans without symbolic domain descriptions, while at the same time, plans remain human-interpretable, different from deep reinforcement learning, which is an alternative sub-symbolic approach. We create a data set from real scenes for a packing problem of having to correctly place different objects into different target slots. This way efficiency and success rate of this algorithm could be quantified.

Converting semantic web services into formal planning domain descriptions to enable manufacturing process planning and scheduling in industry 4.0

To build intelligent manufacturing systems that react flexibly in case of failures or unexpected circumstances, manufacturing capabilities of production systems must be utilized as much as possible. Artificial Intelligence (AI) and, in particular, automated planning can contribute to this by enabling flexible production processes. To efficiently leverage automated planning, an almost complete planning domain description of the real-world is necessary. However, creating such planning descriptions is a demanding and error-prone task that requires high manual efforts even for domain experts. In addition, maintaining the encoded knowledge is laborious and, thus, can lead to outdated domain descriptions. To reduce the high efforts, already existing knowledge can be reused and transformed automatically into planning descriptions to benefit from organization-wide knowledge engineering activities. This paper presents a novel approach that reduces the described efforts by reusing existing knowledge for planning and scheduling in Industry 4.0 (I4.0). For this purpose, requirements for developing a converter that transforms existing knowledge are derived from literature. Based on these requirements, the SWS2PDDL converter is developed that transforms the knowledge into formal Planning Domain Definition Language (PDDL) descriptions. The approach’s usefulness is verified by a practical evaluation with a near real-world application scenario by generating failures in a physical smart factory and evaluating the generated re-planned production processes. When comparing the resulting plan quality to those achieved by using a manually modeled planning domain by a domain expert, the automatic transformation by SWS2PDDL leads to comparable or even better results without requiring the otherwise high manual modeling efforts.

A high-accuracy framework for phase-field fracture interface reconstructions with application to Stokes fluid-filled fracture surrounded by an elastic medium

This work considers a Stokes flow in a deformable fracture interacting with a linear elastic medium. To this end, we employ a phase-field model to approximate the crack dynamics. Phase-field methods belong to interface-capturing approaches in which the interface is only given by a smeared zone. For multi-domain problems, the accuracy of the coupling conditions is, however, of utmost importance. Here, interface-tracking methods are preferred, since the interface is resolved on mesh edges up to discretisation errors, but it does not depend on the length scale parameter of some smeared zone. The key objective of this work is to construct a robust framework that computes first a crack path via the phase-field method (interface-capturing) and then does an interface-tracking reconstruction. We then discuss several approaches to reconstruct the Eulerian description of the open crack domain. This includes unfitted approaches where a level-set of the crack interface is constructed and an approach where the geometry is re-meshed. Using this reconstructed domain, we can compute the fluid–structure interaction problem between the fluid in the crack and the interacting solid. With the explicit mesh reconstruction of the two domains, we can then use an interface-tracking Arbitrary-Lagrangian–Eulerian (ALE) discretisation approach for the resulting fluid–structure interaction (FSI) problem. Our algorithmic procedure is realised in one final numerical algorithm and one implementation. We substantiate our approach using several numerical examples based on Sneddon’s benchmark and corresponding extensions to Stokes fluid-filled regimes.

Three Principles of Intellectualization of Automated Systems

Three Principles of Intellectualization of Automated Systems

Automatic extension of a symbolic mobile manipulation skill set

Symbolic planning can provide an intuitive interface for non-expert users to operate autonomous robots by abstracting away much of the low-level programming. However, symbolic planners assume that the initially provided abstract domain and problem descriptions are closed and complete. This means that they are fundamentally unable to adapt to changes in the environment or tasks that are not captured by the initial description. We propose a method that allows an agent to automatically extend the abstract description of its skill set upon encountering such a situation. We introduce strategies for generalizing from previous experience, completing sequences of key actions and discovering preconditions to ensure computational efficiency. The resulting system is evaluated on a symbolic planning benchmark task and on object rearrangement tasks in simulation. Compared to a Monte Carlo Tree Search baseline, our strategies for efficient search have on average a 25% higher success rate at a 67% faster runtime. Code is available at https://github.com/ethz-asl/high_level_planning.

Organising music’s structures: The classification of musical forms in Western art music

This article analyses the classification of musical forms in Western art music. It examines how some sources in the music domain classify musical forms, and the categorisations and complexities inherent within these classifications. It analyses the table of contents from music domain textbooks, treating them as knowledge organisation systems, as well as analysing music domain descriptions of the knowledge organisation of forms. Form is found to be a complicated type of information, with an intriguing relationship to genre. The analysis of domain classifications reveals five key categorisations: texture, sectionalisation, size of structure, definable-ness and medium. Various complexities about form are elicited, such as form-as-process, complicated whole-part form relationships, an interesting spectrum of definable-ness, and the dependency of form on medium and texture. This article examines a rarely discussed type of information, form, and its approach could be usefully extended to other subjects.

An Overview of Imidazole, Derivatives Ofimidazole and its Pharmacological Applications

In recent decades, many studies have been carried out on heterocycles, especially imidazole rings. The pharmacological properties such as antibacterial, antifungal, anticancer, antiviral and antidiabetic properties Apart from that, there are few side effects. The search for new biologically active imidazoles remains an area of interest An overview of medicinal chemistry. This white paper aims to collect and explain a wealth of information. Antibacterial profile of imidazole. Therefore, it can be used for future development to obtain new effective drug molecules. These heterocycles are important building blocks of functional molecules used in various fields. Used on a daily basis. Emphasis was placed on the bonds that form during the formation of imidazole. The usefulness of these methods is based on functional group compatibility. Processes around the ring and the resulting permutation patterns are described, including domain descriptions. Limitations, Reaction Mechanisms, and Future Challenges. The imidazole ring is part of several important natural products Products containing purines, histamine, histidine, nucleic acids. as polar and ionic Aromatic compounds that improve the pharmacokinetic properties of lead molecules Used as a remedy to optimize poorly proposed solubility and bioavailability parameters soluble lead molecule. Imidazole derivatives occupy a unique position in the art medicinal chemistry. Imidazole drugs have expanded the scope of eliminating various dispositions in clinics dose.

Thin steel plates exposed to combined ballistic impact and partially confined airblast loading

Pre-formed defects created by high-velocity impact have the potential to reduce the structural integrity of lightweight, flexible structures. This study evaluates the effect of complex, partially confined detonations on thin steel plates with realistic pre-formed defects. Target plates containing pre-cut circular holes with a diameter of 8.0 mm are compared to target plates exposed to an initial ballistic impact from 7.62 mm APM2 projectiles. The target plates were exposed to blast loading generated from detonating C-4 inside a steel tube. The stand-off distance was fixed and set equal to the tube radius, where the rear end of the tube was kept open. All blast tests were recorded with several pressure sensors, synchronized with two high-speed cameras monitoring the dynamic response of the target plates. This allowed for a reliable experimental procedure, serving as a benchmark for different numerical methods. For similar loading conditions, the target plates containing initial ballistic impact showed a reduced fracture resistance during blast loading compared to the target plates with pre-cut circular holes. Two different numerical approaches were tested and compared, i.e., a purely Lagrangian particle-based approach and a fully coupled simulation approach using an ALE description of the blast domain. The ALE simulations were found to underestimate the structural response, while the particle-based approach overestimated the structural response.

Powerful laser-produced quasi-half-cycle THz pulses.

The Maxwell equations-based 3D-analytical solution for the terahertz (THz) half-cycle electromagnetic wave transition radiation pulse has been found. This solution describes generation and propagation of transition radiation into free space from laser-produced relativistic electron bunch which crosses a target-vacuum interface as a result of ultrashort laser pulse interaction with a thin high-conductivity target. The analytical solution found complements the theory of laser initiated transition radiation. It describes the THz wave half-cycle pulse at the arbitrary distance from a target surface including near-field zone rather than its standard far-field characterization. The analytical research has also been supplemented with the 3D simulations using the finite-difference time-domain method, which makes it possible for description of much wider spatial domain as compared to that from the particle-in-cell approach. The presented result sheds light fundamentally on the interference of the electron bunch field and the generated THz field of broadband transition radiation from laser-plasma interaction. The latter is studied for a long time in the experiments with solid density plasma and the theory developed may inspire to targeted measurements and investigations of unique super intense half-cycle THz radiation waves near the laser target.

Are They Learning? Assurance of Learning by Curriculum Alignment to Professional Bodies of Knowledge

Background – Measuring learning outcomes is a desirable activity in graduate programs. It is vital for programs that purport to educate practitioners in specific industries. Assessing that students adequately acquire prescribed knowledge and adjusting curricula upon discovering gaps is an important element in program evaluation and management. We present a process to align the program curriculum with industry standards to assure the acquisition of those desirable competencies. This paper presents how to: (1) select the appropriate professional BOK for each knowledge domain in question; (2) map a curriculum to the elements of the body of knowledge; (3) create assessment instruments based on the BOKs; (4) assess alignment; and (5) propose curricular revisions. Contribution – The process was applied to the curriculum of a technology management program master’s program to measure the student’s acquisition in three domains: data analytics, business analysis, and project management. Assessment instruments for each discipline based on corresponding BOK were developed and used to measure students’ acquisition of the skill sets. The results were used to drive curriculum reform. Assessment Questions - To align the curricula to professional BOKs, we asked: (1) whether students graduating from the program had acquired adequate competencies in each TM domain; and (2) If they had not, how the curriculum should be modified to help students acquire those competencies. Methods - The curriculum was reviewed, and we assured initially that topical coverage of the pertinent courses aligned adequately with each BOK knowledge domain. We ascertained curriculum alignment to the BOK by using text similarity scoring of the course descriptions to the BOK domain descriptions. Assessments in the form of multiple-choice exams based on each BOK were created and administered to students in their last semester of study. Results were analyzed, gaps were discovered, and curricular changes to identified courses to fill those gaps were proposed to faculty. Results - Using the existing curriculum, we found that most of the students at the end of the program were able to pass the assessments based on the BOKs. The exam results were sufficiently granular to allow proposals of modifications to the curriculum and course contents to improve the passing rate in future assessments. This appears to be an adequate process of identifying gaps in students’ knowledge of industry-specific topics.

The Chiral Domain of a Camera Arrangement

We introduce the chiral domain of an arrangement of cameras $$\mathcal {A} = \{A_1,..., A_m\}$$ which is the subset of $$\mathbb {P}^3$$ visible in $$\mathcal {A}$$ . It generalizes the classical definition of chirality to include all of $$\mathbb {P}^3$$ and offers a unifying framework for studying multiview chirality. We give an algebraic description of the chiral domain which allows us to define and describe the chiral version of Triggs’ joint image. We then use the chiral domain to re-derive and extend prior results on chirality due to Hartley.