Derivación deductiva de programas funcionales con patrones

Una de las dificultades principales en el desarrollo de software es la ausencia de un marco conceptual adecuado para su estudio. Una propuesta la constituye el modelo transformativo, que entiende el desarrollo de software como un proceso iterativo de transformación de especificaciones: se parte de una especificación inicial que va transformándose sucesivamente hasta obtener una especificación final que se toma como programa. Este modelo básico puede llevarse a la práctica de varias maneras. En concreto, la aproximación deductiva toma una sentencia lógica como especificación inicial y su proceso transformador consiste en la demostración de la sentencia; como producto secundario de la demostración se deriva un programa que satisface la especificación inicial. La tesis desarrolla un método deductivo para la derivación de programas funcionales con patrones, escritos en un lenguaje similar a Hope. El método utiliza una lógica multigénero, cuya relación con el lenguaje de programación es estudiada. También se identifican los esquemas de demostración necesarios para la derivación de funciones con patrones, basados en la demostración independiente de varias subsentencias. Cada subsentencia proporciona una subespecificación de una ecuación del futuro programa a derivar. Nuestro método deductivo está inspirado en uno previo de Zohar Manna y Richard Waldinger, conocido como el cuadro deductivo, que deriva programas en un lenguaje similar a Lisp. El nuevo método es una modificación del cuadro de estos autores, que incorpora géneros y permite demostrar una especificación mediante varios cuadros. Cada cuadro demuestra una subespecificación y por tanto deriva una ecuación del programa. Se prevén mecanismos para que los programas derivados puedan contener definiciones locales con patrones y variables anónimas y sinónimas y para que las funciones auxiliares derivadas no usen variables de las funciones principales. La tesis se completa con varios ejemplos de aplicación, un mecanismo que independentiza el método del lenguaje de programación y un prototipo de entorno interactivo de derivación deductiva. Categorías y descriptores de materia CR D.l.l [Técnicas de programación]: Programación funcional; D.2.10 [Ingeniería de software]: Diseño - métodos; F.3.1 [Lógica y significado de los programas]: Especificación, verificación y razonamiento sobre programas - lógica de programas; F.3.3 [Lógica y significado de los programas]: Estudios de construcciones de programas - construcciones funcionales; esquemas de programa y de recursion; 1.2.2 [Inteligencia artificial]: Programación automática - síntesis de programas; 1.2.3 [Inteligencia artificial]: Deducción y demostración de teoremas]: extracción de respuesta/razón; inducción matemática. Términos generales Programación funcional, síntesis de programas, demostración de teoremas. Otras palabras claves y expresiones Funciones con patrones, cuadro deductivo, especificación parcial, inducción estructural, teorema de descomposición.---ABSTRACT---One of the main difficulties in software development is the lack of an adequate conceptual framework of study. The transformational model is one such proposal that conceives software development as an iterative process of specifications transformation: an initial specification is developed and successively transformed until a final specification is obtained and taken as a program. This basic model can be implemented in several ways. The deductive approach takes a logical sentence as the initial specification and its proof constitutes the transformational process; as a byproduct of the proof, a program which satisfies the initial specification is derived. In the thesis, a deductive method for the derivation of Hope-like functional programs with patterns is developed. The method uses a many-sorted logic, whose relation to the programming language is studied. Also the proof schemes necessary for the derivation of functional programs with patterns, based on the independent proof of several subsentences, are identified. Each subsentence provides a subspecification of one equation of the future program to be derived. Our deductive method is inspired on a previous one by Zohar Manna and Richard Waldinger, known as the deductive tableau, which derives Lisp-like programs. The new method incorporates sorts in the tableau and allows to prove a sentence with several tableaux. Each tableau proves a subspecification and therefore derives an equation of the program. Mechanisms are included to allow the derived programs to contain local definitions with patterns and anonymous and synonymous variables; also, the derived auxiliary functions cannot reference parameters of their main functions. The thesis is completed with several application examples, i mechanism to make the method independent from the programming language and an interactive environment prototype for deductive derivation. CR categories and subject descriptors D.l.l [Programming techniques]: Functional programming; D.2.10 [Software engineering]: Design - methodologies; F.3.1 [Logics and meanings of programa]: Specifying and verifying and reasoning about programs - logics of programs; F.3.3 [Logics and meanings of programs]: Studies of program constructs - functional constructs; program and recursion schemes; 1.2.2 [Artificial intelligence]: Automatic programming - program synthesis; 1.2.3 [Artificial intelligence]: Deduction and theorem proving - answer/reason extraction; mathematical induction. General tenas Functional programming, program synthesis, theorem proving. Additional key words and phrases Functions with patterns, deductive tableau, structural induction, partial specification, descomposition theorem.

