检索结果-内蒙古大学图书馆

International Conference on Control, Automation and Systems ( ICCAS)

作者： Seung Han Kim Jae Wook Jeon School of Information and Communication Engineering Sung Kyun Kwan University Suwon South Korea

Lego Company has made a programmable robot set named Mindstorms NXT(NXT). This set comes with several types of sensors, motor, and programmable brick. The NXT set is provided with visual programming environment. Novice programmer can easily make a program for robot using this visual programming environment. The software of NXT is based on National Instruments' Lab VIEW. Also, Microsoft developed a platform called Microsoft Robotics Studio(MSRS) which is aimed to support all types of robot. MSRS also provides visual programming environment named Visual programming Language(MVPL). Both programming environment are in user friendly interface which programmers just have to drag an icon and release it on the main program screen to use it. Fluent knowledge on programming is needed to work with robot and this affects novice user to restrain to study robotics. However, visual programming can reduce the hesitation of novice user to start programming robots. In this paper, MSRS VPL programming environment and NXT programming environment was used to run the same task using the same robot. Characteristics, merits, and demerits of the each environment was compared and evaluated to introduce a guideline for an efficient method to learn robot using visual programming.

关键词： Robot programming programming environments Robot sensing systems programming profession Service robots Costs automatic programming Electronic mail Hardware Libraries

来源：评论

学校读者我要写书评

暂无评论

Migrating Object Oriented code to Aspect Oriented programming

Migrating Object Oriented code to Aspect Oriented Programmin...

引用

International Conference on Software Maintenance (ICSM)

作者： Mariano Ceccato Fondazione Bruno Kessler IRST Trento Italy

Aspect oriented programming (AOP) is a new programming paradigm that offers a novel modularization unit for the crosscutting concerns. Functionalities originally spread across several modules and tangled with each other can be factored out into a single, separate unit, called an aspect. We investigated automated techniques that can be used to support the migration of existing Object Oriented programming (OOP) code to AOP. To migrate an application to the new paradigm, a preliminary identification of the cross-cutting concerns is required (aspect mining). Then refactoring is applied to transform the scattered concerns into aspects. The proposed methods have been assessed on case studies for a total of more than half a million lines of code.

关键词： Object oriented programming Scattering Application software Software systems Humans automatic programming Functional programming Software tools Automation

来源：评论

学校读者我要写书评

暂无评论

CGR: a Tool for programming Using Schemes

CGR: a Tool for Programming Using Schemes

引用

IEEE Annual International Computer Software and Applications Conference (COMPSAC)

作者： J. Garcia A. Gavilanes A. Gil P. J. Martin Departamento de Sistemas Informáticos y Computación Facultad de Informática Universidad Complutense de Madrid Spain

We present a tool that automatically generates the code involved in the solution of problems that are usually posed in a first-year "Introduction to programming" course; concretely those related to the exploration of recursive sequences. Thus the tool is especially suitable to support teaching and can be also used as a training technique for software engineers at an early stage.

关键词： Education Software engineering Application software Skeleton Gas insulated transmission lines automatic programming Software tools Concrete Testing Guidelines

来源：评论

学校读者我要写书评

暂无评论

OOPS for Motion Planning: An Online, Open-source, programming System

OOPS for Motion Planning: An Online, Open-source, Programmin...

引用

IEEE International Conference on Robotics and Automation (ICRA)

作者： Erion Plaku Kostas E. Bekris Lydia E. Kavraki Computer Science Department Rice University Houston TX USA

The success of sampling-based motion planners has resulted in a plethora of methods for improving planning components, such as sampling and connection strategies, local planners and collision checking primitives. Although this rapid progress indicates the importance of the motion planning problem and the maturity of the field, it also makes the evaluation of new methods time consuming. We propose that a systems approach is needed for the development and the experimental validation of new motion planners and/or components in existing motion planners. In this paper, we present the online, open-source, programming system for motion planning (OOPS MP ), a programming infrastructure that provides implementations of various existing algorithms in a modular, object-oriented fashion that is easily extendible. The system is open-source, since a community-based effort better facilitates the development of a common infrastructure and is less prone to errors. We hope that researchers will contribute their optimized implementations of their methods and thus improve the quality of the code available for use. A dynamic Web interface and a dynamic linking architecture at the programming level allows users to easily add new planning components, algorithms, benchmarks, and experiment with different parameters. The system allows the direct comparison of new contributions with existing approaches on the same hardware and programming infrastructure

关键词： Open source software Dynamic programming Motion planning Strategic planning Sampling methods Object oriented programming Robotics and automation automatic programming Robot programming Optimization methods

来源：评论

学校读者我要写书评

暂无评论

Lowering Barriers to Interaction: programming without Code

Lowering Barriers to Interaction: Programming without Code

引用

IEEE Symposium on Visual Languages and Human Centric Computing (VL/HCC)

作者： Catharine Brand University of Colorado Boulder USA

We developed a method of annotating pre-existing software so that an end-user can change the underlying program via an interface created from the annotations and generate new executable code.

关键词： programming profession Ecosystems Computer interfaces Aging Information resources Filling Software design automatic programming Job design Natural languages

来源：评论

学校读者我要写书评

暂无评论

automatic generation of tutorial systems from development information and evaluation

Computer Software

引用

