An energy efficient vertical handover decision algorithm

As wireless communications evolve towards heterogeneousnetworks, mobile terminals have been enabled tohandover seamlessly from one network to another. At the sametime, the continuous increase in the terminal power consumptionhas resulted in an ever-decreasing battery lifetime. To that end,the network selection is expected to play a key role on howto minimize the energy consumption, and thus to extend theterminal lifetime. Hitherto, terminals select the network thatprovides the highest received power. However, it has been provedthat this solution does not provide the highest energy efficiency.Thus, this paper proposes an energy efficient vertical handoveralgorithm that selects the most energy efficient network thatminimizes the uplink power consumption. The performance of theproposed algorithm is evaluated through extensive simulationsand it is shown to achieve high energy efficiency gains comparedto the conventional approach.

Searching for consensus in ahp-group decision making. A bayesian perspective

This paper sets out to identify the initial positions of the different decisionmakers who intervene in a group decision making process with a reducednumber of actors, and to establish possible consensus paths between theseactors. As a methodological support, it employs one of the most widely-knownmulticriteria decision techniques, namely, the Analytic Hierarchy Process(AHP). Assuming that the judgements elicited by the decision makers follow theso-called multiplicative model (Crawford and Williams, 1985; Altuzarra et al.,1997; Laininen and Hämäläinen, 2003) with log-normal errors and unknownvariance, a Bayesian approach is used in the estimation of the relative prioritiesof the alternatives being compared. These priorities, estimated by way of themedian of the posterior distribution and normalised in a distributive manner(priorities add up to one), are a clear example of compositional data that will beused in the search for consensus between the actors involved in the resolution ofthe problem through the use of Multidimensional Scaling tools

Group preference structures in AHP–group decision making

This paper presents a procedure that allows us to determine the preference structures(PS) associated to each of the different groups of actors that can be identified in a groupdecision making problem with a large number of individuals. To that end, it makesuse of the Analytic Hierarchy Process (AHP) (Saaty, 1980) as the technique to solvediscrete multicriteria decision making problems. This technique permits the resolutionof multicriteria, multienvironment and multiactor problems in which subjective aspectsand uncertainty have been incorporated into the model, constructing ratio scales correspondingto the priorities relative to the elements being compared, normalised in adistributive manner (wi = 1). On the basis of the individuals’ priorities we identifydifferent clusters for the decision makers and, for each of these, the associated preferencestructure using, to that end, tools analogous to those of Multidimensional Scaling.The resulting PS will be employed to extract knowledge for the subsequent negotiationprocesses and, should it be necessary, to determine the relative importance of thealternatives being compared using anyone of the existing procedures

Methods for assessing the sustainability of integrated municipal waste management and

The general striving to bring down the number of municipal landfills and to increase the reuse and recycling of waste-derived materials across the EU supports the debates concerning the feasibility and rationality of waste management systems. Substantial decrease in the volume and mass of landfill-disposed waste flows can be achieved by directing suitable waste fractions to energy recovery. Global fossil energy supplies are becoming more and more valuable and expensive energy sources for the mankind, and efforts to save fossil fuels have been made. Waste-derived fuels offer one potential partial solution to two different problems. First, waste that cannot be feasibly re-used or recycled is utilized in the energy conversion process according to EU’s Waste Hierarchy. Second, fossil fuels can be saved for other purposes than energy, mainly as transport fuels. This thesis presents the principles of assessing the most sustainable system solution for an integrated municipal waste management and energy system. The assessment process includes: · formation of a SISMan (Simple Integrated System Management) model of an integrated system including mass, energy and financial flows, and · formation of a MEFLO (Mass, Energy, Financial, Legislational, Other decisionsupport data) decision matrix according to the selected decision criteria, including essential and optional decision criteria. The methods are described and theoretical examples of the utilization of the methods are presented in the thesis. The assessment process involves the selection of different system alternatives (process alternatives for treatment of different waste fractions) and comparison between the alternatives. The first of the two novelty values of the utilization of the presented methods is the perspective selected for the formation of the SISMan model. Normally waste management and energy systems are operated separately according to the targets and principles set for each system. In the thesis the waste management and energy supply systems are considered as one larger integrated system with one primary target of serving the customers, i.e. citizens, as efficiently as possible in the spirit of sustainable development, including the following requirements: · reasonable overall costs, including waste management costs and energy costs; · minimum environmental burdens caused by the integrated waste management and energy system, taking into account the requirement above; and · social acceptance of the selected waste treatment and energy production methods. The integrated waste management and energy system is described by forming a SISMan model including three different flows of the system: energy, mass and financial flows. By defining the three types of flows for an integrated system, the selected factor results needed in the decision-making process of the selection of waste management treatment processes for different waste fractions can be calculated. The model and its results form a transparent description of the integrated system under discussion. The MEFLO decision matrix has been formed from the results of the SISMan model, combined with additional data, including e.g. environmental restrictions and regional aspects. System alternatives which do not meet the requirements set by legislation can be deleted from the comparisons before any closer numerical considerations. The second novelty value of this thesis is the three-level ranking method for combining the factor results of the MEFLO decision matrix. As a result of the MEFLO decision matrix, a transparent ranking of different system alternatives, including selection of treatment processes for different waste fractions, is achieved. SISMan and MEFLO are methods meant to be utilized in municipal decision-making processes concerning waste management and energy supply as simple, transparent and easyto- understand tools. The methods can be utilized in the assessment of existing systems, and particularly in the planning processes of future regional integrated systems. The principles of SISMan and MEFLO can be utilized also in other environments, where synergies of integrating two (or more) systems can be obtained. The SISMan flow model and the MEFLO decision matrix can be formed with or without any applicable commercial or free-of-charge tool/software. SISMan and MEFLO are not bound to any libraries or data-bases including process information, such as different emission data libraries utilized in life cycle assessments.

