Search results for "programming"
showing 10 items of 3090 documents
OntoSTEP: Enriching product model data using ontologies
2012
The representation and management of product lifecycle information is critical to any manufacturing organization. Different modeling languages are used at different lifecycle stages, for example STEP's EXPRESS may be used at a detailed design stage, while UML may be used for initial design stages. It is necessary to consolidate product information created using these different languages to build a coherent knowledge base. In this paper, we present an approach to enable the translation of STEP schema and its instances to Ontology Web Language (OWL). This gives a model-which we call OntoSTEP-that can easily be integrated with any OWL ontologies to create a semantically rich model. As an examp…
An effective approach for the maintenance scheduling in large systems with required reliability level: A case study
2015
This paper deals with the problem of the maintenance scheduling in a multi-component system for which a required reliability level has to be warranted until the next planned stop for maintenance. Particularly, the tackled problem concerns both the determination of the elements set on which to perform preventive maintenance and the optimal number of maintenance crews in order to warranty the required reliability level at the minimum maintenance cost. The problem is formulated as a mathematical programming model that becomes very hard to solve for large practical systems. For such reason, a new effective approach based on a constrained genetic algorithm is herein proposed and tested with refe…
Comparing the Economic Effectiveness of Various Adaptive Schemes for the c Chart
2014
In an attempt to improve the effectiveness of statistical process control (SPC) procedures, a variety of adaptive schemes has been developed in the last decades. However, considering control charts for attributes, relatively few works about adaptive schemes have been proposed, and most of them were proposed only recently. The common characteristic of those schemes is that one or more chart parameters are allowed to adaptively vary during the SPC operations according to the sampling information history, typically the current point plotted on the chart. In this way, the adaptive schemes are smarter than the related static ones, but they are also more complicated in terms of implementation. Th…
Economic design approach for a SPC inspection procedure implementing the adaptive c chart
2014
The present paper proposes a design approach for a statistical process control (SPC) procedure implementing a c control chart for non-conformities, with the aim to minimize the hourly total quality-related costs. The latter take into account the costs arising from the non-conforming products while the process is in-control and out-of-control, for false alarms, for assignable cause locations and system repairs, for sampling and inspection activities and for the system downtime. The proposed economic optimization approach is constrained by the expected hourly false alarms frequency, as well as the available labor resource level. A mixed integer non-linear constrained mathematical model is dev…
Lower bound limit analysis by bem: Convex optimization problem and incremental approach
2013
Abstract The lower bound limit approach of the classical plasticity theory is rephrased using the Multidomain Symmetric Galerkin Boundary Element Method, under conditions of plane and initial strains, ideal plasticity and associated flow rule. The new formulation couples a multidomain procedure with nonlinear programming techniques and defines the self-equilibrium stress field by an equation involving all the substructures (bem-elements) of the discretized system. The analysis is performed in a canonical form as a convex optimization problem with quadratic constraints, in terms of discrete variables, and implemented using the Karnak.sGbem code coupled with the optimization toolbox by MatLab…
StateOS : A Memory-Efficient Hybrid Operating System for IoT Devices
2023
The increasing significance of operating systems (OSs) in the development of the internet of things (IoT) has emerged in the last decade. An event-driven OS is memory efficient and suitable for resource-constrained IoT devices and wireless sensors, although the program’s control flow, which is determined by events, is not always obvious. A multithreaded OS with sequential control flow is often considered clearer. However, this approach is memory-consuming. A hybrid OS seeks to combine the strengths of the event-driven approach with multithreaded approach. An event-driven cooperative threaded OS represents a hybrid approach that supports concurrency by explicitly yielding control to another …
Teaching master's degree students to read research literature
2017
The skill to read research literature critically belongs in every university graduate’s toolbox. I have attempted to teach this skill in a master’s degree level course in programming languages over 15 years using, at various times, simulated conferences, voluntary reading exercises, evidence-based practice training, and a flipped classroom with mandatory reading assignments. I discuss my experience and analyze preliminary qualitative data on the use of evidence-based practice and a flipped classroom for this purpose. I present no firm conclusions, but expect that future work (by me or others) will be able to use my experience as a baseline for better teaching of research literature reading.…
CROSS-DOCKING TRANSSHIPMENT PROBLEM APPROACHED BY NON LINEAR PROGRAMMING AND SIMULATION ANALYSIS
2012
The need for fast product delivery causes the attention of supply chain is addressed to strategies able to optimize the distribution process. In this field the crossdocking seems to be an efficient strategy which makes possible to reduce or eliminate the storage phase by meeting customer demand. In this paper a transshipment problem for cross-docking strategy is considered by means of a deterministic model studied through the non linear programming technique. The solution found allows to determine the optimal quantities to ship, the number of routes activated and the optimal truck number when the constraint on truck capacity is enforced. The influence of the demand fluctuation is also addre…
Towards digital cognitive clones for the decision-makers: adversarial training experiments
2021
Abstract There can be many reasons for anyone to make a digital copy (clone) of own decision-making behavior. This enables virtual presence of a professional decision-maker simultaneously in many places and processes of Industry 4.0. Such clone can be used as one’s responsible representative when the human is not available. Pi-Mind (“Patented Intelligence”) is a technology, which enables “cloning” cognitive skills of humans using adversarial machine learning. In this paper, we present a cyber-physical environment as an adversarial learning ecosystem for cloning image classification skills. The physical component of the environment is provided by the logistic laboratory with camera-surveilla…
Track finding at Belle II
2021
Computer physics communications 259, 107610 (2021). doi:10.1016/j.cpc.2020.107610