Journal articles: 'Dynamic-equivalence'

1

Stine, Philip C. "Dynamic Equivalence Reconsidered." Translator 10, no. 1 (April 2004): 129–35. http://dx.doi.org/10.1080/13556509.2004.10799171.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Omanson, Roger L. "Dynamic-Equivalence Translations Reconsidered." Theological Studies 51, no. 3 (September 1990): 497–505. http://dx.doi.org/10.1177/004056399005100307.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Statham, Nigel. "Dynamic Equivalence and Functional Equivalence: How Do They Differ?" Bible Translator 54, no. 1 (January 2003): 102–11. http://dx.doi.org/10.1177/026009350305400102.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Marx, Maarten, and Michael Masuch. "Regular equivalence and dynamic logic." Social Networks 25, no. 1 (January 2003): 51–65. http://dx.doi.org/10.1016/s0378-8733(02)00036-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Pomet, Jean-Baptiste. "A Necessary Condition for Dynamic Equivalence." SIAM Journal on Control and Optimization 48, no. 2 (January 2009): 925–40. http://dx.doi.org/10.1137/080723351.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Walsh, J. P. M. "Dynamic or Formal Equivalence? A Response." Theological Studies 51, no. 3 (September 1990): 505–8. http://dx.doi.org/10.1177/004056399005100308.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Ramirez, Juan M., Blanca V. Hernández, and Rosa Elvira Correa. "Dynamic equivalence by an optimal strategy." Electric Power Systems Research 84, no. 1 (March 2012): 58–64. http://dx.doi.org/10.1016/j.epsr.2011.09.023.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Shadwick, W. F. "Absolute equivalence and dynamic feedback linearization." Systems & Control Letters 15, no. 1 (July 1990): 35–39. http://dx.doi.org/10.1016/0167-6911(90)90041-r.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Kim, Taehwa, and Jinsook Kim. "Analysis of Equivalence and Reliability of Korean Translated Abbreviated Profile of Hearing Aid Benefits." Audiology and Speech Research 16, no. 3 (July 31, 2020): 175–87. http://dx.doi.org/10.21848/asr.200025.

Full text

Abstract:

For using the translated questionnaires, an appropriate translation should be accomplished for establishing the equivalence. The equivalence is divided into two categories, formal equivalence regarding words and grammar and dynamic equivalence meaning the naturalness of the context with the consideration of the cultural and emotional characteristics of the region. The purpose of this study was to verify formal and dynamic equivalences and statistical reliability of the widely used translated questionnaire in Korea, abbreviated profile of hearing aid benefits (APHAB). The identification of equivalence was conducted in formal and dynamic categories and the statistical verification was performed for 6 translated APHAB which are currently utilized in Korea. None of 6 translated APHAB had formal and dynamic equivalences for all 24 items when the score ‘2’ was given to the completed equivalence of each item. Two translated APHAB showed ‘11’ as the best score and one of them showed ‘0’ for the formal equivalence identification. For the dynamic equivalence, the two translated APHAB scored ‘20’ as the best score. The one scored ‘0’ for the formal equivalence showed ‘0’ also in the dynamic equivalence. And only two translated APHAB presented the statistical validation using Cronbach’s alpha and factor analysis. It was confirmed that any of 6 translated APHAB in Korea could not reproduce the original contents with the appropriate equivalence and statistical validation. As the translated version was found to have a limitation in delivering the original contents due to language, emotional and cultural differences, a Korean questionnaire should be developed.

APA, Harvard, Vancouver, ISO, and other styles

10

Pomet, Jean-Baptiste. "A differential geometric setting for dynamic equivalence and dynamic linearization." Banach Center Publications 32, no. 1 (1995): 319–39. http://dx.doi.org/10.4064/-32-1-319-339.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Bolaños Cuéllar, Sergio. "Equivalence within the Dynamic Translation Model (DTM): Default Equivalence Position, Equivalence Range, Initiator’s Instructions, and Translational Norms." Forma y Función 29, no. 2 (September 26, 2016): 183. http://dx.doi.org/10.15446/fyf.v29n2.60194.

Full text

Abstract:

