Concepções sobre a comunicação matemática de uma futura professora

Este texto apresenta um estudo de caso, de natureza interpretativa, focado nas concepções de comunicação matemática de uma futura professora, que está a iniciar um curso de Educação Básica (1.º ciclo de estudos, que dá acesso aos segundos ciclos de formação de professores – 1.º e 2.º ciclos do ensino básico – e educação de infância). O estudo foi orientado por dois objectivos: (i) conhecer as concepções de uma futura professora sobre a comunicação matemática e o papel que esta desempenha na aprendizagem e no ensino da disciplina; (ii) compreender como evoluem essas concepções sobre a comunicação matemática e qual o papel da formação inicial nesse processo de desenvolvimento. Os dados recolhidos, através de inquérito por entrevista, mostram que a jovem futura professora defende um modo de comunicação reflexiva na aprendizagem da disciplina, que, embora consonante com o seu estilo pessoal, contrasta com a sua experiência de aluna no ensino secundário. A experiência no ensino superior, embora ainda no princípio, revela já a sua influência na forma como concebe o papel da linguagem matemática na comunicação e no valor da discussão na aprendizagem

MODELING AND VALIDATING A SECURE INTERCONNECTION BETWEEN INDUSTRIAL CONTROL SYSTEM AND CORPORATE NETWORK USING COLORED PETRI NET

Industrial Control Systems (ICS) networks offer a high level of automation combined with high levels of control, quality and process improvement. Since network corporate users have to access the ICS environment, these networks have to be interconnected. However, this interconnection can introduce risks to the systems and manufacturing processes, which leads to the need to ensure the interconnection is done safely. The objective of this paper is to perform modeling and validation of a proposed secure interconnection between ICS and corporate networks using Colored Petri Networks (CPN). In addition to the best practices published in related works, this paper recommends some integrated features like the use of terminal server service, secure manual uplinks, and unidirectional security gateway to enhance environmental security. However, our main contribution is the validation process performed in a Colored Petri Network, which made it possible to execute queries in the state space resulting from the simulation - that works as a proof of concept. As a result, the paper presents a secure and validated model of interconnection between ICS and corporate networks, capable of being applied to any interconnection environment.As redes de sistemas de controle industrial (ICS) oferecem um alto nível de automação combinado com altos níveis de controle, qualidade e melhoria de processos. Como os usuários corporativos da rede precisam acessar o ambiente ICS, essas redes precisam ser interconectadas. No entanto, essa interconexão pode apresentar riscos aos sistemas e processos de fabricação, o que leva à necessidade de garantir que a interconexão seja feita com segurança. O objetivo deste artigo é realizar modelagem e validação de uma interconexão segura proposta entre o ICS e as redes corporativas usando as Redes de Petri Coloridas (CPN). Além das práticas recomendadas publicadas em trabalhos relacionados, esta pesquisa recomenda alguns recursos integrados, como o uso do serviço de servidor de terminal, uplinks manuais seguros e gateway de segurança unidirecional para aprimorar a segurança do ambiente computacional. Entretanto, nossa principal contribuição é o processo de validação realizado em uma Rede Petri Colorida, que possibilitou a execução de consultas no espaço de estados resultantes da simulação - que funciona como prova de conceito. Como resultado, o artigo apresenta um modelo seguro e validado de interconexão entre o ICS e as redes corporativas, capaz de ser aplicado a qualquer ambiente de interconexão

Promoção do ensino de programação e robótica a estudantes de escolas da rede pública de ensino na cidade de Divinópolis

Este artigo aborda o desenvolvimento de um projeto de ensino de programação e robótica a estudantes da rede pública de ensino na cidade de Divinópolis - MG. Nele, alunos dos 8º e 9º anos do Ensino Fundamental são guiados a criar robôs autônomos e programas de computador, o que estimula, respectivamente, a criatividade e o pensamento lógico-aritmético, desenvolvidos durante a montagem dos robôs e a programação dos computadores. Dessa maneira, acredita-se que esses adolescentes, ao serem expostos a conhecimentos extracurriculares da área de Informática, possam ampliar sua capacidade cognitiva de abstração e pensamento lógico prematuramente, o que afetaria positivamente em seu rendimento escolar em componentes curriculares Exatos

