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

IEEE International Symposium on Geoscience and Remote Sensing (IGARSS)

作者： J.M. Daida J.D. Hommes S.J. Ross J.F. Vesecky Artificial Intelligence Laboratory & Space Physics Research Laboratory University of Michigan Ann Arbor MI USA Department AOSS University of Michigan Ann Arbor MI USA

Focuses on how a method for automated programming (i.e., genetic programming) applies in the computer-aided discovery of algorithms that enhance and extract features from remotely sensed images. Highlighted as a case study is the use of this method in the problem of extracting pressure ridge features from ERS-1 SAR imagery; a problem for which there has been no known satisfactory solution.

关键词： Feature extraction Synthetic aperture radar Arctic Genetic programming automatic programming Sea ice Data mining Image segmentation Artificial intelligence Laboratories

来源：评论

学校读者我要写书评

暂无评论

The parallel cellular programming model

The parallel cellular programming model

引用

Euromicro Workshop on Parallel and Distributed Processing

作者： P.J. Cagnard Computer Science Theory Laboratory Swiss Federal Institute of Technology Lausanne Switzerland

We present a synchronous parallel programming model designed for massively parallel fine grained applications such as cellular automata, finite element methods or partial differential equations. In this model we assume that the number of parallel processes in a program is much larger than the number of processors of the machine on which it is run. We present the computational model and the communication model. We introduce the virtual cellular machine, an abstract machine implementing this programming model which requires means to simulate efficiently the execution of many processes on a single processor; and to use the available communication bandwidth efficiently. Finally, we show an example program written in a prototype language designed for programming the virtual machine.

关键词： Parallel programming Concurrent computing Electrical capacitance tomography Computational modeling Prototypes Parallel processing Computer science Laboratories automatic programming Application software

来源：评论

学校读者我要写书评

暂无评论

A formal approach to requirements-based programming

A formal approach to requirements-based programming

引用

International Conference and Workshop on Engineering of Computer-Based Systems

作者： M.G. Hinchey J.L. Rash C.A. Rouff Information Systems Division NASA Goddard Space Flight Center Greenbelt MD USA Advanced Concepts Business Unit SAIC Mclean VA USA

No significant general-purpose method is currently available to mechanically transform system requirements into a provably equivalent model. The widespread use of such a method represents a necessary step toward high-dependability system engineering for numerous application domains. Current tools and methods that start with a formal model of a system and mechanically produce a provably equivalent implementation are valuable but not sufficient. The "gap" unfilled by such tools and methods is that the formal models cannot be proven to be equivalent to the requirements. We offer a method for mechanically transforming requirements into a provably equivalent formal model that can be used as the basis for code generation and other transformations. This method is unique in offering full mathematical tractability while using notations and techniques that are well known and well trusted. Finally, we describe further application areas we are investigating for use of the approach.

关键词： Mathematical model Systems engineering and theory Reverse engineering Documentation NASA Information systems automatic programming Humans Software engineering Computer languages

来源：评论

学校读者我要写书评

暂无评论

GP-pro: the generative programming protocol generator for routing in mobile ad hoc networks

GP-pro: the generative programming protocol generator for ro...

引用

IEEE Workshop on Wireless Mesh Networks (WiMesh)

作者： Pedro E. Villanueva-pena Thomas Kunz SITE University of Ottawa Ottawa ONT Canada SCE Carleton University Ottawa ONT Canada

Routing in mobile ad hoc networks (MANETs) where network topology is highly dynamic is not a trivial task. Routing protocols have been profoundly researched but only three of them have reached the RFC status (AODV[7], OLSR[5] and TBPRF[6]). On the other hand, the constantly increasing network requirements in terms of bandwidth, robustness, reliability and quality of service for a broad range of multiplatform scenarios demand for fast development and implementation of routing protocols that satisfy specific user and network requirements. However, current practices for protocol development and implementation are costly error-prone and time-consuming, especially when existing knowledge is not properly reused. Generative programming is an attractive solution that makes use of reusable components and is also empowered with the knowledge to automatically assemble them. This paper discusses the design and development of the GP- Pro protocol generator (based on generative programming), for automatic generation of ad hoc routing protocols, according to user requirements expressed by means of a specification language. GP-Pro is designed to be extensible, with the explicit goal of generating a large number of different protocols by different component combinations. GP-Pro addresses the generation of proactive, reactive and position-based routing protocols.

关键词： Routing protocols Mobile ad hoc networks automatic programming Robustness Dynamic programming Network topology Bandwidth Quality of service Assembly Specification languages

来源：评论

学校读者我要写书评

暂无评论

Systems Tracking

引用

IEEE Transactions on Manufacturing Technology 1973年第1期2卷 12-14页

作者： Mahar, Jan IBM Poughkeepsie N.Y. United States

An automated system has been developed by the Industrial Engineering group at IBM's System Products Division plant in Poughkeepsie, N.Y., to TRACK the serialized bases of any product by comparing customized targets to actual labor claims. The system expedites identification of the specific factor that contributed to an overtarget situation. The concepts of TRACK, which consist of Fortran IV and PL/1 programs under OS, are being incorporated into a plant-wide programming system called A TLAS (Actual Target Labor Auditing System). © 1973, IEEE. All rights reserved.

关键词： Target tracking Industrial engineering Computer aided manufacturing Costs Manuals Production Information systems automatic programming Assembly Logic testing

来源：评论

学校读者我要写书评

暂无评论

Queueing behavior of a type-II hybrid-ARQ in a TDMA system over a markovian channel

Queueing behavior of a type-II hybrid-ARQ in a TDMA system o...

引用

2005 International Conference on Wireless Networks, Communications and Mobile Computing

