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

Conference on Digital Avionics Systems (DASC)

作者： S.S. Vakil R.J. Hansman Massachusetts Institute of Technology Cambridge MA USA

The incorporation of advanced flight automation systems into modern aircraft has resulted in an increase in errors in interaction with aircraft automation. A prior study identified the lack of a simple, consistent model of the automation as a contributing component and found pilots creating their own ad-hoc models of aircraft automation. The design of new, complex automation system requires a shift from the current developmental process to one which addresses the needs of the operator explicitly. The Operator Directed Process is an attempt to enforce the creation of high level system models suitable for operator use and training materials.

关键词： Aircraft Manufacturing automation Accidents Aerospace safety automatic speech recognition automatic programming Management training Aerospace electronics Cognitive science Design automation

来源：评论

学校读者我要写书评

暂无评论

Data access services and automatic generation of cooperating interfaces

Data access services and automatic generation of cooperating...

引用

International Conference on Cooperative Information Systems

作者： G. Moro A. Natali C. Sartori DEIS University of Bologna Bologna Italy DEIS University of Bologna Italy

An important issue for the success of a database application is the effectiveness of its interface and frequently a relevant part of programming effort is devoted to the generation of interfaces. The visual programming environments reduce only partly this effort and in particular things become more complicated when data coming from different sources (different views in the same database or even views from different databases or systems) are to be related and must cooperate in the data access task. Our proposal is to define a new database access paradigm, called "service", including in itself the bare aspects of data access, such as browsing and selecting a tuple, and a compositional algebra for services, to automatically generate a comprehensive interface when separate services which were not designed for the cooperation, are combined. In addition, the architecture we adopt for the implementation of services is based on Java and JDBC. Services and combination of services expressed with the service algebra are automatically compiled into Java objects, allowing the rapid development of platform independent data access services. The paper formally introduces the notion of "service" with its semantics for data access; shows the compositional algebra for services and discusses a set of properties for this algebra which can be used when combining the components for simplification and optimization purposes, and describes the architecture for the implementation.

关键词： Relational databases Costs User interfaces Decision support systems automatic programming Marine vehicles Postal services Computer languages Assembly Libraries

来源：评论

学校读者我要写书评

暂无评论

Developing personalized information services on the internet

Developing personalized information services on the internet

引用

International Workshop on Multimedia Software Engineering

作者： Y. Koseki C&C Media Research Laboratories NEC Corporation Limited Japan

来源：评论

学校读者我要写书评

暂无评论

From design to implementation using the Parallel Program Generator

From design to implementation using the Parallel Program Gen...

引用

EUROMICRO Conference

作者： J.R.P. Ribeiro N.C. da Silva R.G. Moron C.E. Moron Fed. Univ. of Sao Carlos Brazil Department of Computer Science Federal University of Sāo Carlos UFSCar Sao Paulo Brazil

The development of parallel applications usually require the use of different techniques for each of the phases of development. The paper reports on the process of moving from the design of a parallel real time application into its implementation using the Parallel Program Generator. This tool is part of a visual environment for the development of parallel real time programs, an integrated environment for the development of applications executed in a parallel machine. The aim of the tool being described here is to facilitate the generation and debugging of source code of parallel real time applications. As the aim of the environment is to provide continuity in the development of projects using the most common development methods (traditional or object oriented), an example is provided in order to show the potential of the tool, whose first version is available for downloading at http://***//spl sim/tev/***.

关键词： automatic programming Debugging Real time systems programming profession Application software Hardware Computer architecture Computer science Parallel machines HTML

来源：评论

学校读者我要写书评

暂无评论

Towards a rapid prototyping by linking design, implementation and debugging in real-time parallel systems

Towards a rapid prototyping by linking design, implementatio...

引用

International Workshop on Rapid System Prototyping (RSP)

作者： C.E. Moron J.R.P. Ribeiro N.C. Da Silva Department of Computer Science Federal University of São Carlos Sao Paulo Brazil

