Property Testing of Regular Tree Languages

We consider the edit distance with moves on the class of words and the class of ordered trees. We first exhibit a simple tester for the class of regular languages on words and generalize it to the class of ranked and unranked regular trees. We also show that this distance problem is -complete on ordered trees. A preliminary version of this paper appeared in Proceedings of 31st International Colloquium on Automata, Languages and Programming, volume 3142 of Lecture Notes in Computer Science, pages 932–944, Springer, 2005. Work supported by ACI Sécurité Informatique: VERA of the French Ministry of research.     

Software assessment using metrics: A comparison across large C++ and Java systems

This paper presents an assessment method to evaluate the quality of object oriented software systems. The assessment method is based on source code abstraction, object–oriented metrics and graphical representation. The metrics used and the underlying model representing the software are presented. The assessment method experiment is part of an industrial research effort with the Bell Canada Quality Engineering and Research Group. It helps evaluators assess the quality and risks associated with software by identifying code fragments presenting unusual characteristics. The assessment method evaluates object–oriented software systems at three levels of granularity: system level, class level and method level. One large C++ and eight Java software systems, for a total of over one million lines of code, are presented as case studies. A critical analysis of the results is presented comparing the systems and the two languages.     

Differential effects of elevated potassium ion concentration and of theophylline on growth hormone release by rat adenohypophyses in vitro

The effects of 27 mM K+ and of 6.7 mM theophylline on the release of growth hormone (GH) by rat hemipituitaries in vitro were investigated using bioassay (rat tibia test) and radioimmunoassay (RIA). Both agents markedly increased the release of immunoreactive GH. High K+ also promoted the release of bioactive GH but to a much lesser degree than RIA-GH. Theophylline did not consistently affect the release of bioassay-detectable GH. The results suggest that these agents promote massive release of a form of immunoreactive GH (possibly "immature") that has little or no activity in the bioassay. Theophylline is relatively more effective in this regard than is elevated K+.     

Synthèse optimale d’un réseau de télécommunication avec contraintes de sécurité

A commonly used method for achieving a prescribed security level in a telecommunication network is to manage extra capacities all over the network. This paper describes a number of computational methods, both exact and approximate, for determining a minimum cost network of extra capacities needed to achieve security under any given trunk dimensioning, routing and grouping policy. From a mathematical point of view, it is shown that the problem reduces to the determination of a minimum cost network subject to a number of non simultaneous multicommodity flow requirements. Since real life instances of such problems commonly result in very large linear programs of many thousands of variables and constraints, the techniques of linear programming would be unacceptably time and space-consuming. Instead, it is shown how the use of Lagrangean relaxation in conjunction with sub-gradient optimization schemes can lead to efficient and easy-to-implement solution methods. The various procedures described in this paper form the heart of a general software product for long and medium term planning applications (Supersec program) which has already been used to investigate the economical implications of security requirements in telecommunication networks.     

How to take into account general and contextual knowledge for interactive aiding design: Towards the coupling of CSP and CBR approaches

The goal of this paper is to show how it is possible to support design decisions with two different tools relying on two kinds of knowledge: case-based reasoning operating with contextual knowledge embodied in past cases and constraint filtering that operates with general knowledge formalized using constraints. Our goals are, firstly to make an overview of existing works that analyses the various ways to associate these two kinds of aiding tools essentially in a sequential way. Secondly, we propose an approach that allows us to use them simultaneously in order to assist design decisions with these two kinds of knowledge. The paper is organized as follows. In the first section, we define the goal of the paper and recall the background of case-based reasoning and constraint filtering. In the second section, the industrial problem which led us to consider these two kinds of knowledge is presented. In the third section, an overview of the various possibilities of using these two aiding decision tools in a sequential way is drawn up. In the fourth section, we propose an approach that allows us to use both aiding decision tools in a simultaneous and iterative way according to the availability of knowledge. An example dealing with helicopter maintenance illustrates our proposals.     

A modular Petri net to modeling and scenario analysis of a network of road traffic signals

The dynamic behavior of a group of traffic signals controlling a network of intersections is a complex discrete event system that can be modeled by Petri nets. The approach used in this paper proposes a components-based design, which increases modularity, reduces complexity and is a good practice according to modern Systems Engineering. The main system elements are specified based on the proposed Petri net component with time intervals associated to places. The specified models are simulated through the common token player algorithm, and formal analysis using invariants and theorem proving are applied to verify models' soundness and to reason on specific scenarios.     

Application de l'analyse spectrale autoregressive AU traitement de mesures de turbulence

The Autoregressive (AR) Spectral analysis (also called Maximum Entropy Method) is applied here to velocity turbulence measurements. The validity of such a spectral analysis is tested for classical turbulence data collected in a wind tunnel. The AR estimates are compared with classical Fourier estimates (average of short modified periodograms). Both Levinson's and Burg's algorithms are used for calculating the AR coefficient estimates, and Akaike's “FPE” criterion for choosing the length of the AR filter.Such a method shows much interest in processing some geophysical fluid dynamics phenomena which often are intermittent on a physical point of view. Power spectrum time evolution of some very short length (1 min.) data of oceanic turbulence — they cannot be analysed by Fourier techniques — is a fine example.

Abstract

L'Analyse Spectrale Autorégressive (AR) (dite aussi Méthode de l'Entropie Maximale) est appliquée ici à des mesures de turbulence de vitesse. La validité d'une telle analyse a été testée sur des données classiques de turbulence recueillies en soufflerie. On a comparé les estimations AR avec les estimations classiques (moyenne de courts périodogrammes modifiés). On a utilisé pour l'estimation des coefficients AR les algorithmes de Levinson et de Burg, et pour le choix de l'ordre du filtre AR le critère “FPE” d'Akaike.Ce genre de méthode présente un grand intérêt dans le cas du traitement de certains phénomènes de mécanique des fluides géophysiques qui sont souvent intermittents du point de vue physique. Le calcul de l'évolution spectrale de très courtes (1 mn) données de turbulence océanique en est un bon exemple (ces données ne peuvent être analysées par les techniques de Fourier).     

Onde quasi-TEM des guides cylindriques blindés

tem approximation technique is widely used in the study of waveguides characterized by the fundamental mode without cutoff frequency. It seems that exact justification of this approximation has never been delt with before to his knowledge. Here the author is trying to show the justification for a closed waveguide noting the difference between a quasi-TEM wave and an ordinary tem wave.     

A new sarpedobilin-containing butterflyPapilio graphium stresemani stresemani and its bioecological situation within the species

The doubly cyclized bile pigment sarpedobilin (3) represents a unique case in nature. In spite of being present in trace amounts in many butterfly and moth species containing pterobilin (1) or phorcabilin (2) as the main bilin, this substance occurs as the main pigment in a restricted number of species geographically limited to Southeast Asia. We have isolated and identified sarpedobilin3 (as the dimethyl ester) as the main bile pigment fromPapilio graphium stresemani stresemani (from Ceram island, Indonesia) in the amount of ca. 0.1 mg per individual, double that found inPapilio sar-pedon orP. weiskei. We conclude thatP. sarpedon (and subspecies)P. weis-kei, andP. stresemani represent, in terms of evolution (see article), a group of closely related species. By comparison of colored wing patterns and resistance of the chromoproteins to hydrolysis by MeOH-H₂SO₄,P. stresemani is nearP. weiskei. The bioecological relationships of the three sarpedobilin-containing species is discussed.