Some reformulations for the quadratic assignment problem

Kombinatorisk optimering handlar om att hitta en bra eller rent av den bästa möjliga lösningen från ett känt antal lösningar eller kombinationer. Ofta är antalet lösningar så enormt att en genomgång av alla olika lösningar inte är möjlig. En av huvudorsakerna till att det forskas inom kombinatorisk optimering är att liknande frågeställningar eller problem uppkommer inom så många olika områden. Påståendet stämmer speciellt bra för kvadratiska tilldelningsproblem(eng. Quadratic Assignment Problem). Sådana problem uppstår då man försöker beskriva en stor mängd tillämpade frågeställningar. Vilken gate skall väljas för flygen på större flygplatser för att minimera den totala väg människorna behöver gå och bagaget förflyttas? Var skall olika avdelningar på en fabrik placeras för att minimera materialförflyttningar mellan avdelningarna? Hur ser ett optimalt tangentbord ut för olika språk? Var skall komponenterna placeras på ett kretskort? De här är alla frågor som kan besvaras genom att lösa kvadratiska tilldelningsproblem. Kvadratiska tilldelningsproblem är dock mycket svåra att lösa. Det beror på att problemet i den standardform det matematiskt formuleras i huvudsak består av produkter av binära variabler. I denna avhandling har problemet omformulerats till en linjär diskret form som innehåller färre variabler. Med omformuleringen har bland annat flera tidigare olösta kvadratiska tilldelningsproblem kunnat lösas till globalt optimum, den bästa möjliga lösningen, för första gången någonsin.

Mannen som objekt och problem : Heikki Waris och betydelsen av kön i vetenskaplig socialpolitik, ca 1930-1970

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.

Matrix Mind : on managerial reframing in multidimensional problem solving

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.

Design and validation of stateful composite RESTful web services

A web service is a software system that provides a machine-processable interface to the other machines over the network using different Internet protocols. They are being increasingly used in the industry in order to automate different tasks and offer services to a wider audience. The REST architectural style aims at producing scalable and extensible web services using technologies that play well with the existing tools and infrastructure of the web. It provides a uniform set of operation that can be used to invoke a CRUD interface (create, retrieve, update and delete) of a web service. The stateless behavior of the service interface requires that every request to a resource is independent of the previous ones facilitating scalability. Automated systems, e.g., hotel reservation systems, provide advanced scenarios for stateful services that require a certain sequence of requests that must be followed in order to fulfill the service goals. Designing and developing such services for advanced scenarios with REST constraints require rigorous approaches that are capable of creating web services that can be trusted for their behavior. Systems that can be trusted for their behavior can be termed as dependable systems. This thesis presents an integrated design, analysis and validation approach that facilitates the service developer to create dependable and stateful REST web services. The main contribution of this thesis is that we provide a novel model-driven methodology to design behavioral REST web service interfaces and their compositions. The behavioral interfaces provide information on what methods can be invoked on a service and the pre- and post-conditions of these methods. The methodology uses Unified Modeling Language (UML), as the modeling language, which has a wide user base and has mature tools that are continuously evolving. We have used UML class diagram and UML state machine diagram with additional design constraints to provide resource and behavioral models, respectively, for designing REST web service interfaces. These service design models serve as a specification document and the information presented in them have manifold applications. The service design models also contain information about the time and domain requirements of the service that can help in requirement traceability which is an important part of our approach. Requirement traceability helps in capturing faults in the design models and other elements of software development environment by tracing back and forth the unfulfilled requirements of the service. The information about service actors is also included in the design models which is required for authenticating the service requests by authorized actors since not all types of users have access to all the resources. In addition, following our design approach, the service developer can ensure that the designed web service interfaces will be REST compliant. The second contribution of this thesis is consistency analysis of the behavioral REST interfaces. To overcome the inconsistency problem and design errors in our service models, we have used semantic technologies. The REST interfaces are represented in web ontology language, OWL2, that can be part of the semantic web. These interfaces are used with OWL 2 reasoners to check unsatisfiable concepts which result in implementations that fail. This work is fully automated thanks to the implemented translation tool and the existing OWL 2 reasoners. The third contribution of this thesis is the verification and validation of REST web services. We have used model checking techniques with UPPAAL model checker for this purpose. The timed automata of UML based service design models are generated with our transformation tool that are verified for their basic characteristics like deadlock freedom, liveness, reachability and safety. The implementation of a web service is tested using a black-box testing approach. Test cases are generated from the UPPAAL timed automata and using the online testing tool, UPPAAL TRON, the service implementation is validated at runtime against its specifications. Requirement traceability is also addressed in our validation approach with which we can see what service goals are met and trace back the unfulfilled service goals to detect the faults in the design models. A final contribution of the thesis is an implementation of behavioral REST interfaces and service monitors from the service design models. The partial code generation tool creates code skeletons of REST web services with method pre and post-conditions. The preconditions of methods constrain the user to invoke the stateful REST service under the right conditions and the post condition constraint the service developer to implement the right functionality. The details of the methods can be manually inserted by the developer as required. We do not target complete automation because we focus only on the interface aspects of the web service. The applicability of the approach is demonstrated with a pedagogical example of a hotel room booking service and a relatively complex worked example of holiday booking service taken from the industrial context. The former example presents a simple explanation of the approach and the later worked example shows how stateful and timed web services offering complex scenarios and involving other web services can be constructed using our approach.

