Master of Science / Department of Civil Engineering / Hayder Rasheed / The importance of the analysis of circular columns to accurately predict their ultimate confined capacity under shear-flexure-axial force interaction domain is recognized in light of the extreme load event imposed by the current AASHTO LRFD specification. In this study, various procedures for computing the shear strength are reviewed. Then, the current procedure adopted by AASHTO LRFD 2014, based on the simplified modified compression field theory, is evaluated for non-presetressed circular concrete bridge piers. This evaluation is benchmarked against experimental data available in the literature and against Response 2000 freeware program that depicts interaction diagrams based on AASHTO 1999 requirements. Differences in results are discussed and future improvements are proposed. A new approach is presented to improve the accuracy of AASHTO LRFD calculations. The main parameters that control the cross section shear strength are discussed based on the experimental results and comparisons.

Assignment (MSc)--Stellenbosch University, 2004. / ENGLISH ABSTRACT: The design of control charts refers to the selection of the parameters implied, including the sample size n, control limit width parameter k, and the sampling interval h. The design of the X -control chart that is based on economic as well as statistical considerations is presently one of the more popular subjects of research. Two assumptions are considered in the development and use of the economic or economic statistical models. These assumptions are potentially critical. It is assumed that the time between process shifts can be modelled by means of the exponential distribution. It is further assumed that there is only one assignable cause. Based on these assumptions, economic or economic statistical models are derived using a total cost function per unit time as proposed by a unified approach of the Lorenzen and Vance model (1986). In this approach the relationship between the three control chart parameters as well as the three types of costs are expressed in the total cost function. The optimal parameters are usually obtained by the minimization of the expected total cost per unit time. Nevertheless, few practitioners have tried to optimize the design of their X -control charts. One reason for this is that the cost models and their associated optimization techniques are often too complex and difficult for practitioners to understand and apply. However, a user-friendly Excel program has been developed in this paper and the numerical examples illustrated are executed on this program. The optimization procedure is easy-to-use, easy-to-understand, and easy-to-access. Moreover, the proposed procedure also obtains exact optimal design values in contrast to the approximate designs developed by Duncan (1956) and other subsequent researchers. Numerical examples are presented of both the economic and the economic statistical designs of the X -control chart in order to illustrate the working of the proposed Excel optimal procedure. Based on the Excel optimization procedure, the results of the economic statistical design are compared to those of a pure economic model. It is shown that the economic statistical designs lead to wider control limits and smaller sampling intervals than the economic designs. Furthermore, even if they are more costly than the economic design they do guarantee output of better quality, while keeping the number of false alarm searches at a minimum. It also leads to low process variability. These properties are the direct result of the requirement that the economic statistical design must assure a satisfactory statistical performance. Additionally, extensive sensitivity studies are performed on the economic and economic statistical designs to investigate the effect of the input parameters and the effects of varying the bounds on, a, 1-f3 , the average time-to-signal, ATS as well as the expected shift size t5 on the minimum expected cost loss as well as the three control chart decision variables. The analyses show that cost is relatively insensitive to improvement in the type I and type II error rates, but highly sensitive to changes in smaller bounds on ATS as well as extremely sensitive for smaller shift levels, t5 . Note: expressions like economic design, economic statistical design, loss cost and assignable cause may seen linguistically and syntactically strange, but are borrowed from and used according the known literature on the subject. / AFRIKAANSE OPSOMMING: Die ontwerp van kontrolekaarte verwys na die seleksie van die parameters geïmpliseer, insluitende die steekproefgrootte n , kontrole limiete interval parameter k , en die steekproefmterval h. Die ontwerp van die X -kontrolekaart, gebaseer op ekonomiese sowel as statistiese oorwegings, is tans een van die meer populêre onderwerpe van navorsing. Twee aannames word in ag geneem in die ontwikkeling en gebruik van die ekonomiese en ekonomies statistiese modelle. Hierdie aannames is potensieel krities. Dit word aanvaar dat die tyd tussen prosesverskuiwings deur die eksponensiaalverdeling gemodelleer kan word. Daar word ook verder aangeneem dat daar slegs een oorsaak kan wees vir 'n verskuiwing, of te wel 'n aanwysbare oorsaak (assignable cause). Gebaseer op hierdie aannames word ekonomies en ekonomies statistiese modelle afgelei deur gebruik te maak van 'n totale kostefunksie per tydseenheid soos voorgestel deur deur 'n verenigende (unified) benadering van die Lorenzen en Vance-model (1986). In hierdie benadering word die verband tussen die drie kontrole parameters sowel as die drie tipes koste in die totale kostefunksie uiteengesit. Die optimale parameters word gewoonlik gevind deur die minirnering van die verwagte totale koste per tydseenheid. Desnieteenstaande het slegs 'n minderheid van praktisyns tot nou toe probeer om die ontwerp van hulle X -kontrolekaarte te optimeer. Een rede hiervoor is dat die kosternodelle en hulle geassosieerde optimeringstegnieke té kompleks en moeilik is vir die praktisyns om te verstaan en toe te pas. 'n Gebruikersvriendelike Excelprogram is egter hier ontwikkel en die numeriese voorbeelde wat vir illustrasie doeleindes getoon word, is op hierdie program uitgevoer. Die optimeringsprosedure is maklik om te gebruik, maklik om te verstaan en die sagteware is geredelik beskikbaar. Wat meer is, is dat die voorgestelde prosedure eksakte optimale ontwerp waardes bereken in teenstelling tot die benaderde ontwerpe van Duncan (1956) en navorsers na hom. Numeriese voorbeelde word verskaf van beide die ekonomiese en ekonomies statistiese ontwerpe vir die X -kontrolekaart om die werking van die voorgestelde Excel optimale prosedure te illustreer. Die resultate van die ekonomies statistiese ontwerp word vergelyk met dié van die suiwer ekomomiese model met behulp van die Excel optimerings-prosedure. Daar word aangetoon dat die ekonomiese statistiese ontwerpe tot wyer kontrole limiete en kleiner steekproefmtervalle lei as die ekonomiese ontwerpe. Al lei die ekonomies statistiese ontwerp tot ietwat hoër koste as die ekonomiese ontwerpe se oplossings, waarborg dit beter kwaliteit terwyl dit die aantal vals seine tot 'n minimum beperk. Hierbenewens lei dit ook tot kleiner prosesvartasie. Hierdie eienskappe is die direkte resultaat van die vereiste dat die ekonomies statistiese ontwerp aan sekere statistiese vereistes moet voldoen. Verder is uitgebreide sensitiwiteitsondersoeke op die ekonomies en ekonomies statistiese ontwerpe gedoen om die effek van die inset parameters sowel as van variërende grense op a, 1- f3 , die gemiddelde tyd-tot-sein, ATS sowel as die verskuiwingsgrootte 8 op die minimum verwagte kosteverlies sowel as die drie kontrolekaart besluitnemingsveranderlikes te bepaal. Die analises toon dat die totale koste relatief onsensitief is tot verbeterings in die tipe I en die tipe II fout koerse, maar dat dit hoogs sensitief is vir wysigings in die onderste grens op ATS sowel as besonder sensitief vir klein verskuiwingsvlakke, 8. Let op: Die uitdrukkings ekonomiese ontwerp (economic design), ekonomies statistiese ontwerp (economic statistical design), verlies kostefunksie (loss cost function) en aanwysbare oorsaak (assignable cause) mag taalkundig en sintakties vreemd voordoen, maar is geleen uit, en word so gebruik in die bekende literatuur oor hierdie onderwerp.

