Tethered satellite systems (TSS) are characterized by uneven distribution of mass and environment parameters in space. As a result the use of mathematical models with distributed parameters is required. This kind of s...
详细信息
Tethered satellite systems (TSS) are characterized by uneven distribution of mass and environment parameters in space. As a result the use of mathematical models with distributed parameters is required. This kind of systems is described by the differential equations with complex boundary conditions. The complexity of the boundary conditions is caused by the presence of the end-bodies that perform spatial fluctuations, and by the variable length of the tether. Computer simulation of TSS motion takes a long time. This paper presents a parallel algorithm for motion simulation of the TSS and representation of this algorithm in the form of a graph model in graph-symbolic programming technology. The speedup of a parallel program that implements the proposed algorithm is evaluated for shared memory and distributed memory computer systems. This evaluation is compared with the results of experiments made on computer cluster. The advantages of using graph models of algorithms for modeling the motion of the TSS are discussed. (C) 2017 The Authors. Published by Elsevier Ltd.
In this contribution, we present a novel approach to enable virtual commissioning for process developers in microoptical assembly. Our approach aims at supporting micro-optics experts to effectively develop assisted o...
详细信息
ISBN:
(纸本)9781628414363
In this contribution, we present a novel approach to enable virtual commissioning for process developers in microoptical assembly. Our approach aims at supporting micro-optics experts to effectively develop assisted or fully automated assembly solutions without detailed prior experience in programming while at the same time enabling them to easily implement their own libraries of expert schemes and algorithms for handling optical components. Virtual commissioning is enabled by a 3D simulation and visualization system in which the functionalities and properties of automated systems are modeled, simulated and controlled based on multi-agent systems. For process development, our approach supports event-, state- and time-based visual programming techniques for the agents and allows for their kinematic motion simulation in combination with looped-in simulation results for the optical components. First results have been achieved for simply switching the agents to command the real hardware setup after successful process implementation and validation in the virtual environment. We evaluated and adapted our system to meet the requirements set by industrial partners laser manufacturers as well as hardware suppliers of assembly platforms. The concept is applied to the automated assembly of optical components for optically pumped semiconductor lasers and positioning of optical components for beam-shaping.
In this paper we discuss a visual programming environment for the composition of services based on dataflow paradigm. This approach, strongly oriented towards web technologies, aims to offer the corporate application ...
详细信息
ISBN:
(纸本)9781467350006
In this paper we discuss a visual programming environment for the composition of services based on dataflow paradigm. This approach, strongly oriented towards web technologies, aims to offer the corporate application designer an integrated set of very high-level tools to design and test new services via functional composition of already available ones. The user experience is a mixture of (a) graphical actions and choices, for example the drag and drop of graphical widgets and the connection of input-output links, and of (b) interface coding, via the textual specification of the translation logic of data object types flowing through the input/output interfaces of the composed services. The new environment, named VisProSL (visual programming Service-Link), capitalizes on a standardized JSON syntax of exchanged data objects, is oriented to REST services, and makes use of a basic layer that provides the visual generation of interfaces towards location services.
Supporting students during learning tasks is the main goal of intelligent tutoring systems, and the most effective systems can adapt to students based on a model of their current state of knowledge or their problem-so...
详细信息
ISBN:
(纸本)9783319197739;9783319197722
Supporting students during learning tasks is the main goal of intelligent tutoring systems, and the most effective systems can adapt to students based on a model of their current state of knowledge or their problem-solving actions. Most tutoring systems focus on individual students, but there is growing interest in supporting student pairs. However, modeling student pairs involves considerations that may differ from individual students. This paper reports on hidden Markov models (HMMs) of student interactions within a visual programming environment. We compare HMMs for individual students to those of student pairs and examine the different approaches the students take. The resulting models suggest that there are some important differences across both conditions. There is potential for using these models to predict problem-solving modes and support adaptive tutoring for collaboration in problem-solving domains.
This paper presents BRVCE, a Blockly-based, tile-based [11] environment to develop relational alge- bra and relational calculus queries. The tool runs in a browser, works with any database schema, and generates equiva...
详细信息
ISBN:
(纸本)9781665458412
This paper presents BRVCE, a Blockly-based, tile-based [11] environment to develop relational alge- bra and relational calculus queries. The tool runs in a browser, works with any database schema, and generates equivalent SQL code to the theoretical query. Specifically, the paper presents the tool's tile-based interface and its compilers. The compilers optimize relational algebra and calculus expressions that correspond to the visual query and translate them to SQL. The grammars utilized by these compilers and the translation rules are presented. BRVCE is intended to be an educational tool that tackles the previously reported challenges with teaching and learning theoretical query languages.
This paper presents PROTOB, an object-oriented CASE system based on high level Petri nets called PROT nets. It consists of several tools supporting object oriented specification, symbolic computation, code generation ...
详细信息
[1] The Buildap (formerly known as VSCB visual Software Circuit Board) platform supports a component based development methodology towards the development of software systems. The circuit board design techniques and m...
详细信息
ISBN:
(纸本)0889865647
[1] The Buildap (formerly known as VSCB visual Software Circuit Board) platform supports a component based development methodology towards the development of software systems. The circuit board design techniques and methodologies, which have evolved for electronic device and component engineering for decades, now applied for software systems and applications, makes the component based development process easy to visualize and comprehend. This paper describes the Buildap component based approach for well-known PetStore web application development. [2] The PetStore is a reference application from the Java Enterprise Blueprints program, supported by Sun Microsystems. PetStore becomes the standard way for evaluation of different technologies. PetStore implementations are available in number of technologies and frameworks, including J2EE and Net.
Purpose Personae are simple tools for describing users, their characteristics and their goals. They are valuable tools when designing for a specific group of users, such as children with autism spectrum condition (ASC...
详细信息
Purpose Personae are simple tools for describing users, their characteristics and their goals. They are valuable tools when designing for a specific group of users, such as children with autism spectrum condition (ASC). The purpose of this paper is to propose, validate and revise a methodology for creating accurate, data grounded personae for children with ASC. Design/methodology/approach The proposed method is based mainly on Cooper et al.'s (2007) persona construction method. It proposes gathering and analysing qualitative data from users and experts to either create a new persona or extend an existing one. The method is then applied to create personae for the design of a visual programming tool for children with ASC. Based on the results of the application, observations and lessons learnt, a revised version of the method is proposed. Findings The method's combined use of user data and expert knowledge produced a set of personae that have been well reviewed by experts so far. The method's use of a questionnaire to validate personae also produced relevant qualitative feedback. On review, possible downsides of extending existing personae were identified. Therefore, a revised method was introduced, eliminating the need to extend existing personae, and stressing the importance of utilising user data, expert knowledge and feedback. Originality/value This paper addresses the need for a well-defined method for creating data grounded personae that accurately describe the characteristics and goals of children with ASC. Such personae can be used to design and develop more accessible and usable products.
Our research is focused on the simplification of parallel programming for distributed memory systems. Our goal is to build a unifying framework for creating, debugging, profiling, and verifying parallel applications. ...
详细信息
ISBN:
(数字)9783642551956
ISBN:
(纸本)9783642551956
Our research is focused on the simplification of parallel programming for distributed memory systems. Our goal is to build a unifying framework for creating, debugging, profiling, and verifying parallel applications. The result of this effort is an open source tool Kaira. In this paper, we focus on prototyping of parallel applications. We have extended Kaira by the ability to generate parallel libraries. More precisely, we present a framework for fast prototyping of parallel numerical computations. We demonstrate our idea on a combination of parallel libraries generated by our tool Kaira and GNU Octave. Hence, a user can verify the idea in a short time, create a real running program and verify its performance and scalability.
In recent years numerous robotic solutions have been developed to improve production processes. However, most of the robotic arms are applied in large factories where they perform repetitive tasks supporting mass prod...
详细信息
ISBN:
(纸本)9783030409715;9783030409708
In recent years numerous robotic solutions have been developed to improve production processes. However, most of the robotic arms are applied in large factories where they perform repetitive tasks supporting mass production. The complexity of programming and adapting robots for changing production is still a barrier for the application of robot arms in flexible and small-scale production. In this paper, we present the system which allows programming the robot using visual cameras and a set of visual markers. We develop a method for flexible motion planning for the cooperative robot to quickly define the trajectory of the robot in the 3D space. We present the architecture of the system, calibration method and the performance of the system. We also show how to significantly improve the detection range of the visual markers using Convolutional Neural Networks for object detection.
暂无评论