Search results for "Cod"

showing 10 items of 2985 documents

Automatic mass spectra recognition for Ultra High Vacuum systems using multilabel classification

2021

Abstract In Ultra High-Vacuum (UHV) systems it is common to find a mixture of many gases originating from surface outgassing, leaks and permeation that contaminate vacuum chambers and cause issues to reach ultimate pressures. The identification of these contaminants is, in general, done manually by trained technicians from the analysis of mass spectra. This task is time consuming and can lead to misinterpretation or partial understanding of issues. The challenge resides in the rapid identification of these contaminants by using some automatic gas identification technique. This paper explores the automatic and simultaneous identification of 80 molecules, including some of the most commonly p…

0209 industrial biotechnologyComputer sciencebusiness.industryUltra-high vacuumGeneral EngineeringBinary numberPattern recognition02 engineering and technologyComputer Science ApplicationsOutgassingIdentification (information)020901 industrial engineering & automationArtificial IntelligenceTest set0202 electrical engineering electronic engineering information engineeringMass spectrum020201 artificial intelligence & image processingRelevance (information retrieval)Artificial intelligencebusinessHamming codeExpert Systems with Applications
researchProduct

Low-cost motion control solution for industrial manufacturing systems

2011

This paperwork deals with a low-cost actuation solution, based upon induction motors, which was seldom used in the motion control systems, especially for the machine tools feed drives. A simulation approach, based upon a mathematical model of the induction motor, for tuning the controllers of the systems is presented. Experimental researches developed upon a two axes motion control system, both axes being driven by alternating current asynchronous motors were also performed in order to test the proposed strategies. The asynchronous motors, used as actuation devices were equipped with incremental rotary encoders and controlled by vector frequency inverters and DSP motion control cards were u…

Rotary encoderEngineeringbusiness.product_categorybusiness.industryControl engineeringMotion controlMachine toolControl theoryAsynchronous communicationNumerical controlTorquebusinessInduction motorMachine control2011 9th IEEE International Conference on Industrial Informatics
researchProduct

A Formal Model for Developing of the self-Diagosing and Self-Repairing 8-Bits Microprocessor, and Its Investigation Using Simulation

1986

Abstract The complete model of functional diagnostics is theoretically described. It specifies the conditions, which must be satisfied if the system to be self-diagnosable. The general principles of constructing self-diagnosable systems are enumerated. The model enables the realization of self-renewal, too. The model has been developed on the basis of the works by Preparata, Metze, Chien (1967) and Hakimi, Amin (1974) . The model contains a method of diagnostics completely separeted from the physical structure of the system. Recent results (Gruber, 1978; Swiatek, 1982) indicate that it is only necessary to know the set of transformations realized by the circuit. The model has been applied t…

Basis (linear algebra)business.industryComputer sciencelaw.inventionSet (abstract data type)MicroprocessorPhysical structureComputer engineeringlawMicrocodeSelf repairingbusinessRealization (systems)Computer hardwareIFAC Proceedings Volumes
researchProduct

Support vector machines in engineering: an overview

2014

This paper provides an overview of the support vector machine SVM methodology and its applicability to real-world engineering problems. Specifically, the aim of this study is to review the current state of the SVM technique, and to show some of its latest successful results in real-world problems present in different engineering fields. The paper starts by reviewing the main basic concepts of SVMs and kernel methods. Kernel theory, SVMs, support vector regression SVR, and SVM in signal processing and hybridization of SVMs with meta-heuristics are fully described in the first part of this paper. The adoption of SVMs in engineering is nowadays a fact. As we illustrate in this paper, SVMs can …

Computer Science::Machine LearningBeamformingData processingSignal processingGeneral Computer ScienceContextual image classificationComputer sciencebusiness.industryMachine learningcomputer.software_genreSupport vector machineComputingMethodologies_PATTERNRECOGNITIONKernel methodState (computer science)Artificial intelligenceData miningbusinesscomputerDecoding methodsWiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery
researchProduct

Star-polynomial identities: computing the exponential growth of the codimensions

2017

Abstract Can one compute the exponential rate of growth of the ⁎-codimensions of a PI-algebra with involution ⁎ over a field of characteristic zero? It was shown in [2] that any such algebra A has the same ⁎-identities as the Grassmann envelope of a finite dimensional superalgebra with superinvolution B. Here, by exploiting this result we are able to provide an exact estimate of the exponential rate of growth e x p ⁎ ( A ) of any PI-algebra A with involution. It turns out that e x p ⁎ ( A ) is an integer and, in case the base field is algebraically closed, it coincides with the dimension of an admissible subalgebra of maximal dimension of B.

Discrete mathematicsPure mathematicsAlgebra and Number Theory010102 general mathematicsSubalgebra010103 numerical & computational mathematicsBase field01 natural sciencesSuperalgebraExponential functionSettore MAT/02 - AlgebraExponential growthSuperinvolutionPolynomial identity Involution Superinvolution Codimensions0101 mathematicsAlgebraically closed fieldANÉIS E ÁLGEBRAS ASSOCIATIVOSMathematicsRate of growth
researchProduct

A Rayleigh-Ritz approach for postbuckling analysis of variable angle tow composite stiffened panels

2018

