Universiẗat, Diss., 2005--Düsseldorf. / Erscheinungsjahr an der Haupttitelstelle : 2004.

Alternative energy technology has been used widely in rural electrification program (REP) all over the world for many years now. Renewable energy sources, such as solar, wind and biomass, are the preferred choices given the abundant resources available on site and the sophistication of the technologies involved. Combinations of two or more of the resources, together with an energy storage system and occasionally a conventional energy generator, create a hybrid system, which is reliable and durable. In Malaysia, solar photovoltaic (PV) base systems, implemented on a large scale, can provide round-the-clock electricity services for areas that are inaccessible by the electricity grid network. One of Malaysia s REP initiatives is solar PV-diesel hybrid systems for 160 schools in rural Sabah. The systems have been in operation for several years, but studies in the program are limited. Thus, understanding the system operation and functional is a highly valuable experience and lessons can be learned for implementation of the rural electrification program (REP). The overall aim of the research is to evaluate the REP in social, organizational, technical and economic aspects of the program that the findings can facilitate the stakeholders, such as the policy makers and implementers for current and future approaches, measures and decisions on REP activities and initiatives in Malaysia. This thesis has described the approaches on investigating the rural school s electrification program in Sabah. Analysis of system operation and function is conducted by examining and evaluating the recorded data from the system. A set of technical indicators is introduced in the form of system performance indicators and system reliability indicators. Furthermore, comparisons are made between the actual system operation and the optimum system configuration based on the actual data of the renewable energy resources, electricity energy consumption and costs in installation and operation. A field study was conducted at fifteen rural schools that use the solar PV system to determine the effectiveness of the program in transforming the rural schools to better learning environments and livelihoods. The findings indicate that most system components were found to be in good operation, and the operation of the solar PV system agreed to the indicators of system performance and system reliability. Additionally, the system reliability indicators can be seen as a vital tool not only to identify the values of the system capacity but also for prediction measures in analysing the durability of each component. The analysis of the actual system operation provides optimum values in terms of technical indicators, whereas the optimized system shows economic advantages. The findings show a high degree of responses from the end users in the level of satisfaction, appreciation, motivation and academic excellence. Nevertheless, several improvements are required to enhance the sustainability elements of the REP, especially from the organizational and governance perspectives. These includes effective coordination among the rural development-related agencies, the improvement on the transition between installation and maintenance work, efficient reporting process and training and awareness program need to be extended to every end user for sustainability in information and knowledge.

