979 resultados para Bilevel programming problem


Relevância:

20.00% 20.00%

Publicador:

Resumo:

I avhandlingen analyseras betydelsen av kön i den vetenskapliga socialpolitiken vid 1900-talets mitt, i synnerhet med fokus på Heikki Waris (1901–1989) produktion. Waris var Finlands första professor i socialpolitik, som efter andra världskriget etablerades som ett akademiskt ämne vid de finländska universiteten, och Waris blev känd som en av tidens främsta auktoriteter på den finländska socialpolitiken. Vid en tid då välfärdsstaten etablerades och samhället genomgick en snabb moderniseringsprocess, fokuserade den socialpolitiska forskningen på problem och frågor som främst ansågs beröra den manliga delen av befolkningen, såsom alkoholkonsumtion och relationer inom det industriella arbetet. Detta trots att de nordiska staterna senare skulle bli kända som så kallade kvinnovänliga välfärdsstater, där frågor om kvinnors position och jämställdhet beaktades. I avhandlingen belyses hur de texter Waris skrev, samt den forskning som han initierade, skapade ideal baserade på sundhet, ekonomiskt ansvarstagande, aktivitet och medvetenhet samt hur dessa ideal var kopplade till män och manlighet. Förutom att visa hur ideal konstruerades, studeras även de olika formerna och funktionerna av kön i den socialpolitiska litteraturen. Behandlades kön endast som demografisk kategori eller fanns det ett djupare intresse för mäns och kvinnors positioner och roller? Vilka förhållanden ville Waris och de andra socialpolitikerna belysa med att lyfta fram frågor om kön i sina texter? Waris var även en auktoritet på den snabba moderniseringsprocess som Finland hade genomgått sedan industrialiseringen vid 1800-talets slut. I avhandlingen argumenteras för att män och kvinnor på varierande sätt blev symboler för samhällelig förändring. ------------------------ Väitöskirjassa tutkitaan sukupuolen merkitystä sosiaalipolitiikan tutkimuksessa 1900-luvun puolivälissä. Lähtökohtana on Heikki Wariksen (1901–1989) tieteellinen tuotanto. Waris toimi Suomen ensimmäisenä sosiaalipolitiikan professorina ja kehitti sosiaalipolitiikkaa akateemisena aiheena Suomessa toisen maailmansodan jälkeen. Waris tunnettiin yhtenä aikansa merkittävimpänä suomalaisen sosiaalipolitiikan asiantuntijana. Hyvinvointivaltion rakentumisaikana sosiaalipolitiikan tutkimus keskittyi miehiin liittyviin ongelmiin ja kysymyksiin, kuten alkoholin kulutukseen. Väitöskirjassa osoitetaan miten Wariksen teksteissä, ja Wariksen ohjaamissa väitöskirjoissa rakennettiin terveellisyydelle, elättäjyydelle, aktiivisuudelle sekä tietoisuudelle pohjautuva ihanne, joka oli kytketty miehiin ja miehuuteen. Lisäksi tutkitaan sukupuolen muotoja ja funktioita sosiaalipoliittisessa kirjallisuudessa. Oliko sukupuoli pelkkä väestöllinen kategoria vai osoittivatko sosiaalipolitiikan tutkijat syvällisempää mielenkiintoa miesten ja naisten asemaa sekä rooleja kohtaan? Mitkä asiat huomioitiin sukupuolen avulla? Waris oli myös industrialismin aiheuttaman yhteiskuntamuutoksen asiantuntija. Väitöskirjassa osoitetaan miten miehiä ja naisia käsiteltiin eri tavalla muutoksen symboleina.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Det är inte ovanligt att man i organisationer ställs inför problem som inte kan hanteras inom befintlig organisationsstruktur. Skälen kan vara att frågorna har många – ibland konflikterande – dimensioner och perspektiv som samtidigt måste beaktas. I den här avhandlingen studeras vilka tankemönster och föreställningar som fanns när grupper av chefer försökte lösa komplexa problem, som inte hade en naturlig organisatorisk hemvist och hur de omsatte dessa tankemönster i handling. Vad kännetecknade det ledarskap som utövades under problemlösningsprocessen? Avhandlingens empiri hämtas från ledarutvecklingsprogram i två internationellt verksamma företag i Sverige, och omfattar 14 verkliga affärsproblem i dessa företag och den process varigenom de löstes. De 14 seminarierna utgör exempel på hur mångdimensionella frågeställningar framgångsrikt hanteras utanför den befintliga organisationsstrukturen. Studien ger, genom att adressera frågor kring tankesätt och ledningsprocesser, en djupare förståelse för förutsättningarna för detta, och lyfter särskilt fram betydelsen av ett ledarskap som inbegriper begreppen intervention, förmåga och omtolkning. Som ett samlat begrepp introduceras bilden att utöva ledarskapet utifrån ett matrix mind. Att påverka strukturer (i vid mening) och därigenom de förmågor som utvecklas, är del i detta ledarskap. Det sker genom interventioner (ingrepp som påverkar relationer i t ex en grupp) och baserades i den aktuella empirin på uppfattningar om värdet av problematisering, erfarenhetsutbyte och av ett språk, som både beskriver och anger inriktning för aktiviteter. Interventioner i strukturer (och till dem knutna processer) beskriver dock bara delvis detta ledarskap. Att leda med ett matrix mind innefattar också ett nyfiket och kreativt förhållningssätt, och att utifrån detta leda omtolkning av problem. I empirin finns flera exempel på detta. Avhandlingen avser att ge ett bidrag inom såväl organisations- som ledarskapsteori.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