No description available.

No description available.

In this thesis, we describe how to use UML sequence diagrams with MARTE timing constraints to specify entirely the behavior of component-based systems while abstracting as much as possible the functional roles of components composing it. We have shown how to conduct compositional analysis of such specifications. For this, we have defined operational semantics to sequence diagrams by translating them into TIOSTS which are symbolic automata with timing constraints. We have used symbolic execution techniques to compute possible executions of the system in the form of a symbolic tree. We have defined projection mechanisms to extract the execution tree associated with any distinguished component. The resulting projected tree characterizes the possible behaviors of the component with respect to the context of the whole system specification. As such, it represents a constraint to be satisfied by the component and it can be used as a correctness reference to validate the system in a compositional manner. For that purpose, we have grounded our validation framework on testing techniques. We have presented compositional results relating the correctness of a system to the correctness of components. Based on these results, we have defined an incremental approach for testing from sequence diagrams.

Safety systems are designed to prevent the occurrence of certain conditions and their future development into a hazardous situation. The consequence of the failure of a safety system of a potentially hazardous industrial system or process varies from minor inconvenience and cost to personal injury, significant economic loss and death. To minimise the likelihood of a hazardous situation, safety systems must be designed to maximise their availability. Therefore, the purpose of this thesis is to propose an effective safety system design optimization scheme. A multi-objective genetic algorithm has been adopted, where the criteria catered for includes unavailability, cost, spurious trip and maintenance down time. Analyses of individual system designs are carried out using the latest advantages of the fault tree analysis technique and the binary decision diagram approach (BDD). The improved strength Pareto evolutionary approach (SPEA2) is chosen to perform the system optimization resulting in the final design specifications. The practicality of the developed approach is demonstrated initially through application to a High Integrity Protection System (HIPS) and subsequently to test scalability using the more complex Firewater Deluge System (FDS). Computer code has been developed to carry out the analysis. The results for both systems are compared to those using a single objective optimization approach (GASSOP) and exhaustive search. The overall conclusions show a number of benefits of the SPEA2 based technique application to the safety system design optimization. It is common for safety systems to feature dependency relationships between its components. To enable the use of the fault tree analysis technique and the BDD approach for such systems, the Markov method is incorporated into the optimization process. The main types of dependency which can exist between the safety system component failures are identified. The Markov model generation algorithms are suggested for each type of dependency. The modified optimization tool is tested on the HIPS and FDS. Results comparison shows the benefit of using the modified technique for safety system optimization. Finally the effectiveness and application to general safety systems is discussed.

