Search results for "NDT"

showing 10 items of 604 documents

Defect detection in laser powder deposition components by laser thermography and laser ultrasonic inspections

2013

Laser Powder Deposition (LDP) techniques are being adopted within aerospace and automotive manufacturing to produce innovative precision components. Non-destructive techniques (NDT) for detecting and quantifying flaws within these components enables performance and acceptance criteria to be verified, improving product safety and reducing ongoing maintenance and product repair costs. In this work, software enabled techniques are presented for in-process analysis of NDT laser ultrasonic signals and pulsed laser thermography images of sequential metallic LPD layers. LPD tracks can be as thin as 200μm while deposited at a rate of 500 mm/min, requiring ultrafast inspection and processing times. …

Pulsed laserbusiness.industryComputer scienceInterface (computing)Mechanical engineeringLaserLaser Powder Deposition Laser Ultrasonic Laser Thermography NDT defect detection defect identificationlaw.inventionMetalSoftwarelawNondestructive testingvisual_artThermographyvisual_art.visual_art_mediumUltrasonic sensorbusinessAerospaceSPIE Proceedings
researchProduct

Virtual and arrow Temperley–Lieb algebras, Markov traces, and virtual link invariants

2021

Let [Formula: see text] be the algebra of Laurent polynomials in the variable [Formula: see text] and let [Formula: see text] be the algebra of Laurent polynomials in the variable [Formula: see text] and standard polynomials in the variables [Formula: see text] For [Formula: see text] we denote by [Formula: see text] the virtual braid group on [Formula: see text] strands. We define two towers of algebras [Formula: see text] and [Formula: see text] in terms of diagrams. For each [Formula: see text] we determine presentations for both, [Formula: see text] and [Formula: see text]. We determine sequences of homomorphisms [Formula: see text] and [Formula: see text], we determine Markov traces […

Pure mathematicsAlgebra and Number TheoryMarkov chainComputer Science::Information Retrieval010102 general mathematicsAstrophysics::Instrumentation and Methods for AstrophysicsComputer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)0102 computer and information sciences01 natural sciencesTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES010201 computation theory & mathematicsComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONComputingMethodologies_DOCUMENTANDTEXTPROCESSINGArrowComputer Science::General Literature0101 mathematicsAlgebra over a fieldVirtual linkComputingMilieux_MISCELLANEOUSMathematicsVariable (mathematics)Journal of Knot Theory and Its Ramifications
researchProduct

Formations of Monoids, Congruences, and Formal Languages

2015

The main goal in this paper is to use a dual equivalence in automata theory started in [25] and developed in [3] to prove a general version of the Eilenberg-type theorem presented in [4]. Our principal results confirm the existence of a bijective correspondence between three concepts; formations of monoids, formations of languages and formations of congruences. The result does not require finiteness on monoids, nor regularity on languages nor finite index conditions on congruences. We relate our work to other results in the field and we include applications to non-r-disjunctive languages, Reiterman s equational description of pseudovarieties and varieties of monoids.

Pure mathematicsGeneral Computer ScienceApplied MathematicsData ScienceCWI Technical Report reportFormationsLlenguatges de programacióAbstract family of languagesCongruence relationlcsh:QA75.5-76.95Formal languagesMathematics::Category TheoryFormal languageComputingMethodologies_DOCUMENTANDTEXTPROCESSINGBijectionAutomata theorylcsh:Electronic computers. Computer scienceÀlgebraEquivalence (formal languages)SemigroupsMATEMATICA APLICADAAlgorithmAutomata theoryMathematicsScientific Annals of Computer Science
researchProduct

ON GENERALISED PRONORMAL SUBGROUPS OF FINITE GROUPS

2014

AbstractFor a formation $\mathfrak F$, a subgroup M of a finite group G is said to be $\mathfrak F$-pronormal in G if for each g ∈ G, there exists x ∈ 〈U,Ug〉$\mathfrak F$ such that Ux = Ug. Let f be a subgroup embedding functor such that f(G) contains the set of normal subgroups of G and is contained in the set of Sylow-permutable subgroups of G for every finite group G. Given such an f, let fT denote the class of finite groups in which f(G) is the set of subnormal subgroups of G; this is the class of all finite groups G in which to be in f(G) is a transitive relation in G. A subgroup M of a finite group G is said to be $\mathfrak F$-normal in G if G/CoreG(M) belongs to $\mathfrak F$. A sub…

