We are primarily concerned with interactive systems whose behaviour is highly reliant on end user activity. A framework for describing and synthesising such systems is developed. This consists of a functional description of the capabilities of a system together with a means of expressing its desired 'usability'. Previous work in this area has concentrated on capturing 'usability properties' in discrete mathematical models. We propose notations for describing systems in a 'requirements' style and a 'specification' style. The requirements style is based on a simple temporal logic and the specification style is based on Lamport's Temporal Logic of Actions (TLA) [74]. System functionality is specified as a collection of 'reactions', the temporal composition of which define the behaviour of the system. By observing and analysing interactions it is possible to determine how 'well' a user performs a given task. We argue that a 'usable' system is one that encourages users to perform their tasks efficiently (i.e. to consistently perform their tasks well) hence a system in which users perform their tasks well in a consistent manner is likely to be a usable system. The use of a given functionality linked with different user interfaces then gives a means by which interfaces (and other aspects) can be compared and suggests how they might be harnessed to bias system use so as to encourage the desired user behaviour. Normalising across different users anq different tasks moves us away from the discrete nature of reactions and hence to comfortably describe the use of a system we employ probabilistic rather than discrete mathematics. We illustrate that framework with worked examples and propose an agenda for further work.

Lycopene is a potent carotenoid antioxidant shown to decrease the risk of chronic diseases associated with oxidative stress and has recently begun to be studied in relation to osteoporosis. However, studies specifically associating intervention with lycopene and a decreased risk for osteoporosis have not yet been conducted, and the mechanisms by which lycopene affects bone have yet to be elucidated. The purpose of this thesis was to explore the hypotheses that supplementation with lycopene would increase antioxidant capacity while decreasing oxidative stress parameters; subsequently decreasing bone turnover markers, and thus the risk of osteoporosis in postmenopausal women. Specifically, experiments were designed to determine whether lycopene acts in its antioxidant capacity to improve bone health, and to delineate the mechanisms of these effects. These hypotheses were investigated through a cross-sectional study, a randomized controlled clinical study, and in vitro studies on human osteoblast cells. The results presented in this thesis demonstrate that intervention with the potent antioxidant lycopene significantly increased concentrations of the 5-cis isomer and resulted in significantly decreased oxidative stress parameters in postmenopausal women. This decrease in oxidative stress parameters resulted in significantly decreased concentrations of the bone resorption marker crosslinked N-telopeptides of type I collagen (NTx). The typical diet of participants included a relatively low intake of lycopene, and the corresponding serum lycopene concentrations were not as effective in decreasing biomarkers of oxidative stress and bone resorption as those obtained from supplementation with lycopene to increase 5-cis serum lycopene. Studies on the paraoxonase enzyme suggest that lycopene is most effective in quenching oxidative stress to decrease bone turnover markers when the internal antioxidant defenses are insufficient or decremented. Mechanisms demonstrated by the in vitro findings suggest that cis lycopene is capable of both preventing and repairing the damaging effects of oxidative stress in osteoblasts. Overall, this thesis provides evidence that lycopene acts through its antioxidant capacity to decrease oxidative stress parameters and bone turnover markers, and may, therefore, reduce the risk for osteoporosis. Based on these findings, the consumption of lycopene by women to improve overall bone health should be considered.

