|
|
Use of liquid chromatography in pharmaceutical analysis and preparation of monolithic stationary phases for thin-layer chromatography
Vojta, Jiří ; Coufal, Pavel (advisor) ; Tůma, Petr (referee) ; Jelínek, Ivan (referee)
(EN) In the first part of this work, analytical methods for determination of impurities of active pharmaceutical ingredients (API) in combined pharmaceutical dosage forms were developed and validated. Development of the methods covered both the optimization of sample preparation procedure and chromatographic conditions. The methods were validated according to International Conference on Harmonization guideline and both of them were confirmed to be able to analyze stability samples. Impurities in paracetamol, codeine phosphate hemihydrate and pitophenone hydrochloride in the presence of fourth API fenpiverinium bromide were separated by using ion-pair reversed phase chromatography with gradient elution. Symmetry C18, 250 x 4,6 mm, 5 µm heated to 35 řC was used as a separation column. A diode array detector was used. The detection wavelengths were set as follows: 220 nm for paracetamol impurity K, 245 nm for paracetamol and its other impurities and 285 nm for codeine, pitophenone and their impurities. Impurities in valsartan, amlodipine besylate and hydrochlorothiazide were separated by reversed phase UHPLC method with gradient elution. Chromatographic column Zorbax Eclipse C8 RRHD, 100 x 3,0 mm, 1,8 µm heated to 30 řC and spectrophotometric detection were used. The detection wavelengths were set as...
|
|
|
Application of Software Components in Operating System Design
Děcký, Martin ; Tůma, Petr (advisor) ; Döbel, Björn (referee) ; Sojka, Michal (referee)
This thesis describes the primary goal of the HelenOS microkernel multiserver operating system. The primary goal of the HelenOS project is to create a comprehensive research and development platform in the domain of general-purpose operating systems that would support state-of-the-art approaches and methods (such as verification of correctness) while at the same time focusing on practical relevance. The text of the thesis describes what specific means in terms of design (based on software components), implementation, development process and verification are used to achieve the primary goal. The thesis also evaluates the current state of HelenOS. Powered by TCPDF (www.tcpdf.org)
|
|
|
Run-time performance testing in Java
Kotrč, Jaroslav ; Horký, Vojtěch (advisor) ; Tůma, Petr (referee)
This work focuses on relative comparisons of individual method's performance. It is based on Stochastic Performance Logic, which allows to express, for example, that one method runs at most two times longer than another method. These results are more portable than absolute values. It extends standard unit tests with performance assumptions, which are evaluated during actual run-time of a released application. Dynamically added and removed instrumentation is used for automatic modification of the production code. Instrumentation part uses DiSL framework to be able to seamlessly measure even Java system classes. Methods are measured sequentially, the number of concurrently measured methods is dynamically changed and the measurement code is removed as soon as required data are obtained. The results show that this approach may bring appreciably lower overhead peaks than measuring all methods at once. The prototype was compared with JMH tool and the results show that it is able to accurately measure methods running longer than 1 ms. Powered by TCPDF (www.tcpdf.org)
|
|
|
Garbage Collection in Software Performance Engineering
Libič, Peter ; Tůma, Petr (advisor) ; Murphy, John (referee) ; Noorshams, Qais (referee)
Title Garbage Collection in Software Performance Engineering Author Peter Libič peter.libic@d3s.mff.cuni.cz Advisor doc. Ing. Petr Tůma, Dr. petr.tuma@d3s.mff.cuni.cz Department Department of Distributed and Dependable Systems Faculty of Mathematics and Physics Charles University Malostranské nám. 25, 118 00 Prague, Czech Republic Abstract The increasing popularity of languages with automatic memory management makes the garbage collector (GC) performance key to effective application execution. Unfortunately, performance behavior of contemporary GC is not well understood by the application developers and often ignored by the per- formance model designers. In this thesis, we (1) evaluate nature of GC overhead with respect to its effect on accuracy of performance models. We assess the possibility to model GC overhead as a black-box and identify workload characteristics that contribute to GC performance. Then we (2) design an analytical model of one-generation collector and a simulation model of both one-generation and two-generation collectors. These models rely on application characteristics. We evaluate the accuracy of such models and perform an analysis of their sensitivity to the inputs. Using the model we expose the gap between under- standing the GC overhead based on knowing the algorithm...
|
|
|
HelenOS VFS-FUSE connector
Bouška, Zdeněk ; Děcký, Martin (advisor) ; Tůma, Petr (referee)
This master thesis deals with the implementation of a connector between FUSE file system drivers and HelenOS native VFS interface. The thesis first describes the way of finding the best solution and the potential possibilities. The low level layer solution is described as the best one. Further the thesis describes the real implementation of the connector. As the implementation of the connector was successful the thesis then describes in detail the parts of the fully functional solution in real-life HelenOS system. With this solution in place almost no changes are necessary to be done neither in FUSE nor in Helenos VFS. The connector implementation is demonstrated on two real-life FUSE file systems exFAT and NTFS which were ported to HelenOS. Powered by TCPDF (www.tcpdf.org)
|
|
|
Instrumentation and Evaluation for Dynamic Program Analysis
Marek, Lukáš ; Tůma, Petr (advisor) ; Hasselbring, Wilhelm (referee) ; Krall, Andreas (referee)
A dynamic program analysis provides essential information during later phases of an application development. It helps with debugging, profiling, performance optimizations or vulnerability detection. Despite that, support for creating custom dynamic analysis tools, especially in the domain of managed languages, is rather limited. In this thesis, we present two systems to help improve application observability on the Java platform. DiSL is a language accompanied with a framework allowing simple and flexible instrumentation for the dynamic program analysis. DiSL provides high level abstractions to enable quick prototyping even for programmers not possessing a knowledge of Java internals. A skilled analysis developer gains full control over the instrumentation process, thus does not have to worry about unwanted allocations or hidden execution overhead. ShadowVM is a platform that provides isolation between the observed application and the analysis environment. To reduce the amount of possible interactions between the analysis and the application, ShadowVM offloads analysis events out of the context of the application. Even though the isolation is the primary focus of the platform, ShadowVM introduces a number of techniques to stay performance comparable and provide a similar programming model as existing...
|
|
| |
|
|
Run-time performance testing in Java
Kotrč, Jaroslav ; Horký, Vojtěch (advisor) ; Tůma, Petr (referee)
This work focuses on relative comparisons of individual methods performance. It is based on Stochastic Performance Logic, which allows to express, for example, that one method runs at most two times longer than another method. This results are more portable than absolute values. It extends standard unit tests with performance assumptions, which are evaluated during actual run-time of a released application. Dynamically added and removed instrumentation is used for automatic modification of the production code. Instrumentation part uses DiSL framework to be able to seamlessly measure even Java system classes. Methods are measured sequentially, number of concurrently measured method is dynamically changed and measurement code is removed as soon as required data are obtained to avoid high overhead. The results show that for processor demanding application this approach may bring up to 3-times lower overhead peaks than measuring all methods at once. Powered by TCPDF (www.tcpdf.org)
|
|
|
Deployment of Performance Evaluation Tools in Industrial Use Case
Täuber, Jiří ; Tůma, Petr (advisor) ; Šimko, Viliam (referee)
Nowadays software performance is evaluated not only by specialized review companies but it is more and more starting to be a common practice for the software developers themselves. Companies are often forced to develop and maintain their own tools for measuring performance of the developed applications. On the Faculty of Mathematics and Physics there has been created a toolkit for automation of software performance evaluation called BEEN. This toolkit should significantly ease the management of individual performance measurements but it is not possible to test it thoroughly in the environment where it was created. The goal of this thesis is to deploy BEEN in a real environment of commercially oriented company and evaluate the usability of this toolkit for the developers. We will focus on evaluating both objective and subjective positives and drawbacks of this toolkit as observed by unbiased users.
|
|
|
IPv6 for HelenOS
Steinhauser, Antonín ; Děcký, Martin (advisor) ; Tůma, Petr (referee)
This thesis extends HelenOS operating system in order to be IPv6 capa- ble. New IPv6 protocol implementation is on the same level as previous IPv4 protocol implementation. HelenOS networking stack now offers three modes of networking: IPv4-only, IPv6-only and dual stack mode. Dual stack mode enables usage of both protocols at once. The thesis describes previous state of HelenOS networking stack, analyzes differences between IPv4 and IPv6 protocols and gives reasons for single strategic decisions. In fine, it describes used implementation and debugging techniques, concludes results and compares HelenOS with other microkernel operating system from the IPv6-capability perspective. 1
|
guest ::
RSS feed.