Inovação e indústria da moda: um modelo de inovação em estilos e tendências.

Este trabalho tem como intuito propor um modelo de inovação para a indústria da moda feminina. O modelo visa compreender o comportamento de estilos e tendências determinados e difundidos pelas empresas. A construção deste modelo é justificada pela contribuição que um estudo sobre inovação pode proporcionar à indústria da moda, a qual enfrenta baixos padrões de competitividade no mercado externo e interno. Além disso, embora existam muitos artigos sobre o assunto, poucos foram os modelos de inovação para a indústria da moda encontrados por esta pesquisa. Uma avaliação destes modelos indicou que existe espaço para a proposta de um modelo que aborde o comportamento de estilos e tendências ao longo do tempo. A estrutura de composição do modelo é sustentada por três pilares conceituais: teoria econômica neoschumpeteriana, modelos de inovação e modelos de inovação para a indústria da moda. A característica central do modelo é avaliar se existem estilos que permanecem em moda de maneira contínua ou descontínua. Como existe similaridade conceitual entre os estilos, no que se refere à identidade de gênero (androginia e feminilidade), foi efetuada uma aglutinação de alguns estilos dentro desta denominação. Nem todos os estilos se encaixaram nesta classificação. Então, estes estilos foram denominados como neutros. Como a pesquisa tem abordagem fenomenológica, qualitativa e longitudinal, foi adotada a metodologia hipotética dedutiva para a construção do modelo. Para verificação da validade das hipóteses foi usada uma análise exploratória dos dados por meio de estatística descritiva e decomposição da estrutura de variabilidade através de uma análise de componentes principais (PCA). Ambas as análises forneceram evidências a respeito das hipóteses em questão, as quais também foram testadas através de um teste binomial e de uma análise de variância multivariada por meio de permutações. Os resultados comprovaram que existem estilos que permanecem em moda de maneira contínua e que existem períodos de polarização das aglutinações de estilo.

Kameralizmus, történelmi iskola, osztrák gazdaságtan. Három vázlat a német és osztrák közgazdasági diskurzus történetéből (Cameralism, the historical school and Austrian economics. Three outlines from the history of German and Austrian economic debate)

