Word Equations and Related Topics. Independence, Decidability and Characterizations

The three main topics of this work are independent systems and chains of word equations, parametric solutions of word equations on three unknowns, and unique decipherability in the monoid of regular languages. The most important result about independent systems is a new method giving an upper bound for their sizes in the case of three unknowns. The bound depends on the length of the shortest equation. This result has generalizations for decreasing chains and for more than three unknowns. The method also leads to shorter proofs and generalizations of some old results. Hmelevksii’s theorem states that every word equation on three unknowns has a parametric solution. We give a significantly simplified proof for this theorem. As a new result we estimate the lengths of parametric solutions and get a bound for the length of the minimal nontrivial solution and for the complexity of deciding whether such a solution exists. The unique decipherability problem asks whether given elements of some monoid form a code, that is, whether they satisfy a nontrivial equation. We give characterizations for when a collection of unary regular languages is a code. We also prove that it is undecidable whether a collection of binary regular languages is a code.

A Bridge Builder or a Raconteur? How Japan Manoeuvres the Global Development Discourse within the TICAD Process

Japan has been a major actor in the field of development cooperation for five decades, even holding the title of largest donor of Official Development Assistance (ODA) during the 1990s. Financial flows, however, are subject to pre-existing paradigms that dictate both donor and recipient behaviour. In this respect Japan has been left wanting for more recognition. The dominance of the so called ‘Washington Consensus’ embodied in the International Monetary Fund (IMF) and the World Bank has long circumvented any indigenous approaches to development problems. The Tokyo International Conference on African Development (TICAD) is a development cooperation conference that Japan has hosted since 1993 every five years. As the main organizer of the conference Japan has opted for the leading position of African development. This has come in the wake of success in the Asian region where Japan has called attention to its role in the so called ‘Asian Miracle’ of fast growing economies. These aspirations have enabled Japan to try asserting itself as a major player in directing the course of global development discourse using historical narratives from both Asia and Africa. Over the years TICAD has evolved into a continuous process with ministerial and follow-up meetings in between conferences. Each conference has produced a declaration that stipulates the way the participants approach the question of African development. Although a multilateral framework, Japan has over the years made its presence more and more felt within the process. This research examines the way Japan approaches the paradigms of international development cooperation and tries to direct them in the context of the TICAD process. Supplementing these questions are inquiries concerning Japan’s foreign policy aspirations. The research shows that Japan has utilized the conference platform to contest other development actors and especially the dominant forces of the IMF and the World Bank in development discourse debate. Japan’s dominance of the process is evident in the narratives found in the conference documents. Relative success has come about by remaining consistent as shown by the acceptance of items from the TICAD agenda in other forums, such as the G8. But the emergence of new players such as China has changed the playing field, as they are engaging other developing countries from a more equal level.

Suomen Ilmavoimien johtamisjärjestelmän evoluutio ilmasotateorian, kansallisten instituutioiden ja johtamisjärjestelmän ulkomaisen kehityksen näkökulmasta

