Design of a case-based reasoner for information security in military organizations

Information security is concerned with the protection of information, which can be stored, processed or transmitted within critical information systems of the organizations, against loss of confidentiality, integrity or availability. Protection measures to prevent these problems result through the implementation of controls at several dimensions: technical, administrative or physical. A vital objective for military organizations is to ensure superiority in contexts of information warfare and competitive intelligence. Therefore, the problem of information security in military organizations has been a topic of intensive work at both national and transnational levels, and extensive conceptual and standardization work is being produced. A current effort is therefore to develop automated decision support systems to assist military decision makers, at different levels in the command chain, to provide suitable control measures that can effectively deal with potential attacks and, at the same time, prevent, detect and contain vulnerabilities targeted at their information systems. The concept and processes of the Case-Based Reasoning (CBR) methodology outstandingly resembles classical military processes and doctrine, in particular the analysis of “lessons learned” and definition of “modes of action”. Therefore, the present paper addresses the modeling and design of a CBR system with two key objectives: to support an effective response in context of information security for military organizations; to allow for scenario planning and analysis for training and auditing processes.

Bases de Gröbner e geração de exercícios matemáticos com estrutura não determinada

Definido um enredo concreto, há, frequentemente, uma grande quantidade e variedade de exercícios que sobre ele podemos escrever. Neste artigo, apresenta-se um algoritmo que permite automatizar este processo. Para gerar exercícios matemáticos, parte-se das relações entre as variáveis presentes no enredo, calcula-se os possíveis exercícios, analisa-se a complexidade do seu processo de resolução e a sua viabilidade. O algoritmo recorre a bases de Gröbner para determinar se o exercício é resolúvel e um possível caminho de resolução. Com base na análise dos resultados obtidos, torna-se possível criar uma base de exercícios ligada a esse enredo.

Engenheiros portugueses no século XVIII: as suas "geometrias especulativas"

O século XVIII Português foi, à semelhança do resto da Europa, fértil em alterações académicas, científicas e ideológicas. O desenvolvimento da ciência e da técnica, o surgimento das primeiras máquinas, impulsionou a área do saber, que atualmente chamamos de engenharia. Em Portugal (à época ainda um império do qual fazia parte, entre outros, o Brasil), as escolas técnicas e militares consolidam-se e surgem vários engenheiros e militares de renome cujas obras se difundem pelo reino. Manuel de Azevedo Fortes (1660-1749), engenheiro-mor do reino Português, publicou, em 1728 e 1729, os dois tomos de uma das suas obras maiores, O Engenheiro Português, obra dedicada à formação dos engenheiros na Academia Militar de Lisboa.. A primeira parte deste tratado aborda os conhecimentos matemáticos que Azevedo Fortes considera essenciais na formação dos engenheiros. Na sua Geometria Especulativa, um manuscrito datado de 1724, aborda os elementos de geometria e trigonometria, sem esquecer as suas aplicações. O Brigadeiro José Fernandes Pinto Alpoim (1700-1765), engenheiro que se destacou na arquitetura e fortificação do Brasil no século XVIII, publicou o Exame de Artilheiros em 1744 e Exame de Bombeiros em 1748, obras contendo os princípios da geometria e da trigonometria e as suas aplicações à engenharia militar que se destinavam ao ensino dos militares na Academia Militar do Rio de Janeiro, onde era professor. Nesta comunicação analisaremos a matemática, em particular a geometria, presente nestas obras, salientando não só os conteúdos abordados mas a ênfase dada às aplicações desses conteúdos nos contextos militares da época.

José Anastácio da Cunha e a criação da Casa Pia de Lisboa

As modernas ideias científicas e tecnológicas da Europa mais desenvolvida transpoem fronteiras e institucionalizam-se em Portugal com a denominada Reforma Pombalina da Universidade de Coimbra (1770-72), no reinado de D. José. Mais: não só chega a Portugal o pensamento moderno da época como, antecipando a reforma do ensino universitário no resto da Europa, o ensino universitário português faz uma aposta clara nas ciências matemáticas, físicas e naturais, bem como num ensino experimental/laboratorial. Anos mais tarde, no reinado de D. Maria, surgem outros projectos educativos e científicos igualmente modernos tais como o da criação de uma Academia Real da Marinha (1779) ou o de uma Academia Real das Ciências (1779) e idealiza-se um projeto, porventura, ainda mais revolucionário: o da criação de uma instituição de ensino – também de ciências ditas superiores – destinada, na sua génese, a orfãos e desvalidos à qual se chamou Casa Pia de Lisboa (1780), e que alguns autores reportam como sendo uma “universidade plebeia”. Com base em documentação autógrafa, ainda inédita, recentemente descoberta nos Fundos Setecentistas do Arquivo da Casa de Mateus, exploraremos o papel fundamental que José Anastácio da Cunha (1744-1787) – militar, matemático e poeta – desempenhou na concepção do Plano de Estudos para a instituição; em particular para o colégio de S. Lucas, consagrado às classes científicas.

Occupational stress and coping among portuguese military police officers

This study describes the professional experience of military police officers from the Portuguese Republican National Guard (N = 95). We focused on the main sources and consequences of stress and the coping strategies used to deal with stress. The evaluation protocol included one closed-ended question and four open-ended questions. Data analysis of meaningful text segments was conceptually based and data categorization followed deductive content analysis. Results allowed the identification of 483 meaning units. Factors intrinsic to the job and the relationships at work were the main stressors referred by participants. The consequences of stressors were evident at an individual level, affecting family, psychological, and physical/health domains. The coping strategies used to deal with the main source of stress in the professional career were focused on problem solving (e.g., active confrontation) and emotional regulation (e.g., situation acceptance). Practical implications and future avenues of research with these professionals are discussed.