Agent-based management systems for many-core platforms : rigorous design and efficient implementation

Due to various advantages such as flexibility, scalability and updatability, software intensive systems are increasingly embedded in everyday life. The constantly growing number of functions executed by these systems requires a high level of performance from the underlying platform. The main approach to incrementing performance has been the increase of operating frequency of a chip. However, this has led to the problem of power dissipation, which has shifted the focus of research to parallel and distributed computing. Parallel many-core platforms can provide the required level of computational power along with low power consumption. On the one hand, this enables parallel execution of highly intensive applications. With their computational power, these platforms are likely to be used in various application domains: from home use electronics (e.g., video processing) to complex critical control systems. On the other hand, the utilization of the resources has to be efficient in terms of performance and power consumption. However, the high level of on-chip integration results in the increase of the probability of various faults and creation of hotspots leading to thermal problems. Additionally, radiation, which is frequent in space but becomes an issue also at the ground level, can cause transient faults. This can eventually induce a faulty execution of applications. Therefore, it is crucial to develop methods that enable efficient as well as resilient execution of applications. The main objective of the thesis is to propose an approach to design agentbased systems for many-core platforms in a rigorous manner. When designing such a system, we explore and integrate various dynamic reconfiguration mechanisms into agents functionality. The use of these mechanisms enhances resilience of the underlying platform whilst maintaining performance at an acceptable level. The design of the system proceeds according to a formal refinement approach which allows us to ensure correct behaviour of the system with respect to postulated properties. To enable analysis of the proposed system in terms of area overhead as well as performance, we explore an approach, where the developed rigorous models are transformed into a high-level implementation language. Specifically, we investigate methods for deriving fault-free implementations from these models into, e.g., a hardware description language, namely VHDL.

Functional and morphological effects of resistance exercise on disuse-induced skeletal muscle atrophy

Abstract The reduction of skeletal muscle loss in pathological states, such as muscle disuse, has considerable effects in terms of rehabilitation and quality of life. Since there is no currently effective and safe treatment available for skeletal muscle atrophy, the search for new alternatives is necessary. Resistance exercise (RE) seems to be an important tool in the treatment of disuse-induced skeletal muscle atrophy by promoting positive functional (strength and power) and structural (hypertrophy and phenotypic changes) adaptive responses. Human and animal studies using different types of resistance exercise (flywheel, vascular occlusion, dynamic, isometric, and eccentric) have obtained results of great importance. However, since RE is a complex phenomenon, lack of strict control of its variables (volume, frequency, intensity, muscle action, rest intervals) limits the interpretation of the impact of the manipulation on skeletal muscle remodeling and function under disuse. The aim of this review is to critically describe the functional and morphological role of resistance exercise in disuse-induced skeletal muscle atrophy with emphasis on the principles of training.

Organization of the marketing communication activities after fusion - the integration and the decision making processes

This master’s thesis was made in order to gain answers to the question of how the integration of the marketing communications and the decision making related to it in a geographically dispersed service organization could be improved in a situation where an organization has gone through a merger. The effects of the organizational design dimensions towards the integration of the marketing communications and the decision making related to it was the main focus. A case study as a research strategy offered a perfect frames for an exploratory study and the data collection was conducted by semi-structured interviews and observing. The main finding proved that from the chosen design dimensions, decentralization, coordination and power, could be found specific factors that in a geographically dispersed organization are affecting the integration of the marketing communications negatively. The effects can be seen mostly in the decision making processes, roles and in the division of responsibility, which are affecting the other dimensions and by this, the integration. In a post-merger situation, the coordination dimension and especially the information asymmetry and the information flow seem to have a largest affect towards the integration of the marketing communications. An asymmetric information distribution with the lack of business and marketing education resulted in low self-assurance and at the end in fragmented management and to the inability to set targets and make independent decisions. As conclusions it can be stated, that with the organizational design dimensions can the effects of a merger towards the integration process of the marketing communications to be evaluated.

