Invernadero automatizado, instrumentación y lógica difusa

Crops are vulnerable to climatic conditions; therefore, their quality may vary according to environmental behavior. Under optimal conditions the crop can have a good productive development and an increase in the yield per unit area, reducing the risks caused by climatic changes, pests and diseases. With the electronic application in greenhouses it is possible to make efficient use of the resources since these can be controlled according to each stage of the development of the crop. Being in an isolated environment, in other words, independent of the external environment, it is possible to carry out production at any time of the year, thanks to the microclimates.  The following paper shows the development of an automated greenhouse using electronic instrumentation to control its irrigation, lighting, humidification and ventilation systems using fuzzy logic.Los cultivos son susceptibles a condiciones climáticas, por ende, la calidad de los mismos puede variar según el comportamiento ambiental. Bajo condiciones óptimas el cultivo puede tener un buen desarrollo productivo y un aumento en el rendimiento por unidad de superficie, reduciendo los riesgos causados por cambios climatológicos, plagas y enfermedades. Con la aplicación de electrónica en invernaderos es posible hacer uso eficiente de los recursos ya que se pueden controlar según cada etapa fenológica del cultivo. Al estar en un ambiente aislado, es decir independiente del medio exterior, es posible realizar producción en cualquier época del año, lo anterior gracias a los microclimas. El siguiente articulo muestra el desarrollo de un invernadero automatizado haciendo uso de instrumentación electrónica para controlar mediante lógica difusa sus sistemas de riego, luz, humidificación y ventilación

Implementation of a novel in vitro model of infection of reconstituted human epithelium for expression of virulence genes in methicillin-resistant Staphylococcus aureus strains isolated from catheter-related infections in Mexico

BACKGROUND: Methicillin-resistant Staphylococcus aureus (MRSA) are clinically relevant pathogens that cause severe catheter-related nosocomial infections driven by several virulence factors. METHODS: We implemented a novel model of infection in vitro of reconstituted human epithelium (RHE) to analyze the expression patterns of virulence genes in 21 MRSA strains isolated from catheter-related infections in Mexican patients undergoing haemodialysis. We also determined the phenotypic and genotypic co-occurrence of antibiotic- and disinfectant-resistance traits in the S. aureus strains, which were also analysed by pulsed-field-gel electrophoresis (PFGE). RESULTS: In this study, MRSA strains isolated from haemodialysis catheter-related infections expressed virulence markers that mediate adhesion to, and invasion of, RHE. The most frequent pattern of expression (present in 47.6% of the strains) was as follows: fnbA, fnbB, spa, clfA, clfB, cna, bbp, ebps, eap, sdrC, sdrD, sdrE, efb, icaA, and agr. Seventy-one percent of the strains harboured the antibiotic- and disinfectant-resistance genes ermA, ermB, tet(M), tet(K), blaZ, qacA, qacB, and qacC. PFGE of the isolated MRSA revealed three identical strains and two pairs of identical strains. The strains with identical PFGE patterns showed the same phenotypes and genotypes, including the same spa type (t895), suggesting hospital personnel manipulating the haemodialysis equipment could be the source of catheter contamination. CONCLUSION: These findings help define the prevalence of MRSA virulence factors in catheter-related infections. Some of the products of the expressed genes that we detected in this work may serve as potential antigens for inclusion in a vaccine for the prevention of MRSA-catheter-related infections

AFPL2, An Abstract Language for Firewall ACLs with NAT support

The design and management of firewall ACLs is a very hard and error-prone task. Part of this complexity comes from the fact that each firewall platform has its own low-level language with a different functionality, syntax, and development environment. Although high-level languages have been proposed to model firewall ACLs, none of them has been widely adopted by the industry due to a combination of factors: high complexity, no support of important features of firewalls, etc. In this paper the most important access control policy languages are reviewed, with special focus on the development of firewall ACLs. Based on this analysis, a new domain specific language for firewall ACLs (AFPL2) is proposed, supporting more features that other languages do not cover (e.g. NAT). As the result of our design methodology, AFPL2 is very lightweight and easy to use. AFPL2 can be translated to existing low-level firewall languages, or be directly interpreted by firewall platforms, and is an extension to a previously developed language.Ministerio de Eduación y Ciencia DPI2006-15476-C02-0

OPBUS: Risk-aware framework for the conformance of security-quality requirements in business processes

Several reports indicate that one of the most important business priorities is the improvement of business and IT management. Nowadays, business processes and in general service-based ones use other external services which are not under their jurisdiction. Organizations do not usually consider their exposition to security risks when business processes cross organizational boundaries. In this paper, we propose a risk aware framework for security-quality requirements in business processes management. This framework is focused on the inclusion of security issues from design to execution. The framework provides innovative mechanisms based on model-based diagnosis and constraint programming in order to carry out the risk assessment of business processes and the automatic check of the conformance of security requirements.Junta de Andalucía P08-TIC-04095Ministerio de Ciencia y Tecnología TIN2009-1371

A Quadratic, Complete, and Minimal Consistency Diagnosis Process for Firewall ACLs

Developing and managing firewall Access Control Lists (ACLs) are hard, time-consuming, and error-prone tasks for a variety of reasons. Complexity of networks is constantly increasing, as it is the size of firewall ACLs. Networks have different access control requirements which must be translated by a network administrator into firewall ACLs. During this task, inconsistent rules can be introduced in the ACL. Furthermore, each time a rule is modified (e.g. updated, corrected when a fault is found, etc.) a new inconsistency with other rules can be introduced. An inconsistent firewall ACL implies, in general, a design or development fault, and indicates that the firewall is accepting traffic that should be denied or vice versa. In this paper we propose a complete and minimal consistency diagnosis process which has worst-case quadratic time complexity with the number of rules in a set of inconsistent rules. There are other proposals of consistency diagnosis algorithms. However they have different problems which can prevent their use with big, real-life, ACLs: on the one hand, the minimal ones have exponential worst-case time complexity; on the other hand, the polynomial ones are not minimal.Ministerio de Eduación y Ciencia TIN2009-1371

Diseño y construcción de un sistema acuapónico automatizado para cultivo acuaponico NFT de Carpa Roja y Lechuga Crespa

The use of technological tools to automate and monitor animal and vegetable crops has become a fundamental support for the quantitative and qualitative growth of sustainable food production. Therefore, the optimization of such processes developed in traditional facilities guarantees their efficiency, as well as that of inputs and products. In this sense, this alternative consists of the design and construction of an automated aquaponic system located at the SENA's Center for Agricultural Biotechnology (CBA), through the automation of the NFT aquaponic culture process to produce Red Carp (Cyprinus carpio) and Crespa Lettuce (Lactuca sativa), applying low and medium cost industrial technologies. As a result, reliable statistics are established in real time to evaluate the biomass growth of fish and plants in a given time, adding efficiency to the process compared to traditional soil seeding.La implementación de herramientas tecnológicas para automatizar y monitorear cultivos animales y vegetales, se ha convertido en un apoyo fundamental para el crecimiento cuantitativo y cualitativo de la producción sostenible de alimentos. Por ello, la optimización de dichos procesos desarrollados en instalaciones tradicionales garantiza su eficiencia, así como la de los insumos y productos. En este sentido, esta alternativa consiste en el diseño y construcción de un sistema acuapónico automatizado ubicado en el Centro de Biotecnología Agropecuaria (CBA) del SENA, mediante la automatización del proceso de cultivo acuapónico NFT para producir Carpa Roja (Cyprinus carpio) y Lechuga Crespa (Lactuca sativa), aplicando tecnologías industriales de bajo y mediano costo. Como resultado, se establecen estadísticas fiables en tiempo real para evaluar el crecimiento de la biomasa de los peces y las plantas en un tiempo determinado, añadiendo eficiencia al proceso en comparación con la siembra tradicional en suelo

Towards Dependable Business Processes with Fault-Tolerance Approach

The management and automation of business processes have become an essential tasks within IT organizations. Companies could deploy business process management systems to automatize their business processes. BPMS needs to ensure that those are as dependable as possible. Fault tolerance techniques provide mechanisms to decrease the risk of possible faults in systems. In this paper, a framework for developing business processes with fault tolerance capabilities is provided. The framework presents different solutions in the fault tolerance scope. The solutions have been developed using a practical example and some results have been obtained, compared and discussed.Junta de Andalucía P08-TIC-04095Ministerio de Educación y Ciencia TIN2009-1371

Efficient algorithms and abstract data types for local inconsistency isolation in firewall ACLS

Writing and managing firewall ACLs are hard, tedious, time-consuming and error-prone tasks for a wide range of reasons. During these tasks, inconsistent rules can be introduced. An inconsistent firewall ACL implies in general a design fault, and indicates that the firewall is accepting traffic that should be denied or vice versa. This can result in severe problems such as unwanted accesses to services, denial of service, overflows, etc. However, the administrator is who ultimately decides if an inconsistent rule is a fault or not. Although many algorithms to detect and manage inconsistencies in firewall ACLs have been proposed, they have different drawbacks regarding different aspects of the consistency diagnosis problem, which can prevent their use in a wide range of real-life situations. In this paper, we review these algorithms along with their drawbacks, and propose a new divide and conquer based algorithm, which uses specialized abstract data types. The proposed algorithm returns consistency results over the original ACL. Its computational complexity is better than the current best algorithm for inconsistency isolation, as experimental results will also show.Ministerio de Educación y Ciencia DIP2006-15476-C02-0

Fast Algorithms for Local Inconsistency Detection in Firewall ACL Updates

Filtering is a very important issue in next generation networks. These networks consist of a relatively high number of resource constrained devices with very special features, such as managing frequent topology changes. At each topology change, the access control policy of all nodes of the network must be automatically modified. In order to manage these access control requirements, Firewalls have been proposed by several researchers. However, many of the problems of traditional firewalls are aggravated due to these networks particularities. In this paper we deeply analyze the local consistency problem in firewall rule sets, with special focus on automatic frequent rule set updates, which is the case of the dynamic nature of next generation networks. We propose a rule order independent local inconsistency detection algorithm to prevent automatic rule updates that can cause inconsistencies. The proposed algorithms have very low computational complexity as experimental results will show, and can be used in real time environments.Ministerio de Educación y Ciencia DPI2006-15476-C02-0