Lactic acid recovery from dilute fermentation broths is a growing requirement due to the increasing demand for pure lactic acid. Reactive extraction is proposed as an alternative to conventional methods of recovery, since the selectivity of separation is remarkably enhanced in reactive extraction. The aim of this study is to perform the equilibrium studies for the recovery of lactic acid from its synthetic aqueous solutions (not from real fermentation broths) by reactive extraction and investigate the effects of various parameters such as initial lactic acid concentration in the aqueous phase (0.25 - 1.3 M), initial pH of the aqueous phase (2 &ndash / 6), organic phase extractant concentration (0.1 &ndash / 0.5 M), type of the extractant (chloride, hydrogensulphate and hydroxide salts of tri-n-octylmethylammonium) and the type of diluent (oleyl alcohol or octanol). The results of the experiments showed that the degrees of extraction decreased with increasing use of diluent with the extractant and increasing initial lactic acid concentration of the aqueous phase. Highest degrees of extraction were achieved for undiluted extractants. The performance of the diluents were investigated by performing extraction experiments with solutions of TOMAC in oleyl alcohol or octanol at different pH values and it was observed that octanol had a higher solvating power than oleyl alcohol especially at lower aqueous phase pH values. Higher extraction efficiencies were obtained for TOMAC dissolved in octanol rather than oleyl alcohol. Initial aqueous pH of 6 was identified as the optimum pH for the extraction, also due to its being equal the average fermentation pH for the extractions with Lactobacillus species. Among the different salts of tri-n-octylmethylammonium, hydroxide salt exhibited the highest degrees of extraction (83% with undiluted TOMA(OH) and 78% with 0.5 M TOMA(OH) in octanol for the extraction of 0.316 M lactic acid solutions). The present work is the first step in the design of an industrial reactive extraction process that is going to attempt forward and backward extraction of lactic acid simultaneously in a hollow fiber membrane module that is going to be attached to the lactic acid fermentor to achieve continuous product recovery. The equilibrium data obtained from this study can be combined with the kinetic studies as the next step of designing a separation module.

In autonomous navigation of mobile robots the dynamic environment is a source of problems. Because it is not possible to model all the possible conditions, the key point in the robot control is to design a system that is adaptable to different conditions and robust in dynamic environments. This study presents a reactive control system for a Khepera robot with the ability to navigate in a dynamic environment for reaching goal objects. The main motivation of this research is to design a robot control, which is robust to sensor errors and sudden changes and adaptable to different environments and conditions. Behavior based approach is used with taking the advantage of fuzzy reasoning in design. Experiments are made on Webots, which is a simulation environment for Khepera robot.

Lactic acid is a fermentation-derived organic acid used in a wide range of industries, such as food processing and pharmaceuticals. Its market is expected to expand due to the worldwide concern for the environment, as it is an essential feedstock for biodegradable polymers. However, fermentation product is a very dilute, multicomponent aqueous solution. Subsequent separation, purification and concentration of organic acids is difficult because of high affinity of the acids for water. Reactive extraction is a viable alternative to classical separation techniques. Amine extractants dissolved in organic diluents are suitable agents with reasonable ranges of viscosity and density of the solvent phase. The product is obtained in an organic phase after reactive extraction. The aim of this study is to obtain equilibrium data of back extraction of lactic acid into appropriate aqueous solutions from the organic phase. Aqueous solutions of NaCl, NaOH, Na2SO4, NaNO3 and Na2CO3 were examined as back extractant in various initial concentrations (0.005 &ndash / 3 M). The organic phase consists of tri-n-octylmethylammonium lactate (TOMA(La)) dissolved in either oleyl alcohol or octanol with initial concentrations between 0.1 and 0.3 M. According to results of the experiments, the level of back extraction generally increased with increasing initial salt concentration in aqueous phase and decreased with increasing initial TOMA(La) concentration in organic phase. For all salts investigated, considerable levels of back extraction were obtained. NaOH was considered as the most suitable back extractant among the salts investigated since it exhibits higher distribution coefficients, regenerates tri-n-octylmethylammonium hydroxide (TOMAOH) in the organic phase and has no adverse effect on fermentation medium when forward and backward extraction steps are coupled with the fermentation. The effect of diluent type of TOMA(La) was also investigated during the experiments and it was concluded that octanol is a better diluent since it gives higher equilibrium distribution coefficients in addition to its higher solvating power and lower viscosity. The present work is a part of a comprehensive research program aiming to collect data and develop knowledge for the design of an industrial reactive extraction process coupling forward and backward extraction of lactic acid in a single unit and integrating fermentation and product separation. The kinetic parameters should be obtained as the next step for the design of such a process.