Within the framework of a Dynamic Translation Model (DTM) (Bolaños, 2008) an attempt is made to show how equivalence is actually a key concept for the definition and explanation of translation. Central to this modern approach to translational equivalence is the relationship that holds between the Default Equivalence Position (DEP), Equivalence Range (ER), Initiator’s Instructions (II), and Translational Norms (TN). In this approach it is also clear that the explanatory power of the concept of equivalence is widened and it becomes suitable to adequately account for the different types of equivalence that are established in different text types (literary, scientific, and appellative texts), when several translational strategies are used, e.g. by resorting to domesticating or foreignizing linguistic resources.

APA, Harvard, Vancouver, ISO, and other styles

12

Ghanekar, M., D. W. L. Wang, and G. R. Heppler. "Dynamic Equivalence Conditions for Controlled Robotic Manipulators." AIAA Journal 41, no. 2 (February 2003): 280–87. http://dx.doi.org/10.2514/2.1941.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

López-Flores, Leticia, Patricia Mendoza-Méndez, Luis E. Sánchez-Díaz, Laura L. Yeomans-Reyna, Alejandro Vizcarra-Rendón, Gabriel Pérez-Ángel, Martín Chávez-Páez, and Magdaleno Medina-Noyola. "Dynamic equivalence between atomic and colloidal liquids." EPL (Europhysics Letters) 99, no. 4 (August 1, 2012): 46001. http://dx.doi.org/10.1209/0295-5075/99/46001.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Robinson, Douglas. "Rethinking dynamic equivalence as a rhetorical construct." Asia Pacific Translation and Intercultural Studies 7, no. 2 (May 3, 2020): 119–38. http://dx.doi.org/10.1080/23306343.2020.1809764.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Kerr, Glenn J. "Dynamic Equivalence and Its Daughters: Placing Bible Translation Theories in Their Historical Context." Journal of Translation 7, no. 1 (2011): 1–19. http://dx.doi.org/10.54395/jot-8trtm.

Full text

Abstract:

The Bible translation theory called “dynamic equivalence” from the middle of the twentieth century was more than what may be called the first definable theory of Bible translation. Indirectly or directly, it spawned or related to seven other specific theories: meaning-based translation, cultural equivalence or transculturation, complete equivalence, optimal equivalence, closest natural equivalence, functional equivalence, and skopostheorie. Even the term formal equivalence originated during this time. Later in the same period, the code model of communication on which dynamic equivalence was based was challenged by the inference model of relevance theory. All this theoretical writing and postulating has been paralleled by or related to developments in the world of general translation theory and science. Oftentimes these theories have been studied in isolation; this paper, in contrast, examines those theories in their historical context, analyzing their core ideas and how they relate to each other. Concurrently we focus on who the originators of the theories are, and what Bible translation organizations have used them. The study concludes with a practical discussion of what knowing and using these theories might mean in the real world context of Bible translating.

APA, Harvard, Vancouver, ISO, and other styles

16

Zhu Jia, Jian, Chen Guang Yan, and Jin Fang Han. "Vertex Stability of Grey Discrete Dynamic Systems." Applied Mechanics and Materials 511-512 (February 2014): 1072–76. http://dx.doi.org/10.4028/www.scientific.net/amm.511-512.1072.

Full text

Abstract:

In this paper, the vertex stability problem for a class of grey discrete dynamic systems was investigated by means of the matrix eigenvalues theory and spectral radius approach. Several necessary and sufficient conditions are obtained which can guarantee the vertex stability of grey discrete dynamic systems. The equivalence relation between the vertex stability and Schur stability of grey discrete dynamic systems , as well as the equivalence relation between the vertex stability for grey discrete dynamic systems and its boundary matrix are established.

APA, Harvard, Vancouver, ISO, and other styles

17

Hayuwardhani, Aurelia Reza. "Equivalence in the Translation of Joko Pinurbo�s �Tuhan Datang Malam Ini� into �God Came Tonight�." Indonesian Journal of English Language Studies (IJELS) 6, no. 1 (June 29, 2020): 18–24. http://dx.doi.org/10.24071/ijels.v6i1.2692.

Full text

Abstract:

The paper presents an analysis of Joko Pinurbos Tuhan Datang Malam Ini translated intoGod Came Tonight. In this paper, the translation of the original version is seen closely tosee its equivalence strategies, referring to Nidas framework, applied to the production of thetranslation. The equivalence explained in the discussion covers both formal and dynamic. Thediscussion in the paper leads to three major conclusions, namely: (1) figurativeness in a poemcan be preserved by the help of formal equivalence, (2) the type of equivalence depends onhow far translators bring it to the translation, and (3) translators need to have broadknowledge to supply their work in translation, especially in that of poetry.Keywords: Joko Pinurbo, Nidas framework, formal, and dynamic equivalence.