Ilmavoimien johtamisjärjestelmä on osa Ilmavoimien järjestelmäkokonaisuutta, jonka kaksi muuta osaa ovat taistelujärjestelmä ja tukeutumisjärjestelmä. Ilmavoimien materiaalista suorituskykyä rakennetaan tämän järjestelmäajattelun pohjalta. tässä tutkimuksessa Ilmavoimien johtamisjärjestelmää tutkitaan kolmen kokonaisuuden, ilmavalvontajärjestelmän, ilmatilannekuvan muodostamisjärjestelmän ja tulenkäytön johtamisjärjestelmän, näkökulmasta. Ilmavoimien johtamisjärjestelmän laajuuden vuoksi tutkimusaluetta on jouduttu rajaamaan. Tutkimus perustuu evoluutioparadigmaan, jonka mukaisesti kaikki olevainen on evolutionaarista. Mikään tässä ajassa oleva ilmiö ei ole historiaton. Jokaisella ilmiöllä on nykyisyytensä lisäksi historia ja tulevaisuus. Evoluutioparadigman avulla laajennetaan Ilmavoimien johtamisjärjestelmän nykyisyyden ymmärtämistä kuvaamalla ja analysoimalla sen evoluutiota. Tutkimusaineistoa analysoidaan käyttäen hyväksi polkuriippuvuutta evolutionaarisena mallina. tätä mallia on käytetty uusinstitutionaalisessa ja evolutionaarisessa taloustieteessä ja taloushistoriassa tutkittaessa yritysten, toimialojen tai tuotteiden pysyvyyttä markkinoilla sekä erilaisten innovaatioiden vaikuttavuutta menestymiseen eri markkinatilanteissa. Tutkimusasetelman lähtökohtana on Ilmavoimien johtamisjärjestelmäevoluution kuvaaminen kolmen tekijän tasapainoasetelman suhteen, joita ovat instituutiot, ilmasotateoria ja kansainvälinen ilmavoimien johtamisjärjestelmän kehitys. tutkimuksen tavoitteena on löytää institutionaalinen logiikka Ilmavoimien johtamisjärjestelmän evoluutiolle sekä sen eri kehitysprosesseihin liittyvä mahdollinen polkuriippuvuuden logiikka. Tutkittavina instituutioina ovat kansallinen poliittinen päätöksenteko, joka ilmentyy erilaisina komiteamietintöjä, raportteina ja selontekoina. Sotilaallista instituutiota edustavat eri operatiiviset ohjeet, ohjesäännöt ja doktriinit, jotka ovat ohjanneet johtamisjärjestelmäkehitystä. Ilmasotateorian vaikuttavuuden analyysiä varten tutkimuskohteiksi on valittu seitsemän merkittävää ilmasotateoreetikkoa. Kenraalimajuri Giulio douhet, ilmamarsalkka Hugh Trenchard ja kenraalimajuri William Mitchell edustavat ilmasotateorian varhaista kautta. Kansallista ilmasotateorian kehitystä edustavat eversti Richard Lorentz ja kenraalimajuri Gustaf Erik Magnusson. Yhdysvaltalaiset everstit John Boyd ja John Warden III ovat uuden ajan ilmasotateoreetikkoja. Näiden henkilöiden tuottamien teorioiden avulla voidaan piirtää kuva muutoksesta, jota ilmasodankäynnin teoreetti- sessa ajattelussa on tapahtunut. Ilmavoimien johtamisjärjestelmän evoluutiolle haetaan vertailua kehityksestä, jota on tapahtunut Yhdysvalloissa, Isossa-Britanniassa ja Saksassa. Ilmavoimat on saanut vaikutteita muistakin maista, mutta näiden maiden kehityksen avulla voidaan selittää Suomessa tapahtunutta kehitystä. Tutkimuksessa osoitetaan, että kansainvälisellä johtamisjärjestelmäevoluutiolla on ollut merkittävä vaikutus suomalaiseen kehitykseen. Tämä tutkimus laajentaa prosessuaalista tutkimusteoriaa ja polkuriippuvuusmallin käyttöä sotatieteelliseen tutkimuskenttään. tutkimus yhdistää toisiinsa aivan uudella tavalla sotilasorganisaation institutionaalisia tekijöitä pitkässä evoluutioketjussa. Tutkimus luo pohjaa prosessuaaliseen, havaintoihin perustuvaan evoluutioajatteluun, jossa eri tekijöiden selitysmalleja ja kausaalisuutta eri periodien aikana voidaan kuvata. Tutkimuksen tuloksena ilmavoimien johtamisjärjestelmäevoluutiossa paljastui merkittäviä piirteitä. Teknologia on ollut voimakas katalysaattori ilmapuolustuksen evoluutiossa. Uusien teknologisten innovaatioiden ilmestyminen taistelukentälle on muuttanut oleellisesti taistelun kuvaa. Sodankäynnin revoluutiosta huolimatta sodankäynnin tai operaatiotaidon ja taktiikan perusperiaatteissa ei ole tapahtunut perustavanlaatuista muutosta. Ilmavoimien johtamisjärjestelmän kehitys on voimakkaasti linkittynyt ulkomaiseen johtamisjärjestelmäkehitykseen, jossa teknologiaimplementaatiot perustuvat usean eri ilmiön paljastumiseen ja hyväksikäyttöön. Sotilas- ja siviili-instituutiot ovat merkittävästi vaikuttaneet Ilmavoimien johtamisjärjestelmän kansalliseen kehitykseen. Ne ovat antaneet poliittisen ohjauksen, taloudellisten resurssien ja strategis-operatiivisten käskyjen ja suunnitelmien avulla perusteet, joiden pohjalta johtamisjärjestelmää on kehitetty. Tutkimus osoittaa, että Suomen taloudellisten resurssien rajallisuus on ollut merkittävin institutionaalinen rajoite Ilmavoimien johtamisjärjestelmää kehitettäessä. Useat poliittiset ohjausasiakirjat ovat korostaneet, ettei Suomella pienenä kansakuntana ole taloudellisia resursseja seurata kansainvälistä sotilasteknologiakehitystä. Lisäksi ulko- ja turvallisuuspoliittinen liikkumavapaus on vaikuttanut kehittämismahdollisuuksiin. Ilmasotateorian evoluutio on luonut johtamisjärjestelmän kehitykselle välttämättömän konseptuaalisen viitekehyksen, jotta ilmasota on voitu viedä käytännön tasolle. Teoria, doktriini ja instituutiot toimivat vuorovaikutuksessa, jossa ne interaktiivisesti vaikuttavat toinen toisiinsa. Tutkimus paljasti kuusi merkittävää sokkia, jotka saivat aikaan radikaaleja muutoksia johtamisjärjestelmän evoluutiopolulla. tutkimuksen perusteella vaikuttavimmat muutoksia aiheuttavat sokit olivat radikaalit turvallisuuspoliittiset muutokset kuten sota ja voimakkaat kansantalouden muutokset kuten lama. Sokkeja aiheuttaneet kuusi ajankohtaa olivat: 1. Puolustusvoimien rakentamisen aloittaminen vapaussodan jälkeen 1918 2. Maailmanlaajuinen lama 1929–1933 ja eurooppalainen rauhanaate 1928–1933 3. Talvi- ja jatkosota 1939–1944 4. Uusi alku Pariisin rauhansopimuksen 1947 ja YYA-sopimuksen 1948 varjossa 5. Kylmän sodan päättyminen ja Suomen lama 1990–1993 6. Maailmanlaajuinen lama 2008- Tutkimuksen perusteella voidaan todeta, että Suomen ilmavoimien johtamisjärjestelmän kehittäminen on perustunut rationaalisiin päätöksiin, jotka ovat saaneet vaikutteita ulkomaisesta ilmasotateorian ja -doktriinien kehityksestä sekä kansainvälisestä johtamisjärjestelmäkehityksestä. Johtamisjärjestelmän evoluutioon on vaikuttanut globaali konvergenssi, johon on tehty kansallisen tason ratkaisuja järjestelmien adaptaation ja implementaation yhteydessä.