Antioxidant Action of Mangrove Polyphenols against Gastric Damage Induced by Absolute Ethanol and Ischemia-Reperfusion in the Rat

Rhizophora mangle, the red mangrove, has long been known as a traditional medicine. Its bark has been used as astringent, antiseptic, hemostatic, with antifungic and antiulcerogenic properties. In this paper, we aimed to evaluate the antioxidant properties of a buthanolic fraction of the R. mangle bark extract (RM) against experimental gastric ulcer in rats. Unib-Wh rats received pretreatment of R. mangle after the induction of gastric injury with absolute ethanol and ischemia-reperfusion. Gastric tissues from both methods were prepared to the enzymatic assays, the levels of sulfhydril compounds (GSH), lipid peroxides (LPO), and the activities of glutathione reductase (GR), glutathione peroxidase (GPx), superoxide dismutase (SOD) and myeloperoxidase (MPO) were measured. The RM protected the gastric mucosa in both methods used, ethanol-induced gastric ulcer and ischemia-reperfusion, probably, by modulating the activities of the enzymes SOD, GPx, and GR and increasing or maintaining the levels of GSH; in adittion, LPO levels were reduced. The results suggest that the RM antioxidant activity leads to tissue protection; thus one of the antiulcer mechanisms present on the pharmacological effects of R. mangle is the antioxidant property

NOTAS E RESENHAS

UMA ENTREVISTA COM PAUL CLAVAL - Sylvio Bandeira de Mello e Silva. ANÁLISE LOCACIONAL EM GEOGRAFIA - CONS IDERAÇÕES TEÓRICAS E METODOLÓGICAS - Augusto Cesar Zeferino MAPEAMENTO DE PONTOS SENSÍVEIS A IMPACTOS AMBIENTAIS SOBRE OS RECURSOS HÍDRICOS EM RIO CLARO (SP) - Lucy Marion Calderini Philadelpho Machado, Roseana Correa Grilo, Elaine Regina Alves, Sandra Kioko Cortes CLASSIFICAÇÃO DE TERRAS NA APA DO RIO SÃO BARTOLOMEU - DF - Maria Novaes Pinto, Tânia Maria Vieira da Silva, Roselir de Oliveira Nascimento NOVAS DIMENSÕES NA GEOGRAFlA INDUSTRIAL - Auro Aparecido Mendes MEIO AMBIENTE: PERCEPÇÕES, ATITUDES E VALORES - Lucy M. C. P. Machado HISTÓRIA DA ECOLOGIA - Maria Juraci Zani dos Santos POLUIÇÃO ATMOSFERICA E CHUVAS ÁCIDAS - Anderson Luís Hebling Christofoletti DAS BASES METEOROLÓGICAS À CLIMATOLOGIA APLICADA - Antonio Christofoletti OCEANOGRAFIA, HIDROLOGIA E RECURSOS HÍDRICOS - Antonio Christofolett

An architecture to grouping security controls in information technology environments based on unrestricted cooperative bargains.