Due to the culture of sequential programming, the lack of tools and the inherent difficulties of parallel programming, most programmers find it hard to design and evaluate real time parallel programs. As a result, a major problem found in the development of real time parallel systems is the difficulty to produce rapid prototypes of the application and frequently the development of these types of systems, is behind schedule. The paper presents a visual environment which should be able to provide continuity in the development of projects using the most common development methods, traditional or object oriented, by offering support during the phases of implementation, debugging and testing. The environment has a visual interface with the user and the main aim is to facilitate the learning process in the generation and debugging of source code of applications developed for parallel kernels, in particular for Virtuoso (Virtual Single Processor programming System-Virtuoso is a trademark of Eonic Systems-http://***). The environment is composed of four tools: a Parallel Program Generator, a Worst Case Execution Time Analyser, a Scheduling Analyser, and a Parallel Debugger. The first version of the tool is available for download from http://***/tev/*** and was released as Teaching Environment for Virtuoso (TEV).

关键词： Prototypes Joining processes Parallel programming Debugging programming profession Real time systems Testing Kernel Trademarks automatic programming

来源：评论

学校读者我要写书评

暂无评论

A PLC program generator incorporating sequential circuit synthesis techniques

A PLC program generator incorporating sequential circuit syn...

引用

IEEE Asia-Pacific Conference on Circuits and Systems

作者： T. Krairojananan S. Suthapradit Department of Electrical Engineering Chaing Mai University Chiang Mai Thailand

Programmable Logic Controllers (PLC) are normally programmed by using ladder diagrams which represent the interconnection of the "virtual devices" needed to perform the desired functions. While this method is convenient and easy to implement in most cases, it can become quite complicated when timers and counters are included. This problem is overcome by incorporating the techniques of sequential circuit synthesis into the PLC program generator. The program generator accepts inputs in the form of State Transition Description Language (STDL) statements and its final output is in the form of the target PLC machine code. A built-in minimization capability makes the output code run more efficiently.

关键词： Programmable control automatic programming Sequential circuits Circuit synthesis Counting circuits Minimization Integrated circuit interconnections Industrial control Keyboards Microcomputers

来源：评论

学校读者我要写书评

暂无评论

Flying probe test systems: capabilities for effective testing

Flying probe test systems: capabilities for effective testin...

引用

IEEE International Test Conference

作者： J. Ferguson ITA Corporation

The circuit board manufacturing community is now ready to embrace the concept of moving probe in-circuit test systems, also known as Flying Probers. This is due not only to the ability of Flying Probers to eliminate the cost of fixturing, but also to their new ability to satisfy the overall test requirements. This opens up the opportunity to test a new class of boards that are not cost effective to test on fixture based systems, and were not able to be tested on previous Flying Probe test systems. Requirements such as prototype development, low to medium volume manufacturing, high net count boards, and field returns are examples of prime targets for Flying Probers. What then are the capabilities a user should look for in a Flying Prober that will insure its most effective overall use as a quick-turn around, highly flexible test tool? An attempt is made to answer this question.

关键词： System testing Probes automatic testing Integrated circuit testing Software testing Circuit testing Manufacturing Costs Fixtures automatic programming

来源：评论

学校读者我要写书评

暂无评论

A teaching environment for the development of parallel real-time programs

A teaching environment for the development of parallel real-...

引用

Frontiers in Education (FIE) Conference

作者： C.E. Moron J.R.P. Ribeiro N.C. da Silva Universidade Federal de Sao Carlos Sao Carlos SP BR Dept. of Comput. Sci. Univ. Fed. de Sao Carlos Brazil

The teaching environment described here is introduced as an effective way for learning how to deal with the problems related with parallel/distributed real-time systems. The educational process has three main domains: the cognitive; the affective; and the psychomotor. Normally, the student dominates the first, but lacks more interest for the subject and a familiarisation with the challenges of real problems in the area. The environment has a visual interface with the user whose aim is to facilitate the learning process in the generation and debugging of source code of applications developed for the parallel kernels and in particular for Virtuoso (Virtual Single Processor programming System (TM)). The environment is composed of four tools: a parallel programs generator; a worst case execution time analyser; a scheduling analyser; and a parallel debugger. The first tool was released as a teaching environment for Virtuoso (TEV). The second of these tools is already under implementation and the last two tools will be available in the near future. Roughly, this visual environment should be able to provide continuity in the development of projects using the most common development methods (traditional or object-oriented), by offering support during the phases of implementation, debugging and testing.

关键词： Education Debugging Real time systems Psychology Kernel programming profession Parallel programming automatic programming Processor scheduling Testing

来源：评论

学校读者我要写书评

暂无评论

automatic programming of Binary Morphological Machines by PAC learning

Automatic programming of Binary Morphological Machines by PA...

引用

Conference on Neural, Morphological, and Stochastic Methods in Image and Signal Processing

作者： BARRERA, J TOMITA, NS DASILVA, FSC TERADA, R UNIV SAO PAULO DEPT CIENCIA COMPUTACAOBR-01452990 SAO PAULOBRAZIL

ISBN: (纸本)0819419273

Binary image analysis problems can be solved by set operators implemented as programs for a binary morphological machine (BMM). This is a very general and powerful approach to solve this type of problem. However, the design of these programs is not a task manageable by nonexperts on mathematical morphology. In order to overcome this difficulty we have worked on tools that help users describe their goals at higher levels of abstraction and to translate them into BMM programs. Some of these tools are based on the representation of the goals of the user as a collection of input-output pairs of images and the estimation of the target operator from these data. PAC learning is a well suited methodology for this task, since in this theory 'concepts' are represented as Boolean functions that are equivalent to set operators. In order to apply this technique in practice we must have efficient learning algorithms. In this paper we introduce two PAC learning algorithms, both are based on the minimal representation of Boolean functions, which has a straightforward translation to the canonical decomposition of set operators. The first algorithm is based on the classical Quine-McCluskey algorithm for the simplification of Boolean functions, and the second one is based on a new idea for the construction of Boolean functions: the incremental splitting of intervals. We also present a comparative complexity analysis of the two algorithms. Finally, we give some application examples.

关键词： MATHEMATICAL MORPHOLOGY automatic programming PAC]EARNING PATTERN RECOGNITION

来源：评论

学校读者我要写书评

暂无评论

Human action learning via hidden Markov model

引用

IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS 1997年第1期27卷 34-44页

作者： Yang, J Xu, YS Chen, CS UNIV AKRON DEPT ELECT ENGN AKRON OH 44325 USA

To successfully interact with and learn from humans in cooperative modes, robots need a mechanism for recognizing, characterizing, and emulating human skills, In particular, it is our interest to develop the mechanism for recognizing and emulating simple human actions, i.e., a simple activity in a manual operation where no sensory feedback is available. To this end, we have developed a method to model such actions using a hidden Markov model (HMM) representation. We proposed an approach to address two critical problems in action modeling: classifying human action-intent, and leaning human skill, for which we elaborated on the method, procedure, and implementation issues in this paper, This work provides a framework for modeling and learning human actions front observations. The approach can be applied to intelligent recognition of manual actions and high-level programming of control input within a supervisory control paradigm, as well as automatic transfer of human skills to robotic systems.

关键词： Hidden Markov models Intelligent robots Robot sensing systems Human robot interaction Character recognition Manuals Feedback automatic programming Robot programming automatic control

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：