Septinas são proteínas que pertencem a super família das GTPases e que foram inicialmente identificadas em Saccharomyces cerevisae, mas logo em seguida, também em eucariotos superiores, exceto em plantas. Estas proteínas estão envolvidas em uma variedade de processos celulares tais como segregação de cromossomos, polaridade celular, dinâmica da membrana, tráfego de vesículas, exocitose, apoptose, entre outros. Mutações ou alterações no padrão de expressão de septinas são associadas com vários cânceres e doenças neurológicas. Objetivando contribuir com informações funcionais sobre tais proteínas, as septinas humanas 1, 5 e 7 foram usadas como iscas em ensaios de duplo híbrido em leveduras visando à identificação de seus parceiros protéicos. Após a varredura de bibliotecas de cDNA de leucócitos e cérebro fetal humano, os parceiros protéicos predominantemente encontrados foram outras septinas de grupos diferentes aos das iscas. As interações septina-septina envolveram o domínio de ligação a GTP. Ainda, outros parceiros, diferentes de septinas, foram também identificados nas bibliotecas e estes se mostraram funcionalmente relacionados à endocitose, à regulação da atividade de GTPases, ao tráfego intracelular, aos ciclos de sumoilação, à manutenção da placa metafásica e à maturação do centrossomo. Algumas destas funções são inéditas e foram pela primeira vez relacionadas às septinas. Este trabalho também esteve voltado à caracterização biofísica das septinas 3 e 5 (SEPT3 e SEPT5). Muitos protocolos diferentes foram desenvolvidos na tentativa de obter amostras homogêneas de SEPT5, mas não foram bem sucedidos. Por outro lado, SEPT3 recombinante, destituída do domínio amino-terminal (SEPT3GC) foi eficientemente produzida em E. coli. O estado monomérico de SEPT3GC em solução foi confirmado por cromatografia de exclusão molecular e espalhamento de raios-X a baixos ângulos (SAXS). SEPT3GC mostrou-se ativa e capaz de hidrolizar GTP in vitro. A afinidade de SEPT3GC por GTPγS e GDP foi avaliada por calorimetria de titulação isotérmica (ITC), sendo que o KD de SEPT3GC para GTPγS foi de 5,43 μM e a ligação para este nucleotídeo foi dependente de Mg2+. A ligação para GDP não foi detectável. Agregados de SEPT3GC induzidos por temperatura foram capazes de ligar a sonda fluorescente tioflavina-T, sugerindo uma natureza amilóide para tais estruturas. / Septins are proteins that belong to the superfamily of GTPases, which were initially identified in Saccharomyces cerevisiae, and then in higher eukaryotes, except plants. These proteins are involved in a variety of cellular processes such as chromosome segregation, cell polarity, membrane dynamics, vesicle trafficking, exocytosis, apoptosis, among others. Mutations or changes in the expression of septins have been associated with various cancers and neurological diseases. Aiming to provide functional information about these proteins, the human septins 1, 5 and 7 were used as baits in yeast two-hybrid assay in order to identify their protein partners. After screening cDNA libraries from human leukocytes and fetal brain, the protein partners predominantly found were septins from others groups. The septin-septin interactions involved the GTP binding domain. Others non-septins interactors have also been identified in the libraries and were functionally related to endocytosis, the regulation of the GTPase activity, intracellular trafficking, sumoylation, maintenance of metaphase plate and centrosome maturation. Some of these functions are new and were related to the septins for the first time. This work also focused on the biophysical characterization of the septins 3 and 5 (SEPT3 and SEPT5). Many different protocols were developed aiming to obtain homogeneous samples of SEPT5, but were not successful. On the other hand, recombinant SEPT3, without the amino-terminal domain (SEPT3GC), was produced in a homogeneous form in E. coli. SEPT3GC is monomeric in solution as confirmed by size exclusion chromatography and small-angle X-ray scattering (SAXS). Also, SEPT3GC has shown to be active and able to hydrolyze GTP in vitro. The SEPT3GC affinity by GTPγS and GDP were evaluated by isothermal titration calorimetry (ITC). The KD for GTPγS was about 5,43 μM and it was observed to be Mg2+ dependent. The binding to GDP was not detectable. SEPT3GC aggregates induced by temperature were able to bind the thioflavin-T fluorescent probe, suggesting an amyloid nature for such structures.

The growing use of computers in modern control systems has led to the develop- ment of complex dynamic systems known as hybrid systems, which integrates both discrete and continuous systems. Given that hybrid systems are systems that operates in real time allowing for changes in continuous state over time periods, and discrete state changes across zero time, their modelling, analysis and verification becomes very difficult. The formal verifications of such systems based on specifications that can guar- antee their behaviour is very important especially as it pertains to safety critical applications. Accordingly, addressing such verifications issues are important and is the focus of this thesis. In this thesis, in order to actualise the specification and verification of hybrid systems, Interval Temporal Logic(ITL) was adopted as the underlying formalism given its inherent characteristics of providing methods that are flexible for both propositional and first-order reasoning regarding periods found in hardware and software system’s descriptions. Given that an interval specifies the behaviour of a system, specifications of such systems are therefore represented as a set of intervals that can be used to gain an understanding of the possible behaviour of the system in terms of its composition whether in sequential or parallel form. ITL is a powerful tool that can handle both forms of composition given that it offers very strong and extensive proof and specification techniques to decipher essential system properties including safety, liveliness and time projections. However, a limitation of ITL is that the intervals within its framework are considered to be a sequence of discrete states. Against this back- drop, the current research provides an extension to ITL with the view to deal with verification and other related issues that centres around hybrid systems. The novelty within this new proposition is new logic termed SPLINE Interval Temporal Logic (SPITL) in which not only a discrete behaviour can be expressed, but also a continuous behaviour can be represented in the form of a spline i.e. the interval is considered to be a sequence of continuous phases instead of a sequence of discrete states. The syntax and semantics of the newly developed SPITL are provided in this thesis and the new extension of the interval temporal logic using a hybrid system as a case study. The overall framework adopted for the overall structure of SPITL is based on three fundamental steps namely the formal specification of hybrid systems is expressed in SPLINE Interval Temporal Logic, followed by the executable subset of ITL, called Tempura, which is used to develop and test a hybrid system specification that is written in SPITL and finally a runtime verification tool for ITL called AnaTempura which is linked with Matlab in order to use them as an integrated tool for the verification of hybrid systems specification. Overall, the current work contributes to the growing body of knowledge in hybrid systems based on the following three major milestones namely: i. the proposition of a new logic termed SPITL; ii. executable subset, Tempura, integrated with SPITL specification for hybrid systems; and iii. the development of a tool termed Ana Tempura which is integrated with Matlab to ensure accurate runtime verification of results.