THE ROLE OF INFORMATION TECHNOLOGY IN CREATING SUSTAINABILITY VALUE FOR FINANCIAL INSTITUTIONS IN 2020 : a scenario planning approach

The growing importance of global sustainability issues has been causing many changes to the financial services industry. Facts such as climate change, social development and the financial crisis in 2008 have been making banks reconsider the manner that they consider environmental, social and economic factors in their decision-making process. At the same time, information technology (IT) has been transforming the financial service industry and its fast development has casted doubts on the way it should be managed within an organization. This current changing environment brings a number of uncertainties to the future that cannot be addressed using traditional forecasting techniques. This research investigates how IT can bring value to sustainability in the financial service industry in 2020. Through the use of a scenario planning technique, we analyzed how trends in the current environment (considering the relation between sustainability, financial institutions an IT) can lead to four different future scenarios. Then, we discussed how IT can improve a bank’s sustainability performance, considering the limitations of each scenario.

Novel Methods for Error Modeling and Parameter Identification of a Redundant Serial-Parallel Hybrid Robot

To obtain the desirable accuracy of a robot, there are two techniques available. The first option would be to make the robot match the nominal mathematic model. In other words, the manufacturing and assembling tolerances of every part would be extremely tight so that all of the various parameters would match the “design” or “nominal” values as closely as possible. This method can satisfy most of the accuracy requirements， but the cost would increase dramatically as the accuracy requirement increases. Alternatively, a more cost-effective solution is to build a manipulator with relaxed manufacturing and assembling tolerances. By modifying the mathematical model in the controller, the actual errors of the robot can be compensated. This is the essence of robot calibration. Simply put, robot calibration is the process of defining an appropriate error model and then identifying the various parameter errors that make the error model match the robot as closely as possible. This work focuses on kinematic calibration of a 10 degree-of-freedom (DOF) redundant serial-parallel hybrid robot. The robot consists of a 4-DOF serial mechanism and a 6-DOF hexapod parallel manipulator. The redundant 4-DOF serial structure is used to enlarge workspace and the 6-DOF hexapod manipulator is used to provide high load capabilities and stiffness for the whole structure. The main objective of the study is to develop a suitable calibration method to improve the accuracy of the redundant serial-parallel hybrid robot. To this end, a Denavit–Hartenberg (DH) hybrid error model and a Product-of-Exponential (POE) error model are developed for error modeling of the proposed robot. Furthermore, two kinds of global optimization methods, i.e. the differential-evolution (DE) algorithm and the Markov Chain Monte Carlo (MCMC) algorithm, are employed to identify the parameter errors of the derived error model. A measurement method based on a 3-2-1 wire-based pose estimation system is proposed and implemented in a Solidworks environment to simulate the real experimental validations. Numerical simulations and Solidworks prototype-model validations are carried out on the hybrid robot to verify the effectiveness, accuracy and robustness of the calibration algorithms.

