Hasil untuk "Semantics"

F. Lawvere

H. Ehrig, B. Mahr

J. Goguen, J. Thatcher, E. Wagner et al.

A. Pnueli

R. Koselleck

J. Banerjee, Won Kim, Hyoung-Joo Kim et al.

E. Dijkstra, C. S. Scholten

E. Hatch, Cheryl Brown

J. V. Leeuwen

M. Dapretto, S. Bookheimer

Amjad E. Hamza, Mohammed S. Abdo, Bakri Younis et al.

This paper investigates qualitative properties of fractional delay differential equations formulated in terms of the Atangana–Baleanu–Caputo (ABC) fractional derivative of order <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><mn>1</mn><mo><</mo><mi>ϱ</mi><mo><</mo><mn>2</mn></mrow></semantics></math></inline-formula>. Three related problem settings are examined: equations with variable delay, the constant-delay case, and a multi-delay extension involving several discrete delay terms. For each formulation, sufficient conditions ensuring existence and uniqueness of solutions are established in both the supremum norm and an exponentially weighted Maksoud norm. The analysis is carried out using Banach’s fixed point theorem in conjunction with progressive contractions and suitable Lipschitz-type conditions. In addition, Ulam–Hyers (UH) and Ulam–Hyers–Rassias (UHR) stability results are derived, providing quantitative estimates on the sensitivity of solutions with respect to perturbations. To complement the theoretical findings, numerical examples are presented, one of which illustrates the behavior of approximate solutions for various fractional orders.

Mingyang Wan, Yue Pan, Zhennan Zhang

The conventional dynamic fracture simulation by using the explicit algorithm often involves a large number of iteration computation due to the extremely small time interval. Thus, the most time-consuming process is the integration of constitutive relation. To improve the efficiency of the dynamic fracture simulation, a physics-informed neural network integration (PINNI) model is developed to calculate the integration of constitutive relation. PINNI employs a shallow multilayer perceptron with integrable activations to approximate constitutive integrand. To train PINNI, a large number of strains in a reasonable range are generated at first, and then the corresponding stresses are calculated by the mechanical constitutive relation. With the generated strains as input data and the calculated stresses as output data, the PINNI can be trained to reach a very high precision, whose relative error is about <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><mn>7.8</mn><mo>×</mo><msup><mrow><mn>10</mn></mrow><mrow><mo>−</mo><mn>5</mn></mrow></msup></mrow></semantics></math></inline-formula>%. Next, the mechanical integration of constitutive relation is replaced by the well-trained PINNI to perform the dynamic fracture simulation. It is found that the simulation results by the mechanical and PINNI approach are almost the same. This suggests that it is feasible to use PINNI to replace the rigorous mechanical integration of constitutive relation. The computational efficiency is significantly enhanced, especially for the complicated constitutive relation. It provides a new AI-combined approach to dynamic fracture simulation.

Carmen-Ecaterina CIOBÂCĂ

Our paper focuses on the topic of false friends approached in a teaching context. False friends have been frequently examined from various perspectives, such as translation studies, lexicology, and semantics. In addition, the phrase “false friends” may be found in various languages. There are many compendiums and specialized dictionaries dealing with false friends; nevertheless, this concept does not have a clear and conclusive definition. Broadly speaking, false friends are understood as doublets having an identical or similar form, but different meanings. In fact, such concepts are called “false friends” according to the frequency of errors and confusions that they generate. In other words, false friends are linguistic “traps”, especially for language learners. Based on our teaching experience, we propose a typology of false friends (“intralinguistic” and “interlinguistic” false friends, respectively) and we discuss some comprehension and translation difficulties encountered by Romanian learners of legal French.

Michael R. Koblischka, Anjela Koblischka-Veneva