Situationsfaktorer i sexuellt utnyttjande av barn inverkar på psykosexuella problem : en metaanalys

Pro graduavhanlingens svenska sammanfattning

The nature and role of trust in temporary virtual problem-solving teams

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.

Datenherrschaft – an Ethically Justified Solution to the Problem of Ownership of Patient Information

Patient information systems are crucial components for the modern healthcare and medicine. It is obvious that without them the healthcare cannot function properly – one can try to imagine how brain surgery could be done without using information systems to gather and show information needed for an operation. Thus, it can be stated that digital information is irremovable part of modern healthcare. However, the legal ownership of patient information lacks a coherent and justified basis. The whole issue itself is actually bypassed by controlling pa- tient information with different laws and regulations how patient information can be used and by whom. Nonetheless, the issue itself – who owns the patient in- formation – is commonly missed or bypassed. This dissertation show the problems if the legislation of patient information ownership is not clear. Without clear legislation, the outcome can be unexpected like it seems to be in Finland, Sweden and United Kingdom: the lack of clear regulation has come up with unwanted consequences because of problematic Eu- ropean Union database directive implementation in those countries. The legal ownership is actually granted to the creators of databases which contains the pa- tient information, and this is not a desirable situation. In healthcare and medicine, we are dealing with issues such as life, health and information which are very sensitive and in many cases very personal. Thus, this dissertation leans on four philosophical theories form Locke, Kant, Heidegger and Rawls to have an ethically justified basis for regulating the patient infor- mation in a proper way. Because of the problems of property and ownership in the context of information, a new concept is needed and presented to replace the concept of owning, that concept being Datenherrschaft (eng. mastery over in- formation). Datenherrschaft seems to be suitable for regulating patient infor- mation because its core is the protection of one’s right over information and this aligns with the work of the philosophers whose theories are used in the work. The philosophical argumentation of this study shows that Datenherrschaft granted to the patients is ethically acceptable. It supports the view that patient should be controlling the patient information about themselves unless there are such specific circumstance that justifies the authorities to use patient information to protect other people’s basic rights. Thus, if the patients would be legally grant- ed Datenherrschaft over patient information we would endorse patients as indi- viduals who have their own and personal experience of their own life and have a strong stance against any unjustified paternalism in healthcare. Keywords: patient information, ownership, Datenherrschaft, ethics, Locke, Kant, Heidegger, Rawls

Exploring knowledge worker motivation in autonomous and interdependent problem solving tasks on virtual platforms

The objective of this study is to understand why virtual knowledge workers conduct autonomous tasks and interdependent problem solving tasks on virtual platforms. The study is qualitative case study including three case organizations that tap the knowledge of expert networks, and utilize virtual platforms in the work processes. Research data includes 15 interviews, that is, five experts from each case company. According to the findings there are some specific characteristics in motivation to work on tasks on online platforms. Autonomy, self-improvement, meaningful tasks, knowledge sharing, time management, variety of contacts, and variety of tasks, and projects motivate virtual knowledge workers. Factors that may enhance individuals’ engagement to work on tasks are trust, security of continuous task flow and income, feedback, meaningful tasks and tasks that contribute to self-improvement, flexibility and effectiveness in time management, and virtual tools that support social interaction. The results also indicate that there are some differences in individuals’ motivation based on the tasks’ nature. That is, knowledge sharing and variety of contacts motivated experts who worked on interdependent problem solving tasks. Then again, autonomy and variety of tasks motivated experts who worked on autonomous tasks.