Development of nano-meter motion control in Japan

Production machines for next generation LSIs such as 4G-DRAMs and for large liquid crystal displays such as 0.5mx0.5m size, and information equipment such as magnetic hard disks and DVDs must have the positioning accuracy of a nano-meter order. To realize such a high degree of the positioning accuracy, not only precision machine elements and mechanisms but also high precision sensors, actuators and controller design techniques becomes crucial. This paper introduces recent topics of precision positioning and motion control technology in Japan.

The role of potassium in the corrosion of superheater materials in boilers firing biomass

Inhibition of global warming has become one of the major goals for the coming decades. A key strategy is to replace fossil fuels with more sustainable fuels, which has generated growing interest in the use of waste-derived fuels and of biomass fuels. However, from the chemical point of view, biomass is an inhomogeneous fuel, usually with a high concentration of water and considerable amounts of potassium and chlorine, all of which are known to affect the durability of superheater tubes. To slow down or reduce corrosion, power plants using biomass as fuel have been forced to operate at lower steam temperatures as compared to fossil fuel power plants. This reduces power production efficiency: every 10°C rise in the steam temperature results in an approximate increase of 2% in power production efficiency. More efficient ways to prevent corrosion are needed so that power plants using biomass and waste-derived fuels can operate at higher steam temperatures. The aim of this work was to shed more light on the alkali-induced corrosion of superheater steels at elevated temperatures, focusing on potassium chloride, the alkali salt most frequently encountered in biomass combustion, and on potassium carbonate, another potassium salt occasionally found in fly ash. The mechanisms of the reactions between various corrosive compounds and steels were investigated. Based on the results, the potassium-induced accelerated oxidation of chromia protected steels appears to occur in two consecutive stages. In the first, the protective chromium oxide layer is destroyed through a reaction with potassium leading to the formation of intermediates such as potassium chromate (K2CrO4) and depleting the chromium in the protective oxide layer. As the chromium is depleted, chromium from the bulk steel diffuses into the oxide layer to replenish it. In this stage, the ability of the material to withstand corrosion depends on the chromium content (which affects how long it takes the chromium in the oxide layer to be depleted) and on external factors such as temperature (which affects how fast the chromium diffuses into the protective oxide from the bulk steel). For accelerated oxidation to continue, the presence of chloride appears to be essential.