APA, Harvard, Vancouver, ISO, and other styles

18

Efendi, Ahmad. "FIGURE OF SPEECH TRANSLATION OF NOVEL TUESDAYS WITH MORRIE MITCH ALBOM WORKS BY ALEX TRI KANTJONO WIDODO CONTENT ANALYSIS RESEARCH." JEES: Journal of English Educational Study 2, no. 1 (May 22, 2019): 21–28. http://dx.doi.org/10.31932/jees.v2i1.380.

Full text

Abstract:

This research generally aims to increase knowledge of the translation of a novel translation. Specifically to determine equivalence translations figure of speech, to know the techniques translation in translations figure of speech, and meaning shift of translations figure of speech in this novel Tuesdays with Morrie. The object of research is novel translation by Alex Tri Kantjono Widodo with the title Tuesday with Morrie Mitch Albom's work.The method used is qualitative method and the technique used is content analysis. Data collected by reading novels, collecting data by selecting a clause or sentence containing a figure of speech, quote them and identify then create a table. Furthermore, the sentences were analyzed by formal equivalence or dynamic equivalence.There are 87 identified sentences as a sentence containing a figure of speech. Sentences are divided into two correspondences that formal and dynamic equivalence. There were 70 sentences, or 80% containing formal equivalence and 17 sentences or 20% containing dynamic equivalence. Later, it was discovered seven translation techniques used by the translator of the novel Tuesday with Morrie. Finally, there are 3 meanings shift in translations figure of speech. Keyword: Figure of Speech, Content Analysis, Translation, Equivalence, Qualitative, Technique, Meaning Shift.

APA, Harvard, Vancouver, ISO, and other styles

19

CASTELLANI, ILARIA. "OBSERVING DISTRIBUTION IN PROCESSES: STATIC AND DYNAMIC LOCALITIES." International Journal of Foundations of Computer Science 06, no. 04 (December 1995): 353–93. http://dx.doi.org/10.1142/s0129054195000196.

Full text

Abstract:

The distributed structure of CCS processes can be made explicit by assigning different locations to their parallel components. These locations then become part of what is observed of a process. The assignment of locations may be done statically, or dynamically as the execution proceeds. The dynamic approach was developed first, in Refs. [4,5], as it appeared to be more convenient for defining notions of location equivalence and preorder. Extending previous work by L. Aceto1 we study here the static approach, which is more natural from an intuitive point of view, and more manageable for verification purposes. We define static notions of location equivalence and preorder, and show that they coincide with the dynamic ones. To establish the equivalence of the two location semantics, we introduce an intermediate transition system called occurrence system, which incorporates both notions of locality. This system supports a definition of local history preserving bisimulation for CCS, which is a third formulation of location equivalence.

APA, Harvard, Vancouver, ISO, and other styles

20

Li, Shouwei, Yao Xiao, and Kaiquan Shi. "Dynamic Boundary of P-Set and Intelligent Acquisition for Two Types of Information Fusion." Computers 9, no. 1 (January 16, 2020): 3. http://dx.doi.org/10.3390/computers9010003.

Full text

Abstract:

The development of information technology brings the challenge of data redundancy and data shortage to information fusion. Based on the dynamic boundary characteristics of p-set, this paper analyzes the structure and generation of p-augmented matrix, and then analyzes the dynamic generation of information equivalence class, and then proposes an intelligent acquisition algorithm of information equivalence class based on matrix reasoning. In addition, this paper analyzes two types of information fusion, namely information redundancy fusion and information supplement fusion. Then, the relationship among redundant information fusion, supplementary information fusion, and information equivalence classes is analyzed. Finally, this paper presents the application of intelligent acquisition of information equivalence class in information retrieval.

APA, Harvard, Vancouver, ISO, and other styles

21

Hermida-Alonso, Jose A., and M. T. Trobajo. "The dynamic feedback equivalence over principal ideal domains." Linear Algebra and its Applications 368 (July 2003): 197–208. http://dx.doi.org/10.1016/s0024-3795(02)00671-7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Gauthier, Stéphane. "DYNAMIC EQUIVALENCE PRINCIPLE IN LINEAR RATIONAL EXPECTATIONS MODELS." Macroeconomic Dynamics 7, no. 1 (January 7, 2003): 63–88. http://dx.doi.org/10.1017/s1365100502010301.

