" La familia de Carlos IV" de Goya: una interpretación desde la emblemática

La familia de Carlos IV podría encuadrarse, si tenemos en cuenta a Palomino, como un retrato historiado de asunto metafórico. Este pretendería mostrarla como una monarquía ilustrada que actúa con conocimiento y en base a la razón conforme a las ideas desarrolladas por la literatura regio-política española. Estaríamos así ante un espejo de monarquía ideal creado por la invención de Goya que, desgraciadamente, la terca realidad, se encargó de desmentir.The Family of Charles IV could be classified, according to Palomino, as a "historiado" portrait [which means that for its elaboration it is necessary to keep the same adjustment and restraint as in a story] of metaphorical matter, which would be trying to show the Royal Family as an enlightened monarchy that behaves with knowledge and following the commands of the reason, in accordance to the ideas developed by the Spanish regal political literature. If so, we would be looking at a mirror of ideal monarchy created by Goya's invention, that, unfortunately, the stubborn reality finally denied

A model-driven approach to survivability requirements assessment for critical systems

Survivability is a crucial property for those systems – such as critical infrastructures or military Command and Control Information Systems – that provide essential services, since the latter must be operational even when the system is compromised due to attack or faults. This article proposes a model-driven method and a tool –MASDES– to assess the survivability requirements of critical systems. The method exploits the use of (1) (mis)use case technique and UML profiling for the specification of the survivability requirements and (2) Petri nets and model checking techniques for the requirement assessment. A survivability assessment model is obtained from an improved specification of misuse cases, which encompasses essential services, threats and survivability strategies. The survivability assessment model is then converted into a Petri net model for verifying survivability properties through model checking. The MASDES tool has been developed within the Eclipse workbench and relies on Papyrus tool for UML. It consists of a set of plug-ins that enable (1) to create a survivability system view using UML and profiling techniques and (2) to verify survivability properties. In particular, the tool performs model transformations in two steps. First, a model-to-model transformation generates, from the survivability view, a Petri net model and properties to be checked in a tool-independent format. Second, model-to-text transformations produce the Petri net specifications for the model checkers. A military Command and Control Information Systems has been used as a case study to apply the method and to evaluate the MASDES tool, within an iterative-incremental software development process

Modelling Security of Critical Infrastructures: A Survivability Assessment

Critical infrastructures, usually designed to handle disruptions caused by human errors or random acts of nature, define assets whose normal operation must be guaranteed to maintain its essential services for human daily living. Malicious intended attacks to these targets need to be considered during system design. To face these situations, defence plans must be developed in advance. In this paper, we present a Unified Modelling Language profile, named SecAM, that enables the modelling and security specification for critical infrastructures during the early phases (requirements, design) of system development life cycle. SecAM enables security assessment, through survivability analysis, of different security solutions before system deployment. As a case study, we evaluate the survivability of the Saudi Arabia crude-oil network under two different attack scenarios. The stochastic analysis, carried out with Generalized Stochastic Petri nets, quantitatively estimates the minimization of attack damages on the crude-oil network

An approach for the automatic verification of blockchain protocols: the Tweetchain case study

This paper proposes a model-driven approach for the security modelling and analysis of blockchain based protocols. The modelling is built upon the definition of a UML profile, which is able to capture transaction-oriented information. The analysis is based on existing formal analysis tools. In particular, the paper considers the Tweetchain protocol, a recent proposal that leverages online social networks, i.e., Twitter, for extending blockchain to domains with small-value transactions, such as IoT. A specialized textual notation is added to the UML profile to capture features of this protocol. Furthermore, a model transformation is defined to generate a Tamarin model, from the UML models, via an intermediate well-known notation, i.e., the Alice &Bob notation. Finally, Tamarin Prover is used to verify the model of the protocol against some security properties. This work extends a previous one, where the Tamarin formal models were generated by hand. A comparison on the analysis results, both under the functional and non-functional aspects, is reported here too

CULTIVO DE SHIMEJII EM SUBSTRATO CAPIM-ELEFANTE SUPLEMENTADO COM DIFERENTES TIPOS DE FARELOS

