Workflow Engine is the core component of Workflow Management System. According to the standards of Workflow Management Coalition, this paper uses Petri net as the principle model, divides the Engine system into five f...
详细信息
The proceedings contain 49 papers. The special focus in this conference is on Simulation, Modeling, andprogramming for Autonomous Robots. The topics include: GPS/Galileo Testbed Using a High Precision Optical Positio...
ISBN:
(纸本)9783642173189
The proceedings contain 49 papers. The special focus in this conference is on Simulation, Modeling, andprogramming for Autonomous Robots. The topics include: GPS/Galileo Testbed Using a High Precision Optical Positioning System;validating Vision and Robotic Algorithms for Dynamic Real World Environments;OpenGRASP: A Toolkit for Robot Grasping Simulation;NERD Neurodynamics and Evolutionary Robotics Development Kit;simulation and Evaluation of Mixed-Mode Environments: Towards Higher Quality of Simulations;evaluating a Physics Engine as an Ingredient for Physical Reasoning;simulating Vehicle Kinematics with SimVis3D and Newton;coordinating Software Components in a Component-Based Architecture for Robotics;native Robot Software Framework Inter-operation;natural Human-Robot Interaction;run-Time Management of Component-Based Robot Software from a Command Line;modelling Behaviour Requirements for Automatic Interpretation, Simulation and Deployment;Implementing Automated Robot Task Planning and Execution Based on Description Logic KB;on the Way to High-Level programming for Resource-Limited Embedded Systems with Golog;RobustHX - The Robust Middleware Library for Hexor Robots;roboComp: A Tool-Based Robotics Framework;improving a Robotics Framework with Real-Time and High-Performance Features;implementation of Distributed Production System for Heterogeneous Multiprocessor Robotic Systems;robot programming by Demonstration;design Principles of the Component-Based Robot Software Framework Fawkes;robots and the Human;handling Hardware Heterogeneity through Rich Interfaces in a Component Model for Autonomous Robotics;design Abstraction and Processes in Robotics: From Code-Driven to Model-Driven engineering;using Simulation to Assess the Effectiveness of Pallet Stacking Methods;analysing Mixed Reality Simulation for Industrial Applications: A Case Study in the Development of a Robotic Screw Remover System.
Program comprehension is one of the most critical phases in software maintenance. During program designing, the codes having related function and behavior are often scattered in different parts of program, which incre...
详细信息
ISBN:
(纸本)9788988678213
Program comprehension is one of the most critical phases in software maintenance. During program designing, the codes having related function and behavior are often scattered in different parts of program, which increases the difficulty of understanding program, and further obfuscates programmers. In this paper, we propose an approach to assisting comprehension process using cognitive easiness metric, which can predicate the easiness degree of a method to understand in various comprehension phases. The approach uses coarse-grained call graph slicing technique and intra-procedural coarse-grained slicing technique to compute the cognitive easiness of non-understood methods based on those understood methods in the program. It can not only guide programmers to investigate the non-understood codes in the program from the easier parts to the harder parts, but also support different guidance for different programmers. Finally, we evaluate the effectiveness and practicability of our approach by applying to a case study.
The FPGA with Avalon Bus architecture and Nios soft-core processor developed by Altera Corporation is an advanced embedded solution for control and interface systems .a embedded system with A CCD data acquisition syst...
详细信息
In this paper we describe a simple formal approach that can be used to support the definition and implementation of model to model transformations. The approach is based on the idea that models as well as metamodels s...
详细信息
ISBN:
(纸本)9783642121067
In this paper we describe a simple formal approach that can be used to support the definition and implementation of model to model transformations. The approach is based on the idea that models as well as metamodels should be regarded as abstract data types (ADTs), that is to say, as abstract structures equipped with a set of operations. On top of these ADTs we define a minimal, imperative model transformation language with strong formal semantics. This proposal can be used in two different ways, on one hand it enables simple transformations to be implemented simply by writing them in any ordinary programming language enriched with the ADTs. And on the other hand, it provides a practical way to formally define the semantics of more complex model trails tort languages.
This paper provides an easy way to build 3D college physics virtual experiments based on 3DSMAX by invoking data in 3dsmax software so that the simulation model can be applied to physical demonstration effectively. Al...
详细信息
The configuration of port's loading-and-unloading equipment is an optimization problem, which endeavors to put limited handling equipment to each operating line to achieve the maximum overall production efficiency...
详细信息
This paper applied the contact principle of deferential geometry in to the 5-axis NC machining, researched the best contact condition of tool and the surfaces, analysis the contact degree of the intersection line of t...
详细信息
The extensive application of management information system (MIS) and the popularity of agile software development methodologies have rendered the whole software industry new opportunities where, nonetheless, endless c...
详细信息
In view of the actual requirement of training simulation of aircraft, the use of virtual reality technology and visualization technology, we establish a platform for training simulation system of aircraft. This system...
详细信息
暂无评论