Full text

Abstract:

Linear models with infinite horizon generally admit infinitely many rational expectations solutions. Consequently, some additional selection devices are needed to narrow the set of relevant solutions. The viewpoint of this paper is that a solution will be more likely to arise if it is locally determinate (i.e., locally isolated), locally immune to sunspots, and locally stable under learning. These three criteria are applied to solutions of linear univariate models along which the level of the state variable evolves through time. In such models the equilibrium behavior of the level of the state variable is described by a linear recursive equation characterized by the set of its coefficients. The main innovation of this paper is to define new perfect-foresight dynamics whose fixed points are these sets of coefficients, thus allowing us to study the property of determinacy of these sets, or, equivalently, of the associated solutions. It is shown that only one solution is locally determinate in the new dynamics. It is also locally immune to sunspots and locally stable under myopic learning. This solution corresponds to the saddle path in the saddle-point case.

APA, Harvard, Vancouver, ISO, and other styles

23

Chen, Xinghao, and Michael L. Bushnell. "Sequential circuit test generation using dynamic justification equivalence." Journal of Electronic Testing 8, no. 1 (February 1996): 9–33. http://dx.doi.org/10.1007/bf00136073.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Stackpole, Matthew W. "Dynamic equivalence of control systems via infinite prolongation." Asian Journal of Mathematics 17, no. 4 (2013): 653–88. http://dx.doi.org/10.4310/ajm.2013.v17.n4.a7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Zheng, Wenzhe, Jing Bu, Ningyu Zhang, Qian Zhou, and Jiankun Liu. "Dynamic Equivalence of Wind Farms Considering Complex Terrain." MATEC Web of Conferences 260 (2019): 02013. http://dx.doi.org/10.1051/matecconf/201926002013.

Full text

Abstract:

The dynamic equivalence of wind farms is widely used for model simplification. While, the accuracy will be lower without considering the influence of wind speed correlation caused by topography and wake effect. In order to improve the accuracy, this paper proposes a dynamic cluster equivalence method of coherent generators based on hierarchical clustering analysis. Firstly, it analyses the impacts of equivalence’s accuracy such as wind speed distribution, wake effect and control strategy of turbine. Then, it uses hierarchical clustering method to correlate the disturbed trajectory of rotor current of the intra-site turbines and obtains the dynamic clustering results. Finally, it uses power loss method to obtain the equivalent parameters of multi-machine equivalent model. Simulation results verify the effectiveness of this method.

APA, Harvard, Vancouver, ISO, and other styles

26

Ni, Yu, Chongtao Li, Gang Zhang, and Zhengchun Du. "Cross-gramian-based dynamic equivalence of wind farms." IET Generation, Transmission & Distribution 10, no. 6 (April 21, 2016): 1422–30. http://dx.doi.org/10.1049/iet-gtd.2015.0746.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Szymanski, Słwomir. "Theory of magnetic equivalence breaking in dynamic NMR." Journal of Magnetic Resonance (1969) 77, no. 2 (April 1988): 320–42. http://dx.doi.org/10.1016/0022-2364(88)90181-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Dian Raharjo, Yohanes Maria Restu. "How Burton Raffel Translated Chairil Anwar�s �Aku�: An Analysis in Poem Translation." Indonesian Journal of English Language Studies (IJELS) 3, no. 2 (April 17, 2018): 79–86. http://dx.doi.org/10.24071/ijels.v3i2.1067.

Full text

Abstract:

The paper analyses the translation of Indonesian poem entitled Aku by Chairil Anwar, which is translated by Burton Raffel. The poem was written in 1943 and depicts the struggle of the natives of Indonesia to achieve independence from their colonizer. This paper wants to see how the poem is translated into English by a non-Indonesian who does not have social, cultural, or even historical background like Indonesian people. The focuses of the analysis are in the semantics and syntax as cultural and conceptual phenomena; the works of dynamic, pragmatic, equivalence; and the conveyance of ST message through the translation. Based on the analysis, it is found that the works of dynamic and pragmatic equivalence are needed in translating the poem because they can accommodate flexible relationship between the elements of SL and TL such as social and cultural concepts conveyed or depicted by the poem.Keywords: poem translation, dynamic equivalence, pragmatic equivalence

APA, Harvard, Vancouver, ISO, and other styles

