This research project investigates the possibility of a public programme-overlay at the Union Buildings, situated on Meintjieskop on the western edge of the Pretoria inner city. The design of the Buildings was commissioned to Sir Herbert Baker to celebrate the newly formed Union of South Africa in 1910. The buildings were completed in 1913 and this research project attempts to commemorate the centenary of this landmark. The buildings’ current state does not allow for public participation and this seems unfortunate for both the public and the buildings. This dissertation attempts to reintroduce the Union Buildings to South Africans, the Pretoria public as well as international tourists by recording the memory of the buildings. The intervention is an interpretative archive to the life of the Union Buildings. The static, stereotomic nature of the buildings has ironically been shaped and forced into many different symbolic meanings through the ever-changing political and cultural dynamics of South Africa. The life of the buildings has been interpreted into five distinguishing symbolic-eras: Birth, Union, Oppression, Democracy and Power. The new intervention attempts to make these layered eras public. This project will also explore the relationship between architecture and craft. This study understands that architecture is more than ever becoming a two dimensional experience and this is believed to be a direct result of the dimension in which it is explored - between pen and paper. The investigation will contest this current condition in which architecture finds itself. Moreover the focus of this study will be to explore architecture in its final dimension, thus exploring the relationship between architecture and craft. In the true sense this is a study of the tekton. / Dissertation (MArch(Prof))--University of Pretoria 2012. / Architecture / MArch(Prof) / Unrestricted

Thesis title: Evaluation of postural stability and postural strategy in obese people Objectives: The main objective was to evaluate postural stability using computer posturography in obese people and assess whether three-month exercise training with a focus on sensorimotor stimulation has an effect on postural stability. Methods: This is a cross-sectional experimental study. The research group consisted of 20 probands aged 30 to 62 years with BMI values of 31.1-53.5 kg / m2, from which the general posturography was evaluated. The effect of sensorimotor training was subsequently assessed of 13 probands, who were divided into two groups - interventional (n = 6) and control (n = 7). The measurement was performed using static computer posturography and computer goniometry processed by the freeStep software system. To compare the effect of sensorimotor training, measurements were performed twice in the intervention and control groups, over a period of approximately three months. Postural stability was evaluated based on the Sway test. Statistical analysis was performed using IBM SPSS Statistics 24 software. Statistical significance was determined at the level of α = 0.05, the result where p <0.05 was considered statistically significant. Results: General posturography in the research group showed a...

MiniZinc is a modelling language for constraint satisfaction and optimisation problems. It can be used to solve difficult problems by declaratively modelling them and giving them to a generic solver. A linter, a tool for static analysis, is implemented for MiniZinc to provide analysis for improving models. Suggesting rewrites that will speed up solving, removing unnecessary constructs, and pointing out potential problems are examples of the analysis this tool provides. A method for finding points of interest in abstract syntax trees (parsed models) is designed and implemented. The linter is tested and evaluated against models in the MiniZinc Benchmarks, a collection of models used to benchmark solvers. The result from running the linter on one of the models from the benchmarks is more closely inspected and evaluated. The suggestions were correct and made the model simpler, but, unfortunately, there was no noticeable impact on the solving speed.

No description available.

The first detected computer virus commenced in the 1970s. Since then, malware infections have grown exponentially along with rapid increases within the digital environment. Malware detection is a challenging task due to the relentless growth in complexity and volume. That is why the need for automated detection arises. Applying machine learning to malware detection is not a new trend, and researchers have been experimenting with since the 1990s. This thesis aims to evaluate classification algorithms to discover malicious Portable Executables by looking at their static features. Six machine learning models were built and tested based on 20,000 malicious and benign files. Random Forest scored the highest cross-validation score of 99.3% amongst the models with 15 features. Selecting the number of features was based on research of previous studies. This thesis confirms that it is possible to use machine learning for static malware detection. It can also help for future automated malware analysis research. / Det första datorviruset upptäcktes på 1970-talet. Sedan dess, har antalet attacker ökat i och med den skenande digitala utvecklingen. Att finna skadlig kod är en utmanade uppgift då de ökar i komplexitet och volym. Därför finns det ett behov att automatisera spårningen. Att använda maskininlärning för upptäckt av skadlig kod är inte en ny trend och forskare har experimenterat med det sedan år 1990. Syftet med denna avhandling är att utvärdera klassificeringsalgortimer för att upptäckta skadlig kod i Portable Executables genom att använda statiska prediktorer. Sex stycken maskininlärnings modeller skapades och testades baserat på 20.000 skadliga och legitima filer. Random Forest uppnådde det högsta korsvalderingsvärdet på 99.3% av dessa modeller med 15 prediktorer. Att använda 15 prediktorer var inspirerat av forskning av tidigare studier. Denna avhandling bevisar att det är möjligt att använda maskininlärning för statisk spårning av skadlig kod. Det kan också användas för framtida automatiserade forskningsstudier om skadlig kod.

This master´s thesis deals with the acoustic emission of the gearbox housing. It contains a description of the procedure of solving individual numerical approaches and their results. Finally, it compares the influence of design modifications on acoustic emission.

The purpose of this study was to examine the relationship between estimated absolute and relative squat strength and a static jump protocol with potential to provide desirable training adaptation data to practitioners in the field of collegiate strength and conditioning. Forty-one young (20.80 ± 2.44 years), healthy volunteers reported estimated back squat 1RM’s based on the most recent training block and completed a static jump protocol. Males (n=19, est. 1RM 141.29 ± 32.02kg) and female (n=22, est. 1RM 71.56 ± 19.64kg) jump data revealed large to very large correlations between squat strength, mean jump heights of jumps and other calculated variables.

This thesis deals with the verification of global transformation key on densification points around Olomouc by selected GNSS methods. The work will be described in GNSS technology, its distribution, measurement methods and services. As part of this work is a description of networks of permanent reference stations. Next, become familiar with the creation of local transformation key to what is used and what is its significance. The measurement was carried out at points densification, described in a separate section. In this thesis is describes surveying methods and principles, the methods of measurement GNSS, equipment, as well as any specific regarding this issue. The result is a clear set of tables with measured values of GNSS equipment and coordinates ZhB, accuracy of the method used (standard deviations), graphical reporting, and comparing the results of the global and local transformation key.

The master thesis deals with the design of geometry of plates of the injection molding unit using the FEM tool Topological Optimization. The reason for this is to reduce the weight of these components, which is beneficial in the transport and assembly of the injection molding machine. However, the final models of geometry of plates must meet certain requirements in terms of the limit state of deformation, the limit state to the critical value of the equivalent stress. This condition involves both limit state of elasticity and limit state of fatigue. Computational modeling and also Topological Optimization are performed in ANSYS Workbench.

The aim of this work is a static analysis of the reinforced concrete frame structure loaded by the effects of seismic loading. The work deals with the solution of multi-storey reinforced concrete structure designed for common loading conditions and further for possibilities of strengthening of the structure on effect of seismic loading. In the first phase of the work, the static analysis and the design of the main load-bearing elements of the frame structure (columns and main girder) were carried out for the ultimate limit state for the standard design load. In the second phase, the static analysis of the structure for the effects of accidental actions from low and high seismicity was performed and it was assessed whether the main load-bearing elements of the structure would continue to comply. Given that the structure did not satisfy the accidental actions of seismic loading, various ways of structure strengthening were designed and analyzed for their impact on the global and local behaviour of the structure. Also the designing of additional steps for structural reliability were performed. Static analyzes were performed in Scia Engineering and RFEM Dlubal software.