The thesis deals with methods of real-time data synchronization among multiple clients. The thesis focuses on methods in collaborative RIA systems running on the Internet This methods solve data transfer and conflict resolution caused by competitive clients work on one document. The introduction describes two methods: an established Operational transformation method and the new Differential synchronization method. The thesis describes the principles of both methods and their advantages and disadvantages. The aim of the work is implementing and comparison of Differential Synchronization method with Operational transformation method. These methods are compared in Node.js environment of JavaScript programming language and it is compared their performance in terms of response time and resource requirements. It's identified a problems associated with the method implementations in Node.js and it is described solutions of this problems. In the practical part thesis focus on the describing of performance data and behave of methods during measurement and refuted or confirmed the premises of methods definition assumptions. The Differential Synchronization method is extended by some parts based on the author often criticized issues of method.

在德希達的《明信片：從蘇格拉底到佛洛伊徳之外》(1987)一書中，〈郵寄〉這個文本由許多交換傳遞的明信片所組成。這些收錄於同一文本中的明信片令我們聯想到書信小說中編纂成冊的信件。許多十七、十八世紀的英國與法國書信經典名著構成了書信文類的主要架構，如吉樂哈格的《葡萄牙修女的情書》(1669)、理查生的《潘蜜拉》(1740)與《克萊麗莎》(1747-1748)、葛芬妮的《祕魯公主的情書》(1747)、盧梭的《茱莉，或新伊珞絲》(1761)以及德拉克勞斯的《危險關係》(1782)。面對這些書信文類的前導者，且處於二十世紀傳統書信寫作式微的時代中，是什麼因素促使德希達創作〈郵寄〉這部書信文本呢？〈郵寄〉的書信文本又與傳統書信小說有何不同呢？ 關於這個議題，我所提出的論點是，德希達的〈郵寄〉企圖解構書信文類。〈郵寄〉一方面強化了書信文類特有的書信特質，另一方面又以明信片的郵件傳遞效果取代替換傳統書信小說的書信文類特質。明信片的郵件傳遞效果主要呈現出「傳送終點」與「預期的收信者」這兩種特定規範的不可能性。明信片總是暗示信件傳送過程中「被攔截」與「多元收信者」的可能性。這樣的特質使明信片得以打破囿於最初起點與最後終點做為邊界的直線軌道。如此的突破有助於德希達解構西方知識體系的架構。明信片的郵件傳遞效果動搖了源自蘇格拉底的知識遺產直線傳承，顯示出知識遺產是經由多元讀者所傳遞的，且容許眾多不同的詮釋方法參與其中。多樣性的想法損毀了「原作與衍生」，「在場與缺席」以及「公開與隱私」之間的二元對立邏輯。明信片「半私密，半公開」(《明信片》62)的形式在多樣化所隱含的不確定性之間來回擺盪，游移不定。這種不確定性正是德希達藉由〈郵寄〉這個文本所要強調的。因此，即使身處電信通訊網絡遍佈的時代，德希達依然期望引發「不受拘束的明信片化帝國」(《明信片》104)的可能性。明信片化的意義並非加速書信寫作的「衰微」(《明信片》104)，而是希望能夠不斷地散佈差異產生的可能性。 在本論文中，我從迂迴、延宕與延異這三項特性來闡述明信片的書信特質。這三項特性同時交織於我對〈郵寄〉這個書信文本的討論中。在第一章〈書信文類：強化與替代〉裡，我提出了〈郵寄〉所呈現的似非而是的矛盾，既強化又替代書信文類的特質。書信文類因此被置於差異的迂迴內，而延遲了其文類身份認同的最後裁定。在第二章〈書信他/她者：欲望投射〉裡，我援引拉岡「小寫他/她者」的概念來闡釋書信寫作行為中的自我建構過程。由於寄信者需要缺席收信者的存在以召喚差異的產生，因此寄信者的自我認同總是不斷地在迂迴的信件傳遞空間中被延宕。第三章〈書信寫作：添補的矛盾〉裡，我將德希達對「添補」的概念與書信寫作中添加與替代的效果作了連結。書信寫作彌補了距離造成的溝通差距，同時也以距離替代了最後與缺席收信者真實相遇的那一刻。第四章〈書信交換：Fort Da消失與返轉的遊戲〉中，我比較了佛洛伊德、拉岡與德希達對於fort da遊戲不同的觀察角度。在書信交換的過程裡，當多元讀者的可能性被納入考量時，書信的傳送與接收便會持續地滯留迂迴於讀者的多元閱讀與詮釋，而延遲了到達預定目的地的時間。在第五章〈書信傳承：知識遺產的明信片〉裡，我探討了德希達對於〈郵寄〉中明信片上蘇格拉底與柏拉圖位置返轉圖所做的種種推敲。這些推測暗示了脫離知識體系直線傳承，迂迴而行的可能性。為了再現知識的意涵而創造出的多元詮釋角度會不斷地延宕知識傳承的最終意義。 / In Jacques Derrida’s The Post Card: From Socrates to Freud and Beyond (1987), the part of “Envois” is composed of many exchanged post cards. This collection of post cards reminds us of the letters compiled in epistolary novels. There is a lot of prestige attached to many seventeenth- and eighteenth-century English and French epistolary novels, such as Gabriel de Guilleragues’ The Portuguese Letters (1669), Samuel Richardson’s Pamela (1740) and Clarissa (1747-1748), Françoise de Graffigny’s Letters from a Peruvian Woman (1747), Jean-Jacques Rousseau’s Julie, ou la nouvelle Héloïse (1761), and Choderlos de Laclos’ Les Liaisons dangereuses (1782). These epistolary novels constitute the main frame of the epistolary genre. Then, confronted with the epistolary predecessors, what prompts Derrida to write the epistolary text of “Envois” in the twentieth century, in which the telecommunications networks appear to overpower the importance of writing letters or post cards? What is the difference between “Envois” and the previous epistolary novels? On this issue, I want to argue in my thesis that Derrida’s “Envois” is intended to deconstruct the epistolary genre by paradoxically valorizing and substituting the postal effects of the post card for the generic identities of epistolary novels. The postal effects of the post card primarily invoke the impossibility of the predestined destination and intended receiver. The post card always implies the possibilities of interception and multiple receivers in the process of transmission. In this way, the post card disrupts the linear path confined in the hierarchical opposites between the original departure point and the final destination. This disruption facilitates Derrida’s attempt to deconstruct the construction of knowledge in the Western intellectual genealogy. The postal effects are applied to destabilize the linear succession of intellectual inheritance originated since Socrates. The inheritance is transmitted by multiple readers and hence susceptible to a myriad of interpretations. The binary logic between the original and the derivative, the present and the absent, and the public and the private is undermined in the multiplicity. The form of the post card, which is “half-private half public” (Post Card 62), oscillates in the indeterminacy of multiplicity. The postal effects of indeterminacy aroused in the post card are what Derrida emphasizes in “Envois.” As a result, even in the age replete with the telecommunications networks, Derrida still proposes the possibility of “the unlimited empire of a postcardization” (104). The postcardization does not mean to precipitate the “decadence” (104) of epistolary writing, but it aims to disseminate and recurrently stimulate the possibility of difference. In my thesis, I propose three perspectives to illuminate the epistolarity of the post card: detour, deferral, and différance. They are interwoven in my discussion of Derrida’s “Envois.” In chapter one “Epistolary Genre: Valorization and Substitution,” I propound a paradox that “Envois” simultaneously valorizes and substitutes for the epistolary genre. “Envois” therefore puts the epistolary genre in a detour of difference and defers its determination of identity. In chapter two “Epistolary Otherness: The Object of Desire,” I apply Jacques Lacan’s concept of the object of desire to elucidate the self-construction in the act of writing post cards. The sender’s self-identity is continually deferred in a detour, because s/he requires the absent receiver to evoke his/her difference. In chapter three “Epistolary Writing: Paradox of the Supplement,” I relate Derrida’s concept of the supplement to the paradoxical effects of addition and substitution in epistolary writing. Writing post cards adds to a compensation of the distance, but it also simultaneously substitutes the distance for the final encounter with the absent receiver. In chapter four “Epistolary Exchange: Play of the Fort Da,” I compare Sigmund Freud’s, Lacan’s, and Derrida’s different observations on the fort da game. The fort da movements of epistolary exchanges are interminably deferred in a detour, when multiple readers in the process of transmission are taken into consideration. The multiple readers replenish possibilities of differences with a variety of interpretations. In chapter five “Epistolary Inheritance: Post Card of Intellectual Legacy,” I explore Derrida’s speculations on the scene of reversal copied on the post cards collected in “Envois.” The scene of reversal between Socrates and Plato is speculated to imply possible detours away from the linear succession of genealogy. Different representations of knowledge persistently defer the final determinate meaning of the intellectual inheritance.