Pure mathematicsGeneral MathematicsComputingMethodologies_DOCUMENTANDTEXTPROCESSINGMathematicsGlasgow Mathematical Journal
researchProduct

Le numérique à l'école primaire. Analyse des effets conjoints sur les élèves et les enseignants

2020

International audience; Les technologies numériques sont investies en France depuis plusieurs années par les pouvoirs politiques comme un instrument de lutte contre l'échec scolaire. L'hypothèse est parfois faite que les technologies de l'information et de la communication en éducation (TICE) améliorent sensiblement la qualité de l'éducation en modifiant et facilitant les conditions d'apprentissage des élèves. Cependant, les travaux de recherche montrent des effets relativement ambigus de l'utilisation des nouvelles technologies sur les acquis des élèves.

PédagogieTICEffetTechnologie de l'éducationQualité de l'éducation[SHS.EDU]Humanities and Social Sciences/Education[SHS.EDU] Humanities and Social Sciences/EducationPratique numériqueCondtion d'enseignementEchec scolairePolitique de lutteApprentissage scolaireTICERéussite scolaire
researchProduct

Introducing a novel mesh following technique for approximation-free robotic tool path trajectories

2017

Abstract Modern tools for designing and manufacturing of large components with complex geometries allow more flexible production with reduced cycle times. This is achieved through a combination of traditional subtractive approaches and new additive manufacturing processes. The problem of generating optimum tool-paths to perform specific actions (e.g. part manufacturing or inspection) on curved surface samples, through numerical control machinery or robotic manipulators, will be increasingly encountered. Part variability often precludes using original design CAD data directly for toolpath generation (especially for composite materials), instead surface mapping software is often used to gener…

QA750209 industrial biotechnologyEngineeringComputational MechanicsMesh following techniqueCAD02 engineering and technologyTool path generationTriangular meshescomputer.software_genreNDT020901 industrial engineering & automationSoftwarelcsh:TA1740202 electrical engineering electronic engineering information engineeringComputer Aided DesignEngineering (miscellaneous)SimulationCommercial softwareSubtractive colorbusiness.industry020207 software engineeringRoboticsRoboticslcsh:Engineering designComputer Graphics and Computer-Aided DesignHuman-Computer InteractionComputational MathematicsModeling and SimulationComputer-aided manufacturingNumerical controlArtificial intelligencebusinessAlgorithmcomputerJournal of Computational Design and Engineering
researchProduct

Direct measurement of the mass difference between top and antitop quarks

2009

We present a direct measurement of the mass difference between top and antitop quarks (dm) in lepton+jets top-antitop final states using the "matrix element" method. The purity of the lepton+jets sample is enhanced for top-antitop events by identifying at least one of the jet as originating from a b quark. The analyzed data correspond to 3.6 fb-1 of proton-antiproton collisions at 1.96 TeV acquired by D0 in Run II of the Fermilab Tevatron Collider. The combination of the e+jets and mu+jets channels yields dm = 0.8 +/- 1.8 (stat) +/- 0.5 (syst) GeV, which is in agreement with the standard model expectation of no mass difference.

QuarkNuclear and High Energy PhysicsAntiparticleParticle physicsAstrophysics::High Energy Astrophysical PhenomenaTevatronFOS: Physical sciencesGeneral Physics and AstronomyElementary particle01 natural sciences7. Clean energyBottom quarkHigh Energy Physics - ExperimentNuclear physicsHigh Energy Physics - Experiment (hep-ex)0103 physical sciences[PHYS.HEXP]Physics [physics]/High Energy Physics - Experiment [hep-ex]Fermilab010306 general physicsNuclear ExperimentPhysics010308 nuclear & particles physicsHigh Energy Physics::PhenomenologyAntimatterExperimental High Energy PhysicsComputingMethodologies_DOCUMENTANDTEXTPROCESSINGHigh Energy Physics::ExperimentLepton
researchProduct

b-Jet identification in the D0 experiment

2010

