Global ETD Search

31	Développement et réalisation d'un simulateur de machines à états abstraits temps-réel et model-checking de formules d'une logique des prédicats temporisée du premier ordre / Development and implementation of a simulator for abstract state machines with real time and model-checking of properties in a language of first order predicate logic with time Vassiliev, Pavel 27 November 2008 (has links) Dans cette thèse nous proposons un modèle temporel dans le cadre des machines à états abstraits (ASM). Une extension du langage de spécification ASM est développé qui correspond à ce modéle temporel pour le temps continu. L'extension du langage avec des constructions de temps permet de diminuer la taille de la spécification et donc de réduire la probabilité d'erreurs. La sémantique de l'extension du langage ASM est fournie et prend en compte les définitions des fonctions externes, les valeurs des délais et les choix de résolution des non-déterminismes. Un sous-système de vérification des propriétés exprimées en logique FOTL (FirstOrder Timed Logic) est développé. Un simulateur d'ASMs temporisées est développé et implémenté, il comprend un analyseur syntaxique, un interprète du langage, un sous-système de vérification des propriétés ainsi qu'une interface graphique / In this thesis a temporal model for abstract state machines (ASM) method is pro- posed. An extension of ASM specification language on the base of the proposed temporal model with continuous time is developed. The language extension helps to reduce the size of the specification hence to diminish the probability of an error. The semantics of the extended ASM language is developed which takes into account the definitions of external functions, the values of time delays and the method of non-determinism resolving. A subsystem for verification of user properties in the FOTL language is developed. A simulator prototype for ASMs with time is developed and implemented. It includes the parser of the timed ASM language, the interpreter, the verification subsystem and the graphical user interface Machines à états abstraits Langage de spécification exécutable Simulation Spécification formelle Vérification Model-checking Systèmes à temps réel Logique des prédicats du premier ordre Abstract state machines Executable specification language Simulation Formal specification Verification Model-checking Real-time systems First order predicate logic
32	Simulátor stavových diagramů / Statechart Diagram Simulator Žídek, Marek Unknown Date (has links) The Master's thesis presents specification, analyze and design phase of software development. The most stress is putted on Model Driven Development. It contains brief description of almost all UML 2.0 diagrams (use case diagram, class diagram, sequence diagram, activity diagram, state chart, component diagram and deployment diagram). Those principles have been extended to executable UML which can be used for model-driven software architecture. The design of such architecture is one of the current projects of Faculty of Information Technology, BUT. The part of that project is statechart simulator. The thesis discusses whole design of state chart simulator system step by step. It starts with specification, walk thought use case diagram and class diagram to collaboration diagram. In the last chapter, we mention the biggest implementation problems and specificities of Squeak Smalltalk programming language. Finally, it considers possibilities for extension and it evaluates results.
33	Knihovna pro efektivní záznam videa v 3D aplikaci / Library for Efficient Video Capture in 3D Application Pospíšil, Petr January 2012 (has links) This thesis deals with library for recording video in the background of 3D application. A library is designed to work under the Microsoft Windows and Linux operation systems. It records image and also sound. Image recording is supported in OpenGL, Direct3D9, Direct3D10 and Direct3D11. To reduce video data size, library supports image compression using MJPG codec. Audio is recorded by WaveForm audio, Windows Core Audio or ALSA. Recorded sound is for whole operation system. A library is able to record up to two audio streams to accommodate possible microphone input. It can mix audio data together if needed. Output data are then written into AVI file. It is possible to write own text information as overlay that is rendered as part of application screen output.
34	Grafické intro 64kB s použitím OpenGL / Graphics Intro 64kB Using OpenGL Geršl, Jan January 2008 (has links) The field of this project is size restricted graphic intro. The paper deals with motivation creating such an intro and talks briefly about history. Main focus is put on general description of various principles common in demo development, techiques used achieving the practical assignment are provided with more detailed description.
35	Oproepingsproses van verbande op onroerende sake in die Suid-Afrikaanse reg = Foreclosure of mortgage bonds over immovable property under South African law / Foreclosure of mortgage bonds over immovable property under South African law Fuchs, Maria Magdalena 11 1900 (has links) Text in Afrikaans / In hierdie verhandeling ontleed ek die oproeping van ŉ verband op ŉ onroerende saak in die Suid-Afrikaanse reg. Indien ŉ verbandskuldenaar wanpresteer, kan die verbandskuldeiser sy beperkte saaklike reg afdwing deur die verband op te roep ten einde die uitstaande skuld te delg. Om dit te bereik, word die sekerheidsobjek op ŉ eksekusieverkoping te gelde gemaak, nadat die regte prosedure gevolg is. Die oproepingsproses is in die laaste dekade ingrypend verander, grotendeels as gevolg van artikel 26 van die Grondwet, 1996, en artikels 129 en 130 van die National Credit Act 34 van 2005. Die volgende stadiums in die oproepingsproses word onderskei: die voorverhoorprosedure; jurisdiksiebepaling; die hofprosedure; beslaglegging en die eksekusieverkoping. Wetgewing en regspraak het onlangs ingrypende veranderings ten aansien van die voorverhoorprosedure en die hofprosedure teweeggebring. Alhoewel die oproepingsproses tans bevredigend deur wetgewing en in die regspraak gereël word, is daar nog verontrustende aspekte van eksekusieverkopings wat die wetgewer se aandag verdien. / In this dissertation I analyse the calling up of a mortgage bond over immovable property under South-African law. If a mortgagor defaults, the mortgagee can enforce his limited real right by calling up the mortgage bond to satisfy the outstanding debt. To accomplish this, the secured property will be sold at an execution sale, after the correct procedure has been followed. Over the past decade, foreclosure proceedings have undergone significant changes, largely owing to section 26 of the Constitution, 1996, and sections 129 and 130 of the National Credit Act 34 of 2005. The following stages in the foreclosure process are identified: pre-trial debt enforcement procedure; determination of jurisdiction; court procedure; attachment and execution sale. Both the pre-trial debt enforcement procedure and the court procedure have recently been substantially amended by legislation and case law. Although legislation and case law currently regulate the foreclosure process satisfactorily, some disturbing aspects of execution sales remain and these deserve the legislator’s attention. / Private Law / LL.M. Artikel 129(1)(a)-kennisgewing Beperkte saaklike reg Eksekusie Eksekusieverkoping Hofprosedure Kredietooreenkoms Onroerende saak Oproeping van ’n verband Oproepingsproses Reg op toegang tot geskikte behuising Saaklike sekerheidsreg Uitwinbaarverklaring Voorverhoorprosedure Calling up a mortgage bond Court procedure Credit agreement Execution Execution sale Foreclosure proceedings Immovable property Limited real right Pre-trail debt enforcement Real security right Right to have access to adequate housing Section 129(1)(a)-notice Specially executable 346.4364068 Real property -- South Africa Foreclosure -- South Africa Right to housing -- South Africa
36	Oproepingsproses van verbande op onroerende sake in die Suid-Afrikaanse reg = Foreclosure of mortgage bonds over immovable property under South African law / Foreclosure of mortgage bonds over immovable property under South African law Fuchs, Maria Magdalena 11 1900 (has links) Text in Afrikaans, abstract in Afrikaans and English / In hierdie verhandeling ontleed ek die oproeping van ŉ verband op ŉ onroerende saak in die Suid-Afrikaanse reg. Indien ŉ verbandskuldenaar wanpresteer, kan die verbandskuldeiser sy beperkte saaklike reg afdwing deur die verband op te roep ten einde die uitstaande skuld te delg. Om dit te bereik, word die sekerheidsobjek op ŉ eksekusieverkoping te gelde gemaak, nadat die regte prosedure gevolg is. Die oproepingsproses is in die laaste dekade ingrypend verander, grotendeels as gevolg van artikel 26 van die Grondwet, 1996, en artikels 129 en 130 van die National Credit Act 34 van 2005. Die volgende stadiums in die oproepingsproses word onderskei: die voorverhoorprosedure; jurisdiksiebepaling; die hofprosedure; beslaglegging en die eksekusieverkoping. Wetgewing en regspraak het onlangs ingrypende veranderings ten aansien van die voorverhoorprosedure en die hofprosedure teweeggebring. Alhoewel die oproepingsproses tans bevredigend deur wetgewing en in die regspraak gereël word, is daar nog verontrustende aspekte van eksekusieverkopings wat die wetgewer se aandag verdien. / In this dissertation I analyse the calling up of a mortgage bond over immovable property under South-African law. If a mortgagor defaults, the mortgagee can enforce his limited real right by calling up the mortgage bond to satisfy the outstanding debt. To accomplish this, the secured property will be sold at an execution sale, after the correct procedure has been followed. Over the past decade, foreclosure proceedings have undergone significant changes, largely owing to section 26 of the Constitution, 1996, and sections 129 and 130 of the National Credit Act 34 of 2005. The following stages in the foreclosure process are identified: pre-trial debt enforcement procedure; determination of jurisdiction; court procedure; attachment and execution sale. Both the pre-trial debt enforcement procedure and the court procedure have recently been substantially amended by legislation and case law. Although legislation and case law currently regulate the foreclosure process satisfactorily, some disturbing aspects of execution sales remain and these deserve the legislator’s attention. / Private Law / LL. M. Artikel 129(1)(a)-kennisgewing Beperkte saaklike reg Eksekusie Eksekusieverkoping Hofprosedure Kredietooreenkoms Onroerende saak Oproeping van ’n verband Oproepingsproses Reg op toegang tot geskikte behuising Saaklike sekerheidsreg Uitwinbaarverklaring Voorverhoorprosedure Calling up a mortgage bond Court procedure Credit agreement Execution Execution sale Foreclosure proceedings Immovable property Limited real right Pre-trail debt enforcement Real security right Right to have access to adequate housing Section 129(1)(a)-notice Specially executable 346.4364068 Real property -- South Africa Foreclosure -- South Africa Right to housing -- South Africa

Page generated in 0.0996 seconds