922 resultados para Formal analysis
Resumo:
The aim of this research paper is to analyse the key political posters made for the campaigns of Irish political party Fianna Fáil framed in the Celtic Tiger (1997-2008) and post-Celtic Tiger years (2009-2012). I will then focus on the four posters of the candidate in the elections that took place in 1997, 2002, 2007 and 2011 with the intention of observing first how the leader is represented, and later on pinpointing the similarities and possible differences between each. This is important in order to observe the main linguistic and visual strategies used to persuade the audience to vote that party and to highlight the power of the politician. Critical discourse analysis tools will be helpful to identify the main discursive strategies employed to persuade the Irish population to vote in a certain direction. Van Leeuwen’s (2008) social actor theory will facilitate the understanding of how participants are represented in the corpus under analysis. Finally, the main tools of Kress and van Leeuwen’s visual grammar (2006) will be applied for the analysis of the images. The study reveals that politicians are represented in a consistently positive way, with status and formal appearance so that people are persuaded to vote for the party they represent because they trust them as political leaders. The study, thus, points out that the poster is a powerful tool used in election campaigns to highlight the power of political parties.
Resumo:
This report offers a comparative policy study on adult learning within the scope of complementary research conducted by Beblavý et al. (2013) on how people upgrade their skills during their adult lifetimes. To achieve our objectives, we identified regulatory policies and financial support in 11 countries for two main categories of learning: formal higher education and employer-based training. Drawing upon the results of the country reports carried out by our partners in the MoPAct project, we found that in none of the countries examined is there an ‘older student’ policy. In most cases grants and financial support are awarded only up until a certain age. In all of the countries studied, standard undergraduate and post-graduate studies are available for part-time students. The distribution of full-time students and part-time students in tertiary education varies from one country to another as well as from one age group to another. The participation in full-time tertiary education programmes decreases with the age of students. In Lithuania, Latvia, Poland and the UK, there are no mandatory policies to ensure employer-based training. However, in Belgium, Czech Republic, Denmark, Estonia, Germany, Italy, the Netherlands and Spain, employer-based training is more clearly regulated and the employers might have obligations to provide training for their staff. Taking into consideration Beblavý et al. (2013), we observe that comparative differences across countries can be related to policy differences only in some cases. The policy framework seems to impact more the employer-based training than the educational attainment (upgrade of ISCED level). In Denmark, the Netherlands, Latvia, Lithuania, Czech Republic and Poland, we find a perfect match between policy outcomes and the results of Beblavý et al. (2013) related to employer-based training. This is not the case in the United Kingdom, where the two aspects observed are not correlated.
Resumo:
"In any comprehensive research project, there are essentially five steps. First, one starts with a literature review with regard to a particular research question. Second, one seeks to develop a theory. Third, the research question is finalized, frequently in the form of a hypothesis to be tested. Fourth, data are collected. Fifth, the subject matter of this paper, the data are analyzed in order to come to a resolution of the research question. There are two general approaches to analyzing research data. If the data were gathered concerning a 'research question,' a description of the data may be sufficient. However, if the data were gathered to accept or reject a formal hypothesis, statistical analysis is usually in order. This paper briefly surveys the principal data analysis methodologies that are available."
Resumo:
The desire to know the future is as old as humanity. For the tourism industry the demand for accurate foretelling of the future course of events is a task that consumes considerable energy and is of great significance to investors. This paper examines the issue of forecasting by comparing forecasts of inbound tourism made prior to the political and economic crises that engulfed Indonesia from 1997 onwards with actual arrival figures. The paper finds that current methods of forecasting are not able to cope with unexpected crises and other disasters and that alternative methods need to be examined including scenarios, political risk and application of chaos theory. The paper outlines a framework for classifying shocks according to a scale of severity, probability, type of event, level of certainty and suggested forecasting tools for each scale of shock. (C) 2003 Elsevier Science Ltd. All rights reserved.
Resumo:
In this paper, we study the performance of smallholders in a nucleus estate and smallholder (NES) scheme in oil palm production schemein West Sumatra by measuring their technical efficiency using a stochastic frontier production function. Our results indicate a mean technical efficiency of 66%, which is below what we would have expected given the uniformity of the climate, soils and plantation construction among the sample farmers. The use of progressive farmers as a means of disseminating extension advice does not appear to have been successful, and more rigorous farmer selection procedures need to be put in place for similar schemes and for general agricultural extension in future. No clear relationship was established between technical efficiency and the use of female labour, suggesting there is no need to target extension services specifically at female labourers in the household. Finally, education was found to have an unexpectedly negative impact on technical efficiency, indicating that farmers with primary education may be more important than those with secondary and tertiary education as targets of development schemes and extension programs entailing non-formal education. (C) 2003 Elsevier Ltd. All rights reserved.
Resumo:
Processor emulators are a software tool for allowing legacy computer programs to be executed on a modern processor. In the past emulators have been used in trivial applications such as maintenance of video games. Now, however, processor emulation is being applied to safety-critical control systems, including military avionics. These applications demand utmost guarantees of correctness, but no verification techniques exist for proving that an emulated system preserves the original system’s functional and timing properties. Here we show how this can be done by combining concepts previously used for reasoning about real-time program compilation, coupled with an understanding of the new and old software architectures. In particular, we show how both the old and new systems can be given a common semantics, thus allowing their behaviours to be compared directly.
Resumo:
Based primarily on data from indepth interviews with senior journalists and journalism educators as well as a content analysis of journalism curricula, this paper sets out to provide an overview of the demand, overall provision structure, teaching materials and methods of Vietnamese journalism education. It first shows that with a fast expansion in both size and substance, the Vietnamese media system is beginning to feel the urgent need for formal journalism education. However, the country's major journalism programs have been criticised for producing hundreds of unqualified journalism graduates a year. In general, the most deplorable aspects of Vietnamese journalism education include its body of outdated and awkward teaching material, its undue focus on theories and politics at the expense of practical training, its lack of qualified teaching staff and its inadequate teaching resources.
Resumo:
Formal methods have significant benefits for developing safety critical systems, in that they allow for correctness proofs, model checking safety and liveness properties, deadlock checking, etc. However, formal methods do not scale very well and demand specialist skills, when developing real-world systems. For these reasons, development and analysis of large-scale safety critical systems will require effective integration of formal and informal methods. In this paper, we use such an integrative approach to automate Failure Modes and Effects Analysis (FMEA), a widely used system safety analysis technique, using a high-level graphical modelling notation (Behavior Trees) and model checking. We inject component failure modes into the Behavior Trees and translate the resulting Behavior Trees to SAL code. This enables us to model check if the system in the presence of these faults satisfies its safety properties, specified by temporal logic formulas. The benefit of this process is tool support that automates the tedious and error-prone aspects of FMEA.
Resumo:
Timinganalysis of assembler code is essential to achieve the strongest possible guarantee of correctness for safety-critical, real-time software. Previous work has shown how timingconstrain ts on controlflow paths through high-level language programs can be formalised using the semantics of the statements comprisingthe path. We extend these results to assembler-level code where it becomes possible to not only determine timingconstrain ts, but also to verify them against the known execution times for each instruction. A minimal formal model is developed with both a weakest liberal precondition and a strongest postcondition semantics. However, despite the formalism’s simplicity, it is shown that complex timingb ehaviour associated with instruction pipeliningand iterative code can be modelled accurately.
Resumo:
Este texto é resultado de uma pesquisa, do ponto de vista histórico e sociológico, sobre a política eclesiástica da Assembleia de Deus brasileira com respeito à formação teológico-pastoral. Buscou-se entender como se deu a mudança de postura da liderança assembleiana, que, de uma objeção inicial quanto à educação teológica formal, passou a reconhecê-la como requisito ao ministério pastoral. O marco cronológico que delimita o tema explica-se pelo fato de que, em 1943, ocorreram as primeiras discussões oficiais sobre o ensino teológico formal, ocasião em que a Assembleia de Deus rejeitou a criação dos seminários teológicos. A mudança ocorreu gradativamente, mediante uma série de acontecimentos, dentre eles, a diminuição de influência dos missionários suecos junto às Assembleias de Deus, a criação da Casa Publicadora, a chegada de missionários norte-americanos e à ascensão de pastores apoiadores de uma educação formal. Quarenta anos depois, em 1983, a Convenção Geral dos líderes assembleianos decidiu recomendar a qualificação teológica, como exigência ao ministério pastoral. A metodologia adotada foi de uma pesquisa bibliográfica. Visando um estudo explicativo, foi feito um levantamento de dados históricos a partir dos periódicos oficiais da AD, além de documentos que retratam o assunto proposto neste trabalho.
Resumo:
A proposta deste trabalho foi de investigar a contribuição da educação não-formal para a educação formal, no contexto da Escola Dominical da Igreja Metodista. O referencial teórico ancora-se em autores que se dedicam aos estudos relacionados à educação não-formal: Afonso (2002), Simson (2001), Brandão (2002), Duran (2007), Delors (2002), Gadotti (2005), Libâneo (2005) e Gohn (2001). A educação não-formal foi problematizada no contexto da Escola Dominical, tendo por base dados históricos que remontam ao seu início na Inglaterra do Sec. XVII, seu fundamento na história do movimento metodista e na biografia do seu fundador, considerando as contribuições de Buyers (1929/1945), Heitzenrater (2006), Reily (1991) e Levièvere (1997). A pesquisa empírica, de cunho qualitativo, teve por base a realização de entrevista intensiva e a aplicação de questionários. A entrevista foi realizada com um bispo honorário da Igreja Metodista, cuja história de vida está relacionada ao ambiente da Escola Dominical, à formação ali recebida e sua influência na escolha de sua profissão. Os questionários elaborados foram encaminhados à comunidade que frequenta a Escola Dominical, sendo respondidos por vinte e duas pessoas. A análise das respostas dos entrevistados considerou as condições contextuais nas quais os entrevistados estavam envolvidos. Os resultados obtidos suscitam alguns questionamentos, pois o ambiente em que se deu a proposta inicial da Escola Dominical, no Movimento Metodista, apresenta uma enorme distancia do lugar em que a mesma prática é realizada hoje, evidenciando-se a grande dificuldade para a Escola Dominical manter-se atrativa em um mundo moderno, que oferece muitas opções de lazer, cultura e educação, diferente do séc. XVII, em que a educação era privilégio de poucos. Apesar deste desafio, a Escola Dominical e a educação não-formal que ela oferece hoje, são vistas, por seus participantes, como fundamentais na formação do caráter tanto espiritual quanto moral, e relevante a sua contribuição para a sociedade como um todo.
Resumo:
A major application of computers has been to control physical processes in which the computer is embedded within some large physical process and is required to control concurrent physical processes. The main difficulty with these systems is their event-driven characteristics, which complicate their modelling and analysis. Although a number of researchers in the process system community have approached the problems of modelling and analysis of such systems, there is still a lack of standardised software development formalisms for the system (controller) development, particular at early stage of the system design cycle. This research forms part of a larger research programme which is concerned with the development of real-time process-control systems in which software is used to control concurrent physical processes. The general objective of the research in this thesis is to investigate the use of formal techniques in the analysis of such systems at their early stages of development, with a particular bias towards an application to high speed machinery. Specifically, the research aims to generate a standardised software development formalism for real-time process-control systems, particularly for software controller synthesis. In this research, a graphical modelling formalism called Sequential Function Chart (SFC), a variant of Grafcet, is examined. SFC, which is defined in the international standard IEC1131 as a graphical description language, has been used widely in industry and has achieved an acceptable level of maturity and acceptance. A comparative study between SFC and Petri nets is presented in this thesis. To overcome identified inaccuracies in the SFC, a formal definition of the firing rules for SFC is given. To provide a framework in which SFC models can be analysed formally, an extended time-related Petri net model for SFC is proposed and the transformation method is defined. The SFC notation lacks a systematic way of synthesising system models from the real world systems. Thus a standardised approach to the development of real-time process control systems is required such that the system (software) functional requirements can be identified, captured, analysed. A rule-based approach and a method called system behaviour driven method (SBDM) are proposed as a development formalism for real-time process-control systems.
Resumo:
The present investigation is based on a linguistic analysis of the 'Housing Act 1980' and attempts to examine the role of qualifications in the structuring of the legislative statement. The introductory chapter isolates legislative writing as a "sub-variety “of legal language and provides an overview of the controversies surrounding the way it is written and the problems it poses to its readers. Chapter two emphasizes the limitations of the available work on the description of language-varieties for the analysis of legislative writing and outlines the approach adopted for the present analysis. This chapter also gives some idea of the information-structuring of legislative provisions and establishes qualification as a key element in their textualisation. The next three chapters offer a detailed account of the ten major qualification-types identified in the corpus, concentrating on the surface form they take, the features of legislative statements they textualize and the syntactic positions to which they are generally assigned in the statement of legislative provisions. The emerging hypotheses in these chapters have often been verified through a specialist reaction from a Parliamentary Counsel, largely responsible for the writing of the ‘Housing Act 1980’• The findings suggest useful correlations between a number of qualificational initiators and the various aspects of the legislative statement. They also reveal that many of these qualifications typically occur in those clause-medial syntactic positions which are sparingly used in other specialist discourse, thus creating syntactic discontinuity in the legislative sentence. Such syntactic discontinuities, on the evidence from psycholinguistic experiments reported in chapter six, create special problems in the processing and comprehension of legislative statements. The final chapter converts the main linguistic findings into a series of pedagogical generalizations, offers indications of how this may be applied in EALP situations and concludes with other considerations of possible applications.
Resumo:
Simplification of texts has traditionally been carried out by replacing words and structures with appropriate semantic equivalents in the learner's interlanguage, omitting whichever items prove intractable, and thereby bringing the language of the original within the scope of the learner's transitional linguistic competence. This kind of simplification focuses mainly on the formal features of language. The simplifier can, on the other hand, concentrate on making explicit the propositional content and its presentation in the original in order to bring what is communicated in the original within the scope of the learner's transitional communicative competence. In this case, simplification focuses on the communicative function of the language. Up to now, however, approaches to the problem of simplification have been mainly concerned with the first kind, using the simplifier’s intuition as to what constitutes difficulty for the learner. There appear to be few objective principles underlying this process. The main aim of this study is to investigate the effect of simplification on the communicative aspects of narrative texts, which includes the manner in which narrative units at higher levels of organisation are structured and presented and also the temporal and logical relationships between lower level structures such as sentences/clauses, with the intention of establishing an objective approach to the problem of simplification based on a set of principled procedures which could be used as a guideline in the simplification of material for foreign students at an advanced level.
Resumo:
Consultation between the police and the community was a recommendation of Lord Scarman in his report into the Brixton riots in 1981. By 1982 the West Midlands Police Authority had established local consultative committees on each police sub-division. This thesis is a study of four Police Consultative Committees in Birmingham, using qualitative methods of attendance at committee meetings and interviews with committee members. The research was carried out between 1990 and 1992 - ten years after formal consultation was established, and aimed to examine the relationship between the micro social processes of the committees and key sociological theoretical concepts. The analysis of the four committees contextualises them within the social and political parameters of urban policing in the late 1980s. Each committee is taken as a case study to highlight the following aspects of consultation:- relations between the police and black communities; membership, representation and accountability; responding to community conflict; crime prevention agencies and networks of social control. The findings are then generalised to the sociological theoretical concepts of hegemony, legitimation, community conflict and social control. The central proposition of this thesis is that, whilst these committees are not fulfilling the role Lord Scarman envisaged for them (of involving local community representatives in policing strategies and policies), they do have important policing and political roles. It is argued that they offer a platform from which senior police officers can engage local people into supporting policing objectives without actually involving them in determining those objectives. Furthermore, such committees have political symbolism in that they enable the government to be seen to be responding to the issues of accountability and relations between the police and black communities following the urban disorders, without actually devolving any statutory powers to the community.