29

Pappalardo, Carmine, and Domenico Guida. "Forward and Inverse Dynamics of a Unicycle-Like Mobile Robot." Machines 7, no. 1 (January 11, 2019): 5. http://dx.doi.org/10.3390/machines7010005.

Full text

Abstract:

In this research work, a new method for solving forward and inverse dynamic problems of mechanical systems having an underactuated structure and subjected to holonomic and/or nonholonomic constraints is developed. The method devised in this paper is based on the combination of the Udwadia-Kalaba Equations with the Underactuation Equivalence Principle. First, an analytical method based on the Udwadia-Kalaba Equations is employed in the paper for handling dynamic and control problems of nonlinear nonholonomic mechanical systems in the same computational framework. Subsequently, the Underactuation Equivalence Principle is used for extending the capabilities of the Udwadia-Kalaba Equations from fully actuated mechanical systems to underactuated mechanical systems. The Underactuation Equivalence Principle represents an efficient method recently developed in the field of classical mechanics. The Underactuation Equivalence Principle is used in this paper for mathematically formalizing the underactuation property of a mechanical system considering a particular set of nonholonomic algebraic constraints defined at the acceleration level. On the other hand, in this study, the Udwadia-Kalaba Equations are analytically reformulated in a mathematical form suitable for treating inverse dynamic problems. By doing so, the Udwadia-Kalaba Equations are employed in conjunction with the Underactuation Equivalence Principle for developing a nonlinear control method based on an inverse dynamic approach. As shown in detail in this investigation, the proposed method can be used for analytically solving in an explicit manner the forward and inverse dynamic problems of several nonholonomic mechanical systems. In particular, the tracking control of the unicycle-like mobile robot is considered in this investigation as a benchmark example. Numerical experiments on the dynamic model of the unicycle-like mobile robot confirm the effectiveness of the nonlinear dynamic and control approaches developed in this work.

APA, Harvard, Vancouver, ISO, and other styles

30

Wang, Zhe, Antonio Faraone, Panchao Yin, Lionel Porcar, Yun Liu, Changwoo Do, Kunlun Hong, and Wei-Ren Chen. "Dynamic Equivalence between Soft Star Polymers and Hard Spheres." ACS Macro Letters 8, no. 11 (October 15, 2019): 1467–73. http://dx.doi.org/10.1021/acsmacrolett.9b00617.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

El-Hadek, Medhat Awad. "Dynamic equivalence of ultrasonic stress wave propagation in solids." Ultrasonics 83 (February 2018): 214–21. http://dx.doi.org/10.1016/j.ultras.2017.06.007.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Bartosiewicz *, Z., and E. Pawłuszewicz. "Euler's discretization, dynamic equivalence and linearization of control systems." International Journal of Control 78, no. 10 (July 10, 2005): 773–81. http://dx.doi.org/10.1080/00207170500150612.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Bartosiewicz, Zbigniew, and Ewa Pawluszewicz. "DYNAMIC FEEDBACK EQUIVALENCE OF NONLINEAR SYSTEMS ON TIME SCALES." IFAC Proceedings Volumes 38, no. 1 (2005): 435–40. http://dx.doi.org/10.3182/20050703-6-cz-1902.00727.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

田, 寿涛. "Dynamic Equivalence of Electric Power System Based on RTDS." Smart Grid 07, no. 06 (2017): 498–506. http://dx.doi.org/10.12677/sg.2017.76055.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Zhao, X. J., Z. W. Luan, and M. Zhang. "Research and analysis of dynamic equivalence of power system." IOP Conference Series: Materials Science and Engineering 361 (May 2018): 012022. http://dx.doi.org/10.1088/1757-899x/361/1/012022.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Hanbali, Hamza, Michel Denuit, Jan Dhaene, and Julien Trufin. "A dynamic equivalence principle for systematic longevity risk management." Insurance: Mathematics and Economics 86 (May 2019): 158–67. http://dx.doi.org/10.1016/j.insmatheco.2019.02.004.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Kokologiannakis, Michalis, Iason Marmanis, Vladimir Gladstein, and Viktor Vafeiadis. "Truly stateless, optimal dynamic partial order reduction." Proceedings of the ACM on Programming Languages 6, POPL (January 16, 2022): 1–28. http://dx.doi.org/10.1145/3498711.

Full text

Abstract:

Dynamic partial order reduction (DPOR) verifies concurrent programs by exploring all their interleavings up to some equivalence relation, such as the Mazurkiewicz trace equivalence. Doing so involves a complex trade-off between space and time. Existing DPOR algorithms are either exploration-optimal (i.e., explore exactly only interleaving per equivalence class) but may use exponential memory in the size of the program, or maintain polynomial memory consumption but potentially explore exponentially many redundant interleavings. In this paper, we show that it is possible to have the best of both worlds: exploring exactly one interleaving per equivalence class with linear memory consumption. Our algorithm, TruSt, formalized in Coq, is applicable not only to sequential consistency, but also to any weak memory model that satisfies a few basic assumptions, including TSO, PSO, and RC11. In addition, TruSt is embarrassingly parallelizable: its different exploration options have no shared state, and can therefore be explored completely in parallel. Consequently, TruSt outperforms the state-of-the-art in terms of memory and/or time.

APA, Harvard, Vancouver, ISO, and other styles

38

Montanari, Ugo, and Vladimiro Sassone. "Dynamic Congruence vs. Progressing Bisimulation for CCS1." Fundamenta Informaticae 16, no. 2 (March 1, 1992): 171–99. http://dx.doi.org/10.3233/fi-1992-16206.

Full text

Abstract:

Weak Observational Congruence (woc) defined on CCS agents is not a bisimulation since it does not require two states reached by bisimilar computations of woc agents to be still woc, e.g. α.τ.β.nil and α.β.nil are woc but τ.β.nil and β.nil are not. This fact prevent us from characterizing CCS semantics (when τ is considered invisible) as a final algebra, since the semantic function would induce an equivalence over the agents that is both a congruence and a bisimulation. In the paper we introduce a new behavioural equivalence for CCS agents, which is the coarsest among those bisimulations which are also congruences. We call it Dynamic Observational Congruence because it expresses a natural notion of equivalence for concurrent systems required to simulate each other in the presence of dynamic, i.e. run time, (re)configurations. We provide an algebraic characterization of Dynamic Congruence in terms of a universal property of finality. Furthermore we introduce Progressing Bisimulation, which forces processes to simulate each other performing explicit steps. We provide an algebraic characterization of it in terms of finality, two logical characterizations via modal logic in the style of HML and a complete axiomatization for finite agents (consisting of the axioms for Strong Observational Congruence and of two of the three Milner’s τ-laws). Finally, we prove that Dynamic Congruence and Progressing Bisimulation coincide for CCS agents.

APA, Harvard, Vancouver, ISO, and other styles

39

Zeng, Yong, and Hong Mei Tan. "Numerical Simulation of Random Wind-Excited Response Analysis of Henan TV Tower." Applied Mechanics and Materials 147 (December 2011): 298–302. http://dx.doi.org/10.4028/www.scientific.net/amm.147.298.

Full text

Abstract:

Based on wind velocity spectrum generated by CAWS method, the dynamic response of tower is computed by Ansys software. The wind-reduced displacement response, force response and acceleration response are acquired. At the same time, wind load factor based on displacement equivalence and force equivalence is acquired.

APA, Harvard, Vancouver, ISO, and other styles

40

Hubmer, Joachim. "On the Strategic Equivalence of Linear Dynamic and Repeated Games." International Game Theory Review 17, no. 03 (September 2015): 1550006. http://dx.doi.org/10.1142/s0219198915500061.

Full text

Abstract:

Dynamic (or stochastic) games are, in general, considerably more complicated to analyze than repeated games. This paper shows that for every deterministic dynamic game that is linear in the state, there exists a strategically equivalent representation as a repeated game. A dynamic game is said to be linear in the state if it holds for both the state transition function as well as for the one-period payoff function that (i) they are additively separable in action profiles and states and (ii) the state variables enter linearly. Strategic equivalence refers to the observation that the two sets of subgame perfect equilibria coincide, up to a natural projection of dynamic game strategy profiles on the much smaller set of repeated game histories. Furthermore, it is shown that the strategic equivalence result still holds for certain stochastic elements in the transition function if one allows for additional signals in the repeated game or in the presence of a public correlating device.

APA, Harvard, Vancouver, ISO, and other styles

41

