Search results for "Turing"

showing 10 items of 2644 documents

Economical Models for Reconfigurable Manufacturing Systems

2007

Dedicated manufacturing lines (DML), flexible manufacturing systems (FMS) and reconfigurable manufacturing systems (RMS) are, nowadays, the three production paradigms representing three ways of thinking and implementing production systems. Nevertheless, very few researches aim at clearly defining the convenience of such three manufacturing paradigms with regards to the market and competition characteristics in which the company plans to play. This chapter goes toward such a direction; in particular, an investment model for each kind of manufacturing system (DML, FMS, RMS) is proposed; these models are able to consider several market and competition issues such as product demand dynamic over…

Computer scienceInvestment Cost Flexible Manufacturing System Reconfigurable Manufacturing System Scope Economy Flexible MachineFlexible manufacturing systemReconfigurable Manufacturing SystemInvestment costSettore ING-IND/35 - Ingegneria Economico-GestionaleManufacturing systemsManufacturing engineering
researchProduct

Transformations that preserve learnability

1996

We consider transformations (performed by general recursive operators) mapping recursive functions into recursive functions. These transformations can be considered as mapping sets of recursive functions into sets of recursive functions. A transformation is said to be preserving the identification type I, if the transformation always maps I-identifiable sets into I-identifiable sets.

Computer scienceLearnabilityType (model theory)Inductive reasoningAlgebraTuring machinesymbols.namesakeIdentification (information)TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESTransformation (function)TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMSRecursive functionssymbolsInitial segment
researchProduct

Design, Control, and Analysis of Nonlinear Circuits with Tunnel Diode with Piecewise Affine Dynamics

2019

Computer scienceMechanical EngineeringDynamics (mechanics)Nonlinear circuitsEnergy Engineering and Power TechnologyDesign controlIndustrial and Manufacturing EngineeringNonlinear systemControl theoryLimit cycleAutomotive EngineeringTunnel diodePiecewise affineElectrical and Electronic EngineeringFormal verificationIEEJ Journal of Industry Applications
researchProduct

Fault detection for continuous-time switched systems under asynchronous switching

2013

In this chapter, the problem of FD for continuous-time switched systems under asynchronous switching is investigated. The designed FD filter is assumed to be asynchronous with the original systems. Attention is focused on designing a FD filter such that the estimation error between the residual and the fault is minimized in the sense of H ∞ norm. By employing piecewise Lyapunov function and ADT techniques, a sufficient condition for the existence of such a filter is exploited in terms of certain LMIs. Finally, an example is provided to illustrate the effectiveness of the proposed approach.

Computer scienceMechanical EngineeringGeneral Chemical EngineeringBiomedical EngineeringAerospace EngineeringPiecewise lyapunov functionResidualIndustrial and Manufacturing EngineeringFault detection and isolationStuck-at faultControl and Systems EngineeringControl theoryAsynchronous communicationNorm (mathematics)Electrical and Electronic EngineeringInternational Journal of Robust and Nonlinear Control
researchProduct

On the use of SLS tools in sheet metal stamping

2003

Abstract A few rapid tooling technologies have been recently proposed and among them Selective Laser Sintering is probably one of the most relevant and promising. In the paper, the authors report some results of a wide experimental research on the application of SLS tools in sheet metal forming. A wear test was earned out to investigate the progressive degradation of laser-sintered materials in comparison with traditional cold-work steels. In particular SLS tools were utilized in a sheet metal stamping process of S-shaped parts: their performances (in terms of tool wear and dimensional quality of the stamped part) were compared with the ones of traditional tools.

Computer scienceMechanical EngineeringMechanical engineeringRapid toolingRapidManufacturing engineeringExperimental researchIndustrial and Manufacturing Engineeringlaw.inventionSelective laser sinteringWearlawSheet metal stampingvisual_artvisual_art.visual_art_mediumToolingTool wearSheet metal
researchProduct

Advanced C++11 Multithreading

2018

Abstract The previous chapter introduced the basic concepts of multithreading using the C++11 threading API starting with basic spawn and join approaches, while finishing with non-trivial synchronization based on mutexes and condition variables. However, the major bottleneck of application performance is usually caused by contention for a shared resource. In case of mutex-based programming all participating threads usually try to acquire the same lock in parallel which effectively serializes the program for lightweight operations such as increment/decrement or updates of a single scalar value. Fortunately, modern CPUs provide dedicated commands that allow for the efficient execution of unin…

