Opportunities for magnetospheric research with coordinated cluster and ground-based observations

ESA’s first multi-satellite mission Cluster is unique in its concept of 4 satellites orbiting in controlled formations. This will give an unprecedented opportunity to study structure and dynamics of the magnetosphere. In this paper we discuss ways in which ground-based remote-sensing observations of the ionosphere can be used to support the multipoint in-situ satellite measurements. There are a very large number of potentially useful configurations between the satellites and any one ground-based observatory; however, the number of ideal occurrences for any one configuration is low. Many of the ground-based instruments cannot operate continuously and Cluster will take data only for a part of each orbit, depending on how much high-resolution (‘burst-mode’) data are acquired. In addition, there are a great many instrument modes and the formation, size and shape of the cluster of the four satellites to consider. These circumstances create a clear and pressing need for careful planning to ensure that the scientific return from Cluster is maximised by additional coordinated ground-based observations. For this reason, ESA established a working group to coordinate the observations on the ground with Cluster. We will give a number of examples how the combined spacecraft and ground-based observations can address outstanding questions in magnetospheric physics. An online computer tool has been prepared to allow for the planning of conjunctions and advantageous constellations between the Cluster spacecraft and individual or combined ground-based systems. During the mission a ground-based database containing index and summary data will help to identify interesting datasets and allow to select intervals for coordinated studies. We illustrate the philosophy of our approach, using a few important examples of the many possible configurations between the satellite and the ground-based instruments.

Neuronal Assembly Detection and Cell Membership Specification by Principal Component Analysis

LOPES-DOS-SANTOS, V. , CONDE-OCAZIONEZ, S. ; NICOLELIS, M. A. L. , RIBEIRO, S. T. , TORT, A. B. L. . Neuronal assembly detection and cell membership specification by principal component analysis. Plos One, v. 6, p. e20996, 2011.

Uma arquitetura de software baseada em componentes visualização de informações industriais

Due to the current need of the industry to integrate data of the beginning of production originating from of several sources and of transforming them in useful information for sockets of decisions, a search exists every time larger for systems of visualization of information that come to collaborate with that functionality. On the other hand, a common practice nowadays, due to the high competitiveness of the market, it is the development of industrial systems that possess characteristics of modularity, distribution, flexibility, scalability, adaptation, interoperability, reusability and access through web. Those characteristics provide an extra agility and a larger easiness in adapting to the frequent changes of demand of the market. Based on the arguments exposed above, this work consists of specifying a component-based architecture, with the respective development of a system based on that architecture, for the visualization of industrial data. The system was conceived to be capable to supply on-line information and, optionally, historical information of variables originating from of the beginning of production. In this work it is shown that the component-based architecture developed possesses the necessary requirements for the obtaining of a system robust, reliable and of easy maintenance, being, like this, in agreement with the industrial needs. The use of that architecture allows although components can be added, removed or updated in time of execution, through a manager of components through web, still activating more the adaptation process and updating of the system

The influence of area/volume ratio on microstructure and non-Ohmic properties of SnO2-based varistor ceramic blocks

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Um framework baseado em modelos para desenvolvimento de sistemas multimídia distribuídos autoadaptativos

Distributed multimedia systems have highly variable characteristics, resulting in new requirements while new technologies become available or in the need for adequacy in accordance with the amount of available resources. So, these systems should provide support for dynamic adaptations in order to adjust their structures and behaviors at runtime. This paper presents an approach to adaptation model-based and proposes a reflective and component-based framework for construction and support of self-adaptive distributed multimedia systems, providing many facilities for the development and evolution of such systems, such as dynamic adaptation. The propose is to keep one or more models to represent the system at runtime, so some external entity can perform an analysis of these models by identifying problems and trying to solve them. These models integrate the reflective meta-level, acting as a system self-representation. The framework defines a meta-model for description of self-adaptive distributed multimedia applications, which can represent components and their relationships, policies for QoS specification and adaptation actions. Additionally, this paper proposes an ADL and architecture for model-based adaptation. As a case study, this paper presents some scenarios to demonstrate the application of the framework in practice, with and without the use of ADL, as well as check some characteristics related to dynamic adaptation