Algorithms distinguishing jets originating from b quarks from other jet flavors are important tools in the physics program of the D0 experiment at the Fermilab Tevatron p-pbar collider. This article describes the methods that have been used to identify b-quark jets, exploiting in particular the long lifetimes of b-flavored hadrons, and the calibration of the performance of these algorithms based on collider data.

QuarkNuclear and High Energy PhysicsParticle physicsAstrophysics::High Energy Astrophysical PhenomenaHigh Energy Physics::LatticeHadronNuclear TheoryTevatronFOS: Physical sciencesJet (particle physics)01 natural scienceslaw.inventionHigh Energy Physics - ExperimentNuclear physicsHigh Energy Physics - Experiment (hep-ex)law0103 physical sciences[PHYS.HEXP]Physics [physics]/High Energy Physics - Experiment [hep-ex]Fermilab010306 general physicsColliderInstrumentationPhysics010308 nuclear & particles physicsHigh Energy Physics::PhenomenologyD0 experimentb-taggingExperimental High Energy PhysicsComputingMethodologies_DOCUMENTANDTEXTPROCESSINGPhysics::Accelerator PhysicsHigh Energy Physics::Experiment
researchProduct

Improved $b$ quark jet identification at the D0 experiment

2013

The ability to identify jets which originated from $b$ quarks is an important tool of the physics program of the D0 experiment at the Fermilab Tevatron $p\bar{p}$ collider. This article describes a new algorithm designed to select jets originating from $b$ quarks while suppressing the contamination caused by jets from other quark flavors and gluons. Additionally, a new technique, the SystemN method, for determining the misidentification rate directly from data is presented.

QuarkNuclear and High Energy PhysicsParticle physicsHigh Energy Physics::LatticeNuclear TheoryTevatronFOS: Physical sciencesJet (particle physics)01 natural sciencesBottom quarkHigh Energy Physics - Experimentlaw.inventionNuclear physicsHigh Energy Physics - Experiment (hep-ex)law0103 physical sciences[PHYS.HEXP]Physics [physics]/High Energy Physics - Experiment [hep-ex]Fermilab010306 general physicsColliderInstrumentationPhysics010308 nuclear & particles physicsHigh Energy Physics::PhenomenologyD0 experimentGluonExperimental High Energy PhysicsComputingMethodologies_DOCUMENTANDTEXTPROCESSINGHigh Energy Physics::Experiment
researchProduct

A search for new physics in dijet mass and angular distributions in pp collisions at [subscript √s=7] TeV measured with the ATLAS detector

2011

A search for new interactions and resonances produced in LHC proton–proton (pp) collisions at a centre-of-mass energy ps = 7 TeV was performed with the ATLAS detector. Using a dataset with an integrated luminosity of 36 pb−1, dijet mass and angular distributions were measured up to dijet masses of 3.5 TeV and were found to be in good agreement with Standard Model predictions. This analysis sets limits at 95% CL on various models for new physics: an excited quark is excluded for mass between 0.60 and 2.64 TeV, an axigluon hypothesis is excluded for axigluon masses between 0.60 and 2.10 TeV and quantum black holes are excluded in models with six extra space–time dimensions for quantum gravity…

QuarkParticle physicsChiral ColorCiências Naturais::Ciências FísicasPhysics beyond the Standard ModelAstrophysics::High Energy Astrophysical Phenomena:Ciências Físicas [Ciências Naturais]General Physics and AstronomyFOS: Physical sciencesddc:500.2dijet; mass; pp collisionts; ATLAS detector5307. Clean energy01 natural sciencesStandard ModelHigh Energy Physics - ExperimentNuclear physicsHigh Energy Physics - Experiment (hep-ex)Atlas (anatomy)Chiral color0103 physical sciencesmedicine[PHYS.HEXP]Physics [physics]/High Energy Physics - Experiment [hep-ex]String resonance010306 general physicsPhysicsQuantum chromodynamicsLarge Hadron ColliderScience & Technology010308 nuclear & particles physicsParton DistributionsSettore FIS/01 - Fisica SperimentaleHigh Energy Physics::PhenomenologyFísicaHadron CollidersQCDmedicine.anatomical_structureExperimental High Energy Physicsddc:540ComputingMethodologies_DOCUMENTANDTEXTPROCESSINGQuarkFísica nuclearHigh Energy Physics::ExperimentParticle Physics - Experiment
researchProduct