Computer scienceMonitorMultithreadingThreading (manufacturing)Operating systemSemaphorecomputer.software_genreData typecomputerBottleneckSpawn (computing)Shared resource
researchProduct

An introduction to knowledge computing

2014

This paper deals with the challenges related to self-management and evolution of massive knowledge collections. We can assume that a self-managed knowledge graph needs a kind of a hybrid of: an explicit declarative self-knowledge (as knowledge about own properties and capabilities) and an explicit procedural self-knowledge (as knowledge on how to utilize own properties and the capabilities for the self-management).We offer an extension to a traditional RDF model of describing knowledge graphs according to the Semantic Web standards so that it will also allow to a knowledge entity to autonomously perform or query from remote services different computational executions needed. We also introdu…

Computer scienceOpen Knowledge Base ConnectivityEnergy Engineering and Power Technologyknowledge ecosystemssemanttinen webcomputer.software_genretietämyksenhallintaIndustrial and Manufacturing EngineeringKnowledge-based systemsKnowledge extractionManagement of Technology and InnovationElectrical and Electronic Engineeringtietämysself-managed systemsDatabasebusiness.industryApplied MathematicsMechanical Engineeringexecutable knowledgeknowledge computingcomputer.file_formatMathematical knowledge managementProcedural knowledgeComputer Science ApplicationsKnowledge baseControl and Systems EngineeringDomain knowledgeExecutablebusinessSoftware engineeringcomputerEastern-European Journal of Enterprise Technologies
researchProduct

An Optimization Device for Series Parallel Connected PV Plants

2017

In this paper it is presented a testing prototype of a reconfiguration system for photovoltaic (PV) plants. The system enables to increase the total energy output by reducing the electrical mismatch between the PV array modules. The architecture of the implemented switching matrix, performing the dynamic electrical interconnections of the PV panels, enables to reconfigure nine solar modules in a series-parallel (SP) configuration. The contribution is organized as follows. A brief state of the art is first presented, followed by a comparison between the SP and Total-Cross-Tied (TCT) connections. The prototype then is thoroughly described as well as the main design choices. Finally some tests…

Computer sciencePhotovoltaic systemExtrapolationControl reconfigurationSeries and parallel circuitsSettore ING-INF/01 - ElettronicaField (computer science)Settore ING-IND/33 - Sistemi Elettrici Per L'EnergiaReal sizeSettore ING-IND/31 - ElettrotecnicaElectronic engineeringState (computer science)Total energyIndustrial and Manufacturing Engineering reconfiguration system PV plants
researchProduct

Holonic Fuzzy Agents for Integrated CAD Product and Adaptive Manufacturing Cell Formation

2020

International audience

Computer scienceProduct (mathematics)Adaptive manufacturing0202 electrical engineering electronic engineering information engineeringGeneral EngineeringCell formation020207 software engineeringCAD02 engineering and technologyFuzzy logicManufacturing engineeringComputingMilieux_MISCELLANEOUS[SHS]Humanities and Social Sciences
researchProduct

A risk evaluation framework for the best maintenance strategy: the case of a marine salt manufacture firm

2020

Highlights • This paper proposes a MCDM framework to support risk evaluation for maintenance activities. • The ANP is proposed to select the best maintenance strategy on the basis of real systems’ features. • The ELECTRE III is used to prioritise the main risks related to the interventions of the selected maintenance policy. • The proposed framework is applied to a core subsystem of a real-world marine salt manufacture firm.

Computer scienceSalt (cryptography)Analytic network processmedia_common.quotation_subject0211 other engineering and technologies09.- Desarrollar infraestructuras resilientes promover la industrialización inclusiva y sostenible y fomentar la innovación02 engineering and technologyArticleIndustrial and Manufacturing EngineeringSettore ING-IND/17 - Impianti Industriali MeccaniciELECTRESafety Risk Reliability and QualityMaintenance policy selection risk evaluation ANP ELECTRE IIImedia_commonELECTRE III021110 strategic defence & security studies021103 operations researchRisk evaluationMultiple-criteria decision analysisRisk evaluationInterdependenceCore (game theory)Intervention (law)Risk analysis (engineering)Maintenance policy selectionMATEMATICA APLICADAANP
researchProduct