A kameralizmus a 16-18. századi német gyakorlati államtudomány és egyetemi tantárgy volt, amely összefoglalta a hivatalnokok képzéséhez szükséges elméleti és gyakorlati gazdasági ismereteket. Felfogása szerint az alattvalók jóléte és boldogsága feltétele az uralkodó gazdagságának, de az alattvalók önmaguktól nem képesek utat találni ehhez a boldogsághoz, szükség van az állandó külső irányításra. Igazgatásközpontúsága és egyetemi intézményesülése miatt nem tekinthető a merkantilizmus helyi változatának. Az 1840 és 1945 közötti német történeti iskola hagyományos ábrázolása több mint egy évszázadon át a német és a neoklasszikus tradíció szembenállását hangsúlyozta, kiemelve az organicizmus, a fejlődésgondolat és az egyediség jelentőségét, a szociális kérdés fontosságát, illetve a deduktív módszer és a gazdaság változatlan törvényeinek tagadását. A modern rekonstrukciók a történeti iskolát a posztklasszikus válságra adott egyik európai válaszként fogják fel, amely a történelemből levont, empirikusan megalapozott induktív alternatívát kínált. Az 1871-től kialakult osztrák iskola a neoklasszikus paradigmának egyszerre volt alkotórésze és versenytársa. A módszertani individualizmus, a szubjektivizmus, az idő fontossága, a tudás szerepe, az alternatív költségek elmélete stb. ugyan beépültek a mainstream közgazdaságtanba, de hangsúlyos kiemelésük lehetővé tette, hogy a társadalomelméleti magyarázat igényét őrző osztrák iskola megtartson valamit önálló beszédmódjából. / === / Cameralism was a practical political science and university subject in 16th–18th century Germany, summarizing the theoretical and practical economic knowledge required in the training of officials. The assumption was that the prosperity of the ruler depended on the welfare and happiness of the subjects, but the subjects themselves were not capable of achieving this happiness without permanent directions from above. Cameralism’s emphasis on administration and university institutionalization means that this approach cannot be seen as a local variant of mercantilism. The traditional account of the German historical school from 1840 to 1945 emphasized for over a century the contrast between the German and the Neoclassical traditions. It underlined the significance of the organic approach, the concept of development and individuality, the importance of the social question, and the denial of the deductive method and unalterable laws of the economy. Modern reconstructions see the historical school as one European response to the post-Classical crisis, offering an inductive alternative grounded empirically on history. The Austrian school formed in 1871 was at once a constituent of the Neoclassical paradigm and a rival to it. Methodological individualism, subjectivism, the importance of time, the role of knowledge, the theory of alternative costs etc. were absorbed into mainstream economics, but the focusing on these issues allowed the Austrian school, in keeping alive its demand for a social-theoretical explanation, to preserve something of an alternative discourse.

Sistema de contagem com morfologia matemática fuzzy

Mathematical Morphology presents a systematic approach to extract geometric features of binary images, using morphological operators that transform the original image into another by means of a third image called structuring element and came out in 1960 by researchers Jean Serra and George Matheron. Fuzzy mathematical morphology extends the operators towards grayscale and color images and was initially proposed by Goetherian using fuzzy logic. Using this approach it is possible to make a study of fuzzy connectives, which allows some scope for analysis for the construction of morphological operators and their applicability in image processing. In this paper, we propose the development of morphological operators fuzzy using the R-implications for aid and improve image processing, and then to build a system with these operators to count the spores mycorrhizal fungi and red blood cells. It was used as the hypothetical-deductive methodologies for the part formal and incremental-iterative for the experimental part. These operators were applied in digital and microscopic images. The conjunctions and implications of fuzzy morphology mathematical reasoning will be used in order to choose the best adjunction to be applied depending on the problem being approached, i.e., we will use automorphisms on the implications and observe their influence on segmenting images and then on their processing. In order to validate the developed system, it was applied to counting problems in microscopic images, extending to pathological images. It was noted that for the computation of spores the best operator was the erosion of Gödel. It developed three groups of morphological operators fuzzy, Lukasiewicz, And Godel Goguen that can have a variety applications

Os limites do poder regulamentar do Conselho Nacional de Justiça no contexto do Estado constitucional brasileiro

The creation of the National Council of Justice (CNJ) through the Constitutional Amendment nº 45/2004, derived from countless gaps in Brazilian law, mainly relating to procedural delays, ineffectiveness of judicial decisions, and the lack of mechanisms that enable, effectively, disciplinary accountability of judges. The council is constitutionally designed as a member of the Judiciary, which has administrative nature and laid assignments in art. 103-B, § 4 of the current Constitution, among which is to edit regulations to instrument its performance. However, since it came into force, the amendment raised extensive discussions, linked in particular to the constitutionality of the CNJ, which was made through the direct action of unconstitutionality nº 3367, against the alleged violation of the principles of separation of powers and federative form, as well as the limits of its regulatory powers, as has fanned out in ADI nº 3823/ DF, this one dealing on Resolution nº 07, which regulates the seal of nepotism practice in the judiciary. However, despite the Supreme Court has already pronounced on the matter, recognizing the constitutionality of the council, as well as the resolution already said, the debate is in a state of latency, and may erupt again with each new manifestation of regulatory CNJ, given the lack of agreement between doctrine and jurisprudence around the constitutional treatment of its regulatory powers. In this context undeniably reflection on the definition of the regulatory power of the CNJ, presents itself as extremely relevant, and current, in particular in the ambience of the Constitutional Rule of Law, where he strives for legal certainty and consolidation of regulatory institutions. So that it could reach a satisfactory result, skilled at resolving the problems raised, the present study analyzed the reasons that gave rise to the creation of the CNJ, demonstrating their indispensability, but also sought to characterize the status of their administrative and constitutional body, noting finally, the compatibility of its regulatory activities to constitutional principles. From this perspective, we adopted the deductive method and carried out research and bibliographic nature documentary.

