Search results for " Computer"
showing 10 items of 6910 documents
Numerical and Experimental Study of a Novel Concept for Hydraulically Controlled Negative Loads
2016
This paper presents a numerical and experimental investigation of a novel concept that eliminates oscillations in hydraulic systems containing a counterbalance valve in series with a pressure compensated flow supply. The concept utilizes a secondary circuit where a low-pass filtered value of the load pressure is generated and fed back to the compensator of the flow supply valve. The novel concept has been implemented on a single boom actuated by a cylinder. A nonlinear model of the system has been developed and an experimental verification shows good correspondence between the model and the real system. The model is used for a parameter study on the novel concept. From the study it is found…
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.
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…
Scheduling under the network of temporo-spatial proximity relationships
2017
We discuss and introduce to the schedulingeld a novel, qualitative optimization model - scheduling under the network of temporo-spatial proximity relationships.We introduce a half perimeter proximity measure as an objective of scheduling.We present and evaluate an incremental Sequence Pair neighborhood evaluation algorithm, applicable to both scheduling and rectangle packing problems in VLSI industry. In this paper, we discuss and introduce to the scheduling field a novel optimization objective - half perimeter proximity measure in scheduling under the network of temporo-spatial proximity relationships. The presented approach enables to qualitatively express various reasons of scheduling ce…
Computing Subdivision Surface Intersection
2003
Computer surface intersections is fundamental problem in geometric modeling. Any Boolean operation can be seen as an intersection calculation followed by a selection of parts necessary for building the surface of the resulting object. This paper deals with the computing of intersection curveson subdivision surfaces (surfaces generated by the Loop scheme). We present three variants of our algorithm. The first variant calculates this intersection after classification of the object faces into intersecting and non-intersecting pairs of faces. the second variant is based on 1-neighborhood of the intersecting faces. The third variant uses the concept of bipartite graph.
Challenge types in gaming validation of video game challenge inventory (CHA)
2020
Challenge is a key motivation for videogame play. But what kind of challenge types videogames include, and which of them players prefer? This article helps to answer the above questions by developing and validating Videogame Challenge Inventory (CHA), a psychometrically sound measurement for investigating players’ challenge preferences in videogames. Based on a review of literature, we developed a 38-item version of CHA that was included in a social media user survey (N = 813). An exploratory factor analysis (EFA) revealed a latent structure of five challenge types: Physical, Analytical, Socioemotional, Insight, and Foresight. CHA was amended in another EFA with USA-based survey data (N = 5…
Enhancing identification of causal effects by pruning
2018
Causal models communicate our assumptions about causes and effects in real-world phe- nomena. Often the interest lies in the identification of the effect of an action which means deriving an expression from the observed probability distribution for the interventional distribution resulting from the action. In many cases an identifiability algorithm may return a complicated expression that contains variables that are in fact unnecessary. In practice this can lead to additional computational burden and increased bias or inefficiency of estimates when dealing with measurement error or missing data. We present graphical criteria to detect variables which are redundant in identifying causal effe…
The state-of-the-art of collaborative technologies for initial vocational education : a systematic literature review
2018

 
 
 Future workplaces require collaboration skills in which members of different work communities use technologies to solve complex problems. Vocational education and training (VET) programs need to meet the challenge to prepare students to be part of a competent workforce. Particularly initial vocational education is under pressure to develop learners’ collaboration skills and abilities. To date, however, no attempt has been made to perform a comprehensive review of the use of computer-supported collaborative learning (CSCL) technologies across different vocational education settings to account for contextual factors of VET. In this systematic review, 26 published studies …
A System to Control the Atmosphere in the Headspace of the Malaxation Machine to Improve the Fatty Acid Composition of Extra Virgin Olive Oils
2015
In recent years, oxygen content regulation during malaxation has been noted as a process parameter. As concluded by many studies, the presence of oxygen during malaxation has a key role in for improving the quality of Extra Virgin Olive Oil (EVOO) in terms of volatile and phenolic components. There are, however, very few studies of the influence of oxygen in the malaxation machine headspace on the fatty acid composition of Extra Virgin Olive Oil (EVOO). The aim of this study is to evaluate the influence of oxygen in the malaxation machine headspace on Nocellara del Belice EVOO fatty acids. During of the malaxation process, the atmosphere inside the malaxation machine was modified by blowing…
Selective writing and read-out of a register of static qubits
2013
We propose a setup comprising an arbitrarily large array of static qubits (SQs), which interact with a flying qubit (FQ). The SQs work as a quantum register, which can be written or read-out by means of the FQ through quantum state transfer (QST). The entire system, including the FQ's motional degrees of freedom, behaves quantum mechanically. We demonstrate a strategy allowing for selective QST between the FQ and a single SQ chosen from the register. This is achieved through a perfect mirror located beyond the SQs and suitable modulation of the inter-SQ distances.