Search results for "Computer"
showing 10 items of 30657 documents
Probabilistic Evaluation of the Adaptation Time for Structures under Seismic Loads
2016
Abstract In this paper, a probabilistic approach for the evaluation of the adaptation time for elastic perfectly plastic frames is proposed. The considered load history acting on the structure is defined as a suitable combination of quasi-statical loads and seismic actions. The proposed approach utilizes the Monte Carlo method in order to generate a suitable large number of seismic acceleration histories and for each one the related load combination is defined. Furthermore, for each load combination the related adaptation time is determined, if any, as the optimal one for which the structure is able to shakedown under the unamplified applied actions. A known generalized Ceradini's theorem i…
Linear Types for Higher Order Processes with First Class Directed Channels
1995
Abstract We present a small programming language for distributed systems based on message passing processes. In contrast to similar languages, channels are one-to-one connections between a unique sender and a unique receiver process. Process definitions and channels are first class values and the topology of process systems can change dynamically. The operational semantics of the language is defined by means of graph rewriting rules. A static type system based on the notion of linear types ensures that channels are always used as one-to-one connections.
Detecting Kernel Vulnerabilities During the Development Phase
2015
Testing is one of the major problems in Linux kernel development cycle. Security analysis and ensuring no new vulnerabilities has been introduced is one of the toughest issues of testing. Kernel developers attempt to find as many security issues as possible before merging with the mainline branch. Failure to detect vulnerabilities will result in vulnerable kernel shipped by distribution and vulnerable systems. The kernel developers can choose between several industrial and open source tools to assist in the development process and shorten the development cycle. (Though not as many as user space developers. Kernel tools are limited and rare compared to user space tools) Some of these tools a…
A study on the assessment of the production costs curves in micro-grids
2013
In micro-grids, due to their small scale, there is commonly only one power supplier. A competitive wholesale market hardly exists, so the question about how to consider market issues for small producers within micro-grids arises. On the other hand, the specific features of micro-grids where load and generated power hardly find a balance, require that customers take part to regulation issues, also using demand-response (DR) programs. In this paper, price responsive (PR) policies and their programs are discussed to answer this question. A case study of a micro-grid with one micro-turbine and two photovoltaic (PV) generators is analyzed to assess the overall production cost in order to build a…
Productive Efficiency of Decanters with Short and Variable Dynamic Pressure Cones
2003
Abstract This paper presents the results of experimental trials carried out on third-generation, variable dynamic pressure cone decanters to assess machine performance and adjust the process parameters for optimum extraction yield. The results obtained led to the following conclusions: the regulation of the differential velocity screw/bowl allows a better performance of the decanter at low dilutions of the olive paste; it is possible to obtain high efficiency at a low dilution of the olive paste achieving a higher minor compounds content and the more advanced system of regulation leads to better results according to the variations of the ratio between liquid and solid phases, thus optimisin…
La educación para la sostenibilidad en la Universidad: el reto de la formación del profesorado
2012
Este trabajo analiza la importancia de la incorporación de la sostenibilidad en el currículum de la educación superior como componente esencial de la formación de los futuros profesionales. Se ponen de manifiesto los primeros avances hacia una impregnación de esta dimensión en la actividad docente, la gestión y la investigación, se estudian algunas dificultades encontradas y se sugieren propuestas para hacerles frente. El estudio se centra, en particular, en la formación del profesorado de diferentes niveles, mediante su inmersión en la cultura de la sostenibilidad, con el fin de que puedan contribuir a la educación de una ciudadanía responsable y preparada para participar en la toma de dec…
The Abelian Kernel of an Inverse Semigroup
2020
The problem of computing the abelian kernel of a finite semigroup was first solved by Delgado describing an algorithm that decides whether a given element of a finite semigroup S belongs to the abelian kernel. Steinberg extended the result for any variety of abelian groups with decidable membership. In this paper, we used a completely different approach to complete these results by giving an exact description of the abelian kernel of an inverse semigroup. An abelian group that gives this abelian kernel was also constructed.
From Procedures to Objects: A Research Agenda for the Psychology of Object-Oriented Programming Education
2008
Programming education has experienced a shift from imperative and procedural programming to object-orientation. This shift has been motivated by educators’ desire to please the information technology industry and potential students; it is not motivated by research either in psychology of programming or in computer science education. There are practically no results that would indicate that such a shift is desirable, needed in the first place, or even effective for learning programming. Moreover, there has been an implicit assumption that classic results on imperative and procedural programming education and learning apply to object-oriented programming (OOP) as well. We argue that this is n…
Exploring the critical incident technique to encourage reflection during project-based learning
2017
Previous research has reported on the challenge of promoting students' generic reflection during authentic project-based courses. This work explores a teaching intervention based on Flanagan's Critical Incident Technique (CIT) during a project-based software development course. The intervention aims at increasing students' awareness of their own learning and at encouraging reflective practice throughout the project. Students were asked to report on 'incidents' when they experienced learning during the course, and to reflect on the task itself at the end of the course. The present study focuses on how students approached the incident reporting task and how they perceived it. The results indi…
Modal Consequence Relations Extending S4.3: An Application of Projective Unification
2016
We characterize all finitary consequence relations over $\mathbf{S4.3}$ , both syntactically, by exhibiting so-called (admissible) passive rules that extend the given logic, and semantically, by providing suitable strongly adequate classes of algebras. This is achieved by applying an earlier result stating that a modal logic $L$ extending $\mathbf{S4}$ has projective unification if and only if $L$ contains $\mathbf{S4.3}$ . In particular, we show that these consequence relations enjoy the strong finite model property, and are finitely based. In this way, we extend the known results by Bull and Fine, from logics, to consequence relations. We also show that the lattice of consequence relation…