A influência política na gestão das empresas estatais à luz do direito fundamental à boa administração e da governança corporativa e pública

This study is dedicated to explain the extent to which political influence in the management of state-owned enterprises can be considered legitimate in the light of the fundamental right to good governance and corporate and public governance, for which was undertaken bibliographical and documentary research guided by the deductive method of work, in which were investigated and presented concepts and issues relating to the State, Government, politics, Public Administration, constitutional principles of Public Administration, the fundamental right to good administration, corporate and public governance and state enterprises. Based on the assumptions found in the works and consulted laws it was possible to conclude that the political influence in state-owned enterprises management can be considered legitimate in the light of the fundamental right to good governance if it promotes the public interest and the public purposes achievement, effectively, efficiently and if it preserves the citizens' rights and the principles and rules that make up the legal framework for public administration; and can be considered legitimate in the light of corporate and public governance to the extent that, in a transparent manner and according to the relevant rules, it seeks not the private benefit of politicians, but to promote the public interest or, in other words, the increase of public value produced by them, while protecting and guaranteeing the rights of its stakeholders and shareholders.

A gastronomia como fator de influência na escolha de destinações turísticas – base de estudo balneário Camboriú (SC-Brasil)

This paper aims to evaluate the factors related to food that influence tourists to choose a particular destination. The secondary aim is to identify how tourists perceive food in relation to the culture of the destination. Does the tourist see gastronomy as a way to know the local culture? Is this fact significant when choosing a destination? A hypothetical-deductive methodology combined with descriptive statistics, with the application of a survey instrument resulted in 400 structured interviews and questionnaires valid for each year. The survey covered the summers of 2006 and 2011 in the city of Balneário Camboriú, Santa Catarina, Brazil. With the results in hand it was possible to create three group of tourists with singular characteristics related to gastronomy, which allowed the definition of the concepts Gourmet Customer, Appreciation Customer and Food Customer, each with a specific perception of the importance of gastronomy and culture within tourism.

Teaching and learning sexuality in nursing education

Sexuality is recognized as part of holistic nursing care, but its inclusion in clinical practice and nursing training is inconsistent. Based on the question "How students and teachers acknowledge sexuality in teaching and learning?", we developed a study in order to characterize the process of teaching and learning sexuality in a micro perspective of cur- riculum development. We used a mixed methods design with a sequential strategy: QUAN → qual of descriptive and explanatory type. 646 students and teachers participated. The quantitative component used ques- tionnaire surveys. Document analysis was used in the additional component. A curricular dimension of sexuality emerges guided by a behaviourist line and based on a biological vision. The issues considered safe are highlighted and framed in steps of adolescence and adulthood and more attached to female sexuality and the procreative aspect. There is in emergence a hidden curriculum by reference to content from other dimensions of sexuality but less often expressed. Theoretical learning follows a communicational model of reality through ab- straction strategies, which infers a deductive method of learning, with a behaviourist approach to assessment. Clinical teaching ad- dresses sexuality in combination with reproductive health nursing. The influencing factors of teaching and learning of sexuality were also explored. We conclude that the vision of female sexuality taught and learned in relation to women has a projection of care in clinical practice based on the same principles.

Avaliação de Indicadores de Qualidade no Hospital das Forças Armadas

