MODIS information, data and control system (MIDACS) level 2 functional requirements

The MODIS Information, Data and Control System (MIDACS) Level 2 Functional Requirements Document establishes the functional requirements for MIDACS and provides a basis for the mutual understanding between the users and the designers of the EosDIS, including the requirements, operating environment, external interfaces, and development plan. In defining the requirements and scope of the system, this document describes how MIDACS will operate as an element of the EOS within the EosDIS environment. This version of the Level 2 Requirements Document follows an earlier release of a preliminary draft version. The sections on functional and performance requirements do not yet fully represent the requirements of the data system needed to achieve the scientific objectives of the MODIS instruments and science teams. Indeed, the team members have not yet been selected and the team has not yet been formed; however, it has been possible to identify many relevant requirements based on the present concept of EosDIS and through interviews and meetings with key members of the scientific community. These requirements have been grouped by functional component of the data system, and by function within each component. These requirements have been merged with the complete set of Level 1 and Level 2 context diagrams, data flow diagrams, and data dictionary

MODIS information, data and control system (MIDACS) operations concepts

The MODIS Information, Data, and Control System (MIDACS) Operations Concepts Document provides a basis for the mutual understanding between the users and the designers of the MIDACS, including the requirements, operating environment, external interfaces, and development plan. In defining the concepts and scope of the system, how the MIDACS will operate as an element of the Earth Observing System (EOS) within the EosDIS environment is described. This version follows an earlier release of a preliminary draft version. The individual operations concepts for planning and scheduling, control and monitoring, data acquisition and processing, calibration and validation, data archive and distribution, and user access do not yet fully represent the requirements of the data system needed to achieve the scientific objectives of the MODIS instruments and science teams. The teams are not yet formed; however, it is possible to develop the operations concepts based on the present concept of EosDIS, the level 1 and level 2 Functional Requirements Documents, and through interviews and meetings with key members of the scientific community. The operations concepts were exercised through the application of representative scenarios

Character formulas for the operad of two compatible brackets and for the bihamiltonian operad

We compute dimensions of the components for the operad of two compatible brackets and for the bihamiltonian operad. We also obtain character formulas for the representations of the symmetric groups and the $SL_2$ group in these spaces.Comment: 24 pages, accepted by Functional Analysis and its Applications, a few typos correcte

MODIS-HIRIS ground data systems commonality report

The High Resolution Imaging Spectrometer (HIRIS) and Moderate Resolution Imaging Spectrometer (MODIS) Data Systems Working Group was formed in September 1988 with representatives of the MODIS Data System Study Group and the HIRIS Project Data System Design Group to collaborate in the development of requirements on the EosDIS necessary to meet the science objectives of the two facility instruments. A major objective was to identify and promote commonality between the HIRIS and MODIS data systems, especially from the science users' point of view. A goal was to provide a base set of joint requirements and specifications which could easily be expanded to a Phase-B representation of the needs of the science users of all EOS instruments. This document describes the points of commonality and difference between the Level-II Requirements, Operations Concepts, and Systems Specifications for the ground data systems for the MODIS and HIRIS instruments at their present state of development

MODIS Information, Data, and Control System (MIDACS) system specifications and conceptual design

The MODIS Information, Data, and Control System (MIDACS) Specifications and Conceptual Design Document discusses system level requirements, the overall operating environment in which requirements must be met, and a breakdown of MIDACS into component subsystems, which include the Instrument Support Terminal, the Instrument Control Center, the Team Member Computing Facility, the Central Data Handling Facility, and the Data Archive and Distribution System. The specifications include sizing estimates for the processing and storage capacities of each data system element, as well as traffic analyses of data flows between the elements internally, and also externally across the data system interfaces. The specifications for the data system, as well as for the individual planning and scheduling, control and monitoring, data acquisition and processing, calibration and validation, and data archive and distribution components, do not yet fully specify the data system in the complete manner needed to achieve the scientific objectives of the MODIS instruments and science teams. The teams have not yet been formed; however, it was possible to develop the specifications and conceptual design based on the present concept of EosDIS, the Level-1 and Level-2 Functional Requirements Documents, the Operations Concept, and through interviews and meetings with key members of the scientific community

Curved Koszul duality theory

38 pagesInternational audienceWe extend the bar-cobar adjunction to operads and properads, not necessarily augmented. Due to the default of augmentation, the objects of the dual category are endowed with a curvature. We handle the lack of augmentation by extending the category of coproperads to include objects endowed with a curvature. As usual, the bar-cobar construction gives a (large) cofibrant resolution for any properad, such as the properad encoding unital and counital Frobenius algebras, a notion which appears in 2d-TQFT. We also define a curved Koszul duality theory for operads or properads presented with quadratic, linear and constant relations, which provides the possibility for smaller relations. We apply this new theory to study the homotopy theory and the cohomology theory of unital associative algebras

Critical exponents of directed percolation measured in spatiotemporal intermittency

A new experimental system showing a transition to spatiotemporal intermittency is presented. It consists of a ring of hundred oscillating ferrofluidic spikes. Four of five of the measured critical exponents of the system agree with those obtained from a theoretical model of directed percolation.Comment: 7 pages, 12 figures, submitted to PR

Backward error analysis and the substitution law for Lie group integrators

Butcher series are combinatorial devices used in the study of numerical methods for differential equations evolving on vector spaces. More precisely, they are formal series developments of differential operators indexed over rooted trees, and can be used to represent a large class of numerical methods. The theory of backward error analysis for differential equations has a particularly nice description when applied to methods represented by Butcher series. For the study of differential equations evolving on more general manifolds, a generalization of Butcher series has been introduced, called Lie--Butcher series. This paper presents the theory of backward error analysis for methods based on Lie--Butcher series.Comment: Minor corrections and additions. Final versio

Post-Lie Algebras, Factorization Theorems and Isospectral-Flows

In these notes we review and further explore the Lie enveloping algebra of a post-Lie algebra. From a Hopf algebra point of view, one of the central results, which will be recalled in detail, is the existence of a second Hopf algebra structure. By comparing group-like elements in suitable completions of these two Hopf algebras, we derive a particular map which we dub post-Lie Magnus expansion. These results are then considered in the case of Semenov-Tian-Shansky's double Lie algebra, where a post-Lie algebra is defined in terms of solutions of modified classical Yang-Baxter equation. In this context, we prove a factorization theorem for group-like elements. An explicit exponential solution of the corresponding Lie bracket flow is presented, which is based on the aforementioned post-Lie Magnus expansion.Comment: 49 pages, no-figures, review articl

The homotopy theory of simplicial props

The category of (colored) props is an enhancement of the category of colored operads, and thus of the category of small categories. In this paper, the second in a series on "higher props," we show that the category of all small colored simplicial props admits a cofibrantly generated model category structure. With this model structure, the forgetful functor from props to operads is a right Quillen functor.Comment: Final version, to appear in Israel J. Mat