Consistency and change in Finnish broadcasting policy : the implementation of digital television and lessons from the Canadian experience

Konsistens och förändring i finländsk etermediapolitik. Implementering av digital television och en jämförelse med Kanada Avhandlingen handlar om hur det finländska televisionssystemet förändrades i slutet av 1990-talet från en nationell institution till ett dualistiskt system som präglas av stark marknadsorientering. Syftet med avhandlingen är att förstå på vilket sätt en så snabb förändring kunde ske och analysera de institutionella faktorerna bakom utvecklingen. På teoretisk nivå diskuteras tesen om det nära sambandet mellan statliga politiska institutioner och rundradioverksamhetens institutioner. Avhandlingen består av två fallstudier. Den första sätter fokus på de första åren av den finländska televisionens digitaliseringsprocess som startade med starka industriell-nationalistiska motiveringar. Analysen, som baserar på offentliga dokument, sträcker sig framtill hösten 2001 då de digitala televisionssändningarna startade och regeringspropositionen om den nya kommunikationsmarknadslagen lämnades till riksdagen. Dessa policy-processer analyseras som en ”marknadisering” av de traditionella styrningsprinciper och idéer gällande finländsk rundradioverksamheten. En jämförelse mellan Finlands och Kanadas nationella rundradiopolitik gör att man kan koppla slutsatserna till den internationella utvecklingen. Jämförelsen visar hur kommunikationspolitiska linjen i de två länderna har kommit att likna varandra trots att ländernas tv-system och deras styrordningar är mycket olika. Exemplet med Kanada visar att den särskilda teknologin inte är viktig utan snarare de kommersiella intressen som står bakom och som beslutsfattare gärna döljer i en nationalistisk retorik. Studien visar att det är viktigt att beakta vilken tyngd man i politiken ger de två sidor som rundradioverksamheten består av: sändningsteknologin och verksamheten som en speciell kulturform. Nationalstatens handlingsutrymme minskar inom fältet om målet är att vara framgångsrik i konkurrensen i den nya internationella ekonomin. Enligt de nyliberalistiska principer som det politiska systemet överlag har tillägnat sig det är önskvärd men också helt inhemska institutionella traditioner och praxis som följdes i den finländska digitaliseringsprocessen främjade utvecklingen som ledde till att nästan alla ursprungliga nationella syften föll sönder.

The role of consistency in empirical science

Any inconsistent theory whose underlying logic is classical encompasses all the sentences of its own language. As it denies everything it asserts, it is useless for explaining or predicting anything. Nevertheless, paraconsistent logic has shown that it is possible to live with contradictions and still avoid the collapse of the theory. The main point of this paper is to show that even if it is formally possible to isolate the contradictions and to live with them, this cohabitation is neither desired by working scientists not desirable for the progress of science. Several cases from the recent history of physics and cosmology are analyzed.

Consistency from the perspective of an experimental systems approach to the sciences and their epistemic objects

It is generally accepted that the development of the modern sciences is rooted in experiment. Yet for a long time, experimentation did not occupy a prominent role, neither in philosophy nor in history of science. With the 'practical turn' in studying the sciences and their history, this has begun to change. This paper is concerned with systems and cultures of experimentation and the consistencies that are generated within such systems and cultures. The first part of the paper exposes the forms of historical and structural coherence that characterize the experimental exploration of epistemic objects. In the second part, a particular experimental culture in the life sciences is briefly described as an example. A survey will be given of what it means and what it takes to analyze biological functions in the test tube.

Energy Efficiency of Pumping Medium Consistency Pulp with Centrifugal Pump

Approximately a quarter of electrical power consumption in pulp and paper industry is used in different pumping systems. Therefore, improving pumping system efficiency is a considerable way to reduce energy consumption in different processes. Pumping of wood pulp in different consistencies is common in pulp and paper industry. Earlier, centrifugal pumps were used to pump pulp only at low consistencies, but development of MC technology has made it possible to pump medium consistency pulp. Pulp is a non-Newtonian fluid, which flow characteristics are significantly different than what of water. In this thesis is examined the energy efficiency of pumping medium consistency pulp with centrifugal pump. The factors effecting the pumping of MC pulp are presented and through case study is examined the energy efficiency of pumping in practice. With data obtained from the case study are evaluated the effects of pump rotational speed and pulp consistency on energy efficiency. Additionally, losses caused by control valve and validity of affinity laws in pulp pumping are evaluated. The results of this study can be used for demonstrating the energy consumption of MC pumping processes and finding ways to improve energy efficiency in these processes.