Controles de segurança, também chamados de mecanismos de proteção, voltados para previsão e detecção de eventos indesejados são cada vez mais empregados em ambientes de Tecnologia da Informação (TI). O pouco entendimento sobre as características dos eventos indesejados que agem nos sistemas e a baixa compatibilidade existente entre os diversos mecanismos de proteção são problemas que se destacam neste tipo de cenário. Diferentes configurações dificultam a combinação dos resultados destes mecanismos e raramente dois ou mais controles de segurança se complementam. Por esse motivo, o agrupamento entre mecanismos de detecção e de previsão não é trivialmente resolvido. Neste trabalho é proposta uma arquitetura, denominada de Arquitetura Estratégica de Agrupamento - Strategic Grouping Architecture (SGA) - para agrupamento de controles de segurança voltados para detecção e/ou previsão, que tem como base a busca de um equilíbrio entre as configurações e os resultados individuais de cada mecanismo de proteção envolvido. Para alcançar este equilíbrio a arquitetura proposta divide a análise dos eventos (legítimos e maliciosos) que passam pelos controles de segurança em dois níveis de abstração: o técnico, onde são coletadas as configurações e os resultados dos controles de segurança; e o estratégico, onde os dados obtidos no nível técnico são analisados por meio de barganhas cooperativas irrestritas - Unrestricted Cooperative Bargains (UCB), conceito proveniente da Teoria dos Jogos, que busca a otimização e equilíbrio entre resultados. Justamente por ser realizada em um nível de abstração diferente, a análise gerada pelo SGA identifica a influência que cada configuração exerce nos resultados agrupados. Para explorar a capacidade da arquitetura proposta, dois experimentos, bastante diferentes, que envolvem a ação de eventos indesejados em ambientes de TI são conduzidos. Os resultados obtidos mostram a viabilidade do agrupamento de controles de segurança de detecção e previsão e a possibilidade do uso do SGA em outros ambientes, que não estejam necessariamente ligados à segurança de TI. Baseada na literatura científica a validação do SGA consiste de uma transformação prévia na categoria dos jogos estratégicos usados - cooperativos para não-cooperativos - e na busca de situações como o Equilíbrio de Nash (EN) e o ótimo de Pareto, que indicam os melhores resultados de um jogo.Security controls, also called protection mechanisms, focused on forecasting and detection of unwanted events are increasingly employed in Information Technology (IT) environments. The little understanding about the characteristics of unwanted events which act on the systems and the low rate of compatibility among several protection mechanisms are both problems that arise in that scenario. Different settings make difficult combining the results of these mechanisms and two or more controls rarely complement each other. Due to that, grouping mechanisms of detection and forecasting is not a trivial matter. In this work a framework called Strategic Grouping Architecture (SGA) is proposed to grouping security controls focused on detection and/or forecasting. SGA is based on the search for equilibrium between the settings and the individual results of each protection mechanism involved. In order to reach this equilibrium the proposed framework divide the analysis of events (legitimates and malicious) which go through the security controls in two abstract levels: the technical level, where the settings and the results of security controls are collected; and the strategic level, where the data obtained in the technical level are analyzed through Unrestricted Cooperative Bargains (UCB), concept from Game Theory that seeks to optimize and balance the results. Precisely because it is performed on a different level of abstraction, the analysis generated by the SGA identifies the influence that each setting has on the clustered results. In order to exploit the capability of the proposed architecture, two experiments, quite different, involving the action of unwanted events in IT environments, are conducted. The obtained findings show the feasibility of grouping detection and forecasting security controls and the possibility of using the SGA in other environments that are not necessarily related to IT security. Based on scientific literature SGA validation consists of a previous transformation in the category of strategy games used - cooperative to non-cooperative - and the search for situations such as the Nash Equilibrium (NE) and the Pareto optimal, indicating the best results a game

Preventive method based on ranking and voting scheme for intrusion detection in webservice

