The proceedings contain 21 papers. The topics discussed include: industrial fractional programming;certified development tools implementation in objective Caml;automatic coding rule conformance checking using logic pr...
详细信息
ISBN:
(纸本)3540774416
The proceedings contain 21 papers. The topics discussed include: industrial fractional programming;certified development tools implementation in objective Caml;automatic coding rule conformance checking using logic programming;comprehension and dependency analysis of aspect-oriented programs through declarative reasoning;efficient reasoning for nogoods in constraint solvers with BDDs;flexible, rule-based constraint model linearisation;the role of abduction in declarative authorization policies;unification arrays in spreadsheets with logic programming;specialising simulator generators for high-performance Monte-Carlo methods;a generic programming toolkit for PADS/ML: first-class upgrades for third-party developers;and Matchete: paths through the pattern matching jungle.
The proceedings contain 29 papers. The topics discussed include: parallel programming environment: a key to translating tera-scale platforms into a big success;understanding tradeoffs in software transactional memory;...
详细信息
ISBN:
(纸本)0769527647
The proceedings contain 29 papers. The topics discussed include: parallel programming environment: a key to translating tera-scale platforms into a big success;understanding tradeoffs in software transactional memory;code generation and optimization for transactional memory constructs in an unmanaged language;evaluating indirect branch handling mechanisms in software dynamic translation systems;virtual cluster scheduling through the scheduling graph;a dimension abstraction approach to vectorization in matlab;microarchitecture sensitive empirical models for compiler optimizations;evaluating heuristic optimization phase order search algorithms;rapidly selecting good compiler optimizations using performance counters;compilation techniques for real-time java programs;structure layout optimization for multithreaded programs;exploiting narrow accelerators with data-centric subgraph mapping;and heterogeneous clustered VLIW microarchitectures.
The risks of virtual enterprises exist almost everywhere for they are dynamic, temporary and multi-partners. In order to restrict the risk to the acceptable level, the Multi strategies multi choices (MSMC) risk progra...
详细信息
The risks of virtual enterprises exist almost everywhere for they are dynamic, temporary and multi-partners. In order to restrict the risk to the acceptable level, the Multi strategies multi choices (MSMC) risk programming model is proposed in this paper considering the fuzzy characteristics and project organization mode of virtual enterprises. There are many control strategies can be selected for each risk to reduce the global risk level of project in this model. In addition, the multi-layer strategies process mechanism and two properties, are presented in this paper. To solve this model, the ant colony algorithm is designed, which combines with the Fuzzy Synthetic Evaluation (FSE) embed HFMFs (Hyper-trapezoidal Fuzzy Membership Functions) evaluation. Simulation has shown that this method is both effective and efficient in achieving satisfied solutions for risk programming of virtual enterprises.
Monaco is a domain-specific language for machine automation programming. It has been developed with the objective to empower domain experts with limited programming capabilities. Its main language features are an impe...
详细信息
Monaco is a domain-specific language for machine automation programming. It has been developed with the objective to empower domain experts with limited programming capabilities. Its main language features are an imperative notation for reactive systems, concepts for describing asynchronous event handling in a concise way, and a state-of-the-art component approach. Monaco is a programming language with a Pascal-like syntax, but also comes with a visual programming environment. In this paper we review the language Monaco, show the visual representation scheme, report on the programming environment and compare our visual notation to Statecharts.
We propose a method for generating all possible rules of multi-dimension Boolean cellular automata (CA). Based on an original encoding method and the programming of graphical processor units (GPU), this method allows ...
详细信息
We propose a method for generating all possible rules of multi-dimension Boolean cellular automata (CA). Based on an original encoding method and the programming of graphical processor units (GPU), this method allows us to visualize the CA information flow in real-time so that emerging behaviors can be easily identified. Algorithms of first and von Neumann neighborhood second degrees are detailed with their respective fragment shaders programs. As symmetrical CA rules are especially useful in many research fields, we propose an encoding technique to automatically derive their codes; we then apply this technique to identify the 4096 possible cases for surface CA. To show the efficiency of our model a set of converging global behaviors are listed and described. In the last part of the paper we present methods for developing Moore neighborhood in two and in three dimensions. Finally we discuss issues concerning computation and the visualization of non-Boolean and higher dimension CA.
This article presents an approach to programming by Demonstration (PbD) to simplify programming of industrial manipulators. By using a set of task primitives for a known task type, the demonstration is interpreted and...
详细信息
This article presents an approach to programming by Demonstration (PbD) to simplify programming of industrial manipulators. By using a set of task primitives for a known task type, the demonstration is interpreted and a manipulator program is automatically generated. A pick-and-place task is analyzed, based on the velocity profile, and decomposed in task primitives. Task primitives are basic actions of the robot/gripper, which can be executed in a sequence to form a complete a task. For modeling and generation of the demonstrated trajectory, fuzzy time clustering is used, resulting in smooth and accurate motions. To illustrate our approach, we carried out our experiments on a real industrial manipulator.
Increasingly, personalised robots - robots especially designed and programmed for an individual's needs and preferences - are being used to support humans in their daily lives, most notably in the area of service ...
详细信息
Increasingly, personalised robots - robots especially designed and programmed for an individual's needs and preferences - are being used to support humans in their daily lives, most notably in the area of service robotics. Arguably, the closer the robot is programmed to the individual's needs, the more useful it is, and we believe that giving people the opportunity to program their own robots, rather than programming robots for them, will push robotics research one step further in the personalised robotics field. However, traditional robot programming techniques require specialised technical skills from different disciplines and it is not reasonable to expect end-users to have these skills. In this paper, we therefore present a new method of obtaining robot control code - programming by demonstration through system identification - which algorithmically and automatically transfers human behaviours into robot control code, using transparent, analysable mathematical functions. Besides providing a simple means of generating perception-action mappings, they have the additional advantage that can also be used to form hypotheses and theoretical analysis of robot behaviour. We demonstrate the viability of this approach by teaching a Scitos G5 mobile robot to achieve wall following and corridor passing behaviours.
Template meta-programming techniques can be used to increase efficiency in software development. These techniques have traditionally been used with textual programming languages, such as C++. In this paper, we discuss...
详细信息
Template meta-programming techniques can be used to increase efficiency in software development. These techniques have traditionally been used with textual programming languages, such as C++. In this paper, we discuss how corresponding techniques can be used with visual languages. The visual language under study in this paper is function block language (FBL). FBL is used in Metso Automation for writing automation control programs that are executed in realtime distributed environments. Efficient development of high quality programs and easy customizability of existing programs are key requirements in practical customer projects. These requirements have been one of the main motivations to develop template meta-programming support in FBL discussed. In this paper, we focus both on the technical aspects and on the lessons learnt from programmers' experiences and ways to work with templates. FBL and the programming techniques proposed have been used in hundreds of real-world projects at Metso Automation.
In this paper we present a generative programming approach for building context-aware applications. In this approach, a context-aware application is programmed using high-level specification constructs provided in our...
详细信息
In this paper we present a generative programming approach for building context-aware applications. In this approach, a context-aware application is programmed using high-level specification constructs provided in our programming framework. The runtime environment of the application is generated from this specification by a middleware. We demonstrate the utility of this approach by presenting an example case-study.
We present an on-chip system that enables programming floating gate arrays at a high speed. The main component allowing this speedup is a floating point current measuring ADC operating over 4 decades at 10bit accuracy...
详细信息
We present an on-chip system that enables programming floating gate arrays at a high speed. The main component allowing this speedup is a floating point current measuring ADC operating over 4 decades at 10bit accuracy or 7decades at 7 bit accuracy. The conversion time is around 200 μ s till around 30 pA of current. The gate and drain voltages are set by on-chip DACs. The digital words for the DAC are sent by an FPGA through an SPI interface. The controller for sequencing the operations as well as the look-up-table with characterization data are on the FPGA. Algorithms using either pulse-width modulation or drain voltage modulation can be implemented.
暂无评论