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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

1,178 篇 会议
329 篇 期刊文献
7 册 图书
5 篇 学位论文

馆藏范围

1,519 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

641 篇 工学
- 460 篇 计算机科学与技术...
- 311 篇 软件工程
- 221 篇 电气工程
- 78 篇 控制科学与工程
- 63 篇 信息与通信工程
- 49 篇 机械工程
- 31 篇 电子科学与技术（可...
- 20 篇 仪器科学与技术
- 16 篇 材料科学与工程（可...
- 7 篇 生物医学工程（可授...
- 6 篇 力学（可授工学、理...
- 6 篇 动力工程及工程热...
- 6 篇 化学工程与技术
- 5 篇 建筑学
- 5 篇 生物工程
- 4 篇 土木工程
- 4 篇 航空宇航科学与技...
- 4 篇 核科学与技术
106 篇 理学
- 69 篇 数学
- 14 篇 物理学
- 11 篇 系统科学
- 11 篇 统计学（可授理学、...
- 10 篇 生物学
- 7 篇 科学技术史(分学科...
55 篇 管理学
- 40 篇 管理科学与工程(可...
- 15 篇 图书情报与档案管...
- 8 篇 工商管理
9 篇 医学
- 6 篇 临床医学
6 篇 教育学
- 6 篇 教育学
4 篇 文学
- 4 篇 新闻传播学
2 篇 哲学
2 篇 经济学
2 篇 法学
1 篇 历史学

主题

1,519 篇 automatic progra...
155 篇 programming prof...
144 篇 application soft...
143 篇 automatic contro...
136 篇 computer science
109 篇 robot programmin...
106 篇 robotics and aut...
104 篇 genetic programm...
90 篇 automatic testin...
88 篇 control systems
86 篇 hardware
84 篇 computer languag...
82 篇 humans
80 篇 software enginee...
76 篇 costs
73 篇 automation
72 篇 testing
70 篇 software systems
65 篇 functional progr...
63 篇 system testing

机构

8 篇 the robotics ins...
5 篇 school of comput...
4 篇 fujitsu laborato...
4 篇 national univers...
4 篇 graduate school ...
3 篇 department of co...
3 篇 sandia national ...
3 篇 college of infor...
3 篇 school of machin...
3 篇 swoop cambridge ...
3 篇 ostfold univ col...
3 篇 sri internationa...
3 篇 school of comput...
3 篇 hamilton coll cl...
3 篇 lockheed palo al...
3 篇 research institu...
3 篇 ibm research lab...
3 篇 sivas cumhuriyet...
3 篇 production model...
3 篇 department of el...

作者

11 篇 k. ikeuchi
7 篇 olsson roland
6 篇 h. mizutani
6 篇 arslan sibel
5 篇 akira hara
5 篇 arpaia pasquale
5 篇 c. ramos
5 篇 t. suehiro
5 篇 t. matsudaira
5 篇 j. rocha
5 篇 tetsuyuki takaha...
4 篇 katagiri takahir...
4 篇 helmuth thomas
4 篇 t. thomasma
4 篇 ikeuchi k
4 篇 pantridge edward
4 篇 jun-ichi kushida
4 篇 c.e. moron
4 篇 spector lee
4 篇 t.l. marzetta

语言

1,458 篇 英文
56 篇 其他
3 篇 中文
2 篇 日文
1 篇 法文

检索条件"主题词=Automatic Programming"

共 1519 条记录，以下是1051-1060 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

automatic resource allocation in industrial multirobot systems

Automatic resource allocation in industrial multirobot syste...

引用

IEEE International Conference on Robotics and Automation (ICRA)

作者： R. Cassinis Dipartimento di Elettronica Politecnico di Milano Milano Italy

The paper proposes a methodology for robot programming, based on the concept of automatically assigning available physical resources to the tasks to be performed during program execution, rather than specifying them in the user program. This is specially useful in multirobot systems, when several similar machines are included in the same robotized cell, and when the system has to cope with unpredictable length operations. The most interesting feature of the system appears to be its capability of maintaining good performance in those situations where, due to faulty robots, to sudden changes in the production cycle, etc., traditional scheduling and optimization techniques fail to succeed. The paper includes a discussion of the main advantages and drawbacks of the technique, together with some experimental results.

关键词： Resource management Multirobot systems Robot programming Robotics and automation automatic programming Runtime programming profession Service robots Writing Logic programming

来源：评论

学校读者我要写书评

暂无评论

Automated analysis of simulation output data 05

Automated analysis of simulation output data

引用

Simulation Winter Conference

作者： S. Robinson Warwick Business School University of Warwick Coventry UK

ISBN: (纸本)9780780395190

Appropriate analysis of simulation output is important to the success of a simulation study. Many users, however, do not have the skills required to perform such analyses. One way of overcoming this problem is to provide automated tools for analyzing simulation output. An Excel based automated "analyser" is described that performs an analysis of a single scenario. The analyser links to a commercial simulation software package, SIMUL8, and provides recommendations on warm-up, number of replications and run-length. Various standard procedures are used in the analyser with some adaptations to make them suitable for automation. This research demonstrates the potential of the approach. A requirement for further development is more thorough testing of the analysis procedures, particularly for their robustness and generality in use. Further adaptation of the procedures for automation may also be required.

关键词： Analytical models Performance analysis Software packages Statistical analysis Packaging Data analysis Testing Robustness Manufacturing automation automatic programming

来源：评论

学校读者我要写书评

暂无评论

Systematic design of static program analyzers

Systematic design of static program analyzers

引用

IEEE Annual International Computer Software and Applications Conference (COMPSAC)

作者： S. Jarzabek Department of Information Systems and Computer Science National University of Singapore Singapore

Static program analyzers (SPA) are interactive tools that enhance program understanding by answering queries about programs. An SPA parses source programs and builds a so-called program knowledge base (PKB) that enables automatic processing of program queries. An SPA design method described in this paper consists of steps during which we (1) identify, a class of program queries we wish to answer, (2) model program information that is required to resolve queries, (3) define physical representation for programs, based on the concept of a hybrid PKB, and (4) implement other SPA components such as a front-end and user interface. Generally, queries related to global properties of programs are best handled if we store program information in a relational database. On the other hand, detailed queries are best supported if we represent programs as attributed syntax trees. A hybrid PKB described in this paper integrates these two program representations. Our notation for specifying a hybrid PKB forms a basis for a generation system that automates some of the routine, but time consuming, tasks involved in implementation of programming tools.< >

关键词： programming profession Relational databases Flow graphs Computer science Design methodology Hybrid power systems automatic programming Data mining Tree graphs Reverse engineering

来源：评论

学校读者我要写书评

暂无评论

The elimination of intermediate containers in the evaluation of first-class array expressions

The elimination of intermediate containers in the evaluation...

引用

International Conference on Computer Languages

作者： C. McCrosky Department of Computational Science University of Saskatchewan Saskatoon Canada

A language with first-class arrays has functions that map from arrays to arrays, where arrays are nested rectangular containers. Such languages are conceptually appropriate for a wide range of applications. Unfortunately, straightforward implementations have high memory allocation and data movement overheads. An algorithm and implementation which discover efficient implementations for first-class array expressions is presented. This optimizer achieves results equivalent to the code a good imperative programmer would produce. For many examples, all temporary arrays and unnecessary moves are avoided. To motivate and provide a basis for this work, a first-class array language is defined and examples of its use are given.< >

关键词： Containers Shape programming profession Production automatic programming Runtime Bridges Design optimization High level languages Array signal processing

来源：评论

学校读者我要写书评

暂无评论

Learning discrete mappings-Athena's approach

Learning discrete mappings-Athena's approach

引用

IEEE Workshop on Languages for Automation: Symbiotic and Intelligent Robots

作者： C. Koutsougeras C.A. Papachristou Computer Science Department Tulane University New Orleans LA USA Computer Engineering and Science Department Case Western Reserve University Cleveland OH USA

The general problem of learning discrete mappings is considered. The focus is on the problem of learning a mapping that generalizes an incomplete description specified by a set of examples. The authors' view of this problem's nature is explained for the case of incompletely specified mappings, and on this basis a quantitative measure is given for determining the target learning performance. A neural-net model is proposed and shown to be appropriate for this general task. The model's structure is briefly described and the principles and insight of an earlier proposed adaptive process are explained. How the target of this adaptive process relates to the goal of the adaptation, as the latter is specified, is explained. The model is qualitatively analyzed and compared with the multilayer perceptron and the nonlinear feedforward model. It is shown that the proposed model is functionally equivalent to the perceptron. A number of test examples are presented which provide an insight and an evaluation of the model's performance.< >

关键词： Multilayer perceptrons Learning systems Neural networks Adaptive systems automatic control Computer science Feedforward systems Testing automatic programming Pattern classification

来源：评论

学校读者我要写书评

暂无评论

A method for supporting software design based on comment on software

A method for supporting software design based on comment on ...

引用

IEEE International Workshop on Robot and Human Communication (ROMAN)

作者： T. Yoshida K. Hashimoto T. Yamaoka S. Nishida Department of Systems and Human Science Graduate School of Engineering Science Osaka University Toyonaka Osaka Japan Mitsubishi Electric Corporation Limited Hyogo Japan

This paper proposes a method for supporting software design by utilizing the comment which is usually put on software. It is believed that the software designer often leaves the hint or clue with respect to the reason or rationale for each module or component as the comment on software when he/she designs and implements the software. The comment is utilized for structuring software into a tree and CBR (case-based reasoning) is carried out based on the tree structure for enabling the effective re-use of past software with respect to the structure and organization of software in the upper stream in design. A prototype system has been implemented with the proposed support method and experiments have been carried out to investigate the effectiveness of our approach.

关键词： Software design automatic programming Graphical user interfaces User interfaces Displays Humans Design engineering Tree data structures Software prototyping Decision making

来源：评论

学校读者我要写书评

暂无评论

Twenty years of ATE

Twenty years of ATE

引用

IEEE International Test Conference

作者： W. Gosling Roke Manor Plessey Company Public Limited Company Romsey Hampshire UK

The author surveys 20 years in the field of ATE (automatic test equipment) after the famous 'Cherry Hill' International Test Conference of 1970. The microelectronics revolution, the development of the micropro... 详细信息

关键词： Electronic equipment testing System testing Circuit testing automatic control automatic programming Circuit faults Consumer electronics Microelectronics Computer peripherals Switches

来源：评论

学校读者我要写书评

暂无评论

Specification and synthesis of control software for flexible manufacturing systems

Specification and synthesis of control software for flexible...

引用

IEEE International Conference on Systems, Man and Cybernetics

作者： P. Gutierrez-Robles E. Lopez-Mellado A. Ramirez-Trevino CINVESTAV-IPN Unidad Guadalajara-Mñxico Mexico

The paper deals with automated task programming of flexible manufacturing systems (FMS). The method presented allows a) to progressively specify the operations to be performed in an FMS and b) to automatically synthesize the core of highly concurrent control software. During the specification phase tasks are modeled as Petri net modules; the analysis of properties is performed in each step of the design process. During the synthesis phase the tasks are defined and the mechanisms of communication, synchronization and mutual exclusion are built into the pertinent task bodies. This technique is presented and illustrated through an example where Ada code is generated.