Apatite containing bioceramic materials are considered to be potentially useful for replacement or repair of natural bone. In the present study, the aim was to produce a new composite bioceramic containing crystalline apatite and wollastonite phases with a bimodal grain size distribution. The manufacturing scheme was based on the liquid phase sintering process in which the compacts pressed from powders of apatite (HAP or Si&shy / HAP) and pseudowollastonite was sintered in the presence of a liquid phase. Three distinct fluxing agents, magnesium flux (MCAS), sodium feldspar and sodium frit (NCAS), were prepared to act as additives for generating the liquid phase during sintering. Among those, the use of sodium frit resulted in the expected bimodal microstructural assembly. During the sintering studies, it was discovered that the apatite component of the ceramic was prone to compositional modifications by reaction with the liquid phase. This interaction resulted in a formation of siliconized HAP which crystallized in the form of rod-like grains. Meanwhile wollastonite grains tended to exhibit faceted equiaxed morphology and bonded to rod-like apatite grains with the help of a glassy phase. The results showed significant enhancement in the mechanical properties of apatite-wollastonite composites compared to phase pure hydroxyapatite. For example, the sample with 47.5 wt% Si-HAP2 + 47.5 wt% W + 5 wt% NCASfrit had the highest value of flexural strength, 83.6 MPa, which was almost twice that of hydroxyapatite, 46.3 MPa. The results for other properties such as compressive strength, hardness and fracture toughness also demonstrated the benefit of apatite-wollastonite composite approach.

Ferritic stainless steels are the most commonly used materials for solid oxide fuel cell interconnect application. Although these alloys may meet the criteria for interconnect application for short periods of service, their application is limited for long-term use (i.e., 40,000 h) due to poor oxidation behaviour that results in a rapid increase in contact resistance. In addition, volatile Cr species migrating from the chromia scale can poison the cathode resulting in a considerable drop in performance of the cell. Coatings and surface modifications have been developed in order to mitigate the abovementioned problems. In this study, composite electrodeposition of reactive element containing particles in a metal matrix was considered as a solution to the interconnect problems. Nickel and Co were used as the metal matrix and LaCrO3 particles as the reactive element containing particles. The role of the particles was to improve the oxidation resistance and oxide scale adhesion, while the role of Ni or Co was to provide a matrix for embedding of the particles. Also, oxidation of the Ni or Co matrix led to the formation of conductive oxides. Moreover, as another part of this study, the effect of substrate composition on performance of steel interconnects was investigated. Numerous experimental techniques were used to study and characterise the oxidation behaviour of the composite coatings, as well as the metal-oxide scale interface properties. Scanning electron microscopy/energy dispersive X-ray spectroscopy (SEM/EDX), as well as surface analysis techniques including Auger electron spectroscopy (AES), X-ray photoelectron spectroscopy (XPS) and secondary ion mass spectroscopy (SIMS), were used for the purpose of characterization. The substrate used for coating was AISI-SAE 430 stainless steel that is considered as a typical, formerly used interconnect material. Also, for the purpose of the metal-oxide scale interfacial study, ZMG232 stainless steel that is a specially designed interconnect alloy was used. It is shown that the composite coatings greatly reduce the contact resistance and effectively inhibit Cr outward migration. In addition, it was determined that the presence of impurities in the steel, especially Si, and the absence of reactive elements drastically contribute to interconnect degradation. / Materials Science and Engineering

Some of the challenges associated with the multi-objective optimization on a modern power system were addressed in this work. Optimization of reactive resources was performed in order to simultaneously optimize several criteria: transmission losses, distribution losses, voltage stability, etc. The optimization was performed simultaneously on the entire power system; transmission and distribution subsystems included. The inherent physical complexity of modeling together transmission and distribution systems was considered first. After considering all pros and cons for such a task, a model of the entire power system was successfully developed. The inherent mathematical complexity of high-dimensional optimization space was handled by introducing the decoupling principle. System is first decoupled in several independent models and optimizations were performed on each part of the system. An algorithm is developed that properly combines the independent solutions to reach the overall system optima. The principle of algorithm synthesis is used to reduce the size of the solution space. Deterministic algorithms are used to locate the local optima which are subsequently refined by probabilistic algorithm. The algorithm is applied on a "real-life" test system and it is shown that the obtained solutions outperform the solution obtained with the conventional algorithms.

