Carmen Große Siestrup: Unterrichtsstörungen aus der Sicht von Lehrenden und Lernenden: Ursachenzuschreibungen, emotionales Erleben und Konzepte zur Vermeidung. Frankfurt: Peter Lang 2010 [Rezension]

Rezension von: Carmen Große Siestrup: Unterrichtsstörungen aus der Sicht von Lehrenden und Lernenden: Ursachenzuschreibungen, emotionales Erleben und Konzepte zur Vermeidung, Frankfurt: Peter Lang 2010 (262 S.; ISBN 978-3631604021)

Scheduling Trains with Priorities : a no-wait blocking parallel-machine job-shop scheduling model

The paper investigates train scheduling problems when prioritised trains and non-prioritised trains are simultaneously traversed in a single-line rail network. In this case, no-wait conditions arise because the prioritised trains such as express passenger trains should traverse continuously without any interruption. In comparison, non-prioritised trains such as freight trains are allowed to enter the next section immediately if possible or to remain in a section until the next section on the routing becomes available, which is thought of as a relaxation of no-wait conditions. With thorough analysis of the structural properties of the No-Wait Blocking Parallel-Machine Job-Shop-Scheduling (NWBPMJSS) problem that is originated in this research, an innovative generic constructive algorithm (called NWBPMJSS_Liu-Kozan) is proposed to construct the feasible train timetable in terms of a given order of trains. In particular, the proposed NWBPMJSS_Liu-Kozan constructive algorithm comprises several recursively-used sub-algorithms (i.e. Best-Starting-Time-Determination Procedure, Blocking-Time-Determination Procedure, Conflict-Checking Procedure, Conflict-Eliminating Procedure, Tune-up Procedure and Fine-tune Procedure) to guarantee feasibility by satisfying the blocking, no-wait, deadlock-free and conflict-free constraints. A two-stage hybrid heuristic algorithm (NWBPMJSS_Liu-Kozan-BIH) is developed by combining the NWBPMJSS_Liu-Kozan constructive algorithm and the Best-Insertion-Heuristic (BIH) algorithm to find the preferable train schedule in an efficient and economical way. Extensive computational experiments show that the proposed methodology is promising because it can be applied as a standard and fundamental toolbox for identifying, analysing, modelling and solving real-world scheduling problems.

Performance-driven live migration of multiple virtual machines in datacenters

Live migration of multiple Virtual Machines (VMs) has become an indispensible management activity in datacenters for application performance, load balancing, server consolidation. While state-of-the-art live VM migration strategies focus on the improvement of the migration performance of a single VM, little attention has been given to the case of multiple VMs migration. Moreover, existing works on live VM migration ignore the inter-VM dependencies, and underlying network topology and its bandwidth. Different sequences of migration and different allocations of bandwidth result in different total migration times and total migration downtimes. This paper concentrates on developing a multiple VMs migration scheduling algorithm such that the performance of migration is maximized. We evaluate our proposed algorithm through simulation. The simulation results show that our proposed algorithm can migrate multiple VMs on any datacenter with minimum total migration time and total migration downtime.

Intellectual property, innovation, and the environment (2014) edited by Peter Menell and Sarah Tran: A review

Peter S. Menell and Sarah M. Tran (ed.), Intellectual Property, Innovation and the Environment, Cheltenham (UK) and Northampton (MA): Edward Elgar, 2014, 756 pp Hardback 978 1 78195 160 6, http://www.e-elgar.com/bookentry_main.lasso?id=15063 There has been a longstanding deadlock over intellectual property and clean technologies in international climate talks. The United States — and other developed countries such as Japan, Denmark Germany, the United Kingdom, Australia, and New Zealand — have pushed for stronger and longer protection of intellectual property rights related to clean technologies. BASIC countries — such as Brazil, South Africa, India, and China — have pushed for greater flexibilities in respect of intellectual property for the purpose of addressing climate change and global warming. Small island states, least developed countries, and nations vulnerable to climate change have called for climate-adaptation and climate-mitigation technologies to be available in the public domain. In the lead-up to the United Nations Climate Summit in New York on the 23rd September 2014, it is timely to consider the debate over intellectual property, innovation, the environment, and climate change.

