APERIODICITY, STAR-FREENESS, AND FIRST-ORDER LOGIC DEFINABILITY OF OPERATOR PRECEDENCE LANGUAGES

A classic result in formal language theory is the equivalence among non-counting, or aperiodic, regular languages, and languages defined through star-free regular expressions, or first-order logic. Past attempts to extend this result beyond the realm of regular languages have met with difficulties: for instance it is known that star-free tree languages may violate the non-counting property and there are aperiodic tree languages that cannot be defined through first-order logic. We extend such classic equivalence results to a significant family of deterministic context-free languages, the operator-precedence languages (OPL), which strictly includes the widely investigated visibly pushdown, alias input-driven, family and other structured context-free languages. The OP model originated in the ’60s for defining programming languages and is still used by high performance compilers; its rich algebraic properties have been investigated initially in connection with grammar learning and recently completed with further closure properties and with monadic second order logic definition. We introduce an extension of regular expressions, the OP-expressions (OPE) which define the OPLs and, under the star-free hypothesis, define first-order definable and non-counting OPLs. Then, we prove, through a fairly articulated grammar transformation, that aperiodic OPLs are first-order definable. Thus, the classic equivalence of star-freeness, aperiodicity, and first-order definability is established for the large and powerful class of OPLs. We argue that the same approach can be exploited to obtain analogous results for visibly pushdown languages too

Cytogenetic analysis of the holocentric chromosomes of the aphid Schizaphis graminum

Chromatin organization in the holocentric chromosomes of the aphid Schizaphis graminum has been investigated at a cytological level after C-banding, NOR, Giemsa, DAPI and CMA(3) staining. C-banding technique showed the presence of numerous C bands on the two X chromosomes both in telomeric and intercalary regions, whereas autosomes show a small number of heterochromatic bands. Contrary to the results with other aphid species, in S. graminum the C-banding pattern is peculiar to each chromosome pair, thus allowing the identification of homologues and the reliable reconstruction of a karyotype. These cytogenetic data could be useful for the identification of chromosomal rearrangement eventually occurred between different S. graminum biotypes. Moreover, silver staining and fluorescent in situ hybridization (FISH) with a 28S rDNA probe localized rDNA genes on one telomere of each X chromosome; these are the only brightly fluorescent C-positive regions revealed after CMA(3) staining, whereas all other heterochromatic bands are DAPI positive

Fragmentation studies of high energy ions using CR39 nuclear track detectors

We report on the measurements of the total charge changing fragmentation cross sections in high-energy nucleus-nucleus collisions using Fe, Si and Pb incident ions. Several stacks of CR39 nuclear track detectors with different target combinations were exposed at normal incidence to high energy accelerator beams to integrated densities of about 2000 ions/cm^2. The nuclear track detector foils were chemically etched, and ion tracks were measured using an automatic image analyzer system. The cross section determination is based on the charge identification of beam ions and their fragments and on the reconstruction of their path through the stacks.Comment: 5 pages, 4 EPS figures. Corrected Eq. 3 and Table 1. Presented at the 10th Inter. Symp. Radiat. Phys., Coimbra, Portugal, 17-22 Sept. 200

A Novel MIMO Control for Interleaved Buck Converters in EV DC Fast Charging Applications

This brief proposes a new multiple input multiple output (MIMO) control for off-board electric vehicle (EV) dc fast chargers. The proposed feedback matrix design avoids multiple tuning of controllers in multiple and interconnected loops while improving the performance of interleaved dc buck converters over classical PI/PID controls. The innovative features of the presented strategy are the reference current monotonic tracking from any initial state of charge with an arbitrarily fast settling time and the fast compensation of both load variations and imbalances among the legs. Numerical results validate the performance improvements of the proposed discrete-time MIMO algorithm for interleaved buck converters over classical PI/PID controls. Full-scale hardware-in-the-loop (HIL) and scaled-down prototype experimental results prove the feasibility and effectiveness of the proposal

Fragmentation cross sections of Fe^{26+}, Si^{14+} and C^{6+} ions of 0.3-10 A GeV on CR39, polyethylene and aluminum targets

New measurements of the total and partial fragmentation cross sections in the energy range 0.3-10 A GeV of Fe^{26+}, Si^{14+} and C^{6+} beams on polyethylene, CR39 and aluminum targets are presented. The exposures were made at Brookhaven National Laboratory (BNL), USA, and Heavy Ion Medical Accelerator in Chiba (HIMAC), Japan. The CR39 nuclear track detectors were used to identify the incident and survived beams and their fragments. The total fragmentation cross sections for all targets are almost energy independent while they depend on the target mass. The measured partial fragmentation cross sections are also discussed.Comment: 4 pages, 5 eps figures. Talk given at the 24th International Conference on Nuclear Tracks in Solids, Bologna, Italy, 1-5 September 200

Dual-Active-Bridge Model and Control for Supporting Fast Synthetic Inertial Action

This article proposes a dual-active-bridge control to support the fast synthetic inertial action in DC microgrids. First of all, the selection of the isolated DC/DC converter to link an energy storage system with the DC bus in a microgrid is analyzed and the advantages of the dual-active-bridge converter controlled by a single-phase shift modulation justify its selection. An active front-end can be then adapted to connect the DC bus with an AC grid. Secondly, this paper presents the design of a discrete PI controller for supporting fast synthetic inertial action. In particular, a discrete dual-active-bridge model based on the transferred power between both converter bridges, which overcomes the approximations of the output current linearization model, is proposed. Moreover, the article introduces a novel equation set to directly and dynamically tune discrete PI parameters to fulfill the design frequency specifications based on the inversion formulae method. In this way, during the voltage/power transients on the DC bus, the controller actively responds and recovers those transients within a grid fundamental cycle. Since the developed set of control equations is very simple, it can be easily implemented by a discrete control algorithm, avoiding the use of offline trial and error procedures which may lead to system instability under large load variations. Finally, the proposed control system is evaluated and validated in PLECS simulations and hardware-in-the-loop tests

Evaluation of the Antioxidant Capacity of Fruit Juices by Two Original Analytical Methods

Two analytical methods previously developed by our groups were employed to estimate the antioxidant capacity of commercial fruit juices. The electrochemical method, which measures the scavenging activity of antioxidants towards OH radicals generated by both hydrogen peroxide photolysis and Fenton’s reaction, is based on the recovery of the cyclic voltametric response of the redox probe Ru(NH3)63+ at a Glassy Carbon electrode modified with a thin film of an insulating polyphenol, in the presence of compounds with antioxidant properties. The values of the antioxidant capacity of the fruit juices are expressed as vitamin C equivalents/L. The chromatographic method is based on the generation of OH radicals via Fenton’s reaction in order to test the inhibition of their formation in the presence of antioxidant compounds by monitoring salicylate aromatic hydroxylation derivatives as markers of •OH production, by means of HPLC coupled to coulometric detection. The results are expressed as the percentage of inhibition of •OH production in the presence of the tested juice compared to the control sample. When OH radicals are produced by Fenton’s reaction, the antioxidant capacity of the juices, estimated by both methods, displays an analogous trend, confirming that they can be considered an alternative for measuring the ability of antioxidants to block OH radical formation

Fragmentation of very high energy heavy ions

A stack of CR39 (C12H18O7)n nuclear track detectors with a Cu target was exposed to a 158 A GeV lead ion beam at the CERN-SPS, in order to study the fragmentation properties of lead nuclei. Measurements of the total, break-up and pick-up charge-changing cross sections of ultrarelativistic Pb ions on Cu and CR39 targets are presented and discussed.Comment: 4 pages, 3 EPS figures included with epsf, uses article.sty Talk presented by M. Giorgini at the Int. Conf. on Structure of the Nucleus at the Dawn of the Century, Bologna (Italy), May 29-June 3, 200