Commercialization of Modern Renewable Energy

The threat of global warming and its consequences are widely recognized, and the question of how to proceed with the long transition towards fossil fuel -neutral economies concerns many nations and people. At the same time the world’s primary energy use is predicted to increase significantly during the next decades as a result of global population and welfare increase. Improved energy efficiency and increased use of renewable energy sources in the world’s energy mix play important roles in the future energy production and consumption. The objective of this thesis is to study how novel renewable energy technologies, such as distributed small-scale bio-fueled combined heat and power production and wind power technologies could be commercialized efficiently. A wide array of attributes may contribute to the diffusion of new products. In general, the bioenergy and wind power technologies are in emerging phases, and the diffusion stage varies from country to country. The effects of firms’ technology choices, collaboration and alliances are studied in this thesis. Furthermore, the roles of national energy infrastructure and energy support schemes in the commercialization of new renewable energy products are explored. The empirical data is based on energy expert interviews, financial and patent data, and literature reviews of different case studies. The thesis comprises two parts. The first part provides an overview of the study, and the second part includes six research publications. The results reveal that small-scale bio-fueled combined heat and power production and wind power technologies are still in emerging phases in their life cycles, and energy support schemes are crucial in the market diffusion. The study contributes to earlier findings in the literature and industry by confirming that adequate energy policies and energy infrastructure are fundamental in the commercialization of novel renewable energy technologies. Firm-specific issues, including business relationships and new business models, and market-related issues will have a more significant role in the market penetration in the future, when the technologies mature and become competitive without political support schemes.

Greenhouse gas emissions from peat and biomass-derived fuels, electricity and heat — Estimation of various production chains by using LCA methodology

More discussion is required on how and which types of biomass should be used to achieve a significant reduction in the carbon load released into the atmosphere in the short term. The energy sector is one of the largest greenhouse gas (GHG) emitters and thus its role in climate change mitigation is important. Replacing fossil fuels with biomass has been a simple way to reduce carbon emissions because the carbon bonded to biomass is considered as carbon neutral. With this in mind, this thesis has the following objectives: (1) to study the significance of the different GHG emission sources related to energy production from peat and biomass, (2) to explore opportunities to develop more climate friendly biomass energy options and (3) to discuss the importance of biogenic emissions of biomass systems. The discussion on biogenic carbon and other GHG emissions comprises four case studies of which two consider peat utilization, one forest biomass and one cultivated biomasses. Various different biomass types (peat, pine logs and forest residues, palm oil, rapeseed oil and jatropha oil) are used as examples to demonstrate the importance of biogenic carbon to life cycle GHG emissions. The biogenic carbon emissions of biomass are defined as the difference in the carbon stock between the utilization and the non-utilization scenarios of biomass. Forestry-drained peatlands were studied by using the high emission values of the peatland types in question to discuss the emission reduction potential of the peatlands. The results are presented in terms of global warming potential (GWP) values. Based on the results, the climate impact of the peat production can be reduced by selecting high-emission-level peatlands for peat production. The comparison of the two different types of forest biomass in integrated ethanol production in pulp mill shows that the type of forest biomass impacts the biogenic carbon emissions of biofuel production. The assessment of cultivated biomasses demonstrates that several selections made in the production chain significantly affect the GHG emissions of biofuels. The emissions caused by biofuel can exceed the emissions from fossil-based fuels in the short term if biomass is in part consumed in the process itself and does not end up in the final product. Including biogenic carbon and other land use carbon emissions into the carbon footprint calculations of biofuel reveals the importance of the time frame and of the efficiency of biomass carbon content utilization. As regards the climate impact of biomass energy use, the net impact on carbon stocks (in organic matter of soils and biomass), compared to the impact of the replaced energy source, is the key issue. Promoting renewable biomass regardless of biogenic GHG emissions can increase GHG emissions in the short term and also possibly in the long term.

