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

15th International Conference on Information Networking (ICON-15)

作者： Oda, K Tazuneki, S Yoshida, T Kyushu Inst Technol Dept Artificial Intelligence Iizuka Fukuoka 8208502 Japan

ISBN: (纸本)0769509525

We propose the flying object that adapts itself to the environment by means of the dynamic behavior change mechanism. The flying object is user-defined first-class and abstract entity Such properties provide independency and transparency. The flying object model establishes a unique decomposition of the flying object. In this model, the flying object consists of four objects: the delegator that encapsulates the implementation, the message handler that interprets the messages, the event handler that provides adaptation strategies and the context object that holds a stare beyond the adaptation. The ability of accommodation, the openness, is one of great contributions of this model because many functions such as object migration, load balancing, distributed transaction management, the communication protocols and even adaptation strategies can be introduced by the message handler and the event handler as a plug-in module. Furthermore, a source code translation technique is introduced for automatic decomposition of the flying object as a replacement for the virtual machine customizations or low-level programming. The delegator and the context object are instantiated from the same translated class to minimize maintenance costs of classes as a result of an automatic translation. Therefore, the system organized by the flying object is best suited for the open distributed environment.

关键词： automatic programming Computer architecture Context modeling Costs Distributed computing Facsimile Object oriented modeling programming profession Protocols Virtual machining

来源：评论

学校读者我要写书评

暂无评论

On the conversion of program specifications into pseudo code using Jackson structured programming

引用

Journal of Computing and Information Technology 2001年第1期9卷 71-80页

作者： Sörensen, Kenneth Vereist, Jan Department of Operations Research Logistics and Information Systems University of Antwerp - RUCA Middelheimlaan 1 AntwerpB-2020 Belgium

In this paper, we present a technique to automatically translate program specifications into pseudo code. This technique is developed in the context of the well-known programming method Jackson Structured programming (JSP). The objective of our research is to investigate to what extent a programming method can be automated. Current CASE tools are only able to automate programming methods to a very limited extent, whereas our technique automates the entire programming cycle by creating pseudo code from program specifications. We show that the JSP programming method can be transformed into a set of formal rules when the scope of the technique is limited to a well-defined area of problems. The rules are implemented in a CASE tool, called JSP tool, which is currently operative, although still in a prototyping phase. We believe that the strength of the CASE tool lies in the fact that it is able to automate the programming process completely, although its scope possibly is still rather limited. In this paper, the technique is explained by solving an example programming problem. The source language that has been developed to enter program specifications is briefly explained. Also, the differences between other JSP CASE tools and JSP tool are dealt with. Some additional features of the method are discussed and suggestions for future research are given.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

Automated programming of an industrial robot through teach-by showing

Automated programming of an industrial robot through teach-b...

引用

IEEE International Conference on Robotics and Automation (ICRA)

作者： D.R. Myers M.J. Pritchard M.D.J. Brown Intelligent Automation Inc. Rockville MD USA U.S. Army Space and Missile Defense Command Huntsville AL USA

ISBN: (纸本)0780365763

Intelligent Automation, Inc. (IAI) presents a system that learns from demonstrations of a human operator and then produces a sensor-driven program that can control a robot without operator intervention. The system generates a procedural program, identical in function to a procedural program developed in a conventional robot programming language, that can be easily re-used in similar but different application tasks. In essence, based on the skills demonstrated by a human teacher, a robot can be automatically programmed to perform complex assembly tasks. Robot users with no programming skills will be able to "bootstrap" themselves to a semi-autonomous operation after a small number of taught examples. In addition, as the task requirements change, the robot can be re-programmed as easily as it was initially programmed. Unlike the conventional program development process, the operator need not postulate about the value of sensor feedback variables required at a particular level of the controller. In fact, the operator need not be familiar with the syntax and semantics of the programming language at all.

关键词： automatic programming Robot programming Service robots Educational robots Robotics and automation Robot sensing systems Intelligent robots Humans Robotic assembly Electrical equipment industry

来源：评论

学校读者我要写书评

暂无评论

programming by demonstration: removing sub-optimal actions in a partially known configuration space

Programming by demonstration: removing sub-optimal actions i...

引用

IEEE International Conference on Robotics and Automation (ICRA)

作者： J.R. Chen A. Zelinsky Department of Engineering FEIT Australian National University Canberra ACT Australia Department of Systems Engineering RSISE Australian National University Canberra ACT Australia

ISBN: (纸本)0780365763

programming by demonstration is a promising approach to automatic robot programming, however, methods are required to remove suboptimal actions that can be demonstrated by end users. In this paper we use the partial knowledge of configuration space (C-space) derived in the previous work by Chen et al. (2000) to remove suboptimal actions from a demonstration. Our idea is to use demonstrated paths to predict what regions in C-space are obstacle free. Suboptimal actions in a demonstration are then avoided by planning alternative actions that pass through the obstacle free regions. Experimental results show the validity of the approach. A demonstrated path containing significant sub-optimality was converted by the approach into a short, efficient path suitable for execution by the robot.

关键词： Robot programming Noise generators Electronic mail automatic programming Writing Humans Systems engineering and theory Orbital robotics Smoothing methods

来源：评论

学校读者我要写书评

暂无评论

Developing visual component library for a graphical programming platform using object-orientation