Récemment, beaucoup de schémas parallèles en temps ont et e propos es pour résoudre des problèmes a valeur initiale de la forme (S): dY dt = F(Y ); Y (t0) = Y0, pouvant résulter, par exemple, de la semi-discretisation en espace d'équations aux derivees partielles. L'intégration des problèmes d'évolution étant naturellement séquentielle, de tels schémas ont pour principale motivation de résoudre des problèmes en temps réel ou de se superposer a un parallélisme a travers l'espace ou la méthode et ce, pour un usage plus efficace des machines fortement parallèles disponibles actuellement. Dans cette thèse, nous proposons l'algorithme RaPTI, qui permet de paralléliser en temps la résolution du problème (S), lorsque le comportement de la solution est connu. Une méthode de calcul par tranches est a la base de ce nouveau schéma. Elle consiste en (i) une procédure de génération de tranches de temps basée sur une condition de n de tranche que la solution doit vérifer et (ii) un redimensionnement de la variable temps et de la solution qui les initialise a zéro au début de chaque tranche de temps. Ainsi, la résolution de (S) devient équivalente a la résolution d'une suite de problèmes redimensionnes a valeur initiale et avec condition de fi n de tranche, donnant a la fois la solution sur chacune des tranches et le temps de fin de tranche. L'algorithme RaPTI utilise donc cette méthodologie, et certaines propriétés de similarité qui en découlent, pour générer la grille de temps grossière et fournir des prédictions au moyen d'une méthode de ratios. La procédure de correction se fait ensuite, sur une grille de temps fine, en résolvant en parallèle les systèmes redimensionnes. Ceci conduit a des sauts sur la grille de temps grossière. Les prédictions sont alors corrigées et le processus est itéré jusqu'à ce que tous les sauts soient inférieurs a une certaine tolérance. L'originalité de l'algorithme RaPTI réside dans le fait que les prédictions, et leur corrections a chaque itération, ne nécessitent aucune résolution sur la grille de temps grossière, contrairement aux autres schémas parallèles en temps. De plus, il ne commence pas par un choix de la grille grossière, mais plutôt par le choix d'une condition de fin de tranche qui va générer cette grille de façon bien adaptée au comportement de la solution. L'algorithme RaPTI est applique, dans cette thèse a trois problèmes: un problème de membrane, un problème de reaction-diffusion et un calcul de trajectoire de satellite dans un mouvement perturbe en J2. Dans quelques rares cas d'invariance, il conduit a un parallélisme parfait. Dans les cas plus courants de similarité asymptotique ou faible, il donne de bons speed-ups.