Energy and Dynamics of the solar agricultural robot "SolarSprayer"

The main objective of the present study was to design an agricultural robot, which work is based on the generation of the electricity by the solar panel. To achieve the proper operation of the robot according to the assumed working cycle the detailed design of the main equipment was made. By analysing the possible areas of implementation together with developments, the economic forecast was held. As a result a decision about possibility of such device working in agricultural sector was made and the probable topics of the further study were found out.

Working fluid selection and design of small-scale waste heat recovery systems based on organic Rankine cycles

Demand for the use of energy systems, entailing high efficiency as well as availability to harness renewable energy sources, is a key issue in order to tackling the threat of global warming and saving natural resources. Organic Rankine cycle (ORC) technology has been identified as one of the most promising technologies in recovering low-grade heat sources and in harnessing renewable energy sources that cannot be efficiently utilized by means of more conventional power systems. The ORC is based on the working principle of Rankine process, but an organic working fluid is adopted in the cycle instead of steam. This thesis presents numerical and experimental results of the study on the design of small-scale ORCs. Two main applications were selected for the thesis: waste heat re- covery from small-scale diesel engines concentrating on the utilization of the exhaust gas heat and waste heat recovery in large industrial-scale engine power plants considering the utilization of both the high and low temperature heat sources. The main objective of this work was to identify suitable working fluid candidates and to study the process and turbine design methods that can be applied when power plants based on the use of non-conventional working fluids are considered. The computational work included the use of thermodynamic analysis methods and turbine design methods that were based on the use of highly accurate fluid properties. In addition, the design and loss mechanisms in supersonic ORC turbines were studied by means of computational fluid dynamics. The results indicated that the design of ORC is highly influenced by the selection of the working fluid and cycle operational conditions. The results for the turbine designs in- dicated that the working fluid selection should not be based only on the thermodynamic analysis, but requires also considerations on the turbine design. The turbines tend to be fast rotating, entailing small blade heights at the turbine rotor inlet and highly supersonic flow in the turbine flow passages, especially when power systems with low power outputs are designed. The results indicated that the ORC is a potential solution in utilizing waste heat streams both at high and low temperatures and both in micro and larger scale appli- cations.

Value of Information Logistics Integration in Digital Business Ecosystem

Digital business ecosystems (DBE) are becoming an increasingly popular concept for modelling and building distributed systems in heterogeneous, decentralized and open environments. Information- and communication technology (ICT) enabled business solutions have created an opportunity for automated business relations and transactions. The deployment of ICT in business-to-business (B2B) integration seeks to improve competitiveness by establishing real-time information and offering better information visibility to business ecosystem actors. The products, components and raw material flows in supply chains are traditionally studied in logistics research. In this study, we expand the research to cover the processes parallel to the service and information flows as information logistics integration. In this thesis, we show how better integration and automation of information flows enhance the speed of processes and, thus, provide cost savings and other benefits for organizations. Investments in DBE are intended to add value through business automation and are key decisions in building up information logistics integration. Business solutions that build on automation are important sources of value in networks that promote and support business relations and transactions. Value is created through improved productivity and effectiveness when new, more efficient collaboration methods are discovered and integrated into DBE. Organizations, business networks and collaborations, even with competitors, form DBE in which information logistics integration has a significant role as a value driver. However, traditional economic and computing theories do not focus on digital business ecosystems as a separate form of organization, and they do not provide conceptual frameworks that can be used to explore digital business ecosystems as value drivers—combined internal management and external coordination mechanisms for information logistics integration are not the current practice of a company’s strategic process. In this thesis, we have developed and tested a framework to explore the digital business ecosystems developed and a coordination model for digital business ecosystem integration; moreover, we have analysed the value of information logistics integration. The research is based on a case study and on mixed methods, in which we use the Delphi method and Internetbased tools for idea generation and development. We conducted many interviews with key experts, which we recoded, transcribed and coded to find success factors. Qualitative analyses were based on a Monte Carlo simulation, which sought cost savings, and Real Option Valuation, which sought an optimal investment program for the ecosystem level. This study provides valuable knowledge regarding information logistics integration by utilizing a suitable business process information model for collaboration. An information model is based on the business process scenarios and on detailed transactions for the mapping and automation of product, service and information flows. The research results illustrate the current cap of understanding information logistics integration in a digital business ecosystem. Based on success factors, we were able to illustrate how specific coordination mechanisms related to network management and orchestration could be designed. We also pointed out the potential of information logistics integration in value creation. With the help of global standardization experts, we utilized the design of the core information model for B2B integration. We built this quantitative analysis by using the Monte Carlo-based simulation model and the Real Option Value model. This research covers relevant new research disciplines, such as information logistics integration and digital business ecosystems, in which the current literature needs to be improved. This research was executed by high-level experts and managers responsible for global business network B2B integration. However, the research was dominated by one industry domain, and therefore a more comprehensive exploration should be undertaken to cover a larger population of business sectors. Based on this research, the new quantitative survey could provide new possibilities to examine information logistics integration in digital business ecosystems. The value activities indicate that further studies should continue, especially with regard to the collaboration issues on integration, focusing on a user-centric approach. We should better understand how real-time information supports customer value creation by imbedding the information into the lifetime value of products and services. The aim of this research was to build competitive advantage through B2B integration to support a real-time economy. For practitioners, this research created several tools and concepts to improve value activities, information logistics integration design and management and orchestration models. Based on the results, the companies were able to better understand the formulation of the digital business ecosystem and the importance of joint efforts in collaboration. However, the challenge of incorporating this new knowledge into strategic processes in a multi-stakeholder environment remains. This challenge has been noted, and new projects have been established in pursuit of a real-time economy.

