Search results for "construct"

showing 10 items of 3723 documents

Low-cost approximate reconstructing of heterogeneous microstructures

2016

We propose an approximate reconstruction of random heterogeneous microstructures using the two-exponent power-law (TEPL). This rule originates from the entropic descriptor (ED) that is a multi-scale measure of spatial inhomogeneity for a given microstructure. A digitized target sample is a cube of linear size L in voxels. Then, a number of trial configurations can be generated by a model of overlapping spheres of a fixed radius, which are randomly distributed on a regular lattice. The TEPL describes the averaged maximum of the ED as a function of the phase concentration and the radius. Thus, it can be used to determine the radius. The suggested approach is tested on surrogate samples of cer…

General Computer SciencePhase (waves)FOS: Physical sciencesGeneral Physics and Astronomyentropic descriptor02 engineering and technologycomputer.software_genre01 natural sciencesMeasure (mathematics)heterogeneous microstructuresVoxel0103 physical sciencesGeneral Materials Science010306 general physicsCondensed Matter - Statistical MechanicsMathematicsStatistical Mechanics (cond-mat.stat-mech)3D microstructure reconstructiontwo-exponent power-lawGeneral ChemistryRadiusFunction (mathematics)021001 nanoscience & nanotechnologyMicrostructureSample (graphics)Computational MathematicsMechanics of MaterialsSPHERES0210 nano-technologycomputerAlgorithm
researchProduct

Field Reconstruction for Modeling Multiple Faults in Permanent Magnet Synchronous Motors in Transient States

2021

Conventional field reconstruction model (FRM) for electrical machines has proved its main strength in efficient computations of magnetic fields and forces in healthy permanent magnet synchronous machines (PMSM) or faulty machines in steady states. This study aims to develop a magnet library of different magnet defects and include inter-turn short-circuit (ITSC) in the FRM for PMSM. The developed FRM can model a combination fault between ITSC, and magnet defect in a PMSM in transient states. Within the framework, an 8-turn ITSC was modelled in both finite element analysis (FEA) and FRM, and then identified by the extended Park’s vector approach. The air-gap magnetic field reproduced b…

General Computer ScienceRotor (electric)Computer scienceStatorMathematics::General Mathematicsinter-turn short circuitfield reconstructionGeneral EngineeringFault (power engineering)Finite element methodlaw.inventionMagnetic fieldTK1-9971VDP::Teknologi: 500DemagnetisationlawControl theoryElectromagnetic coilMagnetpermanent magnet synchronous motorGeneral Materials ScienceTransient (oscillation)Electrical engineering. Electronics. Nuclear engineeringIEEE Access
researchProduct

Rapid construction of algebraic axioms from samples

1991

Abstract An axiom is called reliable if it is confirmed in several places in a given sample of algebra. A very effective algorithm for enumerating such axioms is described.

General Computer ScienceTheorySample (material)Theoretical Computer ScienceSeparation axiomAlgebraAxiom of extensionalityMathematics::LogicConstruction of the real numbersTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESTheoryofComputation_LOGICSANDMEANINGSOFPROGRAMSComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONCalculusReverse mathematicsAlgebraic numberAxiomComputer Science(all)MathematicsTheoretical Computer Science
researchProduct

An efficient method for fully automatic 3D digitization of unknown objects

2013

Our goal is to develop a complete and automatic scanning strategy with minimum prior information about the object shape. We aim to establish a methodology for the automation of the 3D digitization process. The paper presents a novel approach to determine the Next Best View (NBV) for an efficient reconstruction of highly accurate 3D models. Our method is based on the classification of the acquired surfaces into Well Visible and Barely Visible combined with a best view selection algorithm based on mean shift, which avoids unreachable positions. Our approach is applicable to all kinds of range sensors. To prove the efficiency and the robustness of our method, test objects are first scanned man…

General Computer Sciencebusiness.industryComputer science3D reconstructionGeneral Engineering[INFO.INFO-CV]Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV]020207 software engineeringRanging02 engineering and technology[ INFO.INFO-CV ] Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV]Automation[INFO.INFO-CV] Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV]Robustness (computer science)Fully automatic0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingComputer visionMean-shiftArtificial intelligencebusinessSelection algorithmDigitization
researchProduct

Cultural transposition: Italian didactic experiences inspired by Chinese and Russian perspectives on whole number arithmetic

2019

The paper presents some reflections and activities developed by researchers and teachers involved in teacher education programs on cultural transposition. The construct of cultural transposition is presented as a condition for decentralizing the didactic practice of a specific cultural context through contact with other didactic practices of different cultural contexts. We discuss the background theoretical issues of this approach and also give an analysis of two examples of cultural transposition experiences carried out in Italy. In particular, by means of qualitative analysis of some excerpts, discussions, and interviews, we show that the contact with different perspectives coming from Ch…

General MathematicsCultural transposition05 social sciencesCultural contextCultural transposition; Early algebra; Whole number arithmetic050301 educationSettore MAT/04 - Matematiche ComplementariCultural transposition · Whole number arithmetic · Early algebraWhole number arithmeticTeacher educationEducationEarly algebraQualitative analysisMathematics (all)0501 psychology and cognitive sciencesTransposition (logic)SociologyArithmeticAlgebra over a fieldConstruct (philosophy)Mathematics instruction0503 education050104 developmental & child psychologyZDM
researchProduct

