We take the well-known intuitionistic modal logic of Fischer Servi with semantics in bi-relational Kripke frames, and give the natural extension to topological Kripke frames. Fischer Servi’s two interaction conditions relating the intuitionistic pre-order (or partial-order) with the modal accessibility relation generalise to the requirement that the relation and its inverse be lower semi-contin...

technical terminology has a significant role in translation of technical or scientific texts. unfortunately, most of research in this area has not perceived the urgent need for a model to analyze or shown how translate technical or scientific terminology. in this paper, the researcher attempts to designs a workable model for translation of technical or scientific terminology. the major aim of t...

Kinematics studies the motion of bodies without consideration of the forces or moments that cause the motion. Robot kinematics refers the analytical study of the motion of a robot manipulator. Formulating the suitable kinematics models for a robot mechanism is very crucial for analyzing the behaviour of industrial manipulators. There are mainly two different spaces used in kinematics modelling ...

Luise von Flotow is a Professor of Translation Studies at the School of Translation and Interpretation, University of Ottawa, Canada. She got her BA in German and French from the University of London (1974) and her MA in French from the University of Windsor (1985) and her Ph.D. in French from the University of Michigan (1991). Professor von Flotow was the director of the School of Translation ...

Recursive modelling for the kinematics and dynamics of the known 3-PRR planar parallel robot is established in this paper. Three identical planar legs connecting to the moving platform are located in a vertical plane. Knowing themotion of the platform,we develop first the inverse kinematics and determine the positions, velocities and accelerations of the robot. Further, the principle of virtual...

this study was an attempt to investigate the realization of catford’s shifts in the farsi translation of english psychology texts, a product-oriented point of view, shedding light on the areas farsi is different english. inspired by a study conducted by khorshidi (2010), the two questions raised in the study sought to detect the kinds of shifts applied in the translation of english psychology t...

The present article reports a study carried out to investigate whether or not awareness of functional translation theories has any impact on the translation quality of translator trainees. 2oo Iranian undergraduate students took part in this study. They were divided into four groups -two- experimental and two control groups. After homogenizing the participants by a TOEFL test, a translation pre...

Matrix relations in kinematics and dynamics of the Star parallel manipulator are established in this paper. The prototype of the manipulator is a three-degree-of-freedom mechanism, which consists of a system of parallel kinematical chains connecting to a moving platform. Knowing the translation motion of the platform, we develop first the inverse kinematics problem and determine the position, v...

Existent algorithms to perform geometric transformations on octrees can be classi ed in two families inverse transformation and address com putation ones Those in the inverse transformation family essentially re sample the target octree from the source one and are able to cope with all the a ne transformations Those in the address computation family only deal with translations but are commonly ...