Development of Internet and its massive spread resulted in increased volume of multimedia data. The increase in the amount of multimedia data raises the need for efficient similarity detection between multimedia files for the purpose of preventing and detecting violations of copyright licenses or for detection of similar or duplicate files. This thesis discusses the current options in the field of the content-based image and video comparison and focuses on the feature extraction techniques, distance metrics, design and implementation of the mediaDiff application module for the content-based comparison of video files.

No description available.

Depuis sa première définition par Hudson et Parthasarathy en 1984, l'intégration stochastique quantique offre un outil puissant pour la description de certaines évolutions en physique quantique. De nombreuses questions restent ouvertes cependant, en particulier dans le domaine de la représentabilité intégrale des opérateurs. La définition récente par Attal d'une méthode complètement explicite de l'approximation de l'espace de Fock usuel par un analogue discret a justifié l'intérêt d'une bonne connaissance du calcul stochastique quantique à temps discret. Nous définissons rigoureusement un tel calcul stochastique et obtenons une caractérisation des opérateurs admettant des représentations intégrales ou des représentations sous la forme de noyau de Maassen-Meyer, avec des expressions explicites dans les deux cas. Ces résultats nous permettent de préciser complètement le lien entre le calcul à temps discret et le calcul à temps continu et en particulier de montrer que la formule d'Itô quantique de composition des intégrales se déduit rigoureusement de relations de commutation, par exemple des relations de commutation entre matrices de Pauli. Nous appliquons ensuite nos résultats pour obtenir une caractérisation, dans l'espace de Fock usuel, des opérateurs qui sont représentables en intégrales stochastiques quantiques parmi les classes fondamentales que sont les opérateurs de seconde quantification et de seconde quantification différentielle. Enfin, nous utilisons ces techniques pour obtenir des résultats de convergence de solutions d'équations aux différences vers des équations différentielles stochastiques quantiques. Ces résultats nous permettent de montrer qu'une évolution en mécanique quantique obtenue par des interactions répétées est déterminée, à la limite, par une équation de Langevin quantique. Cette équation de Langevin décrit un couplage entre un ``petit système'' et un ``réservoir'', ce réservoir et les coefficients de l'équation se déduisant explicitement de l'interaction que l'on répète. Ces résultats permettent en particulier d'obtenir une description rigoureuse des mesures en continu et des approximations de ``coarse graining'' en optique quantique.