With the shift towards many-core computer architectures, dataflow programming has been proposed as one potential solution for producing software that scales to a varying number of processor cores. Programming for parallel architectures is considered difficult as the current popular programming languages are inherently sequential and introducing parallelism is typically up to the programmer. Dataflow, however, is inherently parallel, describing an application as a directed graph, where nodes represent calculations and edges represent a data dependency in form of a queue. These queues are the only allowed communication between the nodes, making the dependencies between the nodes explicit and thereby also the parallelism. Once a node have the su cient inputs available, the node can, independently of any other node, perform calculations, consume inputs, and produce outputs. Data ow models have existed for several decades and have become popular for describing signal processing applications as the graph representation is a very natural representation within this eld. Digital lters are typically described with boxes and arrows also in textbooks. Data ow is also becoming more interesting in other domains, and in principle, any application working on an information stream ts the dataflow paradigm. Such applications are, among others, network protocols, cryptography, and multimedia applications. As an example, the MPEG group standardized a dataflow language called RVC-CAL to be use within reconfigurable video coding. Describing a video coder as a data ow network instead of with conventional programming languages, makes the coder more readable as it describes how the video dataflows through the different coding tools. While dataflow provides an intuitive representation for many applications, it also introduces some new problems that need to be solved in order for data ow to be more widely used. The explicit parallelism of a dataflow program is descriptive and enables an improved utilization of available processing units, however, the independent nodes also implies that some kind of scheduling is required. The need for efficient scheduling becomes even more evident when the number of nodes is larger than the number of processing units and several nodes are running concurrently on one processor core. There exist several data ow models of computation, with different trade-offs between expressiveness and analyzability. These vary from rather restricted but statically schedulable, with minimal scheduling overhead, to dynamic where each ring requires a ring rule to evaluated. The model used in this work, namely RVC-CAL, is a very expressive language, and in the general case it requires dynamic scheduling, however, the strong encapsulation of dataflow nodes enables analysis and the scheduling overhead can be reduced by using quasi-static, or piecewise static, scheduling techniques. The scheduling problem is concerned with nding the few scheduling decisions that must be run-time, while most decisions are pre-calculated. The result is then an, as small as possible, set of static schedules that are dynamically scheduled. To identify these dynamic decisions and to find the concrete schedules, this thesis shows how quasi-static scheduling can be represented as a model checking problem. This involves identifying the relevant information to generate a minimal but complete model to be used for model checking. The model must describe everything that may affect scheduling of the application while omitting everything else in order to avoid state space explosion. This kind of simplification is necessary to make the state space analysis feasible. For the model checker to nd the actual schedules, a set of scheduling strategies are de ned which are able to produce quasi-static schedulers for a wide range of applications. The results of this work show that actor composition with quasi-static scheduling can be used to transform data ow programs to t many different computer architecture with different type and number of cores. This in turn, enables dataflow to provide a more platform independent representation as one application can be fitted to a specific processor architecture without changing the actual program representation. Instead, the program representation is in the context of design space exploration optimized by the development tools to fit the target platform. This work focuses on representing the dataflow scheduling problem as a model checking problem and is implemented as part of a compiler infrastructure. The thesis also presents experimental results as evidence of the usefulness of the approach.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This article reports on the design and characteristics of substrate mimetics in protease-catalyzed reactions. Firstly, the basis of protease-catalyzed peptide synthesis and the general advantages of substrate mimetics over common acyl donor components are described. The binding behavior of these artificial substrates and the mechanism of catalysis are further discussed on the basis of hydrolysis, acyl transfer, protein-ligand docking, and molecular dynamics studies on the trypsin model. The general validity of the substrate mimetic concept is illustrated by the expansion of this strategy to trypsin-like, glutamic acid-specific, and hydrophobic amino acid-specific proteases. Finally, opportunities for the combination of the substrate mimetic strategy with the chemical solid-phase peptide synthesis and the use of substrate mimetics for non-peptide organic amide synthesis are presented.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This thesis considers optimization problems arising in printed circuit board assembly. Especially, the case in which the electronic components of a single circuit board are placed using a single placement machine is studied. Although there is a large number of different placement machines, the use of collect-and-place -type gantry machines is discussed because of their flexibility and increasing popularity in the industry. Instead of solving the entire control optimization problem of a collect-andplace machine with a single application, the problem is divided into multiple subproblems because of its hard combinatorial nature. This dividing technique is called hierarchical decomposition. All the subproblems of the one PCB - one machine -context are described, classified and reviewed. The derived subproblems are then either solved with exact methods or new heuristic algorithms are developed and applied. The exact methods include, for example, a greedy algorithm and a solution based on dynamic programming. Some of the proposed heuristics contain constructive parts while others utilize local search or are based on frequency calculations. For the heuristics, it is made sure with comprehensive experimental tests that they are applicable and feasible. A number of quality functions will be proposed for evaluation and applied to the subproblems. In the experimental tests, artificially generated data from Markov-models and data from real-world PCB production are used. The thesis consists of an introduction and of five publications where the developed and used solution methods are described in their full detail. For all the problems stated in this thesis, the methods proposed are efficient enough to be used in the PCB assembly production in practice and are readily applicable in the PCB manufacturing industry.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The state of the object-oriented programming course in Lappeenranta University of Technology had reached the point, where it required changes to provide better learning opportunities and thus the learning outcomes. Based on the student feedback the course was partially dated and ineffective. The components of the course were analysed and the ineffective elements were removed and new methods were introduced to improve the course. The major changes included the change from traditional teaching methods to reverse classroom method and the use of Java as the programming language. The changes were measured by the student feedback, lecturer’s observations and comparison to previous years. The feedback suggested that the changes were successful; the course received higher overall grade than before.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Pro graduavhanlingens svenska sammanfattning

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Human activity recognition in everyday environments is a critical, but challenging task in Ambient Intelligence applications to achieve proper Ambient Assisted Living, and key challenges still remain to be dealt with to realize robust methods. One of the major limitations of the Ambient Intelligence systems today is the lack of semantic models of those activities on the environment, so that the system can recognize the speci c activity being performed by the user(s) and act accordingly. In this context, this thesis addresses the general problem of knowledge representation in Smart Spaces. The main objective is to develop knowledge-based models, equipped with semantics to learn, infer and monitor human behaviours in Smart Spaces. Moreover, it is easy to recognize that some aspects of this problem have a high degree of uncertainty, and therefore, the developed models must be equipped with mechanisms to manage this type of information. A fuzzy ontology and a semantic hybrid system are presented to allow modelling and recognition of a set of complex real-life scenarios where vagueness and uncertainty are inherent to the human nature of the users that perform it. The handling of uncertain, incomplete and vague data (i.e., missing sensor readings and activity execution variations, since human behaviour is non-deterministic) is approached for the rst time through a fuzzy ontology validated on real-time settings within a hybrid data-driven and knowledgebased architecture. The semantics of activities, sub-activities and real-time object interaction are taken into consideration. The proposed framework consists of two main modules: the low-level sub-activity recognizer and the high-level activity recognizer. The rst module detects sub-activities (i.e., actions or basic activities) that take input data directly from a depth sensor (Kinect). The main contribution of this thesis tackles the second component of the hybrid system, which lays on top of the previous one, in a superior level of abstraction, and acquires the input data from the rst module's output, and executes ontological inference to provide users, activities and their in uence in the environment, with semantics. This component is thus knowledge-based, and a fuzzy ontology was designed to model the high-level activities. Since activity recognition requires context-awareness and the ability to discriminate among activities in di erent environments, the semantic framework allows for modelling common-sense knowledge in the form of a rule-based system that supports expressions close to natural language in the form of fuzzy linguistic labels. The framework advantages have been evaluated with a challenging and new public dataset, CAD-120, achieving an accuracy of 90.1% and 91.1% respectively for low and high-level activities. This entails an improvement over both, entirely data-driven approaches, and merely ontology-based approaches. As an added value, for the system to be su ciently simple and exible to be managed by non-expert users, and thus, facilitate the transfer of research to industry, a development framework composed by a programming toolbox, a hybrid crisp and fuzzy architecture, and graphical models to represent and con gure human behaviour in Smart Spaces, were developed in order to provide the framework with more usability in the nal application. As a result, human behaviour recognition can help assisting people with special needs such as in healthcare, independent elderly living, in remote rehabilitation monitoring, industrial process guideline control, and many other cases. This thesis shows use cases in these areas.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Animal extremism has been increasing worldwide; frequently researchers are the targets of actions by groups with extreme animal rights agendas. Sometimes this targeting is violent and may involve assaults on family members or destruction of property. In this article, we summarize recent events and suggest steps that researchers can take to educate the public on the value of animal research both for people and animals

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The objective of this study is to increase understanding of the nature and role of trust in temporary virtual problem-solving teams engaged in real-life co-creation activities, while much of previous research has been conducted in student settings. The different forms and bases of trust, possible trust barriers and trust building actions, and perceived role of trust in knowledge sharing and collaboration are analyzed. The study is conducted as a qualitative case study in case company. Data includes interviews from 24 people: 13 from 3 different project teams that were going on during the study, 8 from already finalized project teams, and 3 founders of case company. Additional data consists of communication archives from three current teams. The results indicate that there were both knowledge-based and swift trust present, former being based on work-related personal experiences about leaders or other team members, and latter especially on references, disposition to trust and institution-based factors such as norms and rules, as well as leader and expert action. The findings suggest that possible barriers of trust might be related to lack of adaptation to virtual work, unclear roles and safety issues, and nature of virtual communication. Actions that could be applied to enhance trust are for example active behavior in discussions, work-related introductions communicating competence, managerial actions and face-to-face interaction. Finally, results also suggest that trust has a focal role as an enabler of action and knowledge sharing, and coordinator of effective collaboration and performance in temporary virtual problem-solving teams.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Tämän diplomityön tarkoituksena oli kehittää robottihitsauksen toimintoja KKR Steel Oy:ssä. Tärkeimmät tutkimuskohteet olivat robottisolujen toiminnan tehostaminen ja uusien robottihitsaukseen sopivien tuotteiden kartoittaminen. Työ on jaettu teoreettiseen ja käytännön osuuteen. Teoriaosassa perehdytään kirjallisuuskatsauksen kautta robottihitsauksen perusteisiin, hitsauksen robotisointiin sekä tuottavuuteen ja laatuun. Robottihitsauksen osuudessa käsitellään hitsausrobotin rakennetta, siihen liittyviä oheislaitteita ja robottien ohjelmointia. Hitsauksen robotisoinnissa selvitetään syitä robottihitsauksen käyttöönotolle, robotisoitavilta tuotteilta vaadittavia ominaisuuksia sekä erilaisia toimenpiteitä robottiaseman toiminnan tehostamiseksi. Tuottavuuteen liittyvässä osuudessa selvitetään erilaisten laskentakaavojen ja tunnuslukujen käyttöä ja merkitystä hitsauksessa. Käytännön osuudessa kartoitettiin yrityksen robottihitsauksen lähtötilanne ja selvitettiin ongelmakohtien perusteella kehittämistoimenpiteitä. Tutkimuksissa seurattiin ja havainnoitiin hitsaustuotannon eri vaiheita, minkä perusteella laadittiin erilaisia parannuskeinoja. Toimenpiteistä saatavan hyödyn arviointiin käytettiin yrityksen tuotantoon sopivia mittareita kuten läpimenoaikaa ja kaariaikasuhdetta. Havaittujen ongelmakohtien perusteella ryhdyttiin kehittämään hitsauskiinnittimien suunnittelua ja käsittelylaitteiden käyttöä hitsaustuotannossa sekä hyödyntämään etäohjelmointia tuotteiden viennissä robottiasemille. Lisäksi robottiasemien käyttöastetta pyrittiin nostamaan tutkimalla käsinhitsattavia tuotteita ja siirtämällä niistä robotille soveltuvimmat robottiasemille hitsattavaksi.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

New emerging technologies in the recent decade have brought new options to cross platform computer graphics development. This master thesis took a look for cross platform 3D graphics development possibilities. All platform dependent and non real time solutions were excluded. WebGL and two different OpenGL based solutions were assessed via demo application by using most recent development tools. In the results pros and cons of the each solutions were noted.