Les travaux de thèse concernent le développement d’une plateforme d’émulation temps réel destinée aux études théoriques et expérimentales des systèmes hybrides éolien- hydrolien. Diverses architectures de couplages énergétiques sont traitées sur la base des similitudes fonctionnelles des deux systèmes et par des concepts d’émulation à la fois numériques et expérimentaux. La notion de simulation en temps « accéléré » a été développée. Le concept a été validé sur la plateforme expérimentale en utilisant l’évolution de la puissance moyenne délivrée par une turbine éolienne de petite puissance. Cette approche pourra permettre de réduire les temps d’observation des campagnes de mesure, d’accélérer les études sur le potentiel éolien des sites en développement. Nous avons développé également deux types de couplage du système hybride éolien-hydolien. Un couplage électrique basé sur la connexion en parallèle sur un bus continu des deux turbines. Nous avons développé un concept innovant d’un couplage électromécanique basé sur l’utilisation d’une seule génératrice asynchrone sur laquelle sont simultanément couplés les arbres de la turbine éolienne et de la turbine hydrolienne. Pour cela, un servomoteur à commande vectorielle nous a servi à émuler la turbine éolienne pendant qu’un moteur synchrone nous a servi d'émulateur de turbine hydrolienne. L’arbre de la génératrice sert de couplage mécanique entre les deux systèmes. Nous avons mis en évidence dans les expérimentations effectuées, la complémentarité des productions électriques des deux systèmes, et également le besoin de leur adjoindre un système de stockage pour palier à une baisse simultanée de deux productions d’énergie. / The thesis work concerns the development of a real-time emulation platform for theoretical and experimental studies of offshore wind and tidal power hybrid systems. Various energy coupling architectures are processed on the basis of the functional similarities of two systems and by both numerical and experimental emulation concepts. The notion of accelerated time used for real time simulation has been developed. The concept was validated on the experimental platform using the evolution of the mean power delivered by a small wind turbine. This approach can reduce the observation times of the measurement campaigns and could accelerate the studies for the wind potential of developing sites. We have also developed two types of coupling of the wind-tidal hybrid system. An electrical coupling based on the connection in parallel on a continuous bus of two turbines. We have developed an innovative concept of an electromechanical coupling based on the use of a single asynchronous generator on which the wind turbine and tidal turbine are simultaneously coupled. For this purpose, a vector-controlled servomotor was used to emulate the wind turbine while a synchronous motor was used as a tidal turbine emulator. The generator shaft is used as a mechanical coupling between the two systems. We have demonstrated in the experiments that we have developed the complementarity of the electrical productions of the two systems; we highlighted the need to add a storage system to compensate the simultaneous decrease of the two energy productions. The real time simulations results allow us to validate the feasibility of such a coupling.

No description available.

Constructed wetlands (CW) and soil aquifer treatment (SAT) represent natural wastewater treatment systems (NWTSs). The high costs of conventional wastewater treatment techniques encourage more studies to investigate lower cost treatment methods which make these appropriate for developing and also in developed countries. The main objective of this research was to investigate the removals of nutrients and organic micropollutants (OMPs) through SAT, CW and the CW-SAT hybrid system. CWs are an efficient technology to purify and remove different nutrients as well as OMPs from wastewater. They removed most of the dissolved organic matter (DOC), total nitrogen (TN), ammonium and phosphate. Furthermore, CWs aeration could be used as one of the alternatives to reduce CWs footprint by around 10%. The vegetation in CWs plays an essential role in the treatment especially for nitrogen and phosphate removals, it is responsible for the removal of 15%, 55%, 38%, and 22% for TN, dissolved organic nitrogen (DON), nitrate and phosphate, respectively. CWs achieved a very high removal for some OMPs; they attenuated acetaminophen, caffeine, fluoxetine and trimethoprim (>90%) under different redox conditions. Moreover, it was found that increasing temperature (up to 36 C) could enhance the removals of atenolol, caffeine, DEET and trimethoprim by 17%, 14%, 28% and 45%, respectively. On the other hand, some OMPs, were found to be removed by vegetation such as: acetaminophen, caffeine, fluoxetine, sulfamethoxazole, and trimethoprim. Moreover, atenolol, caffeine, fluoxetine and trimethoprim, showed high removal (>80%) through SAT system. It was also found that, temperature increasing and using primary instead of secondary effluent could enhance the removal of some OMPs. The CWs performance study showed that these systems are adapted to the prevailing extreme arid conditions and the average percent removals are about, 88%, 96%, 98%, 98% and 92%, for COD, BOD and TSS, ammonium and phosphate, respectively. Additionally, the natural hybrid system (CW-SAT) can provide an effective treatment technology of reclaimed water for replenishing aquifers and subsequent reuse. This hybrid system embodied the performance advantages of both processes and exhibits a high potential for removal of OMPs, nutrients, metals as well as pathogens, bacteria and viruses.