Sisäisen raportoinnin kehittäminen autoliikkeessä

Diplomityön tavoitteena oli kehittää kohdeyrityksen sisäistä raportointia niin, että informaatiota voidaan hyödyntää päivittäisessä päätöksenteossa tehokkaammin. Tarkoituksena oli saada aikaan yksinkertainen ja selkeä raportointijärjestelmä, joka tuottaa raportteja eri organisaatiotasojen tarpeisiin. Työn teoriaosuudessa käytiin läpi informaation ja raportoinnin merkitystä yrityksen operatiiviseen toimintaan, yleisimpiä tieto- ja informaatiojärjestelmiä sekä suorituskyvyn mittaamista. Empiriaosuudessa selvitettiin kohdeyrityksen toimintaprosessit, määriteltiin eri organisaatiotasojen tieto- ja raportointitarpeet sekä suoritettiin uuden raportointijärjestelmän implementointi. Saatujen tulosten mukaan sisäisen raportoinnin tulee koostua sen käyttäjien tarpeista ja yrityksen kannalta merkityksellisestä informaatiosta. Työssä esitetty uusi raportointijärjestelmä tukee kohdeyrityksen päivittäistä päätöksentekoa tuottamalla olennaisia raportteja eri aikaväleiltä ja organisaatiotasoilta.

Efficient synthesis of sulfonamide derivatives on solid supports catalyzed using solvent-free and microwave-assisted methods

In this work we report the synthesis of sulfonamide derivatives using a conventional procedure and with solid supports, such as silica gel, florisil, alumina, 4Å molecular sieves, montmorillonite KSF, and montmorillonite K10 using solvent-free and microwave-assisted methods. Our results show that solid supports have a catalytic activity in the formation of sulfonamide derivatives. We found that florisil, montmorillonite KSF, and K10 could be used as inexpensive alternative catalysts that are easily separated from the reaction media. Additionally, solvent-free and microwave-assisted methods were more efficient in reducing reaction time and in increasing yield.

Palladium-supported catalysts in methane combustion: comparison of alumina and zirconia supports

Palladium catalysts supported on alumina and zirconia were prepared by the impregnation method and calcined at 600 and 1000 ºC. Catalysts were characterized by BET measurements, XRD, XPS, O2-TPD and tested in methane combustion through temperature programmed surface reaction. Alumina supported catalysts were slightly more active than zirconia supported catalysts, but after initial heat treatment at 1000 ºC, zirconia supported palladium catalyst showed better performance above 500 ºC A pattern between temperature interval stability of PdOx species and activity was observed, where better PdOx stability was associated with more active catalysts.

Tool-supported invariant-based programming