Antioxidant properties of natural compounds used in popular medicine for gastric ulcers

There is evidence concerning the participation of reactive oxygen species in the etiology and physiopathology of human diseases, such as neurodegenerative disorders, inflammation, viral infections, autoimmune pathologies, and digestive system disorders such as gastrointestinal inflammation and gastric ulcer. The role of these reactive oxygen species in several diseases and the potential antioxidant protective effect of natural compounds on affected tissues are topics of high current interest. To consider a natural compound or a drug as an antioxidant substance it is necessary to investigate its antioxidant properties in vitro and then to evaluate its antioxidant functions in biological systems. In this review article, we shall consider the role of natural antioxidants derived from popular plants to reduce or prevent the oxidative stress in gastric ulcer induced by ethanol.

Large-eddy simulation of wind flows over complex terrains for wind energy applications

Wind energy has obtained outstanding expectations due to risks of global warming and nuclear energy production plant accidents. Nowadays, wind farms are often constructed in areas of complex terrain. A potential wind farm location must have the site thoroughly surveyed and the wind climatology analyzed before installing any hardware. Therefore, modeling of Atmospheric Boundary Layer (ABL) flows over complex terrains containing, e.g. hills, forest, and lakes is of great interest in wind energy applications, as it can help in locating and optimizing the wind farms. Numerical modeling of wind flows using Computational Fluid Dynamics (CFD) has become a popular technique during the last few decades. Due to the inherent flow variability and large-scale unsteadiness typical in ABL flows in general and especially over complex terrains, the flow can be difficult to be predicted accurately enough by using the Reynolds-Averaged Navier-Stokes equations (RANS). Large- Eddy Simulation (LES) resolves the largest and thus most important turbulent eddies and models only the small-scale motions which are more universal than the large eddies and thus easier to model. Therefore, LES is expected to be more suitable for this kind of simulations although it is computationally more expensive than the RANS approach. With the fast development of computers and open-source CFD software during the recent years, the application of LES toward atmospheric flow is becoming increasingly common nowadays. The aim of the work is to simulate atmospheric flows over realistic and complex terrains by means of LES. Evaluation of potential in-land wind park locations will be the main application for these simulations. Development of the LES methodology to simulate the atmospheric flows over realistic terrains is reported in the thesis. The work also aims at validating the LES methodology at a real scale. In the thesis, LES are carried out for flow problems ranging from basic channel flows to real atmospheric flows over one of the most recent real-life complex terrain problems, the Bolund hill. All the simulations reported in the thesis are carried out using a new OpenFOAM® -based LES solver. The solver uses the 4th order time-accurate Runge-Kutta scheme and a fractional step method. Moreover, development of the LES methodology includes special attention to two boundary conditions: the upstream (inflow) and wall boundary conditions. The upstream boundary condition is generated by using the so-called recycling technique, in which the instantaneous flow properties are sampled on aplane downstream of the inlet and mapped back to the inlet at each time step. This technique develops the upstream boundary-layer flow together with the inflow turbulence without using any precursor simulation and thus within a single computational domain. The roughness of the terrain surface is modeled by implementing a new wall function into OpenFOAM® during the thesis work. Both, the recycling method and the newly implemented wall function, are validated for the channel flows at relatively high Reynolds number before applying them to the atmospheric flow applications. After validating the LES model over simple flows, the simulations are carried out for atmospheric boundary-layer flows over two types of hills: first, two-dimensional wind-tunnel hill profiles and second, the Bolund hill located in Roskilde Fjord, Denmark. For the twodimensional wind-tunnel hills, the study focuses on the overall flow behavior as a function of the hill slope. Moreover, the simulations are repeated using another wall function suitable for smooth surfaces, which already existed in OpenFOAM® , in order to study the sensitivity of the flow to the surface roughness in ABL flows. The simulated results obtained using the two wall functions are compared against the wind-tunnel measurements. It is shown that LES using the implemented wall function produces overall satisfactory results on the turbulent flow over the two-dimensional hills. The prediction of the flow separation and reattachment-length for the steeper hill is closer to the measurements than the other numerical studies reported in the past for the same hill geometry. The field measurement campaign performed over the Bolund hill provides the most recent field-experiment dataset for the mean flow and the turbulence properties. A number of research groups have simulated the wind flows over the Bolund hill. Due to the challenging features of the hill such as the almost vertical hill slope, it is considered as an ideal experimental test case for validating micro-scale CFD models for wind energy applications. In this work, the simulated results obtained for two wind directions are compared against the field measurements. It is shown that the present LES can reproduce the complex turbulent wind flow structures over a complicated terrain such as the Bolund hill. Especially, the present LES results show the best prediction of the turbulent kinetic energy with an average error of 24.1%, which is a 43% smaller than any other model results reported in the past for the Bolund case. Finally, the validated LES methodology is demonstrated to simulate the wind flow over the existing Muukko wind farm located in South-Eastern Finland. The simulation is carried out only for one wind direction and the results on the instantaneous and time-averaged wind speeds are briefly reported. The demonstration case is followed by discussions on the practical aspects of LES for the wind resource assessment over a realistic inland wind farm.

Reliability and clinical utility of a Portuguese version of the Abnormal Involuntary Movements Scale (AIMS) for tardive dyskinesia in Brazilian patients

The objective of the present study was to evaluate the reliability and clinical utility of a Portuguese version of the Abnormal Involuntary Movements Scale (AIMS). Videotaped interviews with 16 psychiatric inpatients treated with antipsychotic drugs for at least 5 years were evaluated. Reliability was assessed by the intraclass correlation coefficient (ICC) between three raters, two with and one without clinical training in psychopathology. Clinical utility was assessed by the difference between the scores of patients with (N = 11) and without (N = 5) tardive dyskinesia (TD). Patients with TD exhibited a higher severity of global evaluation by the AIMS (sum of scores: 4.2 ± 0.9 vs 0.4 ± 0.2; score on item 8: 2.3 ± 0.3 vs 0.4 ± 0.2, TD vs controls). The ICC for the global evaluation was fair between the two skilled raters (0.58-0.62) and poor between these raters and the rater without clinical experience (0.05-0.29). Thus, we concluded that the Portuguese version of the AIMS shows an acceptable inter-rater reliability, but only between clinically skilled raters, and that it is clinically useful.