Flow-Based Security Issue Detection in Building Automation and Control Networks

The interconnection of building automation and control system networks to public networks has exposed them to a wide range of security problems. This paper provides an overview of the flow data usability to detect security issue in these networks. The flow-based monitoring inside automation and control networks is a novel approach. In this paper, we describe several use cases in which flow monitoring provides information on network activities in building automation and control systems. We demonstrate a detection of Telnet brute force attacks, access control validation and targeted attacks on building automation system network.Propojování technologických sítí budov s veřejnými počítačovými sítěmi přináší řadu bezpečnostních problémů. Článek se věnuje použití informací o síťových tocích pro detekci bezpečnostních incidentů v těchto sítích. Monitorování síťových toků v technologický sítích je nový přístup. V článku je popsáno několik případů použití, ve kterých informace o síťových tocích poskytují užitečné informace o dění v technologických sítích budov. Uvedené příklady zahrnují detekci útoků pomocí hrubé síly na službu Telnet, validaci řízení přístupu a cílené útoky na technologické sítě využívající protokol BACnet

Simulación Numérica de Ondas Viajeras del Sistema FitzHugh-Nagumo

The FitzHugh-Nagumo system has a special type of solution called traveling wave, which has the form u(x, t) = (x − μt) and w(x, t) = (x − μt), which is a stable solution over time. Our interest is to numerically characterize the profile of a traveling wave (, ) and its propagation speed μ(t). With achange of variables, we transform the problem of finding the solutions in original coordinates to a problem of finding the equilibria in a new coordinate system called mobile coordinates or non-local coordinatesystem. aa With numerical examples we will demonstrate that the solutions of the system of EDPs in non-local coordinates converge to a traveling wave of the original problem. The non-local coordinate system also allows to calculate the exact propagation speed.El sistema FitzHugh-Nagumo tiene un tipo especial de solución llamada onda viajera, la cual tiene la forma u(x, t) = (x−μt) y w(x, t) = (x−μt), y es una solución estable en el tiempo. Nuestro interés es caracterizar numéricamente el perfil de una onda viajera (, ) y su velocidad de propagación μ(t). Con un cambio de variables, transformamos el problema de encontrar las soluciones en coordenadas originales a un problema de encontrar los equilibrios en un nuevo sistema de coordenadas llamado coordenadas móviles o sistema de coordenadas no locales. Con ejemplos numéricos demostraremos que las soluciones del sistema de EDPs en coordenadas no locales converge a una onda viajera del problema original. El sistema de coordenadas no locales también permite calcular la velocidad de propagación en forma exacta

Physical exercise on inflammatory markers in type 2 diabetes patients: a systematic review of randomized controlled trials

Background. Type 2 diabetes mellitus (T2DM) is a serious disease associated with high morbidity and mortality. Scientific findings showed that physical exercise is an option for treatment of these patients. This study's objective is to investigate the effects of supervised aerobic and/or resistance physical training on inflammatory markers in subjects with T2DM. Methods. A systematic review was conducted on four databases, MEDLINE, CENTRAL, LILACS, and Scopus, and manual search from 21 to 30 November 2016. Randomized clinical trials involving individuals diagnosed with T2DM, who have undergone supervised training protocols, were selected in this study. Results. Eleven studies were included. Studies that evaluated control group versus aerobic exercise reported controversial results about the effectiveness of physical training in modifying C-reactive protein (CRP) and cytokine levels. The only variable analyzed by the six studies in comparison to the control group versus resistance exercise was CRP. This protein showed no significant difference between groups. Between the two modes of exercise (aerobic and resistance), only one study demonstrated that aerobic exercise was more effective in reducing CRP. Conclusion. The evidence was insufficient to prove that aerobic or resistance exercise improves systemic levels of inflammatory markers in patients with T2DM

Noncommutativity, generalized uncertainty principle and FRW cosmology

We consider the effects of noncommutativity and the generalized uncertainty principle on the FRW cosmology with a scalar field. We show that, the cosmological constant problem and removability of initial curvature singularity find natural solutions in this scenarios.Comment: 8 pages, to appear in IJT

Soil biochemistry and microbial activity in vineyards under conventional and organic management at Northeast Brazil.