O presente trabalho de investigação individual (TII) teve como objetivo produzir um índice de avaliação da satisfação dos utentes, delimitado às consultas externas do Hospital das Forças Armadas - Polo de Lisboa (HFAR/PL), a fim de identificar os aspetos positivos e negativos, bem como a qualidade dos serviços prestados, visando melhorar o desempenho desta unidade hospitalar. Para o desenvolvimento do TII seguiu-se um raciocínio hipotético-dedutivo, adotando no domínio metodológico uma estratégia quantitativa e usando como instrumento de recolha de dados, a técnica por inquérito de questionário, num modelo de perguntas fechadas, utilizando para isso a plataforma Survio1. “Como é que os utentes avaliam os serviços prestados nas Consultas Externas do HFAR/PL?”, é a pergunta pela qual foi orientado o presente trabalho, tendo sido avaliadas diversas dimensões (e respetivos indicadores), onde se conclui que a maioria de utentes estão satisfeitos relativamente ao desempenho dos profissionais de saúde (médicos e enfermeiros), embora seja importante refletir sobre outros aspetos, de modo a serem otimizados, visando a melhoria da qualidade do serviço prestado e a satisfação dos utentes. Abstract: This paper’s aim is to produce and analyze an evaluation index of the user’s satisfaction, limited to the scope of Armed Forces Hospital - Lisbon Campus (HFAR /PL) outpatients. This will make it possible to identify positive and negative aspects and evaluate the quality of the services, thus finding ways to improve the performance of the hospital. For the development of the research, a hypothetical-deductive reasoning, adopting a methodological quantitative approach, was used. A closed question survey, based on the Survio Platform, was used as the data collection instrument. The leading question was “How do users evaluate the services provided to Outpatients Consultations by HFAR / PL?". Several dimensions (and their respective indicators) were evaluated, leading to the conclusion that most outpatients are satisfied with the performance of the health professionals (doctors and nurses). Nevertheless, other aspects have been identified as needing optimization in order to improve the quality of the service and the user’s satisfaction.

Custos da gestão da qualidade na manutenção e sustentação dos Sistemas de Armas da Força Aérea

Atualmente, as organizações tendem a desenvolverem-se com o objetivo de se tornarem mais eficazes e eficientes. Neste contexto, esta investigação visa propor um modelo que permita calcular os Custos da Qualidade (CQ) na manutenção e sustentação dos Sistemas de Armas da Força Aérea (FA), contribuindo para a melhoria contínua do Sistema de Gestão da Qualidade e Aeronavegabilidade (SGQA). Assim, neste estudo é avaliada a utilização do modelo “Prevenção, Avaliação e Falhas” (PAF) para o cálculo dos CQ no SGQA, a forma como os Sistemas de Informação (SI) podem contribuir para este cálculo e qual a estrutura do sistema que deverá integrar e operacionalizar este modelo. Esta investigação desenvolve-se mediante um raciocínio hipotético-dedutivo, utilizando uma estratégia qualitativa aplicada num estudo de caso ao SA Epsilon Tb-30. Após apresentar um enquadramento teórico, são testadas as hipóteses identificadas através de análise documental e entrevistas a elementos com funções-chave neste âmbito. Verifica-se então a possibilidade de utilizar o modelo PAF para o cálculo dos CQ no SGQA. Contudo, é necessário adaptar os SI e os processos do sistema para a sua operacionalização. Finalmente, é proposto um plano para implementação do modelo de CQ, assim como são apresentadas algumas recomendações para o seu desenvolvimento. Abstract: Nowadays, the organizations tend to self-develop in order to increase their efficiency and effectiveness. In this context, this study has the purpose to propose a Quality Cost (CQ) model within the scope of maintenance and sustainability of Portuguese Air Force (FA) weapon systems, contributing to the continuous improvement of its Airworthiness and Quality Management System (SGQA). Therefore, throughout this study is evaluated the implementation of Prevention, Appraisal and Failure (PAF) model for CQ calculation, how the Information Systems (SI) can contribute for this calculus and what SGQA structure should integrate and operationalize this model. In this investigation is used a hypothetical-deductive reasoning, through a qualitative strategy applied to a case study in Epsilon TB-30 aircraft. After presenting an initial theoretical study, the raised hypotheses are tested through the relevant document analysis and interviews with elements in key functions within this scope. With this study it’s shown the possibility to use PAF model to calculate CQ of the SGQA. However, it’s necessary to adapt the SI and the system processes to get the operationalization of this model. Finally, an implementation plan of the evaluated CQ model is proposed, and some recommendations are made for its future development.