Abstract A Rayleigh-Ritz solution approach for generally restrained multilayered variable angle tow stiffened plates in postbuckling regime is presented. The plate model is based on the first order shear deformation theory and accounts for geometrical nonlinearity through the von Karman’s assumptions. Stiffened plates are modelled as assembly of plate-like elements and penalty techniques are used to join the elements in the assembled structure and to apply the kinematical boundary conditions. General symmetric and unsymmetric stacking sequences are considered and Legendre orthogonal polynomials are employed to build the trial functions. A computer code was developed to implement the propose…

Rayleigh–Ritz methodEngineeringSource codemedia_common.quotation_subjectComposite numberStructure (category theory)02 engineering and technologyPhysics::Fluid Dynamics0203 mechanical engineeringGeneral Materials ScienceBoundary value problemSettore ING-IND/04 - Costruzioni E Strutture AerospazialiVariable angle tow composites Composite stiffened plates Postbuckling analysis Rayleigh-Ritz method First Order Shear DeformationLegendre polynomialsCivil and Structural Engineeringmedia_commonbusiness.industryMechanical EngineeringStructural engineering021001 nanoscience & nanotechnologyFinite element methodComputer Science Applications020303 mechanical engineering & transportsModeling and SimulationOrthogonal polynomials0210 nano-technologybusinessComputers & Structures
researchProduct

Strongly invertible links and divides

2008

Abstract To a proper generic immersion of a finite number of copies of the unit interval in a 2-disc, called a divide, A’Campo associates a link in S 3 . From the more general notion of ordered Morse signed divides, one obtains a braid presentation of links of divides. In this paper, we prove that every strongly invertible link is isotopic to the link of an ordered Morse signed divide. We give fundamental moves for ordered Morse signed divides and show that strongly invertible links are equivalent if and only if we can pass from one ordered Morse signed divide to the other by a sequence of such moves. Then we associate a polynomial to an ordered Morse signed divide, invariant for these move…

Discrete mathematicsDividesMorse codelaw.inventionCombinatoricsMorse signed dividesInvertible matrixlawBraidImmersion (mathematics)Strongly invertible linksGeometry and TopologyInvariant (mathematics)Finite setMathematicsTopology
researchProduct

Gray code for permutations with a fixed number of cycles

2007

AbstractWe give the first Gray code for the set of n-length permutations with a given number of cycles. In this code, each permutation is transformed into its successor by a product with a cycle of length three, which is optimal. If we represent each permutation by its transposition array then the obtained list still remains a Gray code and this allows us to construct a constant amortized time (CAT) algorithm for generating these codes. Also, Gray code and generating algorithm for n-length permutations with fixed number of left-to-right minima are discussed.

Golomb–Dickman constantPolynomial codeRestricted permutationsGenerating algorithms0102 computer and information sciences02 engineering and technology01 natural sciencesTheoretical Computer ScienceGray codeCombinatoricsPermutation[MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]0202 electrical engineering electronic engineering information engineeringDiscrete Mathematics and CombinatoricsTransposition arrayComputingMilieux_MISCELLANEOUSMathematicsDiscrete mathematicsSelf-synchronizing codeAmortized analysisMathematics::CombinatoricsParity of a permutation020206 networking & telecommunicationsGray codes010201 computation theory & mathematicsConstant-weight codeMathematicsofComputing_DISCRETEMATHEMATICS
researchProduct

On multiplicities of cocharacters for algebras with superinvolution

2021

Abstract In this paper we deal with finitely generated superalgebras with superinvolution, satisfying a non-trivial identity, whose multiplicities of the cocharacters are bounded by a constant. Along the way, we prove that the codimension sequence of such algebras is polynomially bounded if and only if their colength sequence is bounded by a constant.

Pure mathematicsSequenceMultiplicitiesAlgebra and Number TheoryMathematics::Commutative AlgebraSuperinvolution010102 general mathematicsCodimensionCocharacters; Colength; Multiplicities; SuperinvolutionCocharacters01 natural sciencesmultiplicitiecocharacterSettore MAT/02 - AlgebraIdentity (mathematics)SuperinvolutionBounded function0103 physical sciences010307 mathematical physicsFinitely-generated abelian groupColength0101 mathematicsConstant (mathematics)Mathematics
researchProduct

Human cationic amino acid transporter hCAT-3 is preferentially expressed in peripheral tissues.

2001

At least five distinct carrier proteins form the family of mammalian cationic amino acid transporters (CATs). We have cloned a cDNA containing the complete coding region of human CAT-3. hCAT-3 is glycosylated and localized to the plasma membrane. Transport studies in Xenopus laevis oocytes revealed that hCAT-3 is selective for cationic L-amino acids and exhibits a maximal transport activity similar to other CAT proteins. The apparent substrate affinity and sensitivity to trans-stimulation of hCAT-3 resembles most closely hCAT-2B. This is in contrast to rat and murine CAT-3 proteins that have been reported to display a very low activity and to be inhibited by neutral and anionic L-amino acid…

MaleDNA ComplementaryGene ExpressionThymus GlandIn Vitro TechniquesBiochemistryCell LineMiceXenopus laevisComplementary DNACoding regionAnimalsHumansTissue DistributionAmino acid transporterAmino Acid SequenceCationic Amino Acid Transporterschemistry.chemical_classificationCATSBase SequenceChemistryCationic polymerizationBrainMembrane ProteinsAmino acidRatsBiochemistryCarrier proteinOocytesAmino Acid Transport Systems BasicFemaleCarrier ProteinsBiochemistry
researchProduct