Search results for "General Computer Science"
showing 10 items of 895 documents
An evolutionary method for complex-process optimization
2010
10 páginas, 7 figuras, 7 tablas
Black box scatter search for general classes of binary optimization problems
2010
The purpose of this paper is to apply the scatter search methodology to general classes of binary problems. We focus on optimization problems for which the solutions are represented as binary vectors and that may or may not include constraints. Binary problems arise in a variety of settings, including engineering design and statistical mechanics (e.g., the spin glass problem). A distinction is made between two sets of general constraint types that are handled directly by the solver and other constraints that are addressed via penalty functions. In both cases, however, the heuristic treats the objective function evaluation as a black box. We perform computational experiments with four well-k…
The simulation of morphology of dissimilar copper–steel electron beam welds using level set method
2010
Abstract In present work, the simulation of morphology and velocity field in dissimilar electron beam welds formed between the metals with limited solubility is described by the example of copper–stainless steel couple. Finite element software COMSOL Multiphysics 3.5 has been employed due to its flexibility in solving of coupled multiphysical problems. The domination of horizontal flows allows reducing the model to two dimensions. Level set method has been used to determine the position of the interface between immiscible components basing on coupled heat transfer and fluid flow pseudo-stationary solution. The evolution of the shape, fluid flow and mixing pattern in function of operational …
The project scheduling polyhedron: Dimension, facets and lifting theorems
1993
Abstract The Project scheduling with resource constraints can be formulated as follows: given a graph G with node set N, a set H of directed arcs corresponding to precedence relations, and a set H′ of disjunctive arcs reflecting the resource incompatibilities, find among the subsets of H′ satisfying the resource constraints the set S that minimizes the longest path in graph (N, H ∪ S). We define the project scheduling polyhedron Qs as the convex hull of the feasible solutions. We investigate several classes of inequalities with respect to their facet-defining properties for the associated polyhedron. The dimension of Qs is calculated and several inequalities are shown to define facets. For …
Designing and evaluating collaboration in a virtual game environment for vocational learning
2008
Especially in vocational education, attention should be paid not only to the use of new technological solutions but also to collaborative learning and cooperative working methods in order to develop students' skills for their future jobs. This study involves a design experiment including the design process of a new game environment, description of the script developed for this game, as well as the empirical study with multiple data collection methods, data analysis, results and conclusions for further work. The aim of the study was twofold. Firstly, we aimed to develop a game environment to simulate the work context of a vocational design process, and secondly, to investigate how effective …
Sharing and constructing perspectives in web-based conferencing
2006
Abstract This study investigates the quality and nature of virtual interaction in a higher education context. The study aims to find out variables that mediate virtual interaction, particularly the emerging processes of sharing and constructing perspectives in web-based conferencing. The purpose of this paper is to report the results on different levels of web-based discussions with parallel findings on the amount of sharing perspectives. The findings of two empirical studies are compared, and thereby also the impact of the pedagogical model designed between these two studies is evaluated. Possible explanations for why some discussions reach higher levels and include more perspective sharin…
Flipping and Blending : An Action Research Project on Improving a Functional Programming Course
2016
This article reports on an action research project on improving a functional programming course by moving toward a practical and flexible study environment—flipped and blended classroom. Teaching the topic of functional programming was found to be troublesome using a traditional lectured course format. The need to increase students’ amount of practice emerged while subsequent challenges relating to students’ independent practical coursework were observed. Particular concerns relating to group work, learning materials, and the attribute of flexibility were investigated during the third action research cycle. The research cycle was analyzed using a qualitative survey on students’ views, teach…
Challenge of supporting vocational learning: Empowering collaboration in a scripted 3D game – How does teachers’ real-time orchestration make a diffe…
2012
Along with the development of new technologies, orchestrating computer-supported collaborative learning (CSCL) has become a topic of discussion because new learning spaces challenge teacher to support collaborative learning in new ways. However, despite the optimistic notions of teachers’ orchestration in CSCL situations, there are still no systematic research findings on real-time orchestration. This study is one attempt to fill in the knowledge gap on understanding the differences in knowledge construction processes between settings with and without teachers’ real time orchestration in 3D learning games from a socio-cultural perspective. The aims of the study are twofold. The first aim is…
Smart camera based on an Embedded HW/SW Co-Processor
2008
Abstract This paper describes an image acquisition and a processing system based on a new coprocessor architecture designed for CMOS sensor imaging. The system exploits the full potential CMOS selective access imaging technology because the coprocessor unit is integrated into the image acquisition loop. The acquisition and coprocessing architecture are compatible with the majority of CMOS sensors. It enables the dynamic selection of a wide variety of acquisition modes as well as the reconfiguration and implementation of high-performance image preprocessing algorithms (calibration, filtering, denoising, binarization, pattern recognition). Furthermore, the processing and data transfer, from t…
Automated Synthesis of Application-layer Connectors from Automata-based Specifications
2019
Abstract Ubiquitous and Pervasive Computing, and the Internet of Things, promote dynamic interaction among heterogeneous systems. To achieve this vision, interoperability among heterogeneous systems represents a key enabler, and mediators are often built to solve protocol mismatches. Many approaches propose the synthesis of mediators. Unfortunately, a rigorous characterization of the concept of interoperability is still lacking, hence making hard to assess their applicability and soundness. In this paper, we provide a framework for the synthesis of mediators that allows us to: (i) characterize the conditions for the mediator existence and correctness; and (ii) establish the applicability bo…