Search results for " Program"

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…

Il problema della continuità educativa nella scuola dell’obbligo: continuità e programmi nella scuola di base. Parte Seconda.

2004

The accreditation system of Italian medical residency programs: fostering quality and sustainability of the National Health Service

2020

Summary. Background and aim: In June 2017, University and Health Ministries jointly enacted a decree imple-menting a new accreditation system for the Italian post-graduate medical schools (residency programs). We report the innovations introduced through the reform. Methods: Universities were called to submit post-gradu-ate medical school projects to the National Observatory on medical residency programs, the inter-institutional committee responsible for the entire accreditation process, through an interactive web platform. The adherence to minimum standards, requirements and the performances were measured. After this first assessment, universities were asked to provide programs of improvem…

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.…

Zasady finansowania współpracy euroregionalnej na przykładzie Euroregionu Silesia

2016

The tasks of the Euroregion Silesia in the pre-accession program Phare CBC were different on both sides of the border and were limited contem- porary rules that force countries not belonging to the community of the EU. After the entry of both countries to the EU and the incorporation of the program INTERREG III A, the activities of the Euroregion as the so-called. Fund Manager of the Micro sometimes codified and today authorities of both parts Euroregion perform tasks in close cooperation with each other. With the Fund may be funded projects in the field of culture, sports, education, education, tourism, the environment, eco- nomic development planning, use of information technologies and o…

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…