关键词： Control system synthesis Flexible manufacturing systems Performance analysis automatic control Size control Circuit synthesis Merging automatic programming Communication system control Software performance

来源：评论

学校读者我要写书评

暂无评论

A bus-test program generator for microprocessor systems

A bus-test program generator for microprocessor systems

引用

IEEE Instrumentation and Measurement Technology Conference

作者： G. Baccolini C. Offeli Dipartimento di Elettronica e Informatica Universita di Padova Padova Italy Dipartimento di Elettronica e Inf. Padova Univ. Italy

An algorithm to verify the correct operation of a microprocessor system bus is presented. It indicates which faults are detected by an instruction or group of instructions, allowing the designer to choose a set of instructions to implement the bus test and verifies the fault coverage obtained by a user-selected set. A set of op-codes for a bus-test-oriented microprocessor is analyzed.< >

关键词： automatic programming Microprocessors Circuit faults Fault detection Built-in self-test automatic testing System testing Electrical fault detection Availability System buses

来源：评论

学校读者我要写书评

暂无评论

Behavior Composition Meets Supervisory Control

Behavior Composition Meets Supervisory Control

引用

IEEE International Conference on Systems, Man and Cybernetics

作者： Masoud Barati Richard St-Denis Département d’ informatique Université de Sherbrooke Sherbrooke (Québec) Canada

With the evolution of software engineering since the advent of structured programming until now, software engineers are faced with tremendous challenges mostly due to the development of large software programs that behave as open systems. Multi-agent systems, which consist of multiple cooperating intelligent agents within an environment, form a particular class of such systems. This sort of software program, which carries out operations by repeatedly interacting with dynamic environments, has become more and more complex with the emergence of ubiquitous communication and computing technologies that constantly grow and evolve. Agent-oriented computing constitutes an appealing solution for coping with this level of complexity because systems can be built by combining agents. The automated composition of software artifacts to generate new ones may rest on recent progress in artificial intelligence and automatic control that has its roots in the tradition of program synthesis. The goal is to provide software engineers with effective methods in which the planning and control of software actions are integral parts of composition operators, together with synthesis procedures that automatically generate an execution strategy that governs the discrete dynamics of the composed artifact in order to satisfy given requirements. This approach ensures a higher degree of safety because it relies on formal methods. This paper shows how the behavior composition problem issued from the artificial intelligence community can be solved within the framework of the supervisory control theory with the aim to benefit from all of its rich facets.

关键词： Supervisory control Planning Software Bismuth Control theory Controllability automatic programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共152页 << < 102 103 104 105 106 107 108 109 110 111 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：