نتایج جستجو برای: modal system and metric
تعداد نتایج: 17139489 فیلتر نتایج به سال:
target tracking is the tracking of an object in an image sequence. target tracking in image sequence consists of two different parts: 1- moving target detection 2- tracking of moving target. in some of the tracking algorithms these two parts are combined as a single algorithm. the main goal in this thesis is to provide a new framework for effective tracking of different kinds of moving target...
We start from a basic and fruitful idea in current work on the formal analysis and veriication of hybrid and real-time systems: the uniform representation of both sorts of state dynamics { both continuous evolution within a control mode, and the eeect of discrete jumps between control modes { as abstract transition relations over a hybrid space X Q R n , where Q is a nite set of control modes. ...
the time-optimal trajectory for an airplane from some starting point to some final point is studied by many authors. here, we consider the extension of robot planer motion of dubins model in three dimensional spaces. in this model, the system has independent bounded control over both the altitude velocity and the turning rate of airplane movement in a non-obstacle space. here, in this paper a g...
suhrawardi’s logic of the hikmat al-ishraq is basically modal. so to understand his modal logic one first has to know the non-modal part upon which his modal logic is built. in my previous paper ‘suhrawardi on syllogisms’(3) i discussed the former in detail. the present paper is an exposition of his treatment of modal syllogisms. on the basis of some reasonable existential presuppositions and a...
on this project we try to calculated power of hydrogen on dycarbonil compound in different ways ; the first way is shoster way , for sain power of hydrogen notice the different power between central conforms on it and main conform that’s didn’t have hydrogen joint . or in other way different of energy between open and close form. second way, is average way? this is for way that studied conf...
this experimental study has been conducted to test the effect of oral presentation on the development of l2 learners grammar. but this oral presentation is not merely a deductive instruction of grammatical points, in this presentation two hypotheses of krashen (input and low filter hypotheses), stevicks viewpoints on grammar explanation and correction and widdowsons opinion on limited use of l1...
We investigate the major mathematical theories of space from a modal standpoint: topology, affine geometry, metric geometry, and vector algebra. This allows us to see new fine-structure in spatial patterns which suggests analogies across these mathematical theories in terms of modal, temporal, and conditional logics. Throughout the modal walk through space, expressive power is analyzed in terms...
the community dynamics of aquatic coleoptera(insecta)in one of the spring-stream habitats of bammo national park in fars province called cheshmeh-ye-ghanbari is studied as a pilot project and model for acquaintance with and furthering the biodiversity studies on fauna of iran. sixteen species-populations out of nineteen of this community were already identified for their taxonomy and for thei...
It is a landmark theorem of McKinsey and Tarski that if we interpret modal diamond as closure (and hence modal box as interior), then S4 is the logic of any dense-initself metrizable space [14, 17]. The McKinsey-Tarski Theorem relies heavily on a metric that gives rise to the topology. We give a new and more topological proof of the theorem, utilizing Bing’s Metrization Theorem [8, 10].
peace and national security protection and ironic solving of international conflicts become the preliminary foundation of the united nations charter and had been considered as the main responsibilities of the security council, after world war ii and the establishment of united nations organization. therefore, the security council enables to analyze every kind of conflicts and challenges which ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید