Search results for "Programming"

showing 10 items of 3090 documents

The Implications of Fuzzy Logic in Qualitative Mathematical Modeling of Some Key Aspects Related to the Sustainability Issues around “Roşia Montană P…

2013

Abstract This paper aims to address in terms of fuzzy logic the qualitative mathematical modeling of some key aspects that implies ensuring of sustainability within “Rosia Montana mining Project”, both from the business itself perspective, as well as from the community and ecological ones. The proposed fuzzy methodology is also very useful and can be successfully applied for any company that evolves in uncertainty and ambiguity conditions and within which the decisional factor reasoning is subjective, due to itself abstract thinking of human being in this kind of situations, which often manifests itself through qualitative linguistic values. In this context, the development of a fuzzy metho…

Computer scienceManagement sciencemedia_common.quotation_subjectPerspective (graphical)General EngineeringEnergy Engineering and Power TechnologyContext (language use)Ambiguitymulticriteria decision.sustainabilityFuzzy logicFactor (programming language)SustainabilityKey (cryptography)fuzzy logiccomputerJava Programming Languagecomputer.programming_languagemedia_commonProcedia Economics and Finance
researchProduct

Optimised assembly mode reconfiguration of the 5-DOF Gantry-Tau using mixed-integer programming

2010

Pulished version of an article in the journal: Meccanica. Also available from the publisher at: http://dx.doi.org/10.1007/s11012-010-9404-y This paper presents a systematic approach based on Mixed Integer Linear Programming for finding an optimal singularity-free reconfiguration path of the 5-DOF Gantry-Tau parallel kinematic machine. The results in the paper demonstrate that singularity-free reconfiguration (change of assembly mode) of the machine is possible, which significantly increases the usable workspace. The method has been applied to a full-scale prototype and the singularity-free path has been verified both in simulations and with physical experiments using real-time control of th…

Computer scienceMechanical Engineeringparallell kinematic machine sigularity avoidance assembly mode reconfigurationVDP::Technology: 500::Mechanical engineering: 570::Machine construction and engineering technology: 571Mode (statistics)Control reconfigurationKinematicsWorkspaceCondensed Matter PhysicsUSableMechanics of MaterialsControl theoryLaser trackerPath (graph theory)Integer programming
researchProduct

Fault Injection into VHDL Models: Experimental Validation of a Fault-Tolerant Microcomputer System

1999

This work presents a campaign of fault injection to validate the dependability of a fault tolerant microcomputer system. The system is duplex with cold stand-by sparing, parity detection and a watchdog timer. The faults have been injected on a chip-level VHDL model, using an injection tool designed with this purpose. We have carried out a set of injection experiments (with 3000 injections each), injecting transient and permanent faults of types stuck-at, open-line and indetermination on both the signals and variables of the system, running a workload. We have analysed the pathology of the propagated errors, measured their latency, and calculated both detection and recovery coverage. We have…

Computer scienceMicrocomputer systemReal-time computingDuplex (telecommunications)Fault toleranceHardware_PERFORMANCEANDRELIABILITYFault injectionWatchdog timerFault coverageVHDLDependabilityhuman activitiescomputercomputer.programming_language
researchProduct

CovSel

2018

Ensemble methods combine the predictions of a set of models to reach a better prediction quality compared to a single model's prediction. The ensemble process consists of three steps: 1) the generation phase where the models are created, 2) the selection phase where a set of possible ensembles is composed and one is selected by a selection method, 3) the fusion phase where the individual models' predictions of the selected ensemble are combined to an ensemble's estimate. This paper proposes CovSel, a selection approach for regression problems that ranks ensembles based on the coverage of adequately estimated training points and selects the ensemble with the highest coverage to be used in th…

Computer scienceProcess (computing)Phase (waves)Genetic programming02 engineering and technology01 natural sciencesEnsemble learningSet (abstract data type)010104 statistics & probability0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingPoint (geometry)0101 mathematicsSymbolic regressionAlgorithmSelection (genetic algorithm)Proceedings of the Genetic and Evolutionary Computation Conference
researchProduct

Set similarity joins on mapreduce

2018

Set similarity joins, which compute pairs of similar sets, constitute an important operator primitive in a variety of applications, including applications that must process large amounts of data. To handle these data volumes, several distributed set similarity join algorithms have been proposed. Unfortunately, little is known about the relative performance, strengths and weaknesses of these techniques. Previous comparisons are limited to a small subset of relevant algorithms, and the large differences in the various test setups make it hard to draw overall conclusions. In this paper we survey ten recent, distributed set similarity join algorithms, all based on the MapReduce paradigm. We emp…

Computer scienceProcess (engineering)General EngineeringJoinsScale (descriptive set theory)02 engineering and technologycomputer.software_genreSet (abstract data type)Range (mathematics)Operator (computer programming)Similarity (network science)020204 information systems0202 electrical engineering electronic engineering information engineeringJoin (sigma algebra)020201 artificial intelligence & image processingData miningcomputerProceedings of the VLDB Endowment
researchProduct

Evaluation of a Visual Tool for Early Patent Infringement Detection During Design

2019

Patent infringement detection usually implies research among documents in different forms, in both natural and unstructured language, often involving a lot of human resources and time. In order to ease this patent check process, we previously presented a visual tool to be used by designers themselves at any stage of the design process, providing them with useful and reliable information for deciding whether to steer their design away from potential patent infringements. In this work, we report on a usability study carried out on such a tool with 21 professional designers from industry in the field of mechanical engineering. The outcome of our study shows that our tool is very well accepted …

Computer scienceProcess (engineering)Visual interfaceEnd-user programmingPatent infringement detectionPatent infringementComputingMilieux_LEGALASPECTSOFCOMPUTING02 engineering and technologyBlock programming; End-user programming; Patent infringement detection; Visual interfaces; Visual programming050905 science studiesField (computer science)Block programmingVisual interfaces0202 electrical engineering electronic engineering information engineeringHuman resourcesVisual programming languageSettore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniVisual programmingSettore INF/01 - Informaticabusiness.industry05 social sciences020207 software engineeringUsabilityData scienceWork (electrical)0509 other social sciencesbusinessEngineering design process
researchProduct

Development of a big data bank for PV monitoring data, analysis and simulation in COST Action 'PEARL PV'

2019

COST Action entitled PEARL PV aims at analyzing data of monitored PV systems installed all over Europe to quantitatively evaluate the long-term performance and reliability of these PV systems. For this purpose, a data bank is being implemented that can contain vast amounts of data, which will enable systematic performance analyses in combination with simulations. This paper presents the development process of this data bank.

Computer scienceProcess (engineering)business.industryReliability (computer networking)Performance05 social sciencesPhotovoltaic systemBig dataData analysis050301 educationReliability7. Clean energyReliability engineeringPV systemsPEARL (programming language)Monitoring data0502 economics and businessData bankCost actionbusiness0503 educationcomputer050203 business & managementData monitoringcomputer.programming_language
researchProduct

Object-Oriented Operational Semantics

2016

Operational semantics is one way of providing meaning to an executable language. On a high level of abstraction, operational semantics means to define an interpreter or an abstract machine for the language. In this article, we review the concept of operational semantics in the scope of meta-model-based language definitions and identify challenges and issues. We provide a clean conceptual approach using an object-oriented runtime environment and state change operations, which relies on an underlying abstract virtual machine. We present the approach using a sample language.

Computer scienceProgramming language0102 computer and information sciences02 engineering and technologycomputer.file_formatcomputer.software_genre01 natural sciencesOperational semanticsAbstract machineAction semanticsDenotational semantics010201 computation theory & mathematicsVirtual machine0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingExecutablecomputerInterpreterAbstraction (linguistics)
researchProduct

Generation of User Interfaces from Business Process Model Notation (BPMN)

2019

Business Process Model Notation focuses on functional processes; so, the design of the interface generally depends on the subjective experience of the analyst. This thesis proposes a new method to generate interfaces from BPMN models. The idea is to identify rules from BPMN to interfaces in existing real projects. We have analyzed 7 Bizagi projects to generalize a list of rules. It has been done considering five BPMN patterns. Apart from BPMN primitives, there are rules that depend on elements of Class Diagrams to know how to generate the interfaces. When the rules have several alternatives to generate the interfaces, we need an unambiguous semantics to specify which alternative we are goin…

Computer scienceProgramming languageInterface (Java)Semantics (computer science)business.industry05 social sciences020207 software engineeringUsability02 engineering and technologyBusiness process modelingUNESCO::CIENCIAS TECNOLÓGICAScomputer.software_genreNotationBusiness Process Model and Notation0502 economics and business0202 electrical engineering electronic engineering information engineeringClass diagramUser interfacebusinesscomputer050203 business & management
researchProduct

Architecture and Language for Semantic Reduction of Domain-Specific Models in BPMS

2012

Nowadays each business process management system (BPMS) supports either an industry standard or its own specific modeling language. But no BPMS supports a specific language for each organization. We propose an architecture for building BPMS that allows creating a domain-specific modeling language for every client easily. The main problem is to bridge the gap between the domain-specific language and the executable language. We show that we can look at this problem as a classification of the domain-specific language constructs in the terms of the executable language. To solve this problem we present a novel model transformation language, with which this type of problem can be solved more natu…

Computer scienceProgramming languageModeling languagebusiness.industrycomputer.file_formatcomputer.software_genreDomain (software engineering)Reduction (complexity)Business process managementExecutableArchitecturebusinesscomputerLanguage constructModel transformation languagecomputer.programming_language
researchProduct