Parkinson’s disease, dementia with Lewy bodies and multiple system atrophy are disorders featuring accumulation of Lewy bodies in brain. The main component of these large insoluble intracellular inclusions is the presynaptic protein alpha-synuclein (α-synuclein). It is generally believed that α-synuclein monomers adopt an abnormal conformation that favors the formation of soluble oligomers or protofibrils and, eventually, insoluble fibrils depositing as Lewy bodies. Notably, the intermediately sized oligomers/protofibrils seem to have particular neurotoxic effects. Several factors may influence the formation of α-synuclein oligomers/protofibrils, e.g. the reactive aldehydes 4-hydroxy-2-nonenal (HNE) and 4-oxo-2-nonenal (ONE) formed during oxidative stress. The overall aims of this thesis were to investigate biophysical and biochemical properties of in vitro generated α-synuclein oligomers, characterize their functional effects on cell and animal disease models as well as to explore whether their formation could be prevented in a cell culture model for oligomerization.  Here, it was found that α-synuclein rapidly formed oligomers after incubation with both ONE and HNE. The resulting oligomers were stable and did not continue to form insoluble fibrils. By comparing HNE- and ONE induced α-synuclein oligomers biochemically they were both found to exhibit extensive β-beta sheet structure and had a molecular size of ~2000 kDa. However, they differed in morphology; the ONE induced α-synuclein oligomers described round amorphous species whereas the HNE induced α-synuclein oligomers appeared as elongated protofibril-like structures. Both these oligomers were cell internalized to varying degrees and induced toxicity in neuroblastoma cells. In addition, the ONE induced α-synuclein oligomers seemed to initiate aggregation of monomeric α-synuclein in vitro, but failed to do so in vivo. Finally, treatment of α-synuclein overexpressing cells with monoclonal antibodies specific for α-synuclein significantly reduced aggregation and lowered levels of the protein, suggesting increased turnover in these cells.  To conclude, this thesis has characterized different oligomeric α-synuclein species, which may have properties similar to soluble species central to the pathogenesis of Parkinson’s disease and other disorders with α-synuclein pathology. For therapeutic strategies it is important to selectively target such harmful protein species and avoid interaction with other forms of α-synuclein, which may have vital physiological cellular functions.

Thin film technology is of great significance for a variety of products, such as electronics, anti-reflective or hard coatings, sensors, solar cells, etc. This thesis concerns the synthesis of thin functional films, reactive magnetron sputter deposition process as such and the physical and functional characterization of the thin films synthesized. Characteristic for reactive sputtering processes is the hysteresis due to the target poisoning. One particular finding in this work is the elimination of the hysteresis by means of a mixed nitrogen/oxygen processing environment for dual sputtering of Alumina-Zirconia thin films. For a constant moderate flow of nitrogen, the hysteresis could be eliminated without significant incorporation of nitrogen in the films. It is concluded that optimum processing conditions for films of a desired composition can readily be estimated by modeling. The work on reactively sputtered SiO2–TiO2 thin films provides guidelines as to the choice of process parameters in view of the application in mind, by demonstrating that it is possible to tune the refractive index by using single composite Six/TiO2 targets with the right composition and operating in a suitable oxygen flow range. The influence of the target composition on the sputter yield is studied for reactively sputtered titanium oxide films. It is shown that by using sub-stoichiometric targets with the right composition and operating in the proper oxygen flow range, it is possible to increase the sputter rate and still obtain stoichiometric coatings. Wurtzite aluminum nitride (w-AlN) thin films are of great interest for electro-acoustic applications and their properties have in recent years been extensively studied. One way to tailor material properties is to vary the composition by adding other elements. Within this thesis (Al,B)N films of the wurtzite structure and a strong c-axis texture have been grown by reactive sputter deposition. Nanoindentation experiments show that the films have nanoindentation hardness in excess of 30 GPa, which is as hard as commercially available hard coatings such as TiN. Electrical properties of w-(Al,B)N thin films were investigated. W-(Al,B)N thin films are found to have a dielectric strength of ~3×106 V/cm, a relatively high k-value around 12 and conduction mechanisms similar to those of AlN. These results serve as basis for further research and applications of w-(Al,B)N thin films. An AlN thin film bulk acoustic resonator (FBAR) and a solidly mounted resonator (SMR) together with a microfluidic transport system have been fabricated. The fabrication process is IC compatible and uses reactive sputtering to deposit piezoelectric AlN thin films with a non-zero mean inclination of the c-axis, which allows in-liquid operation through the excitation of the shear mode. The results on IC-compatibility, Q-values, operation frequency and resolution illustrate the potential of this technology for highly sensitive low-cost micro-biosensor systems for applications in, e.g. point-of-care testing.