O Calculador de Preços e Prazos (CPP) é um webservice disponível gratuitamente na Internet para consulta de fretes que recebe entre 8 e 28 mil consultas diárias. Constantemente, o CPP sofre ataques na forma de consultas que causam indisponibilidade e lentidão no sistema. O atual critério usado para a resolução desse problema não tem por base o volume de tráfego, por ser oneroso e bloquear, eventualmente, clientes válidos. O objetivo deste trabalho é propor um método de detecção preventivo de ataques contra a disponibilidade, baseado em um esquema de rankings/pesos que melhore a precisão e o tempo de resposta da detecção de conexões suspeitas em um webservice. No experimento é criado um esquema de votação, gerado a partir do tráfego de rede, onde padrões baseados em estatística e regras pré-definidas são usados para compor um ranking de suspeição para cada consulta.The Price and Deadline Calculator (CPP) is a gratuitous webservice available on the Internet for freight consultations that receive between 8 and 28 thousand of daily queries. CPP constantly receives attacks in the form of queries that cause unavailability and slowness in the system. The current criteria used to solve this problem are not based on traffic volume, because it is costly and may eventually block valid customers. This work aims to propose a method of preventive detection of attacks against availability, based on a rankings/weights scheme that improves the accuracy and response time of detecting suspicious connections in a webservice. In the experiment, a voting scheme is created, generated from network traffic, where standard-based statistics and predefined rules are used to compose a ranking of suspicion for each query.info:eu-repo/semantics/publishedVersio

Efeito da adubação orgânica sob o perfilhamento de mudas pré-brotadas de cana-de-açúcar / Effect of organic fertilization under the perdaughtering of pre-sprouted sugarcane seedlings

Objetivou-se avaliar o efeito de diferentes adubações orgânicas confeccionadas por meio de compostagens de borra de café e esterco de galinha consorciada com biomassa verde de cana-de-açúcar, milho e sorgo sob o perfilhamento de mudas de pré-brotadas de cana-de-açúcar. A pesquisa foi dividida em dois experimentos. No primeiro experimento, adotou-se um delineamento experimental inteiramente casualizado organizado com a distribuição dos toletes de maneira aleatória nos saquinhos de mudas com quatro repetições por tratamento. No segundo experimento, adotou-se delineamento experimental em blocos ao acaso com quatro repetições por tratamento, com parcelas experimentais constituídas por quatro fileiras de quatro metros, espaçadas de 1,30 m. A variável delimitada foi o perfilhamento da cana-de-açúcar em função da adubação orgânica utilizada para cada tratamento.  A brotação dos toletes iniciou aos 7 dias com ocorrência até 10 após o plantio. A população máxima de perfilho foi alcançada aos 120 dias após o plantio em todos os tratamentos. Os números de perfilhos aos 60, 90 e 120 dias no tratamento quatro apresentaram quantidade média de maneira mais homogenia. Entretanto, o tratamento três aos 90 e 120 de apresentaram quantidade superior em perfilhos, indicando a evolução dessa planta. Conclui-se que o tratamento três com adubação por meio de compostagem confeccionada com borra de café, biomassa verde de milho e esterco apresentou melhor resultado significativo

Saneamento básico e seus impactos socioeconômicos na megalópole Fluminense

O artigo 196 da Constituição brasileira, sublinha o compromisso do Estado em assegurar que políticas de saneamento básico sejam implementadas de maneira eficaz, visando não apenas o cumprimento dos Objetivos do Desenvolvimento Sustentável (ODS) que abordam saúde e bem-estar como também promoção de serviços mais equitativos. A partir da observação do panorama atual do Rio de Janeiro é evidente que persistem desafios significativos no alcance das metas particularmente em áreas rurais e comunidades carentes, tais como a inviabilidade prática dos projetos considerando as desigualdades regionais, a falta de financiamento em infraestrutura sanitária nessas áreas e a falta de planejamento urbano. O presente artigo visa examinar a influência do acesso ao saneamento básico na saúde e desenvolvimento econômico-social na região metropolitana do Rio de Janeiro, por meio de um estudo qualitativo e bibliográfico sobre a conjuntura sociopolítica do estado e identificar os fatores decisivos que resultam na atual condição. A análise, por meio de uma discussão dos pontos históricos, fornece alterativas que possam orientar políticas mais eficazes e equitativas da promoção de um acesso mais justo aos serviços essenciais de saneamento e destaca a relevância dos investimentos estratégicos para a melhoria das condições de vida e um crescimento regional mais inclusivo e sustentável no Rio de Janeiro