Diagrams are increasingly used in many design methods, and are being taught in a variety of contexts in higher education such as database conceptual design or software design in computer science. They are an important part of many assessments. Currently computer aided assessments are widely used for multiple choice questions. They lack the ability to assess a student's knowledge in a more comprehensive way, which is required for diagram-type student work. The aim of this research is to develop a semi-automatic assessment framework, which enables the use of computer to support the assessment process of diagrammatic solutions, with the focus of ensuring the consistency of grades and feedback on solutions. A novel trace model, that captures design traces of student solutions, was developed as a part of the framework and was used to provide the matching criteria for grouping the solutions. A new marking style, partial marking, was developed to mark these solution groups manually. The Case-Based Reasoning method is utilised in the framework to mark some of the groups automatically. A guideline for scenario writing was proposed to increase the efficiency of automatic marking. A prototype diagram editor, a marking tool and scenario writing environment were implemented for the proposed framework in order to demonstrate proof of concept. The results of experiments show that the framework is feasible to use in the formative assessment and it provides consistent marking and personalised feedback to the students. The framework also has the potential to significantly reduce the time and effort required by the examiner to mark student diagrams. Although the constructed framework was specifically used for the assessment of database diagrams, the framework is generic enough to be used for other types of graph-based diagram.

An increasing amount of information content used in schools, work and everyday living is being presented in graphical form, creating accessibility challenges for individuals who are blind or visually impaired, especially in dynamic environments, such as over the internet. Refreshable haptic displays that can interact with computers can be used to access such information tactually. Main focus of this study was the development of specialized computer applications allowing users to actively compensate for the inherent issues of haptics when exploring visual diagrams as compared to vision, which we hypothesized, would improve the usability of such devices. An intuitive zooming algorithm capable of automatically detecting significant different zoom levels, providing auditory feedback, preventing cropping of information and preventing zooming in on areas where no features were present was developed to compensate for the lower spatial resolution of haptics and was found to significantly improve the performance of the participants. Another application allowing the users to perform dynamic simplifications on the diagram to compensate for the serial based nature of processing 2D geometric information was tested and found to significantly improve the performance of the participants. For both applications participants liked the user interface and found it more usable, as expected. In addition, in this study we investigated methods that can be used to effectively present different visual features as well as overlaying features present in the visual diagrams. Three methods using several combinations of tactile and auditory modalities were tested. We found that the performance significantly improves when using the overlapping method using different modalities. For tactile only methods developed for deaf blind individuals, the toggle method was surprisingly preferred as compared to the overlapping method.

