Search results for " Programming"
showing 10 items of 1616 documents
Revista iberoamericana de educación
2012
Título, resumen y palabras clave en español, portugués e inglés Monográfico con el título: "Didáctica de la Lengua y la Literatura" Resumen tomado de la publicación Se propone el examen de las implicaciones del concepto de género discursivo, tomado de M. Bajtín, para la enseñanza de la composición escrita dentro del marco metodológico de las secuencias didácticas. Además de situar la enseñanza en un marco comunicativo, integra los aprendizajes específicos de habilidades lingüístico-comunicativas dentro de una tarea global que les da sentido. Se destaca de un modo especial la importancia de esta integración en cuanto a los conocimientos explícitos sobre la lengua y sus condiciones de uso. Se…
Spatialization of the Semantic Web
2012
syntax for Horn-like rules. The SWRL as the form, antecedentconsequent, where both antecedent and consequent are conjunctions of atoms written a1^ ... ^ an. Atoms in rules can be of the form C(x), P(x,y), Q(x,z), sameAs(x,y), differentFrom(x,y), or builtIn(pred, z1, ..., zn), where C is an OWL description, P is an OWL individual-valued property, Q is an OWL data-valued property, pred is a datatype predicate URIref, x and y are either individual-valued variables or OWL individuals, and z, z1, ... zn are either data-valued variables or OWL data literals. An OWL data literal is either a typed literal or a plain literal. Variables are indicated by using the standard convention of prefixing the…
Specific protocol (SENSLOG) over TCP/IP for sensors applications
2005
The objective is to obtain an embedded system using a microcontroller that will communicate with other devices over a specific protocol (SENSLOG) over TCP/IP for sensors applications. The protocol has been designed for this application, but the commands are generic. They can be used for any type of sensing. We must take into account that this program will run in a microcontroller and it will communicate with another program running in a PC. The protocol is based on commands, like SMTP. From the PC we will send commands to the microcontroller to do specific tasks, and if it is necessary, the microcontroller will answer to the PC. Some of the functions designed for this protocol are: to contr…
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…