The São Francisco Submedium Valley is located at the Brazilian semiarid region and is an important center for irrigated fruit growing. This region is responsible for 97% of the national exportation of table grapes, including seedless grapes. Based on the fact that orgThe São Francisco Submedium Valley is located at the Brazilian semiarid region and is an important center for irrigated fruit growing. This region is responsible for 97% of the national exportation of table grapes, including seedless grapes. Based on the fact that organic fertilization can improve soil quality, we compared the effects of conventional and organic soil management on microbial activity and mycorrhization of seedless grape crops. We measured glomerospores number, most probable number (MPN) of propagules, richness of arbuscular mycorrhizal fungi (AMF) species, AMF root colonization, EE-BRSP production, carbon microbial biomass (C-MB), microbial respiration, fluorescein diacetate hydrolytic activity (FDA) and metabolic coefficient (qCO2). The organic management led to an increase in all variables with the exception of EE-BRSP and qCO2. Mycorrhizal colonization increased from 4.7% in conventional crops to 15.9% in organic crops. Spore number ranged from 4.1 to 12.4 per 50 g-1 soil in both management systems. The most probable number of AMF propagules increased from 79 cm-3 soil in the conventional system to 110 cm-3 soil in the organic system. Microbial carbon, CO2 emission, and FDA activity were increased by 100 to 200% in the organic crop. Thirteen species of AMF were identified, the majority in the organic cultivation system. Acaulospora excavata, Entrophospora infrequens, Glomus sp.3 and Scutellospora sp. were found only in the organically managed crop. S. gregaria was found only in the conventional crop. Organically managed vineyards increased mycorrhization and general soil microbial activity

A coalgebraic perspective on logical interpretations

