925 resultados para Logic of proofs
Resumo:
In the last decades, the increasing significance of “projectivization” (Lundin & Steinthórsson, 2003) has stimulated considerable interest in project-based organizations as new economic actors able to introduce a new logic of organizing work and weakening boundaries in favour of networks of collaborations. In these contexts, work is often delegated to project teams. Deciding whom to put on a project team is one of the biggest challenges faced by a project manager; in particular which characteristics rely on to compose and match effective teams. We address this issue, focusing on the individual flexibility (Raudsepp, 1990), as team composition variable that affects project team performance. Thus, the research question investigated is: Is it better to compose project teams with flexible team members or not flexible project team members to achieve higher levels of project performance? The temporary nature of PBOs involves that after achieving the purpose for which team members are enrolled, they are disbanded but their relationships remain, allowing them to be involved in future projects (Starkey, Barnatt & Tempest, 2000). Pre-existing relationships together with the current relationships create a network of relationships that yields some implications for project teams as well as for team members. We address this issue, exploring the following research question: To what extent is the individual flexibility influenced by the network structure? The conceptual framework is used to articulate the research questions investigated with respect to the Television drama serials production. Their project-team organizing combined with their capacity to dissolve and recreate over time make it an interesting field to develop. We contribute to the organizational literature, providing a clear operationalization of individual flexibility construct and its role on affecting project performance. Second, we contribute to the organizational network literature addressing the effects yielded by the network structure-structural holes and network closure- on the individual flexibility.
Resumo:
The need to effectively manage the documentation covering the entire production process, from the concept phase right through to market realise, constitutes a key issue in the creation of a successful and highly competitive product. For almost forty years the most commonly used strategies to achieve this have followed Product Lifecycle Management (PLM) guidelines. Translated into information management systems at the end of the '90s, this methodology is now widely used by companies operating all over the world in many different sectors. PLM systems and editor programs are the two principal types of software applications used by companies for their process aotomation. Editor programs allow to store in documents the information related to the production chain, while the PLM system stores and shares this information so that it can be used within the company and made it available to partners. Different software tools, which capture and store documents and information automatically in the PLM system, have been developed in recent years. One of them is the ''DirectPLM'' application, which has been developed by the Italian company ''Focus PLM''. It is designed to ensure interoperability between many editors and the Aras Innovator PLM system. In this dissertation we present ''DirectPLM2'', a new version of the previous software application DirectPLM. It has been designed and developed as prototype during the internship by Focus PLM. Its new implementation separates the abstract logic of business from the real commands implementation, previously strongly dependent on Aras Innovator. Thanks to its new design, Focus PLM can easily develop different versions of DirectPLM2, each one devised for a specific PLM system. In fact, the company can focus the development effort only on a specific set of software components which provides specialized functions interacting with that particular PLM system. This allows shorter Time-To-Market and gives the company a significant competitive advantage.
Resumo:
A semantic approach towards political conflict first emerged in the 1930s and provides the methodological foundations for the description of political conflicts, in particular as the correlation between the language of description and reality. Any military or political confrontation presupposes axiological, conceptual and ideological confrontation. The form of adequate description can only be comprehended if the characteristic features of its language (structure) and thesaurus are revealed. Admitting the possibility of different descriptions implies the necessity of analysing this possible ambiguity, i.e. the characteristic features of the language which enable us to form various statements, including mutually exclusive ones. The insoluble task of finding a middle ground between the viewpoints of the conflicting parties should be replaced by soluble procedures of explaining and assessing the conflicting axiologies. For the description of conflict situations, when it is essential to represent various positions within a uniform system, an apparatus of model semantics seems to be the most appropriate one both for generating alternatives and for bringing them together in a modal system of a world in which procedures of transition from one world to another (i.e. the transworld compatibility between them) are also reflected. Reality is reconstructed not as a sort of middle ground between the mutually exclusive approaches nor as their sum, but as a result of the overlapping of various worlds and the procedures of transition from one state of affairs to another. The description of a conflict is therefore seen as a system of worlds connected by modal relations, with a system of worlds emerging as a reality to be described. This approach makes it possible to describe the processes from the points of view of the participating parties and, at the same time, to reveal their basic attitudes. The main idea of this research is shown by the problems analysed: the description of conflict as methodology; language and behaviour (general problems of semiotic description), the logico-semantic analysis of the notions of "problem and conflict", "Genesis and Chronology", "the recurrent model of the (historical) explanation and interpretation of the conflict". Zolyan used data on the Karabagh conflict to demonstrate the dependence of the structure of semio-cultural codes on current political development and considered post-soviet history as a semio-cultural problem. He sought to consider and reveal the logic of manipulations with history, and proposed the logic of preferences as a possible instrument for achieving compromise.
Resumo:
Transformer protection is one of the most challenging applications within the power system protective relay field. Transformers with a capacity rating exceeding 10 MVA are usually protected using differential current relays. Transformers are an aging and vulnerable bottleneck in the present power grid; therefore, quick fault detection and corresponding transformer de-energization is the key element in minimizing transformer damage. Present differential current relays are based on digital signal processing (DSP). They combine DSP phasor estimation and protective-logic-based decision making. The limitations of existing DSP-based differential current relays must be identified to determine the best protection options for sensitive and quick fault detection. The development, implementation, and evaluation of a DSP differential current relay is detailed. The overall goal is to make fault detection faster without compromising secure and safe transformer operation. A detailed background on the DSP differential current relay is provided. Then different DSP phasor estimation filters are implemented and evaluated based on their ability to extract desired frequency components from the measured current signal quickly and accurately. The main focus of the phasor estimation evaluation is to identify the difference between using non-recursive and recursive filtering methods. Then the protective logic of the DSP differential current relay is implemented and required settings made in accordance with transformer application. Finally, the DSP differential current relay will be evaluated using available transformer models within the ATP simulation environment. Recursive filtering methods were found to have significant advantage over non-recursive filtering methods when evaluated individually and when applied in the DSP differential relay. Recursive filtering methods can be up to 50% faster than non-recursive methods, but can cause false trip due to overshoot if the only objective is speed. The relay sensitivity is however independent of filtering method and depends on the settings of the relay’s differential characteristics (pickup threshold and percent slope).
Resumo:
Open collaborative projects are moving to the foreground of knowledge production. Some online user communities develop into longterm projects that generate a highly valuable and at the same time freely accessible output. Traditional copyright law that is organized around the idea of a single creative entity is not well equipped to accommodate the needs of these forms of collaboration. In order to enable a peculiar network-type of interaction participants instead draw on public licensing models that determine the freedoms to use individual contributions. With the help of these access rules the operational logic of the project can be implemented successfully. However, as the case of the Wikipedia GFDL-CC license transition demonstrates, the adaptation of access rules in networks to new circumstances raises collective action problems and suffers from pitfalls caused by the fact that public licensing is grounded in individual copyright. Legal governance of open collaboration projects is a largely unexplored field. The article argues that the license steward of a public license assumes the position of a fiduciary of the knowledge commons generated under the license regime. Ultimately, the governance of decentralized networks translates into a composite of organizational and contractual elements. It is concluded that the production of global knowledge commons relies on rules of transnational private law.
Resumo:
Lipsky’s seminal concept of street-level bureaucrats (SLBs) focuses on their role as public servants. However, in the course of new modes of governance, private actors have gained an additional role as implementation agents. We explore the logic of private SLBs during the implementation of the Swiss Ordinance on Veterinary Medicinal Products (OVMP) where veterinarians are simultaneously implementing agents, policy addressees, and professionals with economic interests. We argue that, because of contradictory reference systems, it is problematic for the output performance if an actor is simultaneously the target group of a policy and its implementing agent.
Resumo:
The liberalization process of the Swiss telecommunications sector follows a logic of ‘autonomous adaptation’ to the regulations of the European Union (EU). Switzerland, which is not a Member State of the EU, voluntarily adapts to the European policy without being for- mally required to do so (Sciarini et al., 2004). This process went hand in hand with the partial privatization of the legal statute and assets of the former monopolist and with the re-regulation of the liberalized telecommunications sector.
Resumo:
In this article, we introduce the probabilistic justification logic PJ, a logic in which we can reason about the probability of justification statements. We present its syntax and semantics, and establish a strong completeness theorem. Moreover, we investigate the relationship between PJ and the logic of uncertain justifications.
Resumo:
Clinicians believe that psychosocial factors play a causal role in the etiology of many forms of functional dysphonia (FD). But for decades, all attempts to confirm such causation have failed. This paper aims to show the logic of this failure, to discuss the possibilities of employing psychology in therapy nonetheless, and to encourage clinicians to use their psychosocial knowledge and skills. The failure to confirm psychic and social factors as causal in the etiology of FD is basically a consequence of a principal shortcoming of evidence-based medicine (EBM). As the gold standard for validity, reliability, and objectivity in medical research, EBM is based on calculability and hence the processing of quantitative data. But life paths and life situations are best or sometimes only expressible in qualitative, experiential, and idiographic terms. Thus EBM-guided evaluation undervalues most psychosocial studies. This report of an experienced multidisciplinary voice team proposes alternative pathways for integrating psychosocial knowledge into the diagnosis and the treatment of FD. The difference between the fields of activity of psychotherapists and speech-language pathologists is discussed, and the latter group is shown the potential benefits of using more of their psychosocial knowledge and skills.
Resumo:
Injury is an inevitable part of life, making wound healing essential for survival. In postembryonic skin, wound closure requires that epidermal cells recognize the presence of a gap and change their behavior to migrate across it. In Drosophila larvae, wound closure requires two signaling pathways (the Jun N-terminal kinase (JNK) pathway and the Pvr receptor tyrosine kinase signaling pathway) and regulation of the actin cytoskeleton. In this and other systems, it remains unclear how the signaling pathways that initiate wound closure connect to the actin regulators that help execute wound- induced cell migrations. Here we show that chickadee, which encodes the Drosophila Profilin, a protein important for actin filament recycling and cell migration during development, is required for the physiological process of larval epidermal wound closure. After injury, chickadee is transcriptionally upregulated in cells proximal to the wound. We found that JNK, but not Pvr, mediates the increase in chic transcription through the Jun and Fos transcription factors. Finally, we show that chic deficient larvae fail to form a robust actin cable along the wound edge and also fail to form normal filopodial and lamellipodial extensions into the wound gap. Our results thus connect a factor that regulates actin monomer recycling to the JNK signaling pathway during wound closure. They also reveal a physiological function for an important developmental regulator of actin and begin to tease out the logic of how the wound repair response is organized.
Resumo:
El aumento en la cantidad de estudios de posgrado y de sus cursantes derivados de la demanda por mayores credenciales académicas en lo laboral y por la búsqueda personal para especializarse profesionalmente, es un fenómeno observado en Argentina desde mediados de los años 90. Obtener el título final de estos estudios resulta un porcentaje muy inferior en relación al número de sus inscriptos. Tales motivos focalizaron nuestra atención para analizar tanto los criterios de elección del posgrado como las condiciones contextuales y subjetivas para alcanzar la titulación. Este estudio, de tipo cualitativo, investiga en tres carreras de Especialización que se cursan en diferentes Universidades nacionales , los aspectos de su organización y estilo propuesto para cursar y lograr la finalización de los estudios, así como las motivaciones de la elección de cursantes y egresados en tres ramas diferentes: artística, humanística y tecnológica. El conocimiento sobre la lógica de la organización y la particularidad del objeto de estudio de cada carrera permite analizar diferencias y semejanzas entre ellas aportando algunas propuestas para considerar en programas de formación; mientras que los trayectos de cursantes y egresados explican aspectos subjetivos que intervienen en la finalización o no del posgrado.
Resumo:
El aumento en la cantidad de estudios de posgrado y de sus cursantes derivados de la demanda por mayores credenciales académicas en lo laboral y por la búsqueda personal para especializarse profesionalmente, es un fenómeno observado en Argentina desde mediados de los años 90. Obtener el título final de estos estudios resulta un porcentaje muy inferior en relación al número de sus inscriptos. Tales motivos focalizaron nuestra atención para analizar tanto los criterios de elección del posgrado como las condiciones contextuales y subjetivas para alcanzar la titulación. Este estudio, de tipo cualitativo, investiga en tres carreras de Especialización que se cursan en diferentes Universidades nacionales , los aspectos de su organización y estilo propuesto para cursar y lograr la finalización de los estudios, así como las motivaciones de la elección de cursantes y egresados en tres ramas diferentes: artística, humanística y tecnológica. El conocimiento sobre la lógica de la organización y la particularidad del objeto de estudio de cada carrera permite analizar diferencias y semejanzas entre ellas aportando algunas propuestas para considerar en programas de formación; mientras que los trayectos de cursantes y egresados explican aspectos subjetivos que intervienen en la finalización o no del posgrado.
Resumo:
El aumento en la cantidad de estudios de posgrado y de sus cursantes derivados de la demanda por mayores credenciales académicas en lo laboral y por la búsqueda personal para especializarse profesionalmente, es un fenómeno observado en Argentina desde mediados de los años 90. Obtener el título final de estos estudios resulta un porcentaje muy inferior en relación al número de sus inscriptos. Tales motivos focalizaron nuestra atención para analizar tanto los criterios de elección del posgrado como las condiciones contextuales y subjetivas para alcanzar la titulación. Este estudio, de tipo cualitativo, investiga en tres carreras de Especialización que se cursan en diferentes Universidades nacionales , los aspectos de su organización y estilo propuesto para cursar y lograr la finalización de los estudios, así como las motivaciones de la elección de cursantes y egresados en tres ramas diferentes: artística, humanística y tecnológica. El conocimiento sobre la lógica de la organización y la particularidad del objeto de estudio de cada carrera permite analizar diferencias y semejanzas entre ellas aportando algunas propuestas para considerar en programas de formación; mientras que los trayectos de cursantes y egresados explican aspectos subjetivos que intervienen en la finalización o no del posgrado.
Resumo:
The vault of the sacristy of the Cathedral of Saint-Jean Baptiste in Perpignan (France), constructed by the Majorcan architect Guillem Sagrera between 1433 and 1447, is an outstanding, yet strikingly unknown, example of rib vaulting. This paper analyzes the overall construction of the form of the vault, characterized by its highly irregular perimeter, with particular attention to an isolated decorated corbel which solves the problem of the wall support of a group of six ribs and is in stark contrast with the rest of the supports, which are completely unadorned. Given the extreme rigour of Sagrera in all his works (and this one in particular), this apparent “capriccio” must be justified not only by decorative or formal requirements, but also by the constructive logic of Gothic vaulting system