Kiertoleijupetikattilateknologia ja sen matemaattinen mallinnus energiantuotantoprosessissa

Työn teoreettisessa osuudessa tehdään katsaus kiertoleijupetiteknologian eri osa-alueisiin: leijupedin virtausdynamiikkaan, hiukkaserottimeen ja kiintoaineen palautusmekanismiin. Myös teknologian historiaa ja muita käyttötarkoituksia energiantuotannon ohella käydään läpi. Termodynamiikkaa sekä lämmönsiirron ja voimalaitosprosessien teoriaa käsitellään mallinnuksessa tarvittavilta osin. Mallinnusosiossa käydään läpi kiertoleijupetihöyrykattilan matemaattisen mallin tekoprosessia. Malli perustuu yleisesti saatavilla oleviin yhtälöihin ja korrelaatioihin. Mallintaminen koostuu höyrykattilan jakamisesta lämpöpintoihin ja niiden mitoittamisesta. Mallissa esitetään myös näkemys siitä, miten lämpö siirtyy savukaasuun ja miten petimateriaalin kierto tapahtuu tulipesässä.

Modelling of changes in electricity end-use and their impacts on electricity distribution

The electricity distribution sector will face significant changes in the future. Increasing reliability demands will call for major network investments. At the same time, electricity end-use is undergoing profound changes. The changes include future energy technologies and other advances in the field. New technologies such as microgeneration and electric vehicles will have different kinds of impacts on electricity distribution network loads. In addition, smart metering provides more accurate electricity consumption data and opportunities to develop sophisticated load modelling and forecasting approaches. Thus, there are both demands and opportunities to develop a new type of long-term forecasting methodology for electricity distribution. The work concentrates on the technical and economic perspectives of electricity distribution. The doctoral dissertation proposes a methodology to forecast electricity consumption in the distribution networks. The forecasting process consists of a spatial analysis, clustering, end-use modelling, scenarios and simulation methods, and the load forecasts are based on the application of automatic meter reading (AMR) data. The developed long-term forecasting process produces power-based load forecasts. By applying these results, it is possible to forecast the impacts of changes on electrical energy in the network, and further, on the distribution system operator’s revenue. These results are applicable to distribution network and business planning. This doctoral dissertation includes a case study, which tests the forecasting process in practice. For the case study, the most prominent future energy technologies are chosen, and their impacts on the electrical energy and power on the network are analysed. The most relevant topics related to changes in the operating environment, namely energy efficiency, microgeneration, electric vehicles, energy storages and demand response, are discussed in more detail. The study shows that changes in electricity end-use may have radical impacts both on electrical energy and power in the distribution networks and on the distribution revenue. These changes will probably pose challenges for distribution system operators. The study suggests solutions for the distribution system operators on how they can prepare for the changing conditions. It is concluded that a new type of load forecasting methodology is needed, because the previous methods are no longer able to produce adequate forecasts.

Potential of energy and nutrient recovery from biodegradable waste by co-treatment in Lithuania

Biodegradable waste quantities in Lithuania and their potential for the co-treatment in renewable energy and organic fertilizer production are investigated. Two scenarios are formulated to study the differences of the amounts of obtainable energy and fertilizers between different ways of utilization. In the first scenario, only digestion is used, and in the second scenario, other materials than straw are digested, and straw and the solid fraction of sewage sludge digestate are combusted. As a result, the amounts of heat and electricity, as well as the fertilizer amounts in the counties are obtained for both scenarios. Based on this study, the share of renewable energy in Lithuania could be doubled by the co-treatment of different biodegradable materials.

Academics as parents--parents as academics : a study of the integration of intellectual and child-care labours /