O Lean Management e os desafios da gestão de recursos humanos na FAP

O estudo que se apresenta teve como objetivo analisar a implementação do modelo de Serviços Partilhados, com recurso à metodologia lean, nos serviços de apoio de pessoal do Complexo de Alfragide que decorreu no contexto da sua implementação na Força Aérea Portuguesa, determinada pelo Despacho do CEMFA n.º 59/2015, de 31 de julho. Para desenvolver este trabalho foi utilizada uma estratégia de investigação mista (quantitativa e qualitativa), seguindo o raciocínio hipotético-dedutivo. O desenho de pesquisa utilizado foi o estudo de caso, recorrendo a entrevistas, à análise documental e a um questionário para recolha de dados. Os resultados apurados através das entrevistas e do inquérito permitem concluir que a implementação do novo modelo alcançou alguns dos objetivos a que se propunha, nomeadamente, a melhoria dos serviços de apoio de pessoal prestados aos militares e civis. Apesar de se antever um elevado potencial ao nível da racionalização de Recursos Humanos, de momento, esse objetivo ainda não foi inteiramente alcançado. Conclui-se a presente investigação sugerindo a reavaliação numa fase mais adiantada da implementação do modelo de Serviços Partilhados no Complexo de Alfragide e o alargamento a outras Unidades de modo a obter uma visão mais abrangente da realidade na Força Aérea. Abstract: The study aimed to analyze the implementation of the Shared Services model, using the lean methodology, in the personnel support services in Complexo de Alfragide. This process took place in the context of implementation of this model in the Portuguese Air Force, determined by CEMFA Order No. 59/2015 of 31 July. To develop this work was used a mixed research strategy (quantitative and qualitative), following the hypothetical-deductive reasoning. The research design used was the case study, interviews, document analysis and a questionnaire. By the results obtained through the views expressed in the interviews and in the investigation, it can be concluded that the implementation of the Shared Services model has achieved some of the goals that it proposed like the improvement in personnel support services. Although foreseen great potential in terms of gains of Human Resources rationalization and due to several factors, has not yet been possible to achieve this goal. This research is concluded suggesting a reevaluation at a later stage of the implementation of the Shared Services model in the Complexo de Alfragide and extension to other Units for a more comprehensive view of reality in the Air Force.

Os processos de normalização e desenvolvimento da doutrina militar combinada nas Forças Armadas Portuguesas