Consistency of UML based designs using ontology reasoners

Software plays an important role in our society and economy. Software development is an intricate process, and it comprises many different tasks: gathering requirements, designing new solutions that fulfill these requirements, as well as implementing these designs using a programming language into a working system. As a consequence, the development of high quality software is a core problem in software engineering. This thesis focuses on the validation of software designs. The issue of the analysis of designs is of great importance, since errors originating from designs may appear in the final system. It is considered economical to rectify the problems as early in the software development process as possible. Practitioners often create and visualize designs using modeling languages, one of the more popular being the Uni ed Modeling Language (UML). The analysis of the designs can be done manually, but in case of large systems, the need of mechanisms that automatically analyze these designs arises. In this thesis, we propose an automatic approach to analyze UML based designs using logic reasoners. This approach firstly proposes the translations of the UML based designs into a language understandable by reasoners in the form of logic facts, and secondly shows how to use the logic reasoners to infer the logical consequences of these logic facts. We have implemented the proposed translations in the form of a tool that can be used with any standard compliant UML modeling tool. Moreover, we authenticate the proposed approach by automatically validating hundreds of UML based designs that consist of thousands of model elements available in an online model repository. The proposed approach is limited in scope, but is fully automatic and does not require any expertise of logic languages from the user. We exemplify the proposed approach with two applications, which include the validation of domain specific languages and the validation of web service interfaces.

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.

Scheduling dynamic dataflow graphs with model checking

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.

Checking the Boat

Before a race the crew and the coach must check the boat to make sure all the nuts are fastened and all the seats and foots stops are in the right place. Here is Tony Biernacki watching over as Brock's first female crew doing just that in 1967.

"I like my beer cold, my TV loud, and my homosexuals flaming!" : preference for stereotype consistency as a function of a person x situation interaction /

The study centers on the power of Right-Wing Authoritarianism (RWA) and Social Dominance Orientation (SDO) as predictors of prejudice against stereotypical and nonstereotypical homosexuals under the threat of death and the threat of uncertainty. Right-wing authoritarianism (RWA) is an individual difference variable that measures the tendency for individuals to unquestionably follow those perceived to be authorities. Social Dominance Orientation (SDO) is an individual difference variable that measures the degree to which an individual prefers inequality among social groups. The RWA and SDO Scales are considered to be two of the strongest predictors of prejudice, such as prejudice against homosexuals. The study focuses on the unique predictive power of these two variables in predicting prejudice against homosexuals. The study also examines the role of situational threat in prejudice, specifically the threat of death (mortality salience) and the threat of uncertainty (uncertainty salience). Competing predictions from theories involving the threat of death (Terror Management Theory) and the threat of uncertainty (Uncertainty Management Theory) are also tested. The preference for expected information in the form of stereotypes concerning male homosexuals (that is, a stereotypical or non-stereotypical homosexual) were tested. The difference between the predictive power ofRWA and SDO was examined by measuring how these variables predict liking of a stereotypical or non-stereotypical homosexual under the threat of death, the threat of uncertainty, or a control condition. Along with completing a measure for RWA and a measure for SDO, participants were asked to think of their own death, of their being uncertain or about watching television then were asked to read about a week in the life of either a stereotypical or non-stereotypical male homosexual. Participants were then asked to evaluate the individual and his essay. Based on the participants' evaluations, results from 180 heterosexual university students show that RWA and SDO are strong predictors for disliking of a stereotypical homosexual under the threat of uncertainty and disliking of a non-stereotypical homosexual under the threat of death. Furthermore, however, results show that RWA is a particularly strong predictor of disliking of a stereotypical homosexual under the threat of uncertainty, whereas SDO is an exceptionally strong predictor of disliking of the non-stereotypical homosexual under the threat of death. This further adds to the notion that RWA and SDO are indeed unique predictors of prejudice. Implications are also explored, including the fact that the study simuhaneously examined the role of individual difference variables and situational threat variables, as well as exploratory analysis on Dominating Authoritarians.

The effects of consistency and inconsistency between attentional focus and task objective in learning a golf putting task

Converging evidence has demonstrated learning advantages when an individual is instructed to focus their attention externally. However, many of the motor tasks utilized in past research had clear external objectives (i.e., putting accuracy), creating a compatible relationship between an external focus of attention (i.e., outcome) and an external task objective (i.e., putting accuracy). The present study examined whether or not the consistency of instructions and task objective would differentially impact the acquisition of a golf putting task. Participants performed a putting task in a control condition or in one of four experimental conditions resulting from the factorial interaction of task instructions (internal or external) and task objective (internal or external). The retention and transfer data revealed that participants who received an external task objective demonstrated superior outcome scores. Participants who received technique information paired with outcome information demonstrated superior technique scores.