Fictionalising Trauma : The Aesthetics of Marguerite Duras's India Cycle

Marguerite Duras (1914−1996) was one of the most original French writers and film directors, whose cycles are renowned for a transgeneric repetition variation of human suffering in the modern condition. Her fictionalisation of Asian colonialism, the India Cycle (1964−1976), consists of three novels, Le ravissement de Lol V. Stein (1964), Le Vice-consul (1966) and L'amour (1971), a theatre play, India Song (1973), and three films, La Femme du Gange (1973), India Song (1974) and Son nom de Venise dans Calcutta desért (1976). Duras’s cultural position as a colon in inter-war ‘Indochina’ was the backdrop for this “théâtre-text-film”, while its creation was provoked by the atrocities of World War II and post-war decolonisation. Fictionalising Trauma analyses the aesthetics of the India Cycle as Duras’s critical working-through of historical trauma. From an emotion-focused cognitive viewpoint, the study sheds light on trauma’s narrativisation using the renewed concept of traumatic memory developed by current social neuroscience. Duras is shown to integrate embodied memory and narrative memory into an emotionally progressing fiction. Thus the rhetoric of the India Cycle epitomises a creative symbolisation of the unsayable, which revises the concept of trauma from a semiotic failure into an imaginative metaphorical process. The India Cycle portrays the stagnated situation of a white society in Europe and British India during the thirties. The narratives of three European protagonists and one fictional Cambodian mendicant are organised as analogues mirroring the effects of rejection and loss on both sides of the colonial system. Using trauma as a conceptual prism, the study rearticulates this composition as three roles: those of witnessing writers, rejected survivors and colonial perpetrators. Three problems are analysed in turn by reading the non-verbal markers of the text: the white man as a witness, the subversive trope of the madwoman and the deadlock of the colonists’ destructive passion. The study reveals emotion and fantasy to be crucial elements in critical trauma fiction. Two devices intertwine throughout the cycle: affective images of trauma expressing the horror of life and death, and self-reflexive metafiction distancing the face-value of the melodramatic stories. This strategy dismantles racist and sexist discourses underpinning European life, thus demanding a renewal of cultural memory by an empathic listening to the ‘other’. And as solipsism and madness lead the lives of the white protagonists to tragic ends, the ‘real’ beggar in Calcutta lives in ecological harmony with Nature. This emphasises the failure of colonialism, as the Durasian phantasm ambiguously strives for a deconstruction of the exotic mythical fiction of French ‘Indochina’.

Towards formal specification of a distributed computing system

Onboard spacecraft computing system is a case of a functionally distributed system that requires continuous interaction among the nodes to control the operations at different nodes. A simple and reliable protocol is desired for such an application. This paper discusses a formal approach to specify the computing system with respect to some important issues encountered in the design and development of a protocol for the onboard distributed system. The issues considered in this paper are concurrency, exclusiveness and sequencing relationships among the various processes at different nodes. A 6-tuple model is developed for the precise specification of the system. The model also enables us to check the consistency of specification and deadlock caused due to improper specification. An example is given to illustrate the use of the proposed methodology for a typical spacecraft configuration. Although the theory is motivated by a specific application the same may be applied to other distributed computing system such as those encountered in process control industries, power plant control and other similar environments.

Weak consistency of read-only transactions: A tool to improve concurrency in heterogeneous locking protocols

Three different types of consistencies, viz., semiweak, weak, and strong, of a read-only transaction in a schedule s of a set T of transactions are defined and these are compared with the existing notions of consistencies of a read-only transaction in a schedule. We present a technique that enables a user to control the consistency of a read-only transaction in heterogeneous locking protocols. Since the weak consistency of a read-only transaction improves concurrency in heterogeneous locking protocols, the users can help to improve concurrency in heterogeneous locking protocols by supplying the consistency requirements of read-only transactions. A heterogeneous locking protocol P' derived from a locking protocol P that uses exclusive mode locks only and ensures serializability need not be deadlock-free. We present a sufficient condition that ensures the deadlock-freeness of Pprime, when P is deadlock-free and all the read-only transactions in Pprime are two phase.

Dependência de trajetória nos incentivos fiscais: fragmentação do empresariado na reforma tributária