Weak separation condition, Assouad dimension, and Furstenberg homogeneity

2015

We consider dimensional properties of limit sets of Moran constructions satisfying the finite clustering property. Just to name a few, such limit sets include self-conformal sets satisfying the weak separation condition and certain sub-self-affine sets. In addition to dimension results for the limit set, we manage to express the Assouad dimension of any closed subset of a self-conformal set by means of the Hausdorff dimension. As an interesting consequence of this, we show that a Furstenberg homogeneous self-similar set in the real line satisfies the weak separation condition. We also exhibit a self-similar set which satisfies the open set condition but fails to be Furstenberg homogeneous.

General MathematicsHomogeneity (statistics)ta111Open setPrimary 28A80 Secondary 37C45 28D05 28A50Moran constructioniterated function systemSet (abstract data type)CombinatoricsDimension (vector space)dimensionMathematics - Classical Analysis and ODEsweak separation conditionClassical Analysis and ODEs (math.CA)FOS: MathematicsLimit (mathematics)Limit setCluster analysisReal lineMathematics
researchProduct

NUMERICAL ALGORITHMS

2013

For many systems of differential equations modeling problems in science and engineering, there are natural splittings of the right hand side into two parts, one non-stiff or mildly stiff, and the other one stiff. For such systems implicit-explicit (IMEX) integration combines an explicit scheme for the non-stiff part with an implicit scheme for the stiff part. In a recent series of papers two of the authors (Sandu and Zhang) have developed IMEX GLMs, a family of implicit-explicit schemes based on general linear methods. It has been shown that, due to their high stage order, IMEX GLMs require no additional coupling order conditions, and are not marred by order reduction. This work develops a …

General linear methodsMathematical optimizationIMEX methods; general linear methods; error analysis; order conditions; stability analysisIMEX methodsDifferential equationSCHEMESorder conditionsMathematics AppliedExtrapolationStability (learning theory)QUADRATIC STABILITYstability analysisPARABOLIC EQUATIONSSYSTEMSNORDSIECK METHODSFOS: MathematicsApplied mathematicsMathematics - Numerical AnalysisRUNGE-KUTTA METHODSMULTISTEP METHODSerror analysisMathematicsCONSTRUCTIONSeries (mathematics)Applied MathematicsNumerical analysisComputer Science - Numerical AnalysisStability analysisORDEROrder conditionsNumerical Analysis (math.NA)Computer Science::Numerical AnalysisRunge–Kutta methodsGeneral linear methodsError analysisORDINARY DIFFERENTIAL-EQUATIONSOrdinary differential equationgeneral linear methodsMathematics
researchProduct

Generation of nonlinear current-voltage characteristics. A general method

2002

International audience; A general method allowing to construct nonlinear resistors with arbitrary current-voltage (I-V) characteristics is proposed. The example of a cubic I-V characteristic is presented showing a perfect agreement between the theoretical desired resistor and its electronic realization based on analog multipliers.

General methodApplied MathematicsCurrent–voltage characteristicConstruct (python library)Hardware_PERFORMANCEANDRELIABILITYTopology01 natural sciences010305 fluids & plasmaslaw.invention[ SPI.TRON ] Engineering Sciences [physics]/Electronics[SPI.TRON]Engineering Sciences [physics]/ElectronicsNonlinear systemCurrent voltageControl theorylawModeling and Simulation0103 physical sciencesHardware_INTEGRATEDCIRCUITSResistor010306 general physicsEngineering (miscellaneous)Realization (systems)Mathematics
researchProduct

Finiteness in a Minimalist Foundation

2008

We analyze the concepts of finite set and finite subset from the perspective of a minimalist foundational theory which has recently been introduced by Maria Emilia Maietti and the second author. The main feature of that theory and, as a consequence, of our approach is compatibility with other foundational theories such as Zermelo-Fraenkel set theory, Martin-Lof's intuitionistic Type Theory, topos theory, Aczel's CZF, Coquand's Calculus of Constructions. This compatibility forces our arguments to be constructive in a strong sense: no use is made of powerful principles such as the axiom of choice, the power-set axiom, the law of the excluded middle.

General set theoryMorse–Kelley set theoryNon-well-founded set theoryZermelo–Fraenkel set theoryConstructive set theoryminimalist foundation; finite sets; finite subsets; type theory; constructive mathematicsconstructive mathematicsfinite subsetsUrelementMathematics::LogicType theorytype theoryComputer Science::Logic in Computer ScienceAxiom of choicefinite setsminimalist foundationMathematical economicsMathematics
researchProduct

A fixed point theorem for G-monotone multivalued mapping with application to nonlinear integral equations

2017

We extend notion and theorem of [21] to the case of a multivalued mapping defined on a metric space endowed with a finite number of graphs. We also construct an example to show the generality of our result over existing results. Finally, we give an application to nonlinear integral equations

GeneralityGeneral Mathematics010102 general mathematicsFixed-point theoremFixed pointConstruct (python library)Nonlinear integral equation01 natural sciencesGraph010101 applied mathematicsAlgebraMetric spaceMonotone polygonSettore MAT/05 - Analisi Matematica0101 mathematicsG-monotone multivalued mappingFinite setMathematicsFilomat
researchProduct