The purpose of this work was to evaluate the cultivation of the strains of P. ostreatus in elephant grass substrate supplemented with different kinds of bran. The experiment consisted in the use elephant grass substrate supplemented with soy, wheat, rice or corn bran in concentrations of 0, 10 or 20% poured in flasks that were inoculated with spawns of BF24, DF33 and HF19 strains of P. ostreatus and incubated at room temperature (20 - 28 ºC). After the complete colonization of the substrate, the flasks were transferred to a fructification chamber with temperature between 20 and 26 ºC and average damp of 75 – 90%.  The BF24 strain was found to be the most productive one in relation to the others and the supplementation of the elephant grass with wheat bran in concentrations of 10 and 20%  favors higher productiveness and biological efficiency for the BF24, DF33 and HF19 strains of P. ostreatus.O objetivo deste trabalho foi avaliar o cultivo de linhagens de Pleurotus ostreatus em substrato capim-elefante suplementado com diferentes tipos de farelos. O experimento consistiu no uso do substrato capim-elefante suplementado com farelos de soja, trigo, arroz ou milho em concentrações de 0, 10 ou 20%, colocados em frascos que foram semeados com  as linhagens BF24, DF33 e HF19 de Pleurotus ostreatus e incubados a temperatura ambiente (20 - 26 0C). Depois da completa colonização do substrato, os frascos foram transferidos para uma câmara de frutificação com temperatura entre  20 e 28 ºC e umidade relativa de 75 - 90%.  A linhagem BF24 foi mais produtiva e a suplementação do capim-elefante com farelo de trigo em concentrações de 10 e 20% aumentou a produtividade e eficiência biológica das três linhagens  de Pleurotus ostreatus

Las intervenciones de la Universidad de Santiago y del Colegio de racioneros del Espíritu Santo en la iglesia de la Compañía tras la expulsión de los jesuitas

The Church of the Society of Jesus in Santiago de Compostela has caught the attention of the Art Historians who have hitherto studied it due to its ornamental bareness and apparent classicism. These features have led to discussions about its chronology, style, and, therefore, about its aesthetic assessment. The archival documents provided in this paper concerning the state of the temple at the time when the Jesuits were expelled open new perspectives for its analysis.La iglesia de la Compañía de Jesús en Santiago de Compostela es uno de los edificios que por su desnudez ornamental y aparente clasicismo ha llamado la atención de los historiadores del arte que la han estudiado hasta la fecha. Ello ha dado lugar a discusiones sobre su cronología, su estilo y, consecuentemente, sobre su apreciación estética. La documentación aportada en este artículo sobre el estado del templo en el momento de la expulsión de los jesuitas, abre nuevas perspectivas para su análisis

Fatores associados à não adesão dos pacientes ao tratamento de hipertensão arterial

The greatest challenge posed by Systemic Hypertension (SH) is related to patients' compliance with treatment. Thus, this study aimed to determine attendance of these patients to medical appointments and the percentage of adherence to medication and non-medication regimens, and also identify the main reasons hypertensive patients report for non-adherence. This is a descriptive study with 68 hypertensive patients (64.71% women with average age of 63.9 years) at a teaching outpatient clinic. The instruments used for data collection were: multiprofesional team care report form, the Morisky-Green test and telephone interview. The results show that 61.76% attended the medical consultations, 86.76% did not comply with the medication regimen and 85.29% did not comply with the non-medication regimen, reporting at least one non-healthy life habit. The emotional factor was the most reported (69.12%) among patients' reasons for non-adherence to treatment. The study can support interventions in care delivery to patients with systemic hypertension, with a view to improving their level of adherence and quality of life.El mayor desafío de la hipertensión arterial sistémica (HAS) es la adhesión de los pacientes a su tratamiento, así, este estudio tuvo como objetivos determinar la frecuencia a las consultas y el porcentaje de adhesión al tratamiento medicamentoso y no medicamentoso, además de identificar los principales motivos referidos por los pacientes hipertensos para la no adhesión. Se trata de estudio descriptivo, realizado con 68 hipertensos en un ambulatorio escuela, con 64,71% de mujeres (promedio de edad de 63,9 años). Los instrumentos utilizados para recolección de datos fueron: formulario de atención del equipo multiprofesional, la prueba de Morisky-Green y la búsqueda a través del teléfono. Los resultados: muestran que 61,76% eran asiduos a las consultas, 86,76% no presentaron adhesión al tratamiento medicamentoso y 85,29% al tratamiento no medicamentoso, refiriendo, por lo menos, un hábito de vida no saludable. Entre los motivos para la no adhesión, el factor emocional fue el más relatado (69,12%). Se concluye que este estudio puede proporcionar subsidios para intervenciones sobre la asistencia a los pacientes con HAS, con la finalidad de aumentar las tasas de adhesión y calidad de vida.O maior desafio da hipertensão arterial sistêmica (HAS) é a adesão dos pacientes ao seu tratamento, sendo assim, este estudo teve como objetivos determinar a frequência às consultas e o percentual de adesão ao tratamento medicamentoso e não medicamentoso, além de identificar os principais motivos referidos pelos pacientes hipertensos para a não adesão. Trata-se de estudo descritivo, realizado com 68 hipertensos em um ambulatório escola, com 64,71% de mulheres (média de idade - 63,9 anos). Os instrumentos utilizados para coleta de dados foram: formulário de atendimento da equipe multiprofissional, o teste de Morisky-Green e a busca fonada. Os resultados: mostram que 61,76% eram assíduos às consultas, 86,76% não apresentaram adesão ao tratamento medicamentoso e 85,29% ao tratamento não medicamentoso, referindo, pelo menos, um hábito de vida não saudável. Dentre os motivos para a não adesão, o fator emocional foi o mais relatado (69,12%). Conclui-se que este estudo pode proporcionar subsídios para intervenções sobre a assistência aos pacientes com HAS, com a finalidade de aumentar as taxas de adesão e qualidade de vida