Desde a promulgação da Constituição de 1988, todos os governos têm buscado realizar a reforma tributária. Há aparente consenso de que essa reforma precisa ser feita. No entanto, os insucessos nas propostas submetidas ao Congresso Nacional têm sido recorrentes. Essa dissertação busca explicar esse aparente insucesso a partir da análise evolutiva histórica de cinco tipos de incentivo fiscal: 1) regional (Sudam, Sudene e Zona Franca de Manaus); 2) guerra fiscal do ICMS; 3) exportação; 4) tributação simplificada (em especial o Simples); e 5) desenvolvimento econômico. O argumento central da pesquisa é o de que a política tributária desenvolvimentista e extrativa, adotada historicamente pelo Estado brasileiro e pautada pela concessão de incentivos fiscais, envolve interesses difíceis de serem revertidos - com características de dependência de trajetória -, que têm condicionado o comportamento do ator fundamental para o desenlace da reforma tributária - o empresariado -, o qual tem atuado de forma fragmentada e na busca por rendas, em vez de atuar de forma concertada buscando o objetivo coletivo pressuposto em uma reforma tributária. A pesquisa evidenciou ter havido uma dinâmica e relevante evolução do sistema tributário no período recente, vinculada em grande medida ao conjunto de incentivos fiscais que foram objeto de análise, o que afasta a hipótese de eventual paralisia decisória e relativizam as hipóteses de pontos de veto e de impasse entre interesses federativos como variáveis explicativas para o insucesso da reforma tributária.

Interações entre o Legislativo e o Executivo federal do Brasil na definição de políticas de interesse amplo: uma abordagem sistêmica, com aplicação na saúde

Aborda a relação entre o Legislativo e o Executivo na produção de políticas. Identifica os elementos do sistema de produção legislativa do Brasil (regras estruturantes, atores, recursos, instâncias de decisão e tipos de políticas produzidas) e propõe um modelo para o caso brasileiro de presidencialismo de coalizão, com base em estudos sobre a relação entre o presidente e o Congresso dos EUA e também na vasta produção existente sobre o contexto nacional. O sistema é estruturado pelo marco normativo de maior hierarquia, a Constituição, determinado historicamente, o qual privilegia a governabilidade com "accountability" e também orienta políticas segundo princípios de equidade, mas com responsabilidade orçamentária. O modelo considera que as agendas estratégicas dos atores são produto de variadas influências, incluindo o ¿status quo¿ (políticas existentes) e as demandas provenientes das conexões normativa e eleitoral. A partir desse modelo, o estudo analisa seus elementos e relações, aplicando-o a um conjunto abrangente de propostas legislativas (cerca de 21 mil proposições sobre todos os temas, apresentadas no Congresso entre 1999 e 2006, nas três vias).

Resetting asynchronous QDI systems

Quasi Delay-Insensitive (QDI) systems must be reset into a valid initial state before normal operation can start. Otherwise, deadlock may occur due to wrong handshake communication between processes. This thesis first reviews the traditional Global Reset Schemes (GRS). It then proposes a new Wave Reset Schemes (WRS). By utilizing the third possible value of QDI data codes - reset value, WRS propagates the data with reset value and triggers Local Reset (LR) sequentially. The global reset network for GRS can be removed and all reset signals are generated locally for each process. Circuits templates as well as some special blocks are modified to accommodate the reset value in WRS. An algorithm is proposed to choose the proper Local Reset Input (LRI) in order to shorten reset time. WRS is then applied to an iterative multiplier. The multiplier is proved working under different operating conditions.

Interações entre o Legislativo e o Executivo federal do Brasil na definição de políticas de interesse amplo : uma abordagem sistêmica, com aplicação na saúde

