<p>U disertaciji se prikazuje modularni sistem za projektovanje alata za<br />injekciono presovanje plastike. Analizirani su različiti prilazi u<br />projektovanu alata. Prikazana je koncepcija i funkcionisanje<br />razvijenog sistema. Verifikacija sistema je izvr&scaron;ena na konkretnim<br />plastičnim proizvodima. Na kraju su dati odgovarajući zaključci i<br />mogući pravci budućih istraživanja.</p> / <p>The dissertation shows the development of the modular system for<br />mold design for plastic injection molding. Different approaches were<br />analyzed in the field of mold design. The concept and functioning of<br />the developed modular system is presented. Validation of the<br />proposed system is made with the specific plastic parts. At the end<br />the appropriate conclusions and possible directions for future<br />research are given.</p>

The development of improved sequencing technologies hasenabled the field of genomics to evolve. Handling andsequencing of large numbers of samples require an increasedlevel of automation in order to obtain high throughput andconsistent quality. Improved performance has lead to thesequencing of numerous microbial genomes and a few genomes fromhigher eukaryotes and the benefits of comparing sequences bothwithin and between species are now becoming apparent. Thisthesis describes both the development of automated purificationmethods for DNA, mainly sequencing products, and a comparativesequencing project. The initially developed purification technique is dedicatedto single stranded DNA containing vector specific sequences,exemplified by sequencing products. Specific capture probescoupled to paramagnetic beads together with stabilizing modularprobes hybridize to the single stranded target. After washing,the purified DNA can be released using water. When sequencingproducts are purified they can be directly loaded onto acapillary sequencer after elution. Since this approach isspecific it can be applied to multiplex sequencing products.Different probe sets are used for each sequencing product andthe purifications are performed iteratively. The second purification approach, which can be applied to anumber of different targets, involves biotinylated PCR productsor sequencing products that are captured using streptavidinbeads. This has been described previously, buthere theinteraction between streptavidin and biotin can be disruptedwithout denaturing the streptavidin, enabling the re-use of thebeads. The relatively mild elution conditions also enable therelease of sensitive biotinylated molecules. Another project described in this thesis is the comparativesequencing of the 40 kbcagpathogenicity island (PAI) in fourHelicobacter pyloristrains. The results included thediscovery of a novel gene, present in approximately half of theSwedish strains tested. In addition, one of the strainscontained a major rearrangement dividing thecagPAI into two parts. Further, information about thevariability of different genes could be obtained. Keywords:DNA sequencing, DNA purification, automation,solid-phase, streptavidin, biotin, modular probes,Helicobacter pylori,cagPAI. / <p>NR 20140805</p>

Zusammenfassung "Prozessgebundene Berechnungs-Baugruppen bieten Konstrukteuren die Möglichkeit, ihre zum Teil mehrstufigen Berechnungen durch den Einsatz modularer Funktionsbausteine ablauforientiert, verbindlich, nachvollziehbar und vor allem zeitsparender zu gestalten. Die Grundlage dieser neuen Methode bilden Ansätze, die sich bereits in der Informationstechnik und in der Konstruktionsmethodik bewährt haben. Vom Anforderungsmanagement bis zur Validierung kann dabei auf eine Bibliothek modularer Berechnungsobjekte in Form von Prozess-Bausteinen zugegriffen werden, deren Schnittstellen und Datenstrukturen ausnahmslos einheitlichen Definitionen entsprechen. Gemeinsam mit der in Anlehnung an den eCl@ss - Standard entwickelten Merkmalsstruktur der Prozess-Bausteine wird so eine hohe Wiederverwendbarkeit in unterschiedlichen Berechnungskonfigurationen erzielt. Ihre Klassifizierung orientiert sich an konstruktionssystematischen Gesichtspunkten. Die Methode wird beispielhaft an Berechnungen für Getriebekomponenten erläutert."

Purpose: This research considers the design and operation of a non-modular professional doctorate to meet the needs of professionals working in the built environment who wish to obtain a doctoral qualification. It seeks to identify the essential components and support mechanisms to provide an alternative to other forms of doctorate which draws on their strengths while addressing some of their shortcomings. It answers questions regarding the suitability of a programme which can successfully operate within a reasonable timeframe. Research Design: The research is set in a real-life phenomenological paradigm concerning the experience and development of candidates registered for a professional doctorate. The conceptual framework governed both the design of the research and the design of a two-stage curriculum. Regular intervention and evaluation using action research methodology was used to improve practice. The research produced findings through multiple sources of evidence. Data were collected from course documentation, online discussion forums, focus groups, individual reflections and interviews. Findings: The work found that a community of practice consisting of candidates and staff, specifically focused on learning and the continuous development of candidates, provides a suitable vehicle for professional doctorate work. Candidates benefit from engaging in carefully constructed summative and formative assessment with prompt feedback. The assessment informed regular workshops containing an active learning format supplemented through additional support from a virtual learning environment. Crucially, all three components are required to support each other by drawing on their individual strengths. Conclusion: This action research project made a modest but significant contribution to curriculum development at doctoral level. The research developed a model which enabled academic practice to help candidates improve their professional practice. Self-motivated candidates with appropriate supervisory support can complete a professional doctorate within a realistic timeframe when there is carefully constructed synergy between their doctorate, its supporting mechanisms and their own professional practice.