The superconducting transition temperature, <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><msub><mi>T</mi><mi>c</mi></msub></semantics></math></inline-formula>, of the graphite intercalation compound, Ca<inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><msub><mi mathvariant="normal">C</mi><mn>6</mn></msub></semantics></math></inline-formula>, was calculated using the Roeser–Huber (RH) formalism. This method was adapted to alloys with complex crystal structures by identifying symmetric paths for the superconducting charge carriers (Cooper pairs) and incorporating interactions with neighboring atoms through phonon coupling. The evaluation of the lowest energy levels, <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><msub><mo>Δ</mo><mrow><mo>(</mo><mn>0</mn><mo>)</mo></mrow></msub></semantics></math></inline-formula>, along all relevant crystallographic directions reveals a slight anisotropy between the in-plane and out-of-plane directions, consistent with the experimental observation of the gap anisotropy by point contact spectroscopy. The <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><msub><mi>T</mi><mi>c</mi></msub></semantics></math></inline-formula> values obtained for Ca<inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><msub><mi mathvariant="normal">C</mi><mn>6</mn></msub></semantics></math></inline-formula>, Ca<inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><msub><mi mathvariant="normal">C</mi><mn>6</mn></msub></semantics></math></inline-formula> with applied high pressure, and Yb<inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><msub><mi mathvariant="normal">C</mi><mn>6</mn></msub></semantics></math></inline-formula> show good agreement with experimental data, thereby supporting both the validity of the RH approach and its predictive capability in describing superconductivity within complex crystal structures.

Dingwei Zheng, Qingming He

Inspired by the work of Gregori et al. and guided by some open direction, we propose the concepts of Cauchy sequence and convergent sequence in a fuzzy partial metric space by the residuum operator associated to a continuous t-norm. Based on these notions, we introduce the concepts of two kinds of fuzzy <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mi>η</mi></semantics></math></inline-formula>-contractive mappings in fuzzy partial metric spaces and present related fixed point theorems.

Vorkachev, Sergey Grigorievich

Based on the material of a corpus of short-format statements, the semantics and axiology of passion, as well as the discursive properties of aphorism, are studied. It is established that an aphorism does not have a clear definition based on a single feature and we can only talk about &ldquo;family resemblance&rdquo; as the proximity of some&nbsp;small-format text in terms of a set of features to the ideal of an aphoristic statement. The corpus of aphorisms about passion is dominated by an axiological feature &ndash; every third statement about passion contains its assessment: most often passion is considered as a sin and vice, somewhat less often it receives a positive assessment &ndash; it is considered as spiritual wealth and a source of fruitful activity, even less often a compromise view of assessment is observed: passion is recognized beneficial, when its intensity does not go beyond the limits set by reason and will, and harmful &ndash; when it goes beyond the limits and takes possession of a person. The praxeology of passion in aphorism comes down to recommendations to subordinate passions to your will and learn to control them. Among the distinctive semantic features of passion in aphorism, one can note its omnipotence and insubordination to the will, as well as the innateness and ineradicability of passions. Among the actual distinctive features of aphorism in statements about passion, imagery clearly predominates &ndash; metaphor is present in almost every fourth aphorism, and the dominant type of metaphorical transfer here is pyro/thermometaphor: combustion and temperature fluctuations are reflected in every third metaphor of passion. Another distinctive feature of aphorism &ndash; antithesis is present in every sixth statement about passion, where passion is most often contrasted with reason. One more distinctive feature of aphorism is that paradox in statements about passion appears relatively rarely.

D. Harel, Bernhard Rumpe

A. Papafragou, J. Musolino

David L. Martin, M. Burstein, D. McDermott et al.

Current industry standards for describing Web Services focus on ensuring interoperability across diverse platforms, but do not provide a good foundation for automating the use of Web Services. Representational techniques being developed for the Semantic Web can be used to augment these standards. The resulting Web Service specifications enable the development of software programs that can interpret descriptions of unfamiliar Web Services and then employ those services to satisfy user goals. OWL-S (“OWL for Services”) is a set of notations for expressing such specifications, based on the Semantic Web ontology language OWL. It consists of three interrelated parts: a profile ontology, used to describe what the service does; a process ontology and corresponding presentation syntax, used to describe how the service is used; and a grounding ontology, used to describe how to interact with the service. OWL-S can be used to automate a variety of service-related activities involving service discovery, interoperation, and composition. A large body of research on OWL-S has led to the creation of many open-source tools for developing, reasoning about, and dynamically utilizing Web Services.

David I. Beaver