Esse estudo aborda a relação entre o Legislativo e o Executivo na produção de políticas. Identifica os elementos do sistema de produção legislativa do Brasil (regras estruturantes, atores, recursos, instâncias de decisão e tipos de políticas produzidas) e propõe um modelo para o caso brasileiro de presidencialismo de coalizão, com base em estudos sobre a relação entre o presidente e o Congresso dos EUA e também na vasta produção existente sobre o contexto nacional. O sistema é estruturado pelo marco normativo de maior hierarquia, a Constituição, determinado historicamente, o qual privilegia a governabilidade com accountability e também orienta políticas segundo princípios de equidade, mas com responsabilidade orçamentária. O modelo considera que as agendas estratégicas dos atores são produto de variadas influências, incluindo o status quo (políticas existentes) e as demandas provenientes das conexões normativa e eleitoral. A primeira cria path dependencies e limita opções de política, realçando questões de capacidade de governar. A segunda agrega preferências em torno do pertencimento à coalizão de governo ou à oposição. As proposições legislativas decorrentes das agendas dos atores são processadas em instâncias de decisão pré-determinadas do Congresso Nacional, segundo conteúdo e relevância das matérias, onde os atores interagem por meio da seleção de vias legislativas e de outros recursos estratégicos. O arcabouço sistêmico é integrado às interações estratégicas que ocorrem nas fases de iniciação, apreciação e conclusão da tramitação de proposições legislativas (em três vias distintas: a constitucional, a complementar e a ordinária). Essa estrutura é reforçada por regras que centralizam o processo decisório durante a tramitação no Congresso. Os produtos do sistema são as leis com impacto em políticas públicas. A partir desse modelo, o estudo analisa seus elementos e relações, aplicando-o a um conjunto abrangente de propostas egislativas (cerca de 21 mil proposições sobre todos os temas, apresentadas no Congresso entre 1999 e 2006, nas três vias). São observados indícios de quatro tipos de interação, segundo padrões de conflito e liderança dos atores: liderança da coalizão, liderança do Legislativo, cooperação e impasse. Os dados opõem-se à demarcação da agenda entre os Poderes e indicam que o êxito do Executivo variou inversamente com a hierarquia da via e que o desempenho do Legislativo superou o do Executivo na via constitucional, com destaque para a atividade do Senado, e na via ordinária (apenas no caso dos projetos de lei ordinária, pois os privilégios de iniciativa exclusiva do Executivo para leis orçamentárias e de edição de medidas provisórias, com força imediata de lei, garantem maior desempenho quantitativo a esse Poder nessa via). Contudo, a coalizão predominou amplamente em todas as vias. Análises qualitativas com foco na política de saúde e seu financiamento reforçam esses achados e sugerem que, apesar das muitas regularidades identificadas no sistema (rejeitando teses como a paralisia decisória ou a completa predominância do Executivo), fragmentações na sociedade e no Estado, persistem como fatores que limitam a produção de políticas mais equitativas

How to avoid the problems of target-setting

Purpose: Advocates and critics of target-setting in the workplace seem unable to reach beyond their own well-entrenched battle lines. While the advocates of goal-directed behaviour point to what they see as demonstrable advantages, the critics of target-setting highlight equally demonstrable disadvantages. Indeed, the academic literature on this topic is currently mired in controversy, with neither side seemingly capable of envisaging a better way forward. This paper seeks to break the current deadlock and move thinking forward in this important aspect of performance measurement and management by outlining a new, more fruitful approach, based on both theory and practical experience. Design/methodology/approach: The topic was approached in three phases: assembling and reading key academic and other literature on the subject of target-setting and goal-directed behaviour, with a view to understanding, in depth, the arguments advanced by the advocates and critics of target-setting; comparing these published arguments with one's own experiential findings, in order to bring the essence of disagreement into much sharper focus; and then bringing to bear the academic and practical experience to identify the essential elements of a new, more fruitful approach offering all the benefits of goal-directed behaviour with none of the typical disadvantages of target-setting. Findings: The research led to three key findings: the advocates of goal-directed behaviour and critics of target-setting each make valid points, as seen from their own current perspectives; the likelihood of these two communities, left to themselves, ever reaching a new synthesis, seems vanishingly small (with leading thinkers in the goal-directed behaviour community already acknowledging this); and, between the three authors, it was discovered that their unusual combination of academic study and practical experience enabled them to see things differently. Hence, they would like to share their new thinking more widely. Research limitations/implications: The authors fully accept that their paper is informed by extensive practical experience and, as yet, there have been no opportunities to test their findings, conclusions and recommendations through rigorous academic research. However, they hope that the paper will move thinking forward in this arena, thereby informing future academic research. Practical implications: The authors hope that the practical implications of the paper will be significant, as it outlines a novel way for organisations to capture the benefits of goal-directed behaviour with none of the disadvantages typically associated with target-setting. Social implications: Given that increased efficiency and effectiveness in the management of organisations would be good for society, the authors think the paper has interesting social implications. Originality/value: Leading thinkers in the field of goal-directed behaviour, such as Locke and Latham, and leading critics of target-setting, such as Ordóñez et al. continue to argue with one another - much like, at the turn of the nineteenth century, proponents of the "wave theory of light" and proponents of the "particle theory of light" were similarly at loggerheads. Just as this furious scientific debate was ultimately resolved by Taylor's experiment, showing that light could behave both as a particle and wave at the same time, the authors believe that the paper demonstrates that goal-directed behaviour and target-setting can successfully co-exist. © Emerald Group Publishing Limited.