In Computer Science stepwise refinement of algebraic specifications is a well-known formal methodology for rigorous program development. This paper illustrates how techniques from Algebraic Logic, in particular that of interpretation, understood as a multifunction that preserves and reflects logical consequence, capture a number of relevant transformations in the context of software design, reuse, and adaptation, difficult to deal with in classical approaches. Examples include data encapsulation and the decomposition of operations into atomic transactions. But if interpretations open such a new research avenue in program refinement, (conceptual) tools are needed to reason about them. In this line, the paper’s main contribution is a study of the correspondence between logical interpretations and morphisms of a particular kind of coalgebras. This opens way to the use of coalgebraic constructions, such as simulation and bisimulation, in the study of interpretations between (abstract) logics.Fundação para a Ciência e a Tecnologia (FCT

The Fluorescence Detector of the Pierre Auger Observatory

The Pierre Auger Observatory is a hybrid detector for ultra-high energy cosmic rays. It combines a surface array to measure secondary particles at ground level together with a fluorescence detector to measure the development of air showers in the atmosphere above the array. The fluorescence detector comprises 24 large telescopes specialized for measuring the nitrogen fluorescence caused by charged particles of cosmic ray air showers. In this paper we describe the components of the fluorescence detector including its optical system, the design of the camera, the electronics, and the systems for relative and absolute calibration. We also discuss the operation and the monitoring of the detector. Finally, we evaluate the detector performance and precision of shower reconstructions.Comment: 53 pages. Submitted to Nuclear Instruments and Methods in Physics Research Section

The exposure of the hybrid detector of the Pierre Auger Observatory

The Pierre Auger Observatory is a detector for ultra-high energy cosmic rays. It consists of a surface array to measure secondary particles at ground level and a fluorescence detector to measure the development of air showers in the atmosphere above the array. The "hybrid" detection mode combines the information from the two subsystems. We describe the determination of the hybrid exposure for events observed by the fluorescence telescopes in coincidence with at least one water-Cherenkov detector of the surface array. A detailed knowledge of the time dependence of the detection operations is crucial for an accurate evaluation of the exposure. We discuss the relevance of monitoring data collected during operations, such as the status of the fluorescence detector, background light and atmospheric conditions, that are used in both simulation and reconstruction.Comment: Paper accepted by Astroparticle Physic

The southern photometric local universe survey (S-PLUS): Improved SEDs, morphologies, and redshifts with 12 optical filters

The Southern Photometric Local Universe Survey (S-PLUS) is imaging ~9300 deg2 of the celestial sphere in 12 optical bands using a dedicated 0.8mrobotic telescope, the T80-South, at the Cerro Tololo Inter-american Observatory, Chile. The telescope is equipped with a 9.2k × 9.2k e2v detector with 10 μm pixels, resulting in a field of view of 2 deg2 with a plate scale of 0.55 arcsec pixel-1. The survey consists of four main subfields, which include two non-contiguous fields at high Galactic latitudes (|b| > 30° , 8000 deg2) and two areas of the Galactic Disc and Bulge (for an additional 1300 deg2). S-PLUS uses the Javalambre 12-band magnitude system, which includes the 5 ugriz broad-band filters and 7 narrow-band filters centred on prominent stellar spectral features: the Balmer jump/[OII], Ca H + K, Hd, G band, Mg b triplet, Hα, and the Ca triplet. S-PLUS delivers accurate photometric redshifts (δz/(1 + z) = 0.02 or better) for galaxies with r < 19.7 AB mag and z < 0.4, thus producing a 3D map of the local Universe over a volume of more than 1 (Gpc/h)3. The final S-PLUS catalogue will also enable the study of star formation and stellar populations in and around the Milky Way and nearby galaxies, as well as searches for quasars, variable sources, and low-metallicity stars. In this paper we introduce the main characteristics of the survey, illustrated with science verification data highlighting the unique capabilities of S-PLUS. We also present the first public data release of ~336 deg2 of the Stripe 82 area, in 12 bands, to a limiting magnitude of r = 21, available at datalab.noao.edu/splus.Fil: De Oliveira, C. Mendes. Universidade do Sao Paulo. Instituto de Astronomia, Geofísica e Ciências Atmosféricas; BrasilFil: Ribeiro, T.. Universidade Federal de Sergipe; Brasil. National Optical Astronomy Observatory; Estados UnidosFil: Schoenell, W.. Universidade Federal do Rio Grande do Sul; BrasilFil: Kanaan, A.. Universidade Federal de Santa Catarina; BrasilFil: Overzier, R.A.. Universidade do Sao Paulo. Instituto de Astronomia, Geofísica e Ciências Atmosféricas; Brasil. Ministério da Ciência, Tecnologia, Inovação e Comunicações. Observatório Nacional; BrasilFil: Molino, A.. Universidade do Sao Paulo. Instituto de Astronomia, Geofísica e Ciências Atmosféricas; BrasilFil: Sampedro, L.. Universidade do Sao Paulo. Instituto de Astronomia, Geofísica e Ciências Atmosféricas; BrasilFil: Coelho, P.. Universidade do Sao Paulo. Instituto de Astronomia, Geofísica e Ciências Atmosféricas; BrasilFil: Barbosa, C.E.. Universidade do Sao Paulo. Instituto de Astronomia, Geofísica e Ciências Atmosféricas; BrasilFil: Cortesi, A.. Universidade do Sao Paulo. Instituto de Astronomia, Geofísica e Ciências Atmosféricas; BrasilFil: Costa Duarte, M.V.. Universidade do Sao Paulo. Instituto de Astronomia, Geofísica e Ciências Atmosféricas; BrasilFil: Herpich, F.R.. Universidade do Sao Paulo. Instituto de Astronomia, Geofísica e Ciências Atmosféricas; Brasil. Universidade Federal de Santa Catarina; BrasilFil: Hernandez Jimenez, J.A.. Universidade do Sao Paulo. Instituto de Astronomia, Geofísica e Ciências Atmosféricas; BrasilFil: Placco, V.M.. University of Notre Dame; Estados Unidos. JINA Center for the Evolution of the Elements ; Estados UnidosFil: Xavier, H.S.. Universidade do Sao Paulo. Instituto de Astronomia, Geofísica e Ciências Atmosféricas; BrasilFil: Abramo, L.R.. Universidade do Sao Paulo. Instituto de Astronomia, Geofísica e Ciências Atmosféricas; BrasilFil: Saito, R.K.. Universidade Federal de Santa Catarina; BrasilFil: Chies Santos, A.L.. Universidade Federal do Rio Grande do Sul; BrasilFil: Ederoclite, A.. Universidade do Sao Paulo. Instituto de Astronomia, Geofísica e Ciências Atmosféricas; Brasil. Centro de Estudios de Física del Cosmo de Aragon; EspañaFil: De Oliveira, R. Lopes. Universidade Federal de Sergipe; Brasil. Ministério da Ciência, Tecnologia, Inovação e Comunicações. Observatório Nacional; Brasil. University of Maryland; Estados UnidosFil: Goncalves, D.R.. Universidade Federal do Rio de Janeiro; BrasilFil: Akras, S.. Ministério da Ciência, Tecnologia, Inovação e Comunicações. Observatório Nacional; Brasil. Universidade Federal do Rio de Janeiro; BrasilFil: Almeida, L.A.. Universidade do Sao Paulo. Instituto de Astronomia, Geofísica e Ciências Atmosféricas; Brasil. Universidade Federal do Rio Grande do Norte; BrasilFil: Almeida Fernandes, F.. Universidade do Sao Paulo. Instituto de Astronomia, Geofísica e Ciências Atmosféricas; Brasil. Universidade Federal do Rio de Janeiro; BrasilFil: Beers, T.C.. University of Notre Dame; Estados Unidos. JINA Center for the Evolution of the Elements ; Estados UnidosFil: Bonatto, C.. Universidade Federal do Rio Grande do Sul; BrasilFil: Bonoli, S.. Centro de Estudios de Física del Cosmo de Aragon; EspañaFil: Cypriano, E.S.. Universidade do Sao Paulo. Instituto de Astronomia, Geofísica e Ciências Atmosféricas; BrasilFil: Vinicius Lima, E.. Universidade do Sao Paulo. Instituto de Astronomia, Geofísica e Ciências Atmosféricas; BrasilFil: Smith Castelli, Analia Viviana. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - La Plata. Instituto de Astrofísica La Plata. Universidad Nacional de La Plata. Facultad de Ciencias Astronómicas y Geofísicas. Instituto de Astrofísica La Plata; Argentin