Evaluation of characterization models for the photochemical smog impact category focused on the Brazilian reality = Avaliação de modelos de caracterização para a categoria de impacto smog fotoquímico voltada à realidade brasileira = Evaluación de modelos de caracterización para la categoría de impacto smog fotoquímico enfocado en la realidad brasileña

The Life Cycle Impact Assessment (LCIA) is composed of characterization models, and in Brazil, the methodological and scientific LCIA framework is still under development. The research’s aim was to evaluate the literature available characterization models to photochemical smog category. Thus, the contribution of work is recommending one of these models to be used in Brazilian LCA studies, standardizing the studies in Brazil. The methodology consisted of searching the literature and selecting, describing and analyzing the characterization models as well as elaborating a table of criteria for better comparison. Aiming to visualize the differences in the results of each selected model, a case study was applied to analyze the photochemical smog formation potential to the transport of one ton of sugar using two transportation modes (road and railroad). Five characterization models related to smog category were selected, described and compared. Herewith, it was observed that the models present significant differences, that is, each model presents Characterization Factors (CF) for different categories within the environmental impact chain of the photochemical smog (midpoint and/or endpoint), differences in modeling, scale of the model (regional, continental or global), quantity and quality of elementary flows, etc. Those factors have influence in the CF’s calculation and, consequently, the LCA’s results, in the same case study. The criteria table’s results suggested that the model of Van Zelm et al. (2016) – World (midpoint and endpoint), is the best interim option to be used in studies of LCA in Brazil, because it was the model that resulted in the highest grade referring to the established criteria and it presents results on a Global scale. However, the results do not rule out the need for regionalization studies, which would develop a model that presents results and studies directed to the Brazilian reality or adjust the model of Van Zelm et al. (2016) - Brazil.La Evaluación de Impacto del Ciclo de Vida (EICV) se compone de modelos de caracterización, y en Brasil, la estructura metodológica y científica de la EICV está en desarrollo. El objetivo de esta investigación fue evaluar los modelos de caracterización para la categoría de impacto smog fotoquímico presentes en la literatura. Por lo tanto, la contribución del trabajo es recomendar uno de estos modelos para ser utilizado en estudios brasileños de ECV, estandarizando estudios en Brasil. La metodología consistió en la investigación en la literatura y selección, descripción y análisis de los modelos de caracterización, así como en la elaboración de una tabla de criterios para una mejor comparación. Con el objetivo de visualizar las diferencias en los resultados de cada modelo seleccionado, se usó un estudio de caso para analizar el potencial de formación de smog fotoquímico del transporte de una tonelada de azúcar usando dos modales de transporte (carretera y ferrocarril). Después de la investigación, cinco modelos de caracterización relacionados con la categoría de impacto smog fueron seleccionados, descritos y comparados. Con ello, se observó que los modelos difieren significativamente, o sea, cada modelo presenta Factores de Caracterización (FC) para diferentes categorías dentro de la cadena de impacto ambiental del smog fotoquímico (punto medio y/o punto final), diferencias en el modelado, en la escala del modelo (regional, continental o global), en la cantidad y calidad de los flujos elementales, etc. Estos factores influyen en el cálculo del FC y, consecuentemente, en los resultados de una ECV, para un mismo estudio de caso. Los resultados de la tabla de criterios sugieren el modelo de Van Zelm et al. (2016) - Global (punto medio y/o punto final), como una buena opción provisional para ser utilizado en los estudios de ECV en Brasil, pues éste fue el modelo que resultó en la mayor nota referente a los criterios establecidos, presentando resultados en escala global. Sin embargo, los resultados no descartan la necesidad de estudios de regionalización, volcados a la realidad brasileña. Otra posibilidad apuntada es la ampliación y ajuste del modelo de Van Zelm et al. (2016) - Brasil.A Avaliação de Impacto do Ciclo de Vida (AICV) é composta por modelos de caracterização e, no Brasil, a estrutura metodológica e científica da AICV está em desenvolvimento. O objetivo desta pesquisa foi avaliar os modelos de caracterização para a categoria de impacto smogfotoquímico presentes na literatura. Assim, a contribuição do trabalho é recomendar um destes modelos para ser utilizado em estudos brasileiros de ACV, padronizando os estudos no Brasil. A metodologia consistiu de pesquisa na literatura e na seleção, descrição e análise dos modelos de caracterização, como também na elaboração de uma tabela de critérios para melhor comparação. Com o objetivo de visualizar as diferenças nos resultados de cada modelo selecionado, um estudo de caso foi aplicado para analisar o potencial de formação de smog fotoquímico do transporte de uma tonelada de açúcar usando dois modais de transporte (rodoviário e ferroviário). Após a pesquisa, cinco modelos de caracterização relacionados a categoria de impacto smog foram selecionados, descritos e comparados. Com isso, observou-se que os modelos apresentam diferenças significativas, ou seja, cada modelo apresenta Fatores de Caracterização (FC) para diferentes categorias dentro da cadeia de impacto ambiental do smog fotoquímico (ponto médio e/ou ponto final), diferenças na modelagem, na escala do modelo (regional, continental ou global), na quantidade e qualidade dos fluxos elementares, etc. Esses fatores influenciam no cálculo do FC e, consequentemente, nos resultados de uma ACV, para um mesmo estudo de caso. Os resultados da tabela de critérios sugerem o modelo de Van Zelm et al. (2016) -Global (ponto médio e ponto final), como uma boa opção provisória a ser utilizado em estudos de ACV no Brasil, pois este foi o modelo que resultou na maior nota referente aos critérios estabelecidos, sendo que apresenta resultados em escala Global. Entretanto, os resultados não descartam a necessidade de estudos de regionalização, voltados à realidade brasileira. Outra possibilidade apontada é a ampliação e ajuste do modelo de Van Zelm et al. (2016) -Brasil.Palavras-chave: Avaliação do Ciclo de Vida.Avaliação de Impacto do Ciclo de Vida.Métodos de AICV.Ozônio troposférico.Fatores de Caracterização.Regionalização de modelos