O emprego das Forças Armadas Portuguesas em Operações Conjuntas e Combinadas faz-se no âmbito do quadro de alianças de que Portugal faz parte, das quais destacamos a Organização do Tratado do Atlântico Norte. No sentido de melhorar a eficácia operacional, a normalização assume um papel fundamental para que se possa atingir a interoperabilidade entre as forças da Aliança. Assim, este trabalho teve como objetivo principal, analisar e sintetizar os processos de normalização e desenvolvimento de doutrina Militar Conjunta e Combinada nas Forças Armadas Portuguesas. Tem ainda como finalidade, identificar lacunas nos processos nacionais, de forma a contribuir para uma melhor integração e harmonização da doutrina da Aliança, tendo em consideração a doutrina nacional e os interesses nacionais. A nossa investigação baseou-se num raciocínio hipotético-dedutivo, apoiado por uma estratégia qualitativa. O modelo de análise desenvolvido teve por hipóteses, que foram deduzidas de questões derivadas da questão central. Neste processo analítico, identificámos indicadores que permitiram a validação das hipóteses, para este efeito, recorremos a dois estudos de caso e uma análise SWOT. O desenvolvimento de um plano de ação que permita a integração dos processos analisados constitui o principal contributo desta investigação. A necessidade de criar uma Estrutura Coordenadora de Normalização, primordial para agilizar os procedimentos de normalização entre o Ministério da Defesa Nacional, o Estado-Maior General das Forças Armadas e os Ramos, juntamente, com a criação de um Conselho Superior de Doutrina nas Forças Armadas, que defina as prioridades e orientações gerais para o desenvolvimento de doutrina, constituem os principais resultados desta investigação. Abstract: The use of the Portuguese Armed Forces in Combined and Joint Operations is made within the framework of alliances that Portugal is a member, of which we highlight the North Atlantic Treaty Organization. In order to improve the operational efficiency, standardization plays a key role in achieving the interoperability between the forces of the Alliance. The aim of this study is to analyse and synthesize the standardization and development processes of Combined and Joint Military Doctrine in the Portuguese Armed Forces. Identify gaps in national processes, in order to contribute to a better integration and harmonization of the Alliance Doctrine, taking into account the national doctrine and national interests. Our research was based on a hypothetical-deductive argument, supported by a qualitative strategy. The analysis model developed based on assumptions, deducted from derivatives questions of the central question. In this analytical process, we identify indicators that allowed the validation of hypotheses, to achieve this purpose we used two case studies and resort to a SWOT analysis. The development of an action plan that allows the integration of the analysed processes is the main contribution of this research. The need to create a Standardization Coordination Structure it´s crucial to streamline the procedures of normalization between the Ministry of Defence, the Armed Forces General Joint Staff and the Services, along with the establishment of a Doctrine Supreme Council in the Armed Forces, which set the priorities and guidelines for the development of doctrine. This are the main outputs of this research.

Cooperação Internacional

A Força de Gendarmerie Europeia ergueu-se na esfera dos países da União Europeia com forças de polícia de estatuto militar, tipo gendarmerie, com o propósito de proporcionar uma ferramenta de cooperação internacional que permitira aumentar a capacidade de gestão de crises e contribuir para o desenvolvimento da identidade europeia de segurança e defesa, bem como para o reforço da Política Comum de Segurança e Defesa. Depois de dez anos passados após a plena capacidade operacional, interessa avaliar se a Organização constitui verdadeiramente um instrumento eficaz, eficiente e proveitoso para os seus Estados-Membros e para as principais organizações internacionais, bem como ponderar o seu impacto na ação externa da União Europeia. Com este objetivo, desenvolveu-se uma investigação qualitativa recorrendo ao raciocínio hipotético-dedutivo. Esquadrinharam-se questões de natureza descritiva e interpretativa, conferindo uma importância especial aos contributos facilitados pelos entrevistados, dotados de destacada relevância profissional na esfera da cooperação policial internacional. Constata-se no estudo que a Força de Gendarmerie Europeia constitui um instrumento útil para a cooperação internacional, oferecendo capacidades operacionais bem-sucedidas assentes no treino permanente, na interoperabilidade com os atores participantes e na capacidade de resposta rápida a situações de crise. Abstract: The European Gendarmerie Force stood up in the background of European Union countries with military status police forces, gendarmerie type, in order to provide a tool for international cooperation increasing crisis management capacities and contributing to the development of the European security and defence identity, in addition to strengthening the Common European Security and Defence Policy. Ten years after achieving full operational capability, it is intended to assess if the Organization actually performs an effective, efficient and profitable instrument for its Member States and the main international organizations, as well as considering its impact on external action of the European Union. With that aim, a qualitative research was developed using the hypothetical-deductive reasoning. Descriptive and interpretative issues were scoured, giving special importance to contributions provided by respondents with outstanding professional background in international police cooperation sphere. The study reveals that the European Gendarmerie Force is a useful tool for international cooperation, providing successful operational capabilities settled in permanent training, interoperability with the participating actors and in a rapid response capability to crisis situations.

Combate em áreas edificadas aos baixos escalões : Capacidades e doutrina

Este trabalho de investigação aplicada estuda o Combate em Áreas Edificadas aos baixos escalões do Exército Português e do Exército Francês, Tem como principal objetivo identificar as principais diferenças entre os dois Exércitos, através da análise do Combate em Áreas Edificadas, da doutrina, da formação e treino, das capacidades, das vulnerabilidades e potencialidades de ambos neste tipo de combate. Quanto à natureza da investigação, a metodologia usada, foi a investigação aplicada, comparando os dois Exércitos, e utilizando como objetivo de investigação, o objetivo descritivo e explicativo. No que concerne à forma de abordagem, usamos o método dedutivo, descrevendo e explicando o Combate em Áreas Edificadas, as capacidades, a doutrina, a formação e treino, as vulnerabilidades e potencialidades de ambos. Quanto aos procedimentos técnicos usamos o método comparativo segundo a análise SWOT para verificarmos os pontos fortes, pontos fracos, oportunidades e ameaças das capacidades usadas pelos Exércitos. As técnicas de recolha de dados utilizadas, foram, numa primeira fase, a entrevista exploratória a um Oficial Francês com o intuito de receber informações sobre o seu Exército, para iniciarmos a análise documental e analisar os conceitos e numa segunda fase, fizemos entrevistas de confirmação, para analisarmos os meios, o armamento e as vulnerabilidades e potencialidades de ambos os Exército no Combate em Áreas Edificadas. Como principais resultados destacamos as caraterísticas do Combate em Áreas Edificas, na dimensionalidade do campo de batalha, no emprego de forças, na formação e treino, nos meios e armamento. A doutrina portuguesa apresenta como características deste combate a população, o local/terreno e as infraestruturas. A doutrina francesa apresenta estas características como conceito, onde inclui também o impacto meteorológico como característica. No que diz respeito à dimensionalidade do campo de batalha, a doutrina portuguesa define o campo de batalha como multidimensional enquanto a doutrina francesa define-o como tridimensional. Relativamente ao emprego das forças, a principal diferença é que o Exército Francês aborda o conceito armas combinadas, enquanto nós, ainda não o abordamos desta forma. Ao nível da formação e treino, verificamos que as forças operacionais do Exército Francês são sujeitas a uma formação e avaliação periódica no CENZUB, para rever e adotar novas técnicas, enquanto o Exército Português não possui este sistema. No que concerne às capacidades, verificamos que existem diferenças no pessoal e no material, principalmente nos meios, e ao nível do armamento.

Estudo sobre as principais características das viaturas táticas ligeiras blindadas para o Exército português.

O presente Trabalho de Investigação Aplicada tem como estudo identificar as principais características das viaturas táticas ligeiras blindadas, que irão equipar o Exército Português, por forma a garantir a mobilidade tática terrestre. Com esta investigação pretende-se identificar a configuração do ambiente operacional, onde as viaturas das Forças Nacionais Destacadas tem sido empregues. De igual modo identificar as caraterísticas das viaturas táticas ligeiras blindadas disponíveis no mercado da indústria de defesa passíveis de serem adquiridas, descrevendo ainda o tipo de operações em que as forças do Exército Português tem participado, utilizando viaturas táticas ligeiras. Esta investigação tem como principal objetivo identificar as principais caraterísticas das viaturas táticas ligeiras blindadas a adquirir pelo Exército Português, para se adaptarem à realidade atual do ambiente operacional onde Portugal participa com forças, e fazer uma caracterização da mais recente viatura, a Pandur II 8x8, e a viatura com mais presenças em teatros de operações, o High Mobility Multipurpose Wheeled Vehicle. Para alcançar este objetivo principal, foi utilizado o método dedutivo partindo do ambiente operacional dos diversos Teatros de Operações em que Portugal tem empregue forças, para as principais caraterísticas das viaturas. O ambiente operacional que reside hoje em dia, nos teatros de operações, é caraterizado por assimetrias, resultantes de novas ameaças. Estas necessitam de esforços, por parte das forças militares para se adaptarem. As caraterísticas das viaturas táticas ligeiras blindadas têm vindo a sofrer algumas alterações na sua proteção e mobilidade, onde apresentam melhorias técnicas, face às inovações tecnológicas, mas há outras, como o poder de fogo que podem vir a ser colmatadas no futuro.