MPI程序同步通信基本模型死锁检测

本文提出了MPI程序的同步通信模型及三个基本简化模型,给出了判定这些基本模型是否死锁的方法和定理并予以了严格证明.简化模型的死锁检测理论和方法是真实MPI程序死锁检测的必要基础.这些方法基于程序静态分析,必要时进行运行时检测,它们对两种简化模型可以在程序编译前确定是否死锁,对另外一种模型,在编译前可静态确定部分死锁,运行中可确定其他死锁.我们的理论可以证明MPI程序死锁检测主流算法的正确性,其方法可以减少它们对客户源代码或MPI profiling接口的修改量,从而大大降低死锁检测开销,并可在运行前判定死锁.

MPI同步通信顺序模型死锁静态检测算法

静态检测MPI程序同步通信死锁比较困难,通常需要建立程序模型.顺序模型是其他所有复杂模型的基础.通过一种映射方法将顺序模型转化为字符串集合,将死锁检测问题转化为等价的多队列字符申匹配问题,从而设计并实现了一种MPI同步通信顺序模型的静态死锁检测算法.该算法的性能优于通常的环检测方法,并能适应动态消息流.

MPICH同步通信程序死锁检测研究

MPI是分布式内存并行处理计算机上开发基于消息传递应用系统的事实标准，主要用于并行计算机和集群的高性能运算，MPICH是其重要实现。MPI程序可能发生死锁，而且调试困难，国际上主要采用运行时动态调试方法。但是，这些方法的致命缺陷是发现死锁后，死锁造成的损失已无可挽回；况且，它们无法用于全节点空间上。为解决这些问题，针对MPICH点对点同步通信程序，本文提出了一种静态方法。 根据静态方法程序建模的需要，开发了一种基于JavaCC技术的编译器前端工具，该工具对MPICH程序进行编译产生程序语法树。 提出一种MPICH同步通信程序的建模方法，并设计出一种模型构造器遍历语法树来构造模型。根据程序性质，模型构造器可构造出三种模型：无参数模型，一次参数化模型和二次参数化模型。无参数模型不含任何参数；一次参数化模型含有一个并行节点ID的参数；二次参数化模型含有并行节点ID以及并行节点数量两个参数。构造出一种优化算法将全节点空间上的一次参数化模型转化为无参数模型之后进行死锁判定；对二次参数化模型，采用穷举方法转化为无参数模型后进行死锁判定。 针对非对称条件程序死锁性质的不确定性，提出对称条件假设。根据该假设，无参数模型被转化为循环嵌套模型之后再进行死锁判定。 为提高循环嵌套模型死锁判定效率，提出比例方程组概念。设计出建立并求解比例方程组的线性时空复杂度算法。比例方程组无解有两种情况：比例方程组包含第一类或者第二类比例冲突。提出比例冲突相关的方法，在常数时间内通过分析循环模型中产生冲突的几个循环的循环次数是否满足死锁条件来判断死锁。在比例方程组有解的情况下，给出了一种算法截取该模型的常数个循环片断进行死锁判定。为对循环片断进行死锁判定，开发了一种线性时空复杂度算法将片断顺序化后进行死锁判定。 为进一步提高算法效率，对Java哈希表类库进行了优化，使该库能够完全避免由于存取比例数据而产生的哈希碰撞。 理论证明，实验表明，该方法能够在运行前，最坏情况下以线性时空复杂度，判定点对点MPICH同步通信程序在全节点空间的死锁性质。