Choi, Sung Kyu, and Namjip Koo. "ASYMPTOTIC EQUIVALENCE BETWEEN TWO LINEAR DYNAMIC SYSTEMS ON TIME SCALES." Bulletin of the Korean Mathematical Society 51, no. 4 (July 31, 2014): 1075–85. http://dx.doi.org/10.4134/bkms.2014.51.4.1075.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Liu, Kang. "On Chinese Translation of English Proverbs—A Dynamic Equivalence Perspective." Theory and Practice in Language Studies 10, no. 11 (November 1, 2020): 1442. http://dx.doi.org/10.17507/tpls.1011.14.

Full text

Abstract:

Mainly derived from daily life of common people, English proverbs, as a highly condensed encyclopedia of the English-speaking nations and their cultures, cover the widest possible fields of the society ranging from the universal deepest philosophic contemplation to the commonest daily activities. English proverb translation has always been heatedly discussed in language field, and many scholars have made great contribution to it. They put forward different translation methods from different views. The paper attempts to discuss the Chinese translation methods on the basis of the dynamic equivalence theory.

APA, Harvard, Vancouver, ISO, and other styles

43

Qiao, Jia-geng, Zong-xiang Lu, and Yong Min. "A novel dynamic equivalence method for grid-connected wind farm." Journal of Zhejiang University-SCIENCE A 9, no. 4 (April 2008): 558–63. http://dx.doi.org/10.1631/jzus.a071564.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Fronc, Łukasz. "Effective Marking Equivalence Checking in Systems with Dynamic Process Creation." Electronic Proceedings in Theoretical Computer Science 107 (February 10, 2013): 61–75. http://dx.doi.org/10.4204/eptcs.107.6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Kelso, J. A. S., A. Fuchs, R. Lancaster, T. Holroyd, D. Cheyne, and H. Weinberg. "Dynamic cortical activity in the human brain reveals motor equivalence." Nature 392, no. 6678 (April 1998): 814–18. http://dx.doi.org/10.1038/33922.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Ying, Wang, Ma Gang, and Tang Yi. "Research on Dynamic Thevenin Equivalence Method Based on Deviation Correction." American Journal of Electrical and Electronic Engineering 5, no. 6 (December 8, 2017): 195–201. http://dx.doi.org/10.12691/ajeee-5-6-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Marzouk, Y. M., A. F. Ghoniem, and H. N. Najm. "Dynamic response of strained premixed flames to equivalence ratio gradients." Proceedings of the Combustion Institute 28, no. 2 (January 2000): 1859–66. http://dx.doi.org/10.1016/s0082-0784(00)80589-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

Earle Ellis, E. "Dynamic Equivalence Theory, Feminist Ideology and Three Recent Bible Translations." Expository Times 115, no. 1 (October 2003): 7–12. http://dx.doi.org/10.1177/001452460311500102.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Lévine, Jean. "ON THE EQUIVALENCE BETWEEN DIFFERENTIAL FLATNESS AND DYNAMIC FEEDBACK LINEARIZABILITY." IFAC Proceedings Volumes 40, no. 20 (2007): 338–43. http://dx.doi.org/10.3182/20071017-3-br-2923.00056.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

Gao, Lian-sheng, Han-cheng Dan, and Liang Li. "Response Analysis of Asphalt Pavement under Dynamic Loadings: Loading Equivalence." Mathematical Problems in Engineering 2019 (July 18, 2019): 1–15. http://dx.doi.org/10.1155/2019/7020298.

Full text

Abstract:

This paper establishes the equivalent relationships between the half-sinusoidal load, triangular load, vertical stepwise load, and moving traffic load. The governing equation was established for analyzing the dynamic responses of pavement, and half-sinusoidal load, triangular load, and vertical stepwise load functions were transformed into Fourier series expressions. The partial differential governing equations were simplified as ordinary differential equations and the analytical solutions were obtained. Further, the solutions were validated through comparing the theoretical results with numerical simulated results. Calculation results revealed that, for unchanged load periods, increasing the amplitudes of the three loads by 1.06, 1.31, and 1.35 times can better simulate the moving traffic loads. For unchanged load function amplitudes, increasing the function periods by 1.07, 2.23, and 2.1 times (for half-sinusoidal, triangular, and vertical stepwise loads, resp.) can improve the simulation performance. The fatigue life of asphalt pavements under the moving traffic load agrees with that of the three load simulations, indicating that the fatigue life of asphalt pavements is only associated with the load amplitude but not the load patterns.

APA, Harvard, Vancouver, ISO, and other styles

Journal articles on the topic 'Dynamic-equivalence'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles