Search results for " generation."

showing 10 items of 1108 documents

Industrial Scaled Automated Structural Testing with the Evolutionary Testing Tool

2010

Evolutionary testing has been researched and promising results have been presented. However, evolutionary testing has remained predominately a research-based activity not practiced within industry. Although attempts have been made, such as Daimler's Evolutionary Structural Test (EST) prototype, until now, no such tool has been suitable for industrial adoption. The European project EvoTest (IST-33472) team has been working from 2006 till2009 to improve this situation. This paper describes the final version of the Evolutionary Testing Framework (ETF) resulting from the EvoTest project. In specific we will present the EvoTest Structural Testing tool for fully automatic structural testing that …

Test strategyComputer sciencebusiness.industryTest data generationSystems engineeringInformation systemSystem testingArchitecturebusinessAutomationEvolutionary computationTest (assessment)2010 Third International Conference on Software Testing, Verification and Validation
researchProduct

Study of Tetragonal Phase in 0.4Na1/2Bi1/2TiO3-(0.6-x)SrTiO3-xPbTiO3Solid Solutions by Second-Harmonic Generation

2015

Description of the local symmetry of relaxor ferroelectrics, especially in connection with nature of polar nanoregions, is one of the key questions in research of relaxor ferroelectrics. Unlike such well-known relaxor ferroelectrics as PbMg1/3Nb2/3O3 and (Pb,La)(Zr0.65Ti0.35)O3, ternary solid solutions 0.4Na1/2Bi1/2TiO3-(0.6-x)SrTiO3-xPbTiO3 show clear coexistence of phases of tetragonal and cubic symmetry, which is established by x-ray diffractometry. Since the second-harmonic generation spectroscopy is a sensitive tool in determination of deviation from symmetry, containing a centre of inversion, it is used as an additional method in characterization of structure in 0.4Na1/2Bi1/2TiO3-(0.6…

Tetragonal crystal systemPhase transitionMaterials scienceCondensed matter physicsLocal symmetrySecond-harmonic generationCondensed Matter PhysicsSpectroscopyTernary operationFerroelectricityElectronic Optical and Magnetic MaterialsSolid solutionFerroelectrics
researchProduct

Recursive modeling for completed code generation

2009

Model-Driven Development is promising to software development because it can reduce the complexity and cost of developing large software systems. The basic idea is the use of different kinds of models during the software development process, transformations between them, and automatic code generation at the end of the development. But unlike the structural parts, fully-automated code generation from the behavior parts is still hard, if it works at all, restricted to specific application areas using a domain specific language, DSL.This paper proposes an approach to model the behavior parts of a system and to embed them into the structural models. The underlying idea is recursive refinements …

Theoretical computer scienceSource codeCode reviewbusiness.industryComputer scienceProgramming languagemedia_common.quotation_subjectSoftware developmentStatic program analysiscomputer.software_genreLinear code sequence and jumpSoftware constructionKPI-driven code analysisCode generationbusinesscomputermedia_commonProceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture
researchProduct

Thermalization and condensation in an incoherently pumped passive optical cavity

2011

International audience; We study theoretically and numerically the condensation and the thermalization of classical optical waves in an incoherently pumped passive Kerr cavity. We show that the dynamics of the cavity exhibits a turbulent behavior that can be described by the wave turbulence theory. A mean-field kinetic equation is derived, which reveals that, in its high finesse regime, the cavity behaves essentially as a conservative Hamiltonian system. In particular, the intracavity turbulent field is shown to relax adiabatically toward a thermodynamic equilibrium state of energy equipartition. As a consequence of this effect of wave thermalization, the incoherent optical field undergoes …

Thermodynamic equilibriumPlane wavePhysics::OpticsOptical fieldFrequency conversionincluding higher-order harmonic generation01 natural sciencesoptical instabilitiesharmonic generationlaw.inventionSchrödinger equation010309 opticssymbols.namesakelawQuantum mechanicsDynamics of nonlinear optical systems0103 physical sciences010306 general physicsEquipartition theoremPhysics[PHYS.PHYS.PHYS-OPTICS]Physics [physics]/Physics [physics]/Optics [physics.optics][ PHYS.PHYS.PHYS-OPTICS ] Physics [physics]/Physics [physics]/Optics [physics.optics]and optical spatio-temporal dynamicsAtomic and Molecular Physics and OpticsOptical cavityQuantum electrodynamicssymbolsDissipative systemoptical chaos and complexityHamiltonian (quantum mechanics)Coherence
researchProduct

Intracavity Frequency Doubling and Difference Frequency Mixing for Pulsed ns Ti:Sapphire Laser Systems at On-Line Radioactive Ion Beam Facilities

2015

Intra-cavity second harmonic generation of a Titanium:sapphire (Ti:sa) laser system has been used to improve the conversion efficiency to the second harmonic. Over the course of several experiments performance data spanning the whole wavelength range of a Ti:sa has been collected, which may be used as a guideline for future experiments. An average output power of up to 3.7 W was achieved, resulting in a conversion efficiency of >75 % to the second harmonic. A wavelength coverage from 340-525 nm has been demonstrated. To extend the wavelength range of the solid state laser system, difference frequency mixing has been applied to the intra-cavity doubled light and the fundamental output of a s…

Ti:sapphireMaterials scienceta114Ion beambusiness.industryEnergy conversion efficiencyTi:sapphire laserSecond-harmonic generationLaserlaw.inventionWavelengthOpticsSolid-state laserlawfrequency mixingresonance ionization spectroscopyHarmonicbusinessProceedings of the Conference on Advances in Radioactive Isotope Science (ARIS2014)
researchProduct

Defects in quantum ring to control high-harmonic spectrum

2017

AbstractThe high-harmonic generation from a structured quantum ring (SQR) driven by an intense laser field is presented within the single active electron approximation. The spectrum is studied by varying the symmetry of the physical system. The standard SQR (six identical and equidistant dots in a ring) presents a 60° rotational symmetry, that in this work is broken, moving or changing only one potential hole. We find that careful designed breaking of the geometrical symmetry of the SQR opens the possibility of controlling the characteristics of the harmonic lines such as intensity and polarization. HHG analysis of the emission spectrum performed through a Morlet wavelet, shows that the hig…

Time-resolved spectroscopyPhysicsAtomic and Molecular Physics and OpticIntense laserCondensed Matter Physic02 engineering and technology021001 nanoscience & nanotechnologyCondensed Matter PhysicsRing (chemistry)01 natural sciencesSettore FIS/03 - Fisica Della MateriaAtomic and Molecular Physics and OpticsElectron dynamicHarmonic spectrum0103 physical sciencesHigh-harmonic generationElectrical and Electronic EngineeringAtomic physics010306 general physics0210 nano-technologyQuantum ringQuantumLaser and Particle Beams
researchProduct

Progress of the conceptual design of the European DEMO breeding blanket, tritium extraction and coolant purification systems

2020

Abstract In the frame of the EUROfusion consortium activities the Helium Cooled Pebble Bed (HCPB) and the Water Cooled Lithium Lead (WCLL) concepts are being developed as possible candidates to become driver Breeding Blanket (BB) for the EU DEMO, which aims at the tritium self-sufficiency and net electricity production. The two BB design options encompass water or helium as coolants and solid ceramic with beryllium/beryllides or PbLi as tritium breeder and neutron multipliers. The BB segments have evolved towards a more stable conceptual design taking into account multiple feasibility aspects and requirements imposed by interfacing systems. Possible solutions to improve shielding capabiliti…

TokamakTritium extraction and removalNuclear engineeringchemistry.chemical_elementIsolation valveBlanket7. Clean energy01 natural sciences010305 fluids & plasmaslaw.inventionBreeder (animal)Conceptual designlaw0103 physical sciencesGeneral Materials Science010306 general physicsSettore ING-IND/19 - Impianti NucleariCivil and Structural EngineeringMechanical EngineeringCoolant purificationCoolantElectricity generationNuclear Energy and EngineeringchemistryEnvironmental scienceBreeding blanketBeryllium
researchProduct

Search for same-sign top-quark production and fourth-generation down-type quarks in pp collisions at √s = 7 TeV with the ATLAS detector

2012

A search is presented for same-sign top-quark production and down-type heavy quarks of charge −1/3 in events with two isolated leptons (e or μ) that have the same electric charge, at least two jets and large missing transverse momentum. The data are selected from pp collisions at √s=7TeV recorded by the ATLAS detector and correspond to an integrated luminosity of 1.04 fb−1. The observed data are consistent with expectations from Standard Model processes. Upper limits are set at 95 % confidence level on the cross section of new sources of same-sign top-quark pair production of 1.4-2.0 pb depending on the assumed mediator mass. Upper limits are also set on the pair-production cross-section fo…

Top quarkFOURTH GENERATIONHardron-Hadron Scattering01 natural sciences7. Clean energySettore FIS/04 - Fisica Nucleare e SubnucleareHigh Energy Physics - ExperimentHigh Energy Physics - Experiment (hep-ex)[PHYS.HEXP]Physics [physics]/High Energy Physics - Experiment [hep-ex]ddc:539PhysicsSettore FIS/01 - Fisica SperimentaleATLASmedicine.anatomical_structureComputingMethodologies_DOCUMENTANDTEXTPROCESSINGFísica nuclearLHCpp collisionsParticle Physics - ExperimentQuarkNuclear and High Energy PhysicsParticle physicsCiências Naturais::Ciências Físicas:Ciências Físicas [Ciências Naturais]FOS: Physical sciencesddc:500.2Hadron-hadron scatteringTOP QUARKElectric charge530Standard ModelquarksNuclear physicsAtlas (anatomy)0103 physical sciencesmedicineddc:530High Energy Physics010306 general physicsScience & Technology010308 nuclear & particles physicsATLAS DetectorHigh Energy Physics::PhenomenologyFísicaCharge (physics)PERFORMANCEPair productionHADRON-HADRON COLLISIONSExperimental High Energy PhysicsHigh Energy Physics::ExperimentLepton
researchProduct

Review and comparison of experimental techniques used for determination of thin film electro-optic coefficients

2015

The results of electro-optic coefficient measurements performed with three commonly applied techniques used to assess electro-optic coefficients: the Mach–Zehnder, the Teng–Man, and the attenuated total reflectance technique are reported. It is shown that the signal obtained by the Mach–Zehnder and Teng–Man techniques is strongly influenced by the multiple internal reflection and piezo- and electrostrictive thickness change effects, which in our opinion have not been addressed sufficiently in the literature. A novel approach based on using Abeles matrix formalism is implemented for the retrieval of electro-optic coefficients from experimental data. The measurement results, errors, and compa…

Total internal reflectionMaterials scienceElectrostrictionbusiness.industrySecond-harmonic generationNonlinear opticsSurfaces and InterfacesCondensed Matter PhysicsSignalSurfaces Coatings and FilmsElectronic Optical and Magnetic MaterialsOpticsModulationAttenuated total reflectionMaterials ChemistrySensitivity (control systems)Electrical and Electronic Engineeringbusinessphysica status solidi (a)
researchProduct

A Models-to-Program Information Systems Engineering Method

2021

The Model-Driven Development paradigm aims to represent all the information system features through models. Conceptual-Model Programming offers a similar approach, but with a focus on automatic code generation. Both approaches consider modeling and traceability of different abstraction levels, where each level can be tackled with different modeling methods. This heterogeneity introduces a challenge for the quality of the traceability and transformations among models, especially when aiming for automatic code generation. In this paper, we introduce a holistic conceptual-model programming method to generate code from different abstraction levels (from the problem space to the solution space),…

TraceabilityBusiness processbusiness.industryModeling languageComputer sciencemedia_common.quotation_subjectConsistency (database systems)Conceptual modelInformation systemCode generationSoftware engineeringbusinessmedia_commonAbstraction (linguistics)
researchProduct