Hong Kong is known for its specific political model composed by a hybrid system balancing democracy and authoritarianism. This work investigates the hegemonic nature of the interactions between the 2019’s democracy movement and the pro-Beijing actors and how they affected this systemic balance. Based on a case study, this essay mixes the hegemony, social movements and authoritarianism theories to carry out this research. The findings show a change of the systemic paradigm through the domination of the Chinese authoritarian system. This mainlandisation has occurred from a soft and hard power interactions between the two actors to reach a domestic hegemony. From a soft power lens, the collective action theory highlights a rising unbalance of power within the political and media institutions with the rising control of China, however, the movement through its ideas, capabilities and political opportunities formed a counter-hegemony. From a hard power lens, those interactions evolved in an escalation of symbolic and physical violence in terms of repertoires of actions and policing. This radicalization of the movement offered an opportunity to strengthen the control of China. This hybrid regime case shows that democracy movements have fueled an “authoritarianisation’ instead of a democratization.

Increasingly System-On-A-Chip platforms which incorporate both micropro- cessors and re-programmable logic are being utilized across several fields ranging from the automotive industry to network infrastructure. Unfortunately, the de- velopment tools accompanying these products leave much to be desired, requiring knowledge of both traditional embedded systems languages like C and hardware description languages like Verilog. We propose to bridge this gap with Twill, a truly automatic hybrid compiler that can take advantage of the parallelism inherent in these platforms. Twill can extract long-running threads from single threaded C code and distribute these threads across the hardware and software domains to more fully utilize the asymmetric characteristics between processors and the embedded reconfigurable logic fabric. We show that Twill provides a sig- nificant performance increase on the CHStone benchmarks with an average 1.63 times increase over the pure hardware approach and an increase of 22.2 times on average over the pure software approach while reducing the area required by the reconfigurable logic by on average 1.73 times compared to the pure hardware approach.

The objective of the present study is to investigate option pricing and forecasting problems in finance. This is achieved by developing stochastic models in the framework of classical modeling approach. In this study, by utilizing the stock price data, we examine the correctness of the existing Geometric Brownian Motion (GBM) model under standard statistical tests. By recognizing the problems, we attempted to demonstrate the development of modified linear models under different data partitioning processes with or without jumps. Empirical comparisons between the constructed and GBM models are outlined. By analyzing the residual errors, we observed the nonlinearity in the data set. In order to incorporate this nonlinearity, we further employed the classical model building approach to develop nonlinear stochastic models. Based on the nature of the problems and the knowledge of existing nonlinear models, three different nonlinear stochastic models are proposed. Furthermore, under different data partitioning processes with equal and unequal intervals, a few modified nonlinear models are developed. Again, empirical comparisons between the constructed nonlinear stochastic and GBM models in the context of three data sets are outlined. Stochastic dynamic models are also used to predict the future dynamic state of processes. This is achieved by modifying the nonlinear stochastic models from constant to time varying coefficients, and then time series models are constructed. Using these constructed time series models, the prediction and comparison problems with the existing time series models are analyzed in the context of three data sets. The study shows that the nonlinear stochastic model 2 with time varying coefficients is robust with respect different data sets. We derive the option pricing formula in the context of three nonlinear stochastic models with time varying coefficients. The option pricing formula in the frame work of hybrid systems, namely, Hybrid GBM (HGBM) and hybrid nonlinear stochastic models are also initiated. Finally, based on our initial investigation about the significance of presented nonlinear stochastic models in forecasting and option pricing problems, we propose to continue and further explore our study in the context of nonlinear stochastic hybrid modeling approach.