作者： Seo, Jun-Bae Lee, Seung-Que Park, Nam-Hoon Lee, Hyong-Woo Cho, Ong-Ho Depart. of Wireless System Research Electronics and Telecommunication Research Institute 161 Gajeong-dong Yuseong-gu Daejeon 305-350 Korea Republic of Korea University Choongnam Korea Republic of

ISBN: (纸本)0780393058

In this paper, the queueing performance of a type-II hybrid ARQ (automatic Repeat reQuest) scheme in a TDMA system over a Markovian channel is analyzed by assuming infinite queue size. The system of interest can be described by an embedded Markov chain of M/G/1 type, which can be solved by a well-known matrix analytic method of M/G/1 type. In the numerical examples, the mean delay and the packet dropping probability obtained using the infinite queue assumption are examined under varying the mobile velocity, average received signal-to-noise ratio(SNR) and coding rate. © 2005 IEEE.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

Learning automation policies for pervasive computing environments

Learning automation policies for pervasive computing environ...

引用

2nd International Conference on Autonomic Computing, ICAC 2005

作者： Ziebart, Brian D. Roth, Dan Campbell, Roy H. Dey, Anind K. School of Computer Science Carnegie Mellon University Department of Computer Science University of Illinois Urbana-Champaign

ISBN: (纸本)0769522769

If current trends in cellular phone technology, personal digital assistants, and wireless networking are indicative of the future, we can expect our environments to contain an abundance of networked computational devices and resources. We envision these devices acting in an orchestrated manner to meet users' needs, pushing the level of interaction away from particular devices and towards interactions with the environment as a whole. Computation will be based not only on input explicitly provided by the user, but also on contextual information passively collected by networked sensing devices. Configuring the desired responses to different situations will need to be easy for users. However, we anticipate that the triggering situations for many desired automation policies will be complex, unforeseen functions of low-level contextual information. This is problematic since users, though easily able to perceive triggering situations, will not be able to define them as functions of the devices' available contextual information, even when such a function (or a close approximation) does exist. In this paper, we present an alternative approach for specifying the automation rules of a pervasive computing environment using machine learning techniques. Using this approach, users generate training data for an automation policy through demonstration, and, after training is completed, a learned function is employed for future automation. This approach enables users to automate the environment based on changes in the environment that are complex, unforeseen combinations of contextual information. We developed our learning service within Gaia, our pervasive computing system, and deployed it within our prototype pervasive computing environment. Using the system, we were able to have users demonstrate how sound and lighting controls should adjust to different applications used within the environment, the users present, and the locations of those users and then automate those demonstrat

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

Special-purpose, electronic data systems—The solution to industrial and commercial automation

Special-purpose, electronic data systems—The solution to in...

引用

1959 Western Joint IRE-AIEE-ACM Computer Conference, IRE-AIEE-ACM 1959

作者： Crowley, William V. Information Systems Dept. Ramo-Wooldridge Corp. Los AngelesCA United States

The concept that any "standard" electronic data processing or computing system should be adapted solely through programming to suit a particular business or industry is no longer supportable, except as an interim step for testing the planning and design of the data system through simulation. Nor does the answer to making "standard" electronic data systems more easily adaptable to various business applications lie in the area of so-called automatic programming. This is not to imply that this endeavor has not or will not be valuable and useful. © 1959 Association for Computing Machinery, Inc. All rights reserved.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

Optimization machining of reconstructed part from orthographic image

Optimization machining of reconstructed part from orthograph...

引用

2010 International Conference on Mechanic Automation and Control Engineering, MACE2010

作者： Liu, Jianping Li, Gangwei Department of Mechanical and Electrical Engineering Foshan Polytechnic College Foshan China Department of Business Administration Foshan Polytechnic College Foshan China

ISBN: (纸本)9781424477388

To reconstruct object from its orthographic image, a new method of 3D reconstruction based on image vectorization is presented. A 3D CAD model is automatically acquired from 2D views by means of 2D primitive recognition, 3D reconstruction of primitive and combination of 3D primitive bodies. With the help of CimatronE8.5 software, reasonable procedure design and optimization toolpath planning are applied to increase machining accuracy and productivity during automatic programming for reconstructed 3D solid. Reconstructed parts are machined on the VMC-600 type machine center with FANUC system. The results of application indicate that this method has many advantages, such as quickly obtaining the CAD model of part, getting smooth machined surface, efficient machining without invalid or reduplicate feed and so on. As a result, it can be applied widely in NC machining field. ©2010 IEEE.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

Staging static analyses for program generation 06

Staging static analyses for program generation

引用

5th International Conference on Generative programming and Component Engineering, GPCE'06. Co-located with the 21st International Conference on Object-Oriented programming, Systems, Languages, and Applications, OOPSLA 2006

作者： Kamin, Sam Aktemur, Baris Katelman, Michael University of Illinois at Urbana-Champaign 201 N.Goodwin Urbana IL 61801 United States

ISBN: (纸本)1595932372

Program generators are most naturally specified using a quote/antiquote facility;the programmer writes programs with holes which are filled in, at program generation time, by other program fragments. If the programs are generated at compile-time, analysis and compilation follow generation, and no changes in the compiler are needed. However, if program generation is done at run time, compilation and analysis need to be optimized so that they will not overwhelm overall execution time. In this paper, we give a compositional framework for defining program analyses which leads directly to a method of staging these analyses. The staging allows the analysis of incomplete programs to be started at compile time;the residual work to be done at run time may be much less costly than the full analysis. We give frameworks for forward and backward analyses, present several examples of specific analyses, and give timing results showing significant speed-ups for the run-time portion of the analysis relative to the full analysis. Copyright © 2006 ACM.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：