MoSAC: um módulo para seleção de configurações arquiteturais baseado em critérios de QoS no contexto de sistema distribuídos autoadaptativos

The process for choosing the best components to build systems has become increasingly complex. It becomes more critical if it was need to consider many combinations of components in the context of an architectural configuration. These circumstances occur, mainly, when we have to deal with systems involving critical requirements, such as the timing constraints in distributed multimedia systems, the network bandwidth in mobile applications or even the reliability in real-time systems. This work proposes a process of dynamic selection of architectural configurations based on non-functional requirements criteria of the system, which can be used during a dynamic adaptation. This proposal uses the MAUT theory (Multi-Attribute Utility Theory) for decision making from a finite set of possibilities, which involve multiple criteria to be analyzed. Additionally, it was proposed a metamodel which can be used to describe the application s requirements in terms of the non-functional requirements criteria and their expected values, to express them in order to make the selection of the desired configuration. As a proof of concept, it was implemented a module that performs the dynamic choice of configurations, the MoSAC. This module was implemented using a component-based development approach (CBD), performing a selection of architectural configurations based on the proposed selection process involving multiple criteria. This work also presents a case study where an application was developed in the context of Digital TV to evaluate the time spent on the module to return a valid configuration to be used in a middleware with autoadaptative features, the middleware AdaptTV

BTS:uma ferramenta de suporte ao desenvolvimento sistemático de sistemas confiáveis baseados em componentes

The component-based development of systems revolutionized the software development process, facilitating the maintenance, providing more confiability and reuse. Nevertheless, even with all the advantages of the development of components, their composition is an important concern. The verification through informal tests is not enough to achieve a safe composition, because they are not based on formal semantic models with which we are able to describe precisally a system s behaviour. In this context, formal methods provide ways to accurately specify systems through mathematical notations providing, among other benefits, more safety. The formal method CSP enables the specification of concurrent systems and verification of properties intrinsic to them, as well as the refinement among different models. Some approaches apply constraints using CSP, to check the behavior of composition between components, assisting in the verification of those components in advance. Hence, aiming to assist this process, considering that the software market increasingly requires more automation, reducing work and providing agility in business, this work presents a tool that automatizes the verification of composition among components, in which all complexity of formal language is kept hidden from users. Thus, through a simple interface, the tool BST (BRIC-Tool-Suport) helps to create and compose components, predicting, in advance, undesirable behaviors in the system, such as deadlocks

Polycation-Based Gene Therapy: Current Knowledge and New Perspectives

At present, gene transfection insufficient efficiency is a major drawback of non-viral gene therapy. The 2 main types of delivery systems deployed in gene therapy are based on viral or non-viral gene carriers. Several non-viral modalities can transfer foreign genetic material into the human body. To do so, polycation-based gene delivery methods must achieve sufficient efficiency in the transportation of therapeutic genes across various extracellular and intracellular barriers. These barriers include interactions with blood components, vascular endothelial cells and uptake by the reticuloendothelial system. Furthermore, the degradation of therapeutic DNA by serum nucleases is a potential obstacle for functional delivery to target cells. Cationic polymers constitute one of the most promising approaches to the use of viral vectors for gene therapy. A better understanding of the mechanisms by which DNA can escape from endosomes and traffic to enter the nucleus has triggered new strategies of synthesis and has revitalized research into new polycation-based systems. The objective of this review is to address the state of the art in gene therapy with synthetic and natural polycations and the latest advances to improve gene transfer efficiency in cells.

Microstructure and electrical properties of (Ta, Co, Pr) doped TiO2 based electroceramics

The addition of different dopants affects the densification, mean grain size and electrical properties of TiO2-based varistor ceramics. This paper discusses the microstructural and electrical properties of (Ta, Co, Pr) doped TiO2 systems, demonstrating that some of these systems display electrical properties that allow for their use as low voltage varistor. Dopants such as Ta2O5 play a special role in the formation of barriers at the grain boundary and in the nonlinear behavior in TiO2-based systems. The higher values of nonlinear coefficient and breakdown electric field were obtained in the system just doped with Ta2O5 and CoO.

Low-voltage varistor based on (Sn,Ti)O-2 ceramics

A description is given of the nonohmic behavior obtained in (SnxTi1-x)O-2-based systems. A matrix founded on (SnxTi1-x)O-2-based systems doped with Nb2O5 leads to a low-voltage varistor system with nonlinear coefficient values of similar to9. The presence of the back-to-back Schottky-type barrier is observed based on the voltage dependence of the capacitance. When doped with CoO, the (SnxTi1-x)O(2)(.)based system presents higher nonlinear coefficient values (>30) than does the SnO2-based varistor system.

Recent research developments in SnO2-based varistors

This paper discusses some advances in research conducted on SnO2-based electroceramics. The addition of different dopants, as well as several thermal treatments in oxidizing and inert atmospheres, were found to influence the microstructure and electrical properties of SnO2-based varistor ceramics. Measurements taken by impedance spectroscopy revealed variations in the height and width of the potential barrier resulting from the atmosphere in which thermal treatments were performed. High nonlinear coefficient values, which are characteristic of high-voltage and commercial ZnO varistors, were obtained for these SnO2-based systems. All the systems developed here have potentially promising varistor applications. (C) 2004 Elsevier B.V. All rights reserved.

Knowledge-based risk management: Survey on Brazilian software development enterprises

A risks management, carried on in an effective way, leads the software development to success and may influence on the organization. The knowledge takes part of such a process as a way to help taking decisions. This research aimed to analyze the use of Knowledge Management techniques to the Risk Management in software projects development and the possible influence on the enterprise revenue. It had, as its main studying subject, Brazilian incubated and graduated software developing enterprises. The chosen research method was the Survey type. Multivariate statistical methods were used for the treatment and analysis of the obtained results, this way identifying the most significant factors, that is, enterprise's achievement constraining factors and those outcome achievement ones. Among the latter we highlight the knowledge methodology, the time of existence of the enterprise, the amount of employees and the knowledge externalization. The results encourage contributing actions to the increasing of financial revenue. © 2013 Springer-Verlag.

Sustainable production of biologically active molecules of marine based origin

The marine environment offers both economic and scientific potential which are relatively untapped from a biotechnological point of view. These environments whilst harsh are ironically fragile and dependent on a harmonious life form balance. Exploitation of natural resources by exhaustive wild harvesting has obvious negative environmental consequences. From a European industry perspective marine organisms are a largely underutilised resource. This is not due to lack of interest but due to a lack of choice the industry faces for cost competitive, sustainable and environmentally conscientious product alternatives. Knowledge of the biotechnological potential of marine organisms together with the development of sustainable systems for their cultivation, processing and utilisation are essential. In 2010, the European Commission recognised this need and funded a collaborative RTD/SME project under the Framework 7-Knowledge Based Bio-Economy (KBBE) Theme 2 Programme 'Sustainable culture of marine microorganisms, algae and/or invertebrates for high value added products'. The scope of that project entitled 'Sustainable Production of Biologically Active Molecules of Marine Based Origin' (BAMMBO) is outlined. Although the Union is a global leader in many technologies, it faces increasing competition from traditional rivals and emerging economies alike and must therefore improve its innovation performance. For this reason innovation is placed at the heart of a European Horizon 2020 Strategy wherein the challenge is to connect economic performance to eco performance. This article provides a synopsis of the research activities of the BAMMBO project as they fit within the wider scope of sustainable environmentally conscientious marine resource exploitation for high-value biomolecules. © 2013 Elsevier B.V.

Development of a knowledge-based system for cogeneration plant design: Verification, validation and lessons learned

This paper presents the development of a knowledge-based system (KBS) prototype able to design natural gas cogeneration plants, demonstrating new features for this field. The design of such power plants represents a synthesis problem, subject to thermodynamic constraints that include the location and sizing of components. The project was developed in partnership with the major Brazilian gas and oil company, and involved interaction with an external consultant as well as an interdisciplinary team. The paper focuses on validation and lessons learned, concentrating on important aspects such as the generation of alternative configuration schemes, breadth of each scheme description created by the system, and its module to support economic feasibility analysis. (C) 2014 Elsevier B.V. All rights reserved.