Search results for "Abstract data type"
showing 10 items of 1140 documents
Empirical and theoretical study of atelostomate (Echinoidea, Echinodermata) plate architecture: using graph analysis to reveal structural constraints.
2015
AbstractDescribing patterns of connectivity among organs is essential for identifying anatomical homologies among taxa. It is also critical for revealing morphogenetic processes and the associated constraints that control the morphological diversification of clades. This is particularly relevant for studies of organisms with skeletons made of discrete elements such as arthropods, vertebrates, and echinoderms. Nonetheless, relatively few studies devoted to morphological disparity have considered connectivity patterns as a level of morphological organization or developed comparative frameworks with proper tools. Here, we analyze connectivity patterns among apical plates in Atelostomata, the m…
Design of a Battery/Ultracapacitor Energy Storage System for Electric Vehicle Applications
2018
The battery/ultracapacitors (UCs) integration is able to provide notable advantages in the power management of an electric vehicle (EV), in terms of capability of both high energy storage and readiness to deal with fast load variations. In order to manage the charge (or discharge) of the UCs from (or towards) a DC voltage bus, a proper bi-directional converter is required. In this paper, a bi-directional DC-DC converter in connection with a stack of UCs is described and some power simulation results are provided. The proposed converter is a B2R (buck-boost regulator) type. The load is represented by a 40kW peak power, kept for a time window of 3s, as required by the Worldwide harmonized Lig…
Zeros of {-1,0,1}-power series and connectedness loci for self-affine sets
2006
We consider the set W of double zeros in (0,1) for power series with coefficients in {-1,0,1}. We prove that W is disconnected, and estimate the minimum of W with high accuracy. We also show that [2^(-1/2)-e,1) is contained in W for some small, but explicit e>0 (this was only known for e=0). These results have applications in the study of infinite Bernoulli convolutions and connectedness properties of self-affine fractals.
Process specification and verification
1996
Graph grammars provide a very convenient specification tool for distributed systems of processes. This paper addresses the problem how properties of such specifications can be proven. It shows a connection between algebraic graph rewrite rules and temporal (trace) logic via the graph expressions of [2]. Statements concerning the global behavior can be checked by local reasoning.
A Generalization of Girod's Bidirectional Decoding Method to Codes with a Finite Deciphering Delay
2012
Girod’s encoding method has been introduced in order to efficiently decode from both directions messages encoded by using finite prefix codes. In the present paper, we generalize this method to finite codes with a finite deciphering delay. In particular, we show that our decoding algorithm can be realized by a deterministic finite transducer. We also investigate some properties of the underlying unlabeled graph.
From Requirements to Code in a Model Driven Way
2010
Though there is a lot of support for model driven development the support for complete model driven path from requirements to code is limited. The approach proposed in this paper offers such a path which is fully supported by model transformations. The starting point is semiformal requirements containing behaviour description in a controlled natural language. A chain of models is proposed including analysis, platform independent and platform specific models. A particular architecture style is chosen by means of selecting a set of appropriate design patterns for these models. It is shown how to define informally and then implement in model transformation language MOLA the required transforma…
Examination of the least-squares method applied to the evaluation of physicochemical parameters with linearized equations
1989
Physicochemical parameters are frequently evaluated by the least-squares method after linearization of the equation which relates the experimental variables to the parameters of interest. When a given set of data is treated to evaluate (n+1) parameters. (n+2) nominally identical linearized equations are possible; each of these leads to different sets of values of the parameters which are also affected by different variances. These differences are also observed when statistical weights are used. Two methods for establishing which one of the (n+2) equations is best for fitting the data, i.e., simulation of experiments and propagation of errors, are discussed, compared and applied to a potenti…
Identification of new claudin family members by a novel PSI-BLAST based approach with enhanced specificity.
2006
In an attempt to develop a novel strategy for the identification of new members of protein families by in silico approaches, we have developed a semi-automated procedure of consecutive PSI-BLAST (Position-Specific-Iterated Basic Local Alignment Search Tool) searches incorporating identificiation as well as subsequent validation of putative candidates. For a proof of concept study we chose the search for novel members of the claudin family. The initial step was an iterated PSI-BLAST search starting with the PMP22_Claudin domain of each known member of the claudin family against the human part of the RefSeq Database. Putative new claudin domains derived from the converged list were evaluated …
Experimental Evaluation of Protein Secondary Structure Predictors
2009
Understanding protein biological function is a key issue in modern biology, which is largely determined by its 3D shape. Protein 3D shape, in its turn, is functionally implied by its amino acid sequence. Since the direct inspection of such 3D structures is rather expensive and time consuming, a number of software techniques have been developed in the last few years that predict a spatial model, either of the secondary or of the tertiary form, for a given target protein starting from its amino acid sequence. This paper offers a comparison of several available automatic secondary structure prediction tools. The comparison is of the experimental kind, where two relevant sets of proteins, a non…
A no-go result for the quantum damped harmonic oscillator
2019
Abstract In this letter we show that it is not possible to set up a canonical quantization for the damped harmonic oscillator using the Bateman Lagrangian. In particular, we prove that no square integrable vacuum exists for the natural ladder operators of the system, and that the only vacua can be found as distributions. This implies that the procedure proposed by some authors is only formally correct, and requires a much deeper analysis to be made rigorous.