Externalities, Potential, Value and Consistency

We provide new characterization results for the value of games in partition function form. In particular, we use the potential of a game to define the value. We also provide a characterization of the class of values which satisfies one form of reduced game consistency.

Promoting while checking self-interest : a conflict-based governance approach to rebalance corporate power disequilibria in Canada and the United States

La délégation du pouvoir de gestion aux administrateurs et aux gestionnaires, une caractéristique intrinsèque à la gestion efficace de grandes entreprises dans un contexte de capitalisme, confère une grande discrétion à l’équipe de direction. Cette discrétion, si elle n’est pas surveillée, peut mener à des comportements opportunistes envers la corporation, les actionnaires et les autres fournisseurs de capital qui n’ont pas de pouvoir de gestion. Les conflits entre ces deux classes d’agents peuvent émerger à la fois de décisions de gouvernance générale ou de transactions particulières (ie. offre publique d’achat). Dans les cas extrêmes, ces conflits peuvent mener à la faillite de la firme. Dans les cas plus typiques, ils mènent l’extraction de bénéfices privés pour les administrateurs et gestionnaires, l’expropriation des actionnaires, et des réductions de valeur pour la firme. Nous prenons le point de vue d’un petit actionnaire minoritaire pour explorer les méchanismes de gouvernance disponibles au Canada et aux États‐Unis. Après une synthèse dans la Partie 1 des théories sous‐jacentes à l’étude du pouvoir dans la corporation (séparation de la propriété et du contrôle et les conflits d’agence), nous concentrons notre analyse dans la Partie 2 sur les différents types de méchanismes (1) de gouvernance interne, (2) juridiques et (3) marchands, qui confèrent du pouvoir aux deux classes d’agents. Nous examinons comment les intérêts de ces deux classes peuvent être réalignés afin de prévenir et résoudre les conflits au sein de la firme. La Partie 3 explore un équilibre dynamique de pouvoir corporatif qui cherche à minimiser le potentiel d’opportunisme toute en préservant une quantité de discrétion suffisante pour la gestion efficace de la firme. Nous analysons des moyens pour renforcer les protections des actionnaires minoritaires et proposons un survol des pistes de réforme possibles.

Mealtime experiences of hospitalized older patients requiring a puree consistency diet

Le concept d’Hôpital Promoteur de Santé (HPS) a pris beaucoup d’importance depuis son élaboration vers la fin des années quatre-vingt. Dans le contexte de la dernière réforme, le réseau montréalais des HPS et CSSS a été créé. Le Centre Universitaire de Santé McGill (CUSM) fait partie de ce réseau depuis 2007. Cette étude vise la création d’un milieu hospitalier promoteur de la santé pour les patients et s’adresse à l’expérience d’un repas pour les personnes âgées nécessitant une diète purée. Une étude de cas qualitative a été utilisée pour explorer la perception de patients vis-à-vis les aspects relatifs à leur cabaret, l’assistance qu’ils recevaient et le contexte social de leur repas. Les impressions des professionnels de la santé quant à l’expérience des patients ont aussi été obtenues. Les résultats indiquent que l’identification difficile des aliments en purée, la saveur, l’apparence et la variété sont tous des éléments qui affectent négativement leur expérience repas. Des sentiments d’impuissance ont aussi été rapportés par les patients et les professionnels de la santé. Le contexte social du repas a été souligné comme étant un aspect à cibler pour améliorer l’expérience des patients. Un programme utilisant des purées formées pourrait contrecarrer les effets négatifs de la prescription d’une diète purée. Des changements dans les pratiques infirmières, à savoir la création d’une ambiance sociale agréable au moment des repas, semble être une option peu couteuse qui pourrait améliorer l’expérience repas des patients et diminuer les sentiments d’impuissance relevés par les professionnels de la santé à l’égard de cet aspect de soin.

Product Filters, Acyclicity and Suzumura Consistency

In a seminal contribution, Hansson (1976) demonstrates that the collection of decisive coalitions associated with an Arrovian social welfare function forms an ultrafilter. He goes on to show that if transitivity is weakened to quasi-transitivity as the coherence property imposed on a social relation, the set of decisive coalitions is a filter. We examine the notion of decisiveness with acyclical or Suzumura consistent social preferences and without assuming that the social relation is complete. This leads to a new set-theoretic concept applied to product spaces.