Developing visual component library for a graphical programm...

引用

International automatic Testing Conference, AUTOTESTCON

作者： L.L. Wang National University of Singapore Singapore

The development of Virtual Instruments (VIs) brings a great revolution to the fields' of automated test and measurement. It accelerates the integration of measurement systems and promotes instruments' standardization, modularization, and generalization. Graphical programming platform is the kernel of virtual instrument technology, and it provides users with an intuitive and friendly programming environment. Visual Component Library (VCL) is the key part of such graphical programming platforms. The research reported in this paper makes full use of the advantages of Object-Orientation methodology to develop the visual VI components for a graphical programming platform. By building up two base classes for all the VI components, various VIs can be efficiently implemented.

关键词： Libraries Object oriented programming Instruments automatic testing programming environments Electrical equipment industry Industrial control automatic programming Acceleration Standardization

来源：评论

学校读者我要写书评

暂无评论

Use of IEC1131 programming in virtual laboratory

Use of IEC1131 programming in virtual laboratory

引用

International Conference on Emerging Technologies and Factory Automation (ETFA)

作者： S. Galceran A. Sudria J. Bergas I. Benitez L. Vazquez G. Boye O. Obregon Electrical Engineering Dept. Universitat Politecnica de Catalunya Barcelona SPAIN Electrical Engineering Faculty University of Oriente Santiago de Cuba Santiago de Cuba CUBA

ISBN: (纸本)0780372417

Virtual laboratories are being used in automation design for integrator systems. Since the use of IEC 61131-3 languages is standardised in the industrial automation programming, the authors consider introducing these languages in the develop of virtual laboratories. The Virtual Laboratory of Automation at the University of Oriente (Cuba) works towards this goal. The SDAI teaching system include model analysis and design in Petri nets, programming and simulation control system in ladder diagrams and sequential functions chart languages. The functional requirements in real installation are verified. The integrate work of all parts is achieved for the use of IEC 1131 graphical languages facilities.

关键词： Laboratories IEC standards Design automation Electrical equipment industry automatic programming Education Petri nets Functional programming Analytical models Control system synthesis

来源：评论

学校读者我要写书评

暂无评论

Usability trends in an online help system: user testing on three releases of help for a visual programming language

Usability trends in an online help system: user testing on t...

引用

International Conference on Professional Communication (IPCC)

作者： R. Krull J. Friauf J. Brown-Grant A. Eaton Rensselaer Polytechnic Institute Troy NY USA

This paper reports on the results of three phases of user testing on the online help systems for successive releases of a visual programming language. The help systems changed over time, but never were overwhelmingly successful in enabling users to complete tasks. Two consistent problems we identified were that the organization of help information was not clear to users and that help topics were expressed in product-specific vocabulary rather than user vocabulary.

关键词： Usability System testing Computer languages Vocabulary programming profession User interfaces Computer interfaces automatic programming Electronic equipment testing Professional communication

来源：评论

学校读者我要写书评

暂无评论

Partial evaluation of multi-paradigm declarative languages

引用

AI COMMUNICATIONS 2001年第4期14卷 235-237页

作者： Albert, E Univ Politecn Valencia Dept Sistemas Informat & Computac E-46022 Valencia Spain

This paper abstracts the contents of a PhD dissertation entitled 'Partial evaluation of multi-paradigm declarative languages: foundations, control, algorithms and efficiency' which has been recently defended. Partial evaluation is an automatic technique for program optimization whose range of potential applications covers a wide spectrum of problem-specific optimizations. For instance, there are successful experiences in the field of artificial intelligence, like the optimization (by partial evaluation) on simulators for neural network training. The thesis presents novel methods and techniques for the partial evaluation of multi-paradigm declarative languages, which integrate features from functional and logic programming.

关键词： automatic programming program transformation partial evaluation functional logic programming

来源：评论

学校读者我要写书评

暂无评论

Incorporating incremental validation and impact analysis into spreadsheet maintenance: an empirical study

Incorporating incremental validation and impact analysis int...

引用

International Conference on Software Maintenance (ICSM)

作者： V.B. Krishna C.R. Cook D. Keller J.C.C. Wallace M.M. Burnett G. Rothermel Oregon State University Corvallis OR

Spreadsheets are among the most common form of software in use today. Unlike more traditional forms of software however, spreadsheets are created and maintained by end users with little or no programming experience. As a result, a high percentage of these "programs" contain errors. Unfortunately, software engineering research has for the most part ignored this problem. We have developed a methodology that is designed to aid end users in developing, testing, and maintaining spreadsheets. The methodology communicates testing information and information about the impact of cell changes to users in a manner that does not require an understanding of formal testing theory or the behind the scenes mechanisms. The paper presents the results of an empirical study that shows that, during maintenance, end users using our methodology were more accurate in making changes and did a significantly better job of validating their spreadsheets than end users without the methodology.

关键词： Testing Debugging Software engineering Maintenance engineering Design methodology Layout Business automatic programming Investments Finance

来源：评论

学校读者我要写书评

暂无评论

Transcript triggers for digital TV

Transcript triggers for digital TV

引用

IEEE International Conference on Multimedia and Expo (ICME)

作者： T. McGee L. Agnihotri N. Dimitrova BRIARCLIFF MANOR Philips Research NY USA

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：