968 resultados para operational semantics
Resumo:
In this work mathematical programming models for structural and operational optimisation of energy systems are developed and applied to a selection of energy technology problems. The studied cases are taken from industrial processes and from large regional energy distribution systems. The models are based on Mixed Integer Linear Programming (MILP), Mixed Integer Non-Linear Programming (MINLP) and on a hybrid approach of a combination of Non-Linear Programming (NLP) and Genetic Algorithms (GA). The optimisation of the structure and operation of energy systems in urban regions is treated in the work. Firstly, distributed energy systems (DES) with different energy conversion units and annual variations of consumer heating and electricity demands are considered. Secondly, district cooling systems (DCS) with cooling demands for a large number of consumers are studied, with respect to a long term planning perspective regarding to given predictions of the consumer cooling demand development in a region. The work comprises also the development of applications for heat recovery systems (HRS), where paper machine dryer section HRS is taken as an illustrative example. The heat sources in these systems are moist air streams. Models are developed for different types of equipment price functions. The approach is based on partitioning of the overall temperature range of the system into a number of temperature intervals in order to take into account the strong nonlinearities due to condensation in the heat recovery exchangers. The influence of parameter variations on the solutions of heat recovery systems is analysed firstly by varying cost factors and secondly by varying process parameters. Point-optimal solutions by a fixed parameter approach are compared to robust solutions with given parameter variation ranges. In the work enhanced utilisation of excess heat in heat recovery systems with impingement drying, electricity generation with low grade excess heat and the use of absorption heat transformers to elevate a stream temperature above the excess heat temperature are also studied.
Resumo:
The protease ZapA, secreted by Proteus mirabilis, has been considered to be a virulence factor of this opportunistic bacterium. The control of its expression requires the use of an appropriate methodology, which until now has not been developed. The present study focused on the replacement of azocasein with fluorogenic substrates, and on the definition of enzyme specificity. Eight fluorogenic substrates were tested, and the peptide Abz-Ala-Phe-Arg-Ser-Ala-Ala-Gln-EDDnp was found to be the most convenient for use as an operational substrate for ZapA. A single peptide bond (Arg-Ser) was cleaved with a Km of 4.6 µM, a k cat of 1.73 s-1, and a catalytic efficiency of 376 (mM s)-1. Another good substrate for ZapA was peptide 6 (Abz-Arg-Pro-Pro-Gly-Phe-Ser-Pro-Phe-Arg-Gln-EDDnp) which was cleaved at a single bond (Phe-Ser) with a Km of 13.6 µM, a k cat of 3.96 s-1 and a catalytic efficiency of 291 (mM s)-1. The properties of the amino acids flanking the scissile bonds were also evaluated, and no clear requirement for the amino acid residue at P1 was found, although the enzyme seems to have a preference for a hydrophobic residue at P2.
Resumo:
Finnish Defence Studies is published under the auspices of the National Defence College, and the contributions reflect the fields of research and teaching of the College. Finnish Defence Studies will occasionally feature documentation on Finnish Security Policy. Views expressed are those of the authors and do not necessarily imply endorsement by the National Defence College.
Resumo:
Pro gradu -tutkielma käsittelee Kanadan poliisivoimien, Royal Canadian Mounted Police (RCMP), vuoden 2014 operationaalista raporttia Kanadan kadonneista ja murhatuista alkuperäiskansojen naisista. Heitä katoaa ja murhataan Kanadassa suhteessa huomattavasti enemmän kuin muita naisia. Aihe on hyvin ajankohtainen sekä kriittinen ja siihen on paikallisten organisaatioiden lisäksi kiinnittänyt huomiota mm. Amnesty International ja Yhdistyneet Kansakunnat. Tilannetta pidetään jo ihmisoikeuskriisinä ja sen puolesta puhuminen voidaan nähdä osana laajempaa kansannousua alkuperäiskansojen oikeuksien puolesta. Kanadan hallitusta sekä poliisivoimia on syytetty välinpitämättömyydestä ja rasismista, poliiseja jopa väkivallasta alkuperäiskansojen naisia kohtaan. Kanadan hallitus ei myönnä ongelman olevan sosiologinen ilmiö, vaan pääministerin mukaan naisten katoamiset ja murhat ovat yksittäisiä rikoksia. Tilanteen taustalla on laajempi ongelma, joka juontaa juurensa kolonialismista, alkuperäiskansojen pakkokoulutuksesta ja heidän kulttuurinsa sekä identiteettinsä tuhoamisesta. Ennakkoluulot ja stereotypiat elävät yhä vahvana luoden heikon aseman alkuperäiskansojen edustajille ja tässä tapauksessa erityisesti naisille, joita myös usein syytetään omista ongelmistaan. Tutkielma selvittää, onko tämä operationaalinen raportti eriarvoisuutta, stereotypioita sekä ennakkoluuloja ylläpitävä ja tukeeko se näkemystä sosiologisesta ilmiöstä. Poliisivoimat ovat yhteiskunnassa vaikutusvaltaisessa asemassa ja voivat edesauttaa, jatkaa ja voimistaa syrjivää ajattelua, käytöstä ja viestintää. Vaikka he myös ajavat alkuperäiskansojen etuja, tulee heidän toimintaansa ja täten tätä kyseistä raporttia tarkastella kriittisesti. Tutkielma keskittyy kriittiseen diskurssianalyysiin (Fairclough 1995, Wodak & Meyer 2009). Raportin teksti ei ole avoimesti diskriminoivaa ja keskittyy tilastojen ja lukujen raportointiin sekä vertailuun, luoden samalla kuvan asianomaisista sekä tilanteesta yleisesti. Makroanalyysi (van Dijk 1977, 1980) mahdollistaa korkeamman tason ajatusten ja ideoiden esille tuonnin paljastaen ns. rivien välistä löytyvän viestinnän. Näistä makroanalyysin tuloksista etsitään erilaisia diskurssistrategioita (Reisigl & Wodak 2001), joiden avulla luodaan mm. kuva positiivisesta itsestä ja negatiivisesta toisesta. Näitä tuloksia tuetaan lyhyellä multimodaalisella analyysillä, joka keskittyy lähinnä raportin kahteen kuvaan (Kress & van Leeuwen 2006). Lopuksi tuloksista keskustellaan suhteessa yhteiskunnan valtasuhteisiin (Foucault 1976), rasismiin ja seksismiin. Analyysin perusteella raportti on selkeästi diskriminoiva. Se tuo esiin vanhoja stereotypioita ja ennakkoluuloja, esittää tilanteen alkuperäiskansojen sisäisenä ongelmana, jättää mainitsematta tilanteen taustat ja luo hyvin positiivisen kuvan poliisivoimista (RCMP). Tällä tavoin se ylläpitää yhteiskunnan epätasapainoisia valtasuhteita ja alkuperäiskansojen naisten heikompaa ja marginalisoitua asemaa. Raportti todistaa kuinka syvällä Kanadan yhteiskunnassa jopa institutionaalisella tasolla nämä ajatukset piilevät, sillä diskriminaatio ulottuu tapausten syistä niiden käsittelyyn ja raportointiin. Tilanne on huolestuttava ja voidaan nähdä sosiologisena ilmiönä. Poliisivoimien tulisi lisätä sisäistä koulutusta asian suhteen sekä hallituksen tutkia tätä ilmiönä ja paneutua sen selvittämiseen laaja-alaisesti ja läpinäkyvästi.
Resumo:
Pro gradu -tutkielma käsittelee Kanadan poliisivoimien, Royal Canadian Mounted Police (RCMP), vuoden 2014 operationaalista raporttia Kanadan kadonneista ja murhatuista alkuperäiskansojen naisista. Heitä katoaa ja murhataan Kanadassa suhteessa huomattavasti enemmän kuin muita naisia. Aihe on hyvin ajankohtainen sekä kriittinen ja siihen on paikallisten organisaatioiden lisäksi kiinnittänyt huomiota mm. Amnesty International ja Yhdistyneet Kansakunnat. Tilannetta pidetään jo ihmisoikeuskriisinä ja sen puolesta puhuminen voidaan nähdä osana laajempaa kansannousua alkuperäiskansojen oikeuksien puolesta. Kanadan hallitusta sekä poliisivoimia on syytetty välinpitämättömyydestä ja rasismista, poliiseja jopa väkivallasta alkuperäiskansojen naisia kohtaan. Kanadan hallitus ei myönnä ongelman olevan sosiologinen ilmiö, vaan pääministerin mukaan naisten katoamiset ja murhat ovat yksittäisiä rikoksia. Tilanteen taustalla on laajempi ongelma, joka juontaa juurensa kolonialismista, alkuperäiskansojen pakkokoulutuksesta ja heidän kulttuurinsa sekä identiteettinsä tuhoamisesta. Ennakkoluulot ja stereotypiat elävät yhä vahvana luoden heikon aseman alkuperäiskansojen edustajille ja tässä tapauksessa erityisesti naisille, joita myös usein syytetään omista ongelmistaan. Tutkielma selvittää, onko tämä operationaalinen raportti eriarvoisuutta, stereotypioita sekä ennakkoluuloja ylläpitävä ja tukeeko se näkemystä sosiologisesta ilmiöstä. Poliisivoimat ovat yhteiskunnassa vaikutusvaltaisessa asemassa ja voivat edesauttaa, jatkaa ja voimistaa syrjivää ajattelua, käytöstä ja viestintää. Vaikka he myös ajavat alkuperäiskansojen etuja, tulee heidän toimintaansa ja täten tätä kyseistä raporttia tarkastella kriittisesti. Tutkielma keskittyy kriittiseen diskurssianalyysiin (Fairclough 1995, Wodak & Meyer 2009). Raportin teksti ei ole avoimesti diskriminoivaa ja keskittyy tilastojen ja lukujen raportointiin sekä vertailuun, luoden samalla kuvan asianomaisista sekä tilanteesta yleisesti. Makroanalyysi (van Dijk 1977, 1980) mahdollistaa korkeamman tason ajatusten ja ideoiden esille tuonnin paljastaen ns. rivien välistä löytyvän viestinnän. Näistä makroanalyysin tuloksista etsitään erilaisia diskurssistrategioita (Reisigl & Wodak 2001), joiden avulla luodaan mm. kuva positiivisesta itsestä ja negatiivisesta toisesta. Näitä tuloksia tuetaan lyhyellä multimodaalisella analyysillä, joka keskittyy lähinnä raportin kahteen kuvaan (Kress & van Leeuwen 2006). Lopuksi tuloksista keskustellaan suhteessa yhteiskunnan valtasuhteisiin (Foucault 1976), rasismiin ja seksismiin. Analyysin perusteella raportti on selkeästi diskriminoiva. Se tuo esiin vanhoja stereotypioita ja ennakkoluuloja, esittää tilanteen alkuperäiskansojen sisäisenä ongelmana, jättää mainitsematta tilanteen taustat ja luo hyvin positiivisen kuvan poliisivoimista (RCMP). Tällä tavoin se ylläpitää yhteiskunnan epätasapainoisia valtasuhteita ja alkuperäiskansojen naisten heikompaa ja marginalisoitua asemaa. Raportti todistaa kuinka syvällä Kanadan yhteiskunnassa jopa institutionaalisella tasolla nämä ajatukset piilevät, sillä diskriminaatio ulottuu tapausten syistä niiden käsittelyyn ja raportointiin. Tilanne on huolestuttava ja voidaan nähdä sosiologisena ilmiönä. Poliisivoimien tulisi lisätä sisäistä koulutusta asian suhteen sekä hallituksen tutkia tätä ilmiönä ja paneutua sen selvittämiseen laaja-alaisesti ja läpinäkyvästi.
Resumo:
Formal verification of software can be an enormous task. This fact brought some software engineers to claim that formal verification is not feasible in practice. One possible method of supporting the verification process is a programming language that provides powerful abstraction mechanisms combined with intensive reuse of code. In this thesis we present a strongly typed functional object-oriented programming language. This language features type operators of arbitrary kind corresponding to so-called type protocols. Sub classing and inheritance is based on higher-order matching, i.e., utilizes type protocols as basic tool for reuse of code. We define the operational and axiomatic semantics of this language formally. The latter is the basis of the interactive proof assistant VOOP (Verified Object-Oriented Programs) that allows the user to prove equational properties of programs interactively.
Resumo:
This study examined the operational planning, implementation and execution issues of major sport events, as well as the mitigation and management strategies used to address these issues, with the aim of determining best practices in sport event operational planning. The three Research Questions were: 1) What can previous major sport events provide to guide the operational management of future events? 2) What are the operational issues that arise in the planning and execution of a major sport event, how are they mitigated and what are the strategies used to deal with these issues? 3) What are the best practices for sport event operational planning and how can these practices aid future events? Data collection involved a modified Delphi technique that consisted of one round of in-depth interviews followed by two rounds of questionnaires. Both data collection and analysis were guided by an adaptation of the work of Parent, Rouillard & Leopkey (2011) with a focus on previously established issue and strategy categories. The results provided a list of Top 26 Prominent Issues and Top 17 Prominent Strategies with additional issue-strategy links that can be used to aid event managers producing future major sport events. The following issue categories emerged as having had the highest impact on previous major sport events that participants had managed: timing, funding and knowledge management. In addition, participants used strategies from the following categories most frequently: other, formalized agreements and communication.
Resumo:
Several Authors Have Discussed Recently the Limited Dependent Variable Regression Model with Serial Correlation Between Residuals. the Pseudo-Maximum Likelihood Estimators Obtained by Ignoring Serial Correlation Altogether, Have Been Shown to Be Consistent. We Present Alternative Pseudo-Maximum Likelihood Estimators Which Are Obtained by Ignoring Serial Correlation Only Selectively. Monte Carlo Experiments on a Model with First Order Serial Correlation Suggest That Our Alternative Estimators Have Substantially Lower Mean-Squared Errors in Medium Size and Small Samples, Especially When the Serial Correlation Coefficient Is High. the Same Experiments Also Suggest That the True Level of the Confidence Intervals Established with Our Estimators by Assuming Asymptotic Normality, Is Somewhat Lower Than the Intended Level. Although the Paper Focuses on Models with Only First Order Serial Correlation, the Generalization of the Proposed Approach to Serial Correlation of Higher Order Is Also Discussed Briefly.
Resumo:
Faculty of Medicine, University of Montreal, and the Canadian Institutes of Health Research
Resumo:
La version intégrale de ce mémoire est disponible uniquement pour consultation individuelle à la Bibliothèque de musique de l’Université de Montréal (www.bib.umontreal.ca/MU).
Resumo:
Three enzymes, α-amylase, glucoamylase and invertase, were immobilized on acid activated montmorillonite K 10 via two independent techniques, adsorption and covalent binding. The immobilized enzymes were characterized by XRD, N2 adsorption measurements and 27Al MAS-NMR spectroscopy. The XRD patterns showed that all enzymes were intercalated into the clay inter-layer space. The entire protein backbone was situated at the periphery of the clay matrix. Intercalation occurred through the side chains of the amino acid residues. A decrease in surface area and pore volume upon immobilization supported this observation. The extent of intercalation was greater for the covalently bound systems. NMR data showed that tetrahedral Al species were involved during enzyme adsorption whereas octahedral Al was involved during covalent binding. The immobilized enzymes demonstrated enhanced storage stability. While the free enzymes lost all activity within a period of 10 days, the immobilized forms retained appreciable activity even after 30 days of storage. Reusability also improved upon immobilization. Here again, covalently bound enzymes exhibited better characteristics than their adsorbed counterparts. The immobilized enzymes could be successfully used continuously in the packed bed reactor for about 96 hours without much loss in activity. Immobilized glucoamylase demonstrated the best results.
Resumo:
Effective solids-liquid separation is the basic concept of any wastewater treatment system. Biological treatment methods involve microorganisms for the treatment of wastewater. Conventional activated sludge process (ASP) poses the problem of poor settleability and hence require a large footprint. Biogranulation is an effective biotechnological process which can overcome the drawbacks of conventional ASP to a great extent. Aerobic granulation represents an innovative cell immobilization strategy in biological wastewater treatment. Aerobic granules are selfimmobilized microbial aggregates that are cultivated in sequencing batch reactors (SBRs). Aerobic granules have several advantages over conventional activated sludge flocs such as a dense and compact microbial structure, good settleability and high biomass retention. For cells in a culture to aggregate, a number of conditions have to be satisfied. Hence aerobic granulation is affected by many operating parameters. The organic loading rate (OLR) helps to enrich different bacterial species and to influence the size and settling ability of granules. Hence, OLR was argued as an influencing parameter by helping to enrich different bacterial species and to influence the size and settling ability of granules. Hydrodynamic shear force, caused by aeration and measured as superficial upflow air velocity (SUAV), has a strong influence and hence it is used to control the granulation process. Settling time (ST) and volume exchange ratio (VER) are also two key influencing factors, which can be considered as selection pressures responsible for aerobic granulation based on the concept of minimal settling velocity. Hence, these four parameters - OLR, SUAV, ST and VER- were selected as major influencing parametersfor the present study. Influence of these four parameters on aerobic granulation was investigated in this work
Resumo:
The aim of this study is to investigate the role of operational flexibility for effective project management in the construction industry. The specific objectives are to: a) Identify the determinants of operational flexibility potential in construction project management b) Investigate the contribution of each of the determinants to operational flexibility potential in the construction industry c) Investigate on the moderating factors of operational flexibility potential in a construction project environment d) Investigate whether moderated operational flexibility potential mediates the path between predictors and effective construction project management e) Develop and test a conceptual model of achieving operational flexibility for effective project management The purpose of this study is to findout ways to utilize flexibility inorder to manage uncertain project environment and ultimately achieve effective project management. In what configuration these operational flexibility determinants are demanded by construction project environment in order to achieve project success. This research was conducted in three phases, namely: (i) exploratory phase (ii) questionnaire development phase; and (iii) data collection and analysis phase. The study needs firm level analysis and therefore real estate developers who are members of CREDAI, Kerala Chapter were considered. This study provides a framework on the functioning of operational flexibility, offering guidance to researchers and practitioners for discovering means to gain operational flexibility in construction firms. The findings provide an empirical understanding on kinds of resources and capabilities a construction firm must accumulate to respond flexibly to the changing project environment offering practitioners insights into practices that build firms operational flexibility potential. Firms are dealing with complex, continuous changing and uncertain environments due trends of globalization, technical changes and innovations and changes in the customers’ needs and expectations. To cope with the increasingly uncertain and quickly changing environment firms strive for flexibility. To achieve the level of flexibility that adds value to the customers, firms should look to flexibility from a day to day operational perspective. Each dimension of operational flexibility is derived from competences and capabilities. In this thesis only the influence on customer satisfaction and learning exploitation of flexibility dimensions which directly add value in the customers eyes are studied to answer the followingresearch questions: “What is the impact of operational flexibility on customer satisfaction?.” What are the predictors of operational flexibility in construction industry? .These questions can only be answered after answering the questions like “Why do firms need operational flexibility?” and “how can firms achieve operational flexibility?” in the context of the construction industry. The need for construction firms to be flexible, via the effective utilization of organizational resources and capabilities for improved responsiveness, is important because of the increasing rate of changes in the business environment within which they operate. Achieving operational flexibility is also important because it has a significant correlation with a project effectiveness and hence a firm’s turnover. It is essential for academics and practitioners to recognize that the attainment of operational flexibility involves different types namely: (i) Modification (ii) new product development and (iii) demand management requires different configurations of predictors (i.e., resources, capabilities and strategies). Construction firms should consider these relationships and implement appropriate management practices for developing and configuring the right kind of resources, capabilities and strategies towards achieving different operational flexibility types.