The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to put into practice. One hurdle is deriving the loop invariants and proving that the code maintains them. So called correct-by-construction methods aim to alleviate this issue by integrating verification into the programming workflow. Invariant-based programming is a practical correct-by-construction method in which the programmer first establishes the invariant structure, and then incrementally extends the program in steps of adding code and proving after each addition that the code is consistent with the invariants. In this way, the program is kept internally consistent throughout its development, and the construction of the correctness arguments (proofs) becomes an integral part of the programming workflow. A characteristic of the approach is that programs are described as invariant diagrams, a graphical notation similar to the state charts familiar to programmers. Invariant-based programming is a new method that has not been evaluated in large scale studies yet. The most important prerequisite for feasibility on a larger scale is a high degree of automation. The goal of the Socos project has been to build tools to assist the construction and verification of programs using the method. This thesis describes the implementation and evaluation of a prototype tool in the context of the Socos project. The tool supports the drawing of the diagrams, automatic derivation and discharging of verification conditions, and interactive proofs. It is used to develop programs that are correct by construction. The tool consists of a diagrammatic environment connected to a verification condition generator and an existing state-of-the-art theorem prover. Its core is a semantics for translating diagrams into verification conditions, which are sent to the underlying theorem prover. We describe a concrete method for 1) deriving sufficient conditions for total correctness of an invariant diagram; 2) sending the conditions to the theorem prover for simplification; and 3) reporting the results of the simplification to the programmer in a way that is consistent with the invariantbased programming workflow and that allows errors in the program specification to be efficiently detected. The tool uses an efficient automatic proof strategy to prove as many conditions as possible automatically and lets the remaining conditions be proved interactively. The tool is based on the verification system PVS and i uses the SMT (Satisfiability Modulo Theories) solver Yices as a catch-all decision procedure. Conditions that were not discharged automatically may be proved interactively using the PVS proof assistant. The programming workflow is very similar to the process by which a mathematical theory is developed inside a computer supported theorem prover environment such as PVS. The programmer reduces a large verification problem with the aid of the tool into a set of smaller problems (lemmas), and he can substantially improve the degree of proof automation by developing specialized background theories and proof strategies to support the specification and verification of a specific class of programs. We demonstrate this workflow by describing in detail the construction of a verified sorting algorithm. Tool-supported verification often has little to no presence in computer science (CS) curricula. Furthermore, program verification is frequently introduced as an advanced and purely theoretical topic that is not connected to the workflow taught in the early and practically oriented programming courses. Our hypothesis is that verification could be introduced early in the CS education, and that verification tools could be used in the classroom to support the teaching of formal methods. A prototype of Socos has been used in a course at Åbo Akademi University targeted at first and second year undergraduate students. We evaluate the use of Socos in the course as part of a case study carried out in 2007.

Medical students' knowledge about end-of-life decision-making

The influence of medical students' knowledge concerning end-of-life care, considering ethical theories and clinical practice, remains controversial. We aimed to investigate medical students' knowledge of bioethical concepts related to moral kinds of death (euthanasia, disthanasia, and orthothanasia) and to analyze the influence of their clinical experience on practicing such approaches in a tertiary hospital in the state of São Paulo, Brazil. We interviewed 180 medical students [distributed in Group 1 (G1) - first to third- year students, and Group 2 (G2) - fourth to sixth-year students] to evaluate the influence of the course on "medical ethics" on ethical theories and clinical practice, using a closed questionnaire. The course on "medical ethics" did not distinguish the groups (P=0.704) in relation to bioethical concepts. Neologisms such as "cacothanasia" and "idiothanasia" were incorrectly viewed as bioethical concepts by 28% of the interviewees. Moreover, 45.3% of the sample considered health care professionals incapable of managing terminally ill patients, especially G2 (29%) as compared to G1 (16.5%, P=0.031). The concept of euthanasia was accepted by 41% of sample, as compared to 98.2% for orthothanasia. Among medical students that accepted ways to abbreviate life (22.9%), 30.1% belonged to G1, and only 16.1% to G2 (P=0.049). These medical students were unfamiliar with common bioethical concepts. Moreover, they considered healthcare professionals incapable of managing terminally ill patients. The ethical ideal of the "good death" reflects better acceptance of orthothanasia by medical students, suggesting a tendency to apply it in their future clinical practice.

Russian market entry decision for an e-business company, the case Ampparit Inc.

The aim of the study was to examine foreign operation methods and suggest the entry mode for the Russian E-business market. Ampparit Inc. was chosen as a case company, as it operates in the e-commerce B2B type of the business by providing Witpik - media monitoring service. The concept of foreign operation method was clarified with a specific focus on Russian market peculiarities and E-business. The main focuses of the present work were to figure out the most applicable entry mode for the Russian market in case of e-business company and factors affecting the decision about entry, including risks, barriers and other aspects.

Osingonjakopolitiikan määräytyminen ja sen osakekurssivaikutukset Helsingin pörssissä

Tämän työn tarkoituksena oli tutkia lineaarisen regressioanalyysin avulla sekä osingonjakopolitiikan määräytymiseen vaikuttavia tekijöitä että osinkojen osakekurssivaikutusta Helsingin pörssissä. Osinkopolitiikan määräytymistä tutkittiin yhtiön koon, kannattavuuden, velkaisuuden, investointi- ja kasvumahdollisuuksien sekä sisäpiirin omistuksen avulla. Käytetty aineisto koostuu Helsingin pörssissä noteerattujen yhtiöiden tilinpäätösluvuista ja osakekurssitiedoista vuosina 2000-2010. Empiiriset tutkimukset osoittivat, että osinkotuottoon vaikuttavia tekijöitä Helsingin pörssissä ovat yhtiön kannattavuus, velkaisuus, investointi- ja kasvumahdollisuudet sekä sisäpiirin omistus. Saadut tulokset ovat samansuuntaisia aikaisempien tutkimusten kanssa. Toinen merkittävä löydös on, että osingoilla todettiin olevan positiivinen yhteys osakekurssimuutoksiin Helsingin pörssissä. Osinkojen ja osakekurssin välinen yhteys tukee signalointiteoriaa.