Detta examensarbete är gjort på uppdrag av ABB i Ludvika. ABB har fått en beställning på en uppgradering av en högspänd likströmstation, på engelska High Voltage Direct Current (HVDC). Det finns huvudsakligen två olika tekniker gällande HVDC. Det är HVDC med Line Commutated Converters (LCC) och HVDC med Voltage Source Converters (VSC). LCC-tekniken är den äldsta och mest använda tekniken och är den teknik som stationen som uppgraderas använder. VSC-HVDC är en något nyare teknik som har fördelen att den inte kräver ett genererande nät på båda sidor av HVDC-länken men nackdelen att den inte klarar av lika höga effekter som LCC gör. Den har med dessa egenskaper blivit en populär teknik att använda för att till exempel överföra energi från vindkraftsparker ute till havs in till fastlandet eller för att förse oljeplattformar med energi. VSC-tekniken introducerades för första gången 1997 av ABB där den går under namnet HVDC-Light. Den aktuella HVDC-länken är en förbindelse mellan två länder och har en överföringskapacitet på totalt 600 MW. Uppgraderingen innefattar även uppdatering av befintliga scheman för att de skall finnas tillgängliga i den nya programvaran Engineering Base. Ritningarna har ritats i Microsoft Visio. Den utrustning som har ritats om och behandlas i denna rapport gäller utrustningen på likströmssidan av HVDC-stationen. Det innefattar jordknivar, frånskiljare, strömtransformatorer, spänningsdelare, överströmsskydd och genomföringar. / This thesis was conducted on behalf of ABB in Ludvika. ABB has received an order for an upgrade of a high voltage direct current (HVDC) station. There are two main technologies that HVDC is based on; line commutated converters (LCC) and voltage source converters (VSC). The LCC technology is the oldest and most widely used. It's also the technology that the upgraded station is based on. VSC HVDC is a newer technology that has the advantage of not requiring a generating power grid on both sides of the HVDC link but has the disadvantage that it cannot handle as high power as LCC can. With these qualities it has become a popular technology to use to transfer energy from offshore wind farms to the mainland or to provide oil platforms with energy. VSC technology was first introduced in 1997 by ABB where it is called HVDC Light. The revised HVDC link is a connection between two countries and has a total power transmission of 600 MW. The upgrade also includes updating existing circuit diagrams for the HVDC station to be available in the new software Engineering Base. The circuit diagrams have been drawn in Microsoft Visio. The equipment which have been designed and examined in this report applies to equipment on the DC side of the HVDC station. This includes grounding knives, disconnectors, power transformers, voltage dividers, current protection units and wall bushings.

The paper describes our usage of and experience with the method of participatory systems mapping. The method, developed for the purpose of facilitating knowledge brokerage, builds on participatory modelling approaches and applications and was used in several events involving both researchers and policy makers. The paper presents and discusses examples of how different types of participatory interaction with causal loop diagrams ("system maps") produced different insights on issues related to sustainable consumption and enabled participatory reflection and sharing of knowledge. Together, these insights support a systemic understanding of the issues and thus the method provides instruments for coping with complexity when formulating policies for sustainable consumption. Furthermore the paper discusses the ability of the method - and its limits - to connect mental models of participants through structured discussion and thus bridge boundaries between different communities.