Discussions concerning the challenges of combining work and family are certainly not new, and still actively continue. There is, however, a silence in the related literature regarding a comprehensive description of integrating specifically university academic ~. work and family responsibilities. This silence is especially evident for men who are parents as well as academics. With the participation of 4 key informants, this qualitative research study gave voice to men and women who participate in the academic labour of a Canadian university as professors, and as graduate students, along with the parenting labour of at least 1 child under the age of7. Methodology was developed to reveal in-depth perspectives regarding the work practices employed by 4 key informants as they combined intellectual and child-care responsibilities. Multiple data collection methods included journal reflections, day time observation sessions, a focus group, and a final evaluation questionnaire. Using research findings, together with information extrapolated from Three Models of the Family (Eichler, 1997), this study also took steps toward developing a Proposed "Three Models of the University," to offer explanation for the work practices of the key informants as academics/parents, and also for future consideration in university policy formation.

Marginal/minority popular music : the concept of the "third space" and the case for "hybridities" of cultures/identities /

The topic of this thesis is marginaVminority popular music and the question of identity; the term "marginaVminority" specifically refers to members of racial and cultural minorities who are socially and politically marginalized. The thesis argument is that popular music produced by members of cultural and racial minorities establishes cultural identity and resists racist discourse. Three marginaVminority popular music artists and their songs have been chosen for analysis in support of the argument: Gil Scott-Heron's "Gun," Tracy Chapman's "Fast Car" and Robbie Robertson's "Sacrifice." The thesis will draw from two fields of study; popular music and postcolonialism. Within the area of popular music, Theodor Adorno's "Standardization" theory is the focus. Within the area of postcolonialism, this thesis concentrates on two specific topics; 1) Stuart Hall's and Homi Bhabha's overlapping perspectives that identity is a process of cultural signification, and 2) Homi Bhabha's concept of the "Third Space." For Bhabha (1995a), the Third Space defines cultures in the moment of their use, at the moment of their exchange. The idea of identities arising out of cultural struggle suggests that identity is a process as opposed to a fixed center, an enclosed totality. Cultures arise from historical memory and memory has no center. Historical memory is de-centered and thus cultures are also de-centered, they are not enclosed totalities. This is what Bhabha means by "hybridity" of culture - that cultures are not unitary totalities, they are ways of knowing and speaking about a reality that is in constant flux. In this regard, the language of "Otherness" depends on suppressing or marginalizing the productive capacity of culture in the act of enunciation. The Third Space represents a strategy of enunciation that disrupts, interrupts and dislocates the dominant discursive construction of US and THEM, (a construction explained by Hall's concept of binary oppositions, detailed in Chapter 2). Bhabha uses the term "enunciation" as a linguistic metaphor for how cultural differences are articulated through discourse and thus how differences are discursively produced. Like Hall, Bhabha views culture as a process of understanding and of signification because Bhabha sees traditional cultures' struggle against colonizing cultures as transforming them. Adorno's theory of Standardization will be understood as a theoretical position of Western authority. The thesis will argue that Adorno's theory rests on the assumption that there is an "essence" to music, an essence that Adorno rationalizes as structure/form. The thesis will demonstrate that constructing music as possessing an essence is connected to ideology and power and in this regard, Adorno's Standardization theory is a discourse of White Western power. It will be argued that "essentialism" is at the root of Western "rationalization" of music, and that the definition of what constitutes music is an extension of Western racist "discourses" of the Other. The methodological framework of the thesis entails a) applying semiotics to each of the three songs examined and b) also applying Bhabha's model of the Third Space to each of the songs. In this thesis, semiotics specifically refers to Stuart Hall's retheorized semiotics, which recognizes the dual function of semiotics in the analysis of marginal racial/cultural identities, i.e., simultaneously represent embedded racial/cultural stereotypes, and the marginal raciaVcultural first person voice that disavows and thus reinscribes stereotyped identities. (Here, and throughout this thesis, "first person voice" is used not to denote the voice of the songwriter, but rather the collective voice of a marginal racial/cultural group). This dual function fits with Hall's and Bhabha's idea that cultural identity emerges out of cultural antagonism, cultural struggle. Bhabha's Third Space is also applied to each of the songs to show that cultural "struggle" between colonizers and colonized produces cultural hybridities, musically expressed as fusions of styles/sounds. The purpose of combining semiotics and postcolonialism in the three songs to be analyzed is to show that marginal popular music, produced by members of cultural and racial minorities, establishes cultural identity and resists racist discourse by overwriting identities of racial/cultural stereotypes with identities shaped by the first person voice enunciated in the Third Space, to produce identities of cultural hybridities. Semiotic codes of embedded "Black" and "Indian" stereotypes in each song's musical and lyrical text will be read and shown to be overwritten by the semiotic codes of the first person voice, which are decoded with the aid of postcolonial concepts such as "ambivalence," "hybridity" and "enunciation."

Phonon spectra and thermodynamic properties of rare gas solids based on empirical and semi-empirical (ab initio) two-body potentials : a comparative study /

We study the phonon dispersion, cohesive and thermal properties of raxe gas solids Ne, Ar, Kr, and Xe, using a variety of potentials obtained from different approaches; such as, fitting to crystal properties, purely ab initio calculations for molecules and dimers or ab initio calculations for solid crystalline phase, a combination of ab initio calculations and fitting to either gas phase data or sohd state properties. We explore whether potentials derived with a certain approaxih have any obvious benefit over the others in reproducing the solid state properties. In particular, we study phonon dispersion, isothermal ajid adiabatic bulk moduli, thermal expansion, and elastic (shear) constants as a function of temperatiue. Anharmonic effects on thermal expansion, specific heat, and bulk moduli have been studied using A^ perturbation theory in the high temperature limit using the neaxest-neighbor central force (nncf) model as developed by Shukla and MacDonald [4]. In our study, we find that potentials based on fitting to the crystal properties have some advantage, particularly for Kr and Xe, in terms of reproducing the thermodynamic properties over an extended range of temperatiures, but agreement with the phonon frequencies with the measured values is not guaranteed. For the lighter element Ne, the LJ potential which is based on fitting to the gas phase data produces best results for the thermodynamic properties; however, the Eggenberger potential for Ne, where the potential is based on combining ab initio quantum chemical calculations and molecular dynamics simulations, produces results that have better agreement with the measured dispersion, and elastic (shear) values. For At, the Morse-type potential, which is based on M0ller-Plesset perturbation theory to fourth order (MP4) ab initio calculations, yields the best results for the thermodynamic properties, elastic (shear) constants, and the phonon dispersion curves.

"Where is the value in education for me?": experiences and perspectives of Ontario secondary students at risk of non-completion of their Ontario Secondary School Diploma /

This study examined students considered at risk of non-completion of their Ontario Secondary School Diploma and aimed to offer insight into the questions, "What factors currently lead to school disconnect" and "How can these factors be addressed?" Eight students currently enrolled in an alternative learning environment participated in the study. Each was asked to take part in two, digitally recorded interviews that were subsequently transcribed by the researcher. The data were then coded and analysed according to specific themes: obstacles, empowerment, goals, views about success, opinions of school, and power of the teacher. From these themes, three broad focus areas emerged that were used to keep the data analysis focused: worldview, school effects, and self-image. Variances between the data collected and ideas presented in the current literature were highlighted as a reminder that when dealing with a human population, we cannot rely on textbook definitions and theory alone.

Decision analysis of the effectiveness of lung cancer screening using autofluorescence bronchoscopy and computed tomography

Background: Lung cancer (LC) is the leading cause of cancer death in the developed world. Most cancers are associated with tobacco smoking. A primary hope for reducing lung cancer has been prevention of smoking and successful smoking cessation programs. To date, these programs have not been as successful as anticipated. Objective: The aim of the current study was to evaluate whether lung cancer screening combining low dose computed tomography with autofluorescence bronchoscopy (combined CT & AFB) is superior to CT or AFB screening alone in improving lung cancer specific survival. In addition, the extent of improvement and ideal conditions for combined CT & AFB screening were evaluated. Methods: We applied decision analysis and Monte Carlo simulation modeling using TreeAge Software to evaluate our study aims. Histology- and stage specific probabilities of lung cancer 5-year survival proportions were taken from Surveillance and Epidemiologic End Results (SEER) Registry data. Screeningassociated data was taken from the US NCI Prostate, Lung, Colorectal and Ovarian Cancer Screening Trial (PLCO), National Lung Screening Trial (NLST), and US NCI Lung Screening Study (LSS), other relevant published data and expert opinion. Results: Decision Analysis - Combined CT and AFB was the best approach at Improving 5-year survival (Overall Expected Survival (OES) in the entire screened population was 0.9863) and in lung cancer patients only (Lung Cancer Specific Expected Survival (LOSES) was 0.3256). Combined screening was slightly better than CT screening alone (OES = 0.9859; LCSES = 0.2966), and substantially better than AFB screening alone (OES = 0.9842; LCSES = 0.2124), which was considerably better than no screening (OES = 0.9829; LCSES = 0.1445). Monte Carlo simulation modeling revealed that expected survival in the screened population and lung cancer patients is highest when screened using CT and combined CT and AFB. CT alone and combined screening was substantially better than AFB screening alone or no screening. For LCSES, combined CT and AFB screening is significantly better than CT alone (0.3126 vs. 0.2938, p< 0.0001). Conclusions: Overall, these analyses suggest that combined CT and AFB is slightly better than CT alone at improving lung cancer survival, and both approaches are substantially better than AFB screening alone or no screening.

Ethnic conflicts and international politics : an analysis of the communal regional, and global dimensions of the Cyprus problem

The thesis assesses the impact of international factors on relations between Greek and Turkish Cypriots during and after the Cold War. Through an analysis of the Cyprus problem it explores both why external actors intervene in communal conflicts and how they influence relations between ethnic groups in plural societies. The analytical framework employed throughout the study draws on contributions of International Relations theorists and students of ethnic conflict. The thesis argues that, as in the global political system, relations between ethnic groups in unranked communal systems are anarchic; that is, actors within the system do not recognize a sovereign political authority. In bipolar communal systems dominated by two relatively equal groups, the struggle for security and power often leads to appeals for assistance from external actors. The framework notes that neighboring states and Great Powers may heed calls for assistance, or intervene without a prior request, if it is in their interest to do so. The convergence of regional and global interests in communal affairs exacerbates ethnic conflicts and precludes the development of effective political institutions. The impact of external intervention in ethnic conflicts has the potential to alter the basis of communal relations. The Cyprus problem is examined both during and after the Cold War in order to gauge how global and regional actors and the structure of their respective systems have affected relations between ethnic groups in Cyprus. The thesis argues that Cyprus's descent into civil war in 1963 was due in part to the entrenchment of external interests in the Republic's constitution. The study also notes that power politics involving the United States, Soviet Union, Greece and Turkey continued to affect the development of communal relations throughout the 1960s, 70s, and, 80s. External intervention culminated in July and August 1974, after a Greek sponsored coup was answered by Turkey's invasion and partition of Cyprus. The forced expulsion of Greek Cypriots from the island's northern territories led to the establishment of ethnically homogeneous zones, thus altering the context of communal relations dramatically. The study also examines the role of the United Nations in Cyprus, noting that its failure to settle the dispute was due in large part to a lack of cooperation from Turkey, and the United States' and Soviet Union's acceptance of the status quo following the 1974 invasion and partition of the island. The thesis argues that the deterioration of Greek-Turkish relations in the post-Cold War era has made a solution to the dispute unlikely for the time being. Barring any dramatic changes in relations between communal and regional antagonists, relations between Greek and Turkish Cypriots will continue to develop along the lines established in July/August 1974. The thesis concludes by affirming the validity of its core hypotheses through a brief survey of recent works touching on international politics and ethnic conflict. Questions requiring further research are noted as are elements of the study that require further refinement.

Relating leadership, thinking styles, self-concept, motivation and stress management in education

Seventy-five principals and vice-.wincipals from public elementary and secondary schools in Hamilton, Ontario, Canada participated in this study. Participants provided ,information concerning their thinking styles, motivations, and the physical effects of stress. This information was examined to find out how satisfaction-oriented, and how security-oriented the thinking styles of the participants were. Second, the data were analysed to see how the thinking style orientations related to life style habits and the effects of stress. The satisfaction-oriented thinking styles scored higher than all of the security-oriented thinking styles by a wide margin with a small preference for the satisfaction-people-oriented styles labelled humanistic-helpful, and affiliative as opposed to the satisfaction-task-oriented styles labeled achievement, and self-actualizing. Although all eight of the security-oriented thinking styles scored well below all of the satisfaction-oriented thinking styles on the Life Styles Inventory, the perfectionistic style scored higher than all of the security-oriented styles by an impressive margin. The next highest scores were recorded by a cluster of three passive-defensive people-oriented thinking styles labeled approval, conventional, and dependent. The competitive style scored lower, and the styles labeled avoidance, oppositional, and power scored the lowest of all the defensive-security-oriented styles. These findings suggest that principals and vice-principals see themselves as relaxed, flexible, and satisfied with their ability to adapt to the stress levels they experience in their lives; however, there was some support for medical research findings that suggest that specific security-oriented thinking styles are associated with emotional stresses that contribute to the development of specific lifestyle habits, physical symptoms, and illnesses. Although the number of females in this study provides very limited generalizability, the findings of this study suggest that high achieving females tend to develop satisfaction-growth styles to a higher level than males, and they tend to use security-oriented styles to a lesser degree than males.

Solute effects on the production and decay of primary species in the flash photolysis of indole

Maximum production rates ofs and decay kinetics for the hydrated electron, the indolyl neutral radical and the indole triplet state have been obtained in the microsecond, broadband (X > 260 nm) flash photolysis of helium-saturated, neutral aqueous solutions of indole, in the absence and in the presence of the solutes NaBr, BaCl2*2H20 and CdSCV Fluorescence spectra and fluorescence lifetimes have also been obtained in the absence and in the presence of the above solutes, The hydrated electron is produced monophotonically and biphotonically at an apparent maximum rate which is increased by BaCl2*2H20 and decreased by NaBr and CdSOif. The neutral indolyl radical may be produced monophotonically and biphotonically or strictly monophotonically at an apparent maximum rate which is increased by NaBr and CdSO^ and is unaffected by BaCl2*2H20. The indole triplet state is produced monophotonically at a maximum rate which is increased by all solutes. The hydrated electron decays by pseudo first order processes, the neutral indolyl radical decays by second order recombination and the indole triplet state decays by combined first and second order processes. Hydrated electrons are shown to react with H , H2O, indole, Na and Cd"*""1"". No evidence has been found for the reaction of hydrated electrons with Ba . The specific rate of second order neutral indolyl radical recombination is unaffected by NaBr and BaCl2*2H20, and is increased by CdSO^. Specific rates for both first and second order triplet state decay processes are increased by all solutes. While NaBr greatly reduced the fluorescence lifetime and emission band intensity, BaCl2*2H20 and CdSO^ had no effect on these parameters. It is suggested that in solute-free solutions and in those containing BaCl2*2H20 and CdSO^, direct excitation occurs to CTTS states as well as to first excited singlet states. It is further suggested that in solutions containing NaBr, direct excitation to first excited singlet states predominates. This difference serves to explain increased indole triplet state production (by ISC from CTTS states) and unchanged fluorescence lifetimes and emission band intensities in the presence of BaCl2*2H20 and CdSOt^., and increased indole triplet state production (by ISC from S^ states) and decreased fluorescence lifetime and emission band intensity in the presence of NaBr. Evidence is presented for (a) very rapid (tx ^ 1 us) processes involving reactions of the hydrated electron with Na and Cd which compete with the reformation of indole by hydrated electron-indole radical cation recombination, and (b) first and second order indole triplet decay processes involving the conversion of first excited triplet states to vibrationally excited ground singlet states.