Sur une variété compacte $(\cal M)$, à tout opérateur de Schrödinger $A = \Delta_g+V$ défini sur l'espace des fonctions sur $(\cal M)$, il est possible, via un procédé que l'on appelle $\zeta-$régularisation, de définir un déterminant de $A$, que nous notons $(\rm det)_\zeta A$. Nous donnons ici principalement deux résultats : le premier prouve que, à chaque tore riemannien $((\cal M),g)$ de dimension $2$, il est possible d'associer une suite $(G_n, \rho_n , \Delta_n)$, où $G_n$ est un graphe fini, qui se plonge dans $(\cal M)$ via $\rho_n$ de telle manière que $\rho_n(G_n)$ soit une triangulation de $(\cal M)$, et où $\Delta_n$ est un laplacien discret sur $G_n$ tel que pour tout potentiel $V$ sur $(\cal M)$, la suite de réels $\big( \det \Delta_n +V \big)_(n \in (\Bbb N))$ converge, après renormalisation, vers $(\rm det)_\zeta \big( \Delta_g+V \big)$. Le deuxième donne, sur toute variété riemannienne compacte $((\cal M) , g)$ de dimension inférieure ou égale à $3$, et sur laquelle le groupe d'isométrie de $g$ agit de manière transitive, un majorant (en précisant le cas d'égalité) du déterminant $(\rm det)_\zeta \big( \Delta_g + V \big)$, lorsque le potentiel $V$ est positif, qui dépend de $g$ et de la moyenne de $V$.

Dans cet article, on montre comment associer à toute représentation $p$-adique $V$, via la théorie des $(\varphi,\Gamma_K)$-modules de Fontaine, une équation différentielle $p$-adique $\mathbf(D)^(\dagger)_(\mathrm(rig))(V)$, c'est-à-dire un module à connexion sur l'anneau de Robba. Cette construction permet de faire le lien entre la théorie des $(\varphi,\Gamma_K)$-modules et la théorie de Hodge $p$-adique. On montre par exemple comment construire $\mathbf(D)_(\mathrm(cris))(V)$ et $\mathbf(D)_(\mathrm(st))(V)$ directement à partir de $\mathbf(D)^(\dagger)_(\mathrm(rig))(V)$, ce qui permet de reconna(\^\i)tre les représentations semi-stables ou cristallines; la connexion est alors unipotente ou triviale. Alliée à des techniques de la théorie des équations différentielles $p$-adiques, l'étude du module $\mathbf(D)^(\dagger)_(\mathrm(rig))(V)$ permet en outre de donner une nouvelle démon\-stration d'un théorème de Sen caractérisant les représen\-tations $\mathbf(C)_p$-admissibles. Finalement on peut utiliser les résultats précédents pour étendre au cas d'un corps résiduel parfait quelconque des résultats de Hyodo ($H^1_g=H^1_(st)$), de Perrin-Riou (sur la semi-stabilité des représentations ordinaires), de Colmez (les représentations absolument cristallines sont de hauteur finie), et de Bloch et Kato (si $r\gg 0$, alors l'exponentielle de Bloch-Kato $\exp_(V(r))$ est un isomorphisme) dont les démonstrations (dans le cas d'un corps résiduel fini) reposaient sur des considérations de dimensions de groupes de cohomologie galoisienne.

Semantic interoperability (SI) of a product model refers to automatic exchange of meaning associated with the product data, among applications/domains throughout the product development cycle. In the product development cycle, several applications (engineering design, industrial design, manufacturing, supply chain, marketing, maintenance etc.) and different engineering domains (mechanical, electrical, electronic etc.) come into play making the ability to exchange product data with semantics very significant. With product development happening in multiple locations with multiple tools/systems, SI between these systems/domains becomes important. The thesis presents a feature-based framework for shape model to address these SI issues when exchanging shape models. Problem of exchanging semantics associated with shape model to support the product lifecycle has been identified and explained. Different types of semantic interoperability issues pertaining to the shape model have been identified and classified. Features in a shape model can be associated with volume addition/subtraction to/from base-solid, deformation/modification of base-sheet/base surface, forming of material of constant thickness. The DIFF model has been extended to represent, classify and extract Free-Form Surface Features (FFSFs) and deformation features in a part model. FFSFs refer to features that modify a free-form surface. Deformation features are created in constant thickness part models, for example, deformation of material (as in sheet-metal parts) or forming of material (as in injection molded parts with constant thickness), also referred to as constant thickness features. Volumetric features covered in the DIFF model have been extended to classify and represent volumetric features based on relative variations of cross-section and PathCurve. Shape feature ontology is described based on unified feature taxonomy with definitions and labels of features as defined in the extended DIFF model. Features definitions are used as intermediate and unambiguous representation for shape features. The feature ontology is used to capture semantics of shape features. The proposed ontology enables reasoning to handle semantic equivalences between feature labels, and is used to map shape features from a source to target applications. Reasoning framework for identification of semantically equivalent feature labels and representations for the feature being exchanged across multiple applications is presented and discussed. This reasoning framework is used to associate multiple construction paths for a feature and associate applicable meanings from the ontology. Interface is provided to select feature label for a target application from the list of labels which are semantically equivalent for the feature being exchanged/mapped. Parameters for the selected feature label can be mapped from the DIFF representation; the feature can then be represented/constructed in the target application using the feature label and mapped parameters. This work shows that product model with feature information (feature labels and representations), as understood by the target application, can be exchanged and maintained in such a way that multiple applications can use the product information as their understandable labels and representations. Finally, the thesis concludes by summarizing the main contributions and outlining the scope for future work.