Nutritional guidance during prenatal care in public health services in Ribeirão Preto: discourse and care practice

O objetivo deste estudo foi verificar as orientações que as gestantes atendidas no pré-natal das Unidades Básicas de Saúde do Município de Ribeirão Preto-SP, Brasil recebiam sobre nutrição, e se estas orientações eram pertinentes ao seu estado nutricional. Participaram da pesquisa 91 gestantes. Classificamos as gestantes de acordo com o estado nutricional usando a tabela de peso/altura segundo a idade gestacional preconizada pelo manual técnico de assistência pré-natal do Ministério da Saúde do Brasil. Foram encontradas gestantes tanto com peso inferior (13,19%) como superior ao normal (37,36%). Independentemente do estado nutricional a maioria das gestantes (60,43%) relatou não ter recebido orientação sobre nutrição. O número médio de consultas não influenciou no estado nutricional. A maioria das gestantes iniciou o pré-natal em momento adequado para realizar intervenções nutricionais. Os resultados apontam para deficiências no conteúdo e na qualidade do cuidado nutricional sugerindo a necessidade de adequação da assistência transformando o discurso em uma prática real.La finalidad del presente estudio fue verificar las orientaciones nutricionales dadas a mujeres gestantes que recibían atención en el prenatal de las Unidades Básicas de Salud de la ciudad de Ribeirão Preto-SP, y si las orientaciones eran pertinentes al estado nutricional. Participaron de la investigación 91 gestantes. Clasificamos a las gestantes de acuerdo con el estado nutricional, usando la tabla de peso/altura según la edad gestacional sugerida por el manual técnico de asistencia prenatal del Ministerio de la Salud de Brasil. Encontramos gestantes con peso inferior (13,19%) y superior al normal (37,36%). Independiente del estado nutricional, la mayoría de las gestantes (60,43%) relató no haber recibido orientación sobre nutrición. El número medio de consultas no influenció el estado nutricional. Los resultados indican deficiencias en el contenido y en la calidad de la atención nutricional, sugiriendo la necesidad de adecuación de la atención, trasformando el discurso en una práctica real.This study aimed to verify if pregnant women attended in prenatal care services at Basic Health Units in Ribeirão Preto-SP, Brazil, received nutritional guidance and if this guidance was pertinent to their nutritional status. Ninety-one pregnant women participated. The pregnant women were classified according to their nutritional condition, using a weight, height and pregnancy stage table established by the Brazilian Health Ministry's technical prenatal care manual. We found pregnant women with weight under (13.19%) and exceeding normal levels (37.36%). Independently of their nutritional condition, most of them (60.43%) declared they did not receive nutrition guidance. The mean number of prenatal visits did not influence the nutritional status. The results reveal deficiencies in the contents and quality of nutritional care. This suggests the need for care changes so as to turn discourse into practice