Computer Software 2007年第3期24卷 63-74页

作者： Iwata, Hajime Shirogane, Junko Fukazawa, Yoshiaki Dept. of Computer Science Waseda University Dept. of Communication Tokyo Woman's Christian University

Recent complicated software functions have made it difficult for end users to operate them. Thus, it becomes important to learn how to operate them easily and effectively. Employing a tutorial system is the most suitable approach for learning how to operate software functions. A tutorial system demonstrates how to operate using the actual software. However, development of tutorial systems requires much time and costs. Therefore, we propose a method of generating tutorial systems based on use case diagrams, sequence diagrams and test cases. In our method, a generated tutorial system shows function names extracted from use case diagrams, how to operate along with sequence diagrams, and text string input and item selection using data from tost cases. We evaluate the burden placed on developers by the requirement of generating tutorial systems and whether the tutorial system generated by our method performs software operation correctly.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

Generation and optimisation of code using coxeter lattice paths

PASCO'07: Proceedings of the 2007 International Workshop on ...

引用

PASCO'07: Proceedings of the 2007 International Workshop on Parallel Symbolic Computation 2007年 1-10页

作者： Ashby, Thomas J. Kennedy, Anthony D. Watt, Stephen M. ICSA Division of Informatics University of Edinburgh United Kingdom School of Physics SUPA University of Edinburgh United Kingdom Computer Science Dept University of Western Ontario London Canada

ISBN: (纸本)1595937412

Supercomputing applications usually involve the repeated parallel application of discretized differential operators. Difficulties arise with higher-order discretizations of operators on parallel computers because their communications can overlap processors in complex ways. Their correct and efficient implementation requires careful choreography of computation and communication, taking into account the symmetries of the problem and of the computer's communication network. This paper shows how these symmetries can be used to automate the construction of the code for optimized operator computation. This is done with considerable generality by making the symmetries both of the problem and the computer explicit using the language of finitely presented reection (Coxeter) groups, and using coset enumeration to generate and optimize the required code. Copyright 2007 ACM.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

A block bigram prediction model for statistical machine translation

ACM Transactions on Speech and Language Processing

引用

ACM Transactions on Speech and Language Processing 2007年第3期4卷

作者： Tillmann, Christoph Zhang, Tong IBM T.J. Watson Research Center Yahoo Research IBM T. J. Watson Research Center Yorktown Heights NY 10598 Yahoo Research New York NY 10011

In this article, we present a novel training method for a localized phrase-based prediction model for statistical machine translation (SMT). The model predicts block neighbors to carry out a phrase-based translation that explicitly handles local phrase reordering. We use a maximum likelihood criterion to train a log-linear block bigram model which uses real-valued features (e.g., a language model score) as well as binary features based on the block identities themselves (e.g., block bigram features). The model training relies on an efficient enumeration of local block neighbors in parallel training data. A novel stochastic gradient descent (SGD) training algorithm is presented that can easily handle millions of features. Moreover, when viewing SMT as a block generation process, it becomes quite similar to sequential natural language annotation problems such as part-of-speech tagging, phrase chunking, or shallow parsing. Our novel approach is successfully tested on a standard Arabic-English translation task using two different phrase reordering models: a block orientation model and a phrase-distortion model. © 2007 ACM.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

Experiments in Verifying Low Level Concurrent C Code

Experiments in Verifying Low Level Concurrent C Code

引用

IEEE International Conference on Engineering of Complex Computer Systems

作者： Wolfram Schulte Microsoft

Summary form only given. The Verified C project adds design by contract programming to C. The program verifier VCC accepts annotated C programs, generates logical verification conditions from them and passes them on to an automatic theorem prover to either prove the correctness of the program or find errors in it. VCC is build to verify the functional correctness of Microsoft's hypervisor code base. The first step in developing VCC so far has been the efficient encoding of a faithful memory model. The next step is the development of a programming methodology which allows for automatic verification of annotated low level concurrent code. In this talk, I will report on the design of VCC, and on first experiments in applying it.

关键词： automatic programming Contracts Logic programming Error correction codes Virtual machine monitors Encoding Systems engineering and theory

来源：评论

学校读者我要写书评

暂无评论

automatic analytical modeling of EIS data by evolutive programming based on cultural algorithms

Automatic analytical modeling of EIS data by evolutive progr...

引用

23rd IEEE Instrumentation and Measurement Technology Conference

作者： Arpaia, Pasquale Clemente, Fabrizio Zanesco, Antonio Univ Sannio Dipartimento Ingn Corso Garibaldi 107 I-82100 Benevento Italy Consiglio Nazionale Ricerche Istituto Ingn Biomed Sez Roma Monterotondo Italy

ISBN: (纸本)9780780393592

Efficiency and accuracy problems in state-of-the-art analytical modeling of electrochemical phenomena through impedance spectroscopy are faced by a Cultural Hybrid Evolutionary Modeling Algorithm (CHEMA). automatic model definition is improved by an evolutionary program exploiting a solution-search strategy based on a cultural mechanism: information on search advance is transmitted to all potential solutions, rather than only to a small inheriting subset, such as in traditional genetic approach. Experimental results of the proposed approach application to electrochemical impedance spectroscopy for biomedical purposes are presented.

关键词： impedance measurements circuit modeling automatic programming genetic algorithms biological system modeling

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：