Modular multilevel converter type voltage source converter (MMC-VSC) is a potential candidate for present and future HVdc projects. The d-q decoupled control system is widely used to control MMC-VSC systems. Selection of PI-controller parameters for MMC-VSC systems is a challenging task as control loops are not completely decoupled. Since there is no widely accepted method to tune these control loops, the industry practice is to use the trial and error approach that requires a great amount of time. Therefore, it is required to develop a systematic procedure to tune PI-controllers considering necessary system dynamics and also to propose guidelines for control system design. This thesis introduces a systematic procedure to determine PI-controller parameters for the d-q decoupled control system. A linearized state-space model of an MMC-VSC system is developed to calculate the frequency-domain attributes. The control tuning problem is formulated as an optimization problem which is general and any meta-heuristic method can be used to solve the problem. In this thesis, the simulated annealing is applied to solve the problem. The efficacy of the tuned parameters is tested on the electromagnetic transient model of the test system on the real-time digital simulators (RTDS). In addition, it is shown that the proposed method is suitable to tune PI-controller parameters for MMC-VSC systems connected to strong as well as weak ac networks. Further, this thesis investigates the effects of d-q decoupled controller parameters, phase-locked loop (PLL) gains, and measuring delays on the stability and performance of the MMC-VSC test system. It is shown that the converter controllers have greater influence on the system stability and the impact of PLL gains is negligible unless very high PLL gains are used. In addition, the negative impact of measuring delays in instantaneous currents and voltages is also analysed by performing eigenvalue and sensitivity analysis. Finally, a set of guidelines for control design of MMC-VSC systems is summarized. In general, the proposed control tuning procedure would be useful for the industry to tune PI-controllers of MMC-VSC systems. Furthermore, the proposed methodology is generic and can be adapted to tune of any dynamic device in power systems. / February 2017

This texts in about my thesis show; Modular envelopes which was presented in the Anderson gallery at may 2013. The text speaks about my individual process of making both this particular work and art in general.

We investigate the action of the Atkin operator on spaces of overconvergent p-adic modular forms. Our contributions are both computational and geometric. We present several algorithms to compute the spectrum of the Atkin operator, as well as its p-adic variation as a function of the weight. As an application, we explicitly construct Heegner-type points on elliptic curves. We then make a geometric study of the Atkin operator, and prove a potential semi-stability theorem for correspondences. We explicitly determine the stable models of various Hecke operators on quaternionic Shimura curves, and make a purely geometric study of canonical subgroups.

Title: MS SQL Application Development Framework Author: Bc. Marek Hanes Department: Department of Software Engineering Supervisor: RNDr. Michal Kopecký, Ph.D. Supervisor's e-mail address: kopecky@ksi.mff.cuni.cz Abstract: The thesis deals with a database application development and tries to find ways to optimize the most common problems encountered. The goal of this thesis is to design and develop a modular framework that simplifies the database application development and prevents inexperienced users from using unsafe SQL statements and/or expressions. The example of such a statement can be the insert statement without explicit column list, unsafe XPath expression, etc. The framework provides among others manipulation with history tables allowing versioning of data and reverting unwanted data changes asynchronous and parallel SQL execution support, error management and logging support, monitoring of schema changes as well as procedure and function debugging Together with means of data manipulation, the framework provides the simple way of publishing stored procedure as web service as well. The framework is accompanied by well-written programmers and users guide to allow its further development. Keywords: application development, framework, modular design, safe statements, constraints 1

Doctor en Ciencias, Mención Computación / It is inevitable that some concerns crosscut a sizable application, resulting in code scattering and tangling. This issue is particularly severe for security-related concerns: it is difficult to be confident about the security of an application when the implementation of its security related concerns is scattered all over the code and tangled with other concerns, making global reasoning about security precarious. In this thesis work, we consider the case of access control, a cornerstone of every security architecture, which turns out to be a crosscutting concern with a non-modular implementation based on runtime stack inspection in mainstream languages such as Java and C#. We make use of aspect orientation for the modular definition of access control. More precisely, we design and implement access control, including the advanced features associated to it, in a modular way. We demonstrate that this modular implementation is secure, even in the presence of untrusted aspects. A modular implementation alleviates maintenance and evolution issues produced by the crosscutting nature of access control, and, more importantly, paves the way to global reasoning about access control.

La programmation orientée aspect (AOP) vise à améliorer la modularité et la réutilisation des couches logiciels en proposant un mécanisme d’abstraction pour faire face aux préoccupations transversales. Cependant, dans la plupart des langages d’aspects généralistes, les aspects ont un pouvoir presque illimité, rentrant éventuellement en conflit avec ces objectifs. Dans ce travail, nous présentons Effective Aspects : une nouvelle approche pour incorporer le modèle pointcut/advice de l’AOP dans un langage de programmation fonctionnel statiquement typé comme Haskell. Notre travail comprend deux contributions principales. Premièrement, nous définissons un plongement monadique du modèle pointcut/advice complet de l’AOP. La correction du typage est garantie par l’exploitation du système de type sous-jacent, en particulier les types fantômes et une nouvelle classe de type pour faire de l’anti-unification de types. Dans ce modèle, les aspects sont de première classe, peuvent être déployés de façon dynamique, et le langage de pointcuts est extensible, combinant donc la flexibilité des langages d’aspect typés dynamiquement avec les garanties d’un système de type statique. Les monades nous permettent de raisonner directement sur les effets du calcul à la fois dans les aspects et les programmes de base en utilisant des techniques monadiques traditionnelle. Avec ce système, nous étendons la notion de “open modules” avec des effets, et aussi avec les interfaces de pointcut protégés à l’extérieur d’un advice. Ces restrictions sont appliquées statiquement par le système de type. Aussi, nous adaptons les techniques de EffectiveAdvice afin de raisonner sur des propriétés du flot de contrôle. En outre, nous montrons comment contrôler l’interférence des effets en utilisant l’approche fondée sur la paramétricité de EffectiveAdvice. Nous montrons que cette approche n’est pas satisfaisante en présence de multiples aspects et proposons une approche différente en utilisant des vues monadiques, une nouvelle technique pour le traitement de la pile monadique, développée par Schrijvers et Oliveira. Ensuite, nous exploitons les propriétés de notre modèle pour permettre la construction modulaire de nouvelles sémantiques pour la portée d’aspects et le tissage. Notre deuxième contribution s’appuie sur un modèle puissant pour raisonner sur la composition de mixins avec effets et leur interférence, fondée sur un raisonnement équationnelle, paramétrique, et les lois algébriques sur les effets monadiques. Notre contribution est de montrer comment raisonner sur l’interférence en présence de quantification sans restriction pour les pointcuts. Nous montrons que le raisonnement global peut être compositionnelle, ce qui est essentiel pour le passage à l’échelle de l’approche face aux évolutions de grands systèmes. / Aspect-oriented programming (AOP) aims to enhance modularity and reusability in software systems by offering an abstraction mechanism to deal with crosscutting concerns. But, in most general-purpose aspect languages aspects have almost unrestricted power, eventually conflicting with these goals. This work presents Effective Aspects: a novel approach to embed the pointcut/advice model of AOP in a statically-typed functional programming language like Haskell; along two main contributions. First, we define a monadic embedding of the full pointcut/advicemodel of AOP. Type soundness is guaranteed by exploiting the underlying type system, in particular phantom types and a new anti-unification type class. In this model aspects are first-class, can be deployed dynamically, and the pointcut language is extensible, therefore combining the flexibility of dynamically-typed aspect languages with the guarantees of a static type system. Monads enable us to directly reason about computational effects both in aspects and base programs using traditional monadic techniques. Using this we extend the notion of Open Modules with effects, and also with protected pointcut interfaces to external advising. These restrictions are enforced statically using the type system. Also, we adapt the techniques of EffectiveAdvice to reason about and enforce control flow properties as well as to control effect interference. We show that the parametricity-based approach to effect interference falls short in the presence of multiple aspects and propose a different approach using monad views, a novel technique for handling the monad stack, developed by Schrijvers and Oliveira. Then, we exploit the properties of our model to enable the modular construction of new semantics for aspect scoping and weaving. Our second contribution builds upon a powerful model to reason about mixin-based composition of effectful components and their interference, based on equational reasoning, parametricity, and algebraic laws about monadic effects. Our contribution is to show how to reason about interference in the presence of unrestricted quantification through pointcuts. We show that global reasoning can be compositional, which is key for the scalability of the approach in the face of large and evolving systems. We prove a general equivalence theorem that is based on a few conditions that can be established, reused, and adapted separately as the system evolves. The theorem is defined for an abstract monadic AOP model; we illustrate its use with a simple version of the model just described. This work brings type-based reasoning about effects for the first time in the pointcut/advice model, in a framework that is expressive, extensible and well-suited for development of robust aspect-oriented systems as well as a research tool for new aspect semantics.