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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 generation of rules for a fuzzy robotic controller

Automatic generation of rules for a fuzzy robotic controller

引用

Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems. IROS '96

作者： G. Castellano G. Attolico E. Stella A. Distante Istituto Elaborazione Segnali ed Immagini-C.N.R. Bari Italy

Fuzzy logic is a useful tool for realizing a direct mapping between perceptual situations and control commands in robotic applications that do not require internal representation or planning. It allows explicit programming and automatic learning from suitable training data to be mixed in several ways in order to produce the necessary control rules. automatic learning enables both the reduction of the annoying and error-prone explicit programming work and the evolution in time of the controller in order to cope with dynamically changing environments. At any time an expert can verify and eventually modify the knowledge of the fuzzy system according to its personal experience. Two methods for the automatic extraction of rules from training data have been proved on a fuzzy control system for wall-following. The system is intended to grow including all the behaviors required for the safe navigation of a autonomous mobile vehicle and their arbitration. Distance measures supplied by an ultrasonic sensor ring have been chosen as sensory data. The training data have been collected during operator-driven runs of the vehicle. The same data have been used by the two methods for building rule bases that have proved effectively in driving a real AGV (a TRC Labmate base) in an indoor environment.

关键词： Fuzzy control Robotics and automation automatic generation control Robot control automatic control Training data automatic programming Robot programming Remotely operated vehicles Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

Last alternative optimization

Last alternative optimization

引用

International Symposium on Parallel and Distributed Processing (IPDPS)

作者： G. Gupta E. Pontelli Laboratory for Logicand Advanced Programming New Mexico State University Las Cruces NM USA

The authors present a new optimization for or-parallel logic programming (Prolog) systems, called last alternative optimization (LAO). The LAO follows from the flattening principle and the principle of duality of or-parallelism and and-parallelism. Originally LAO was conceived as the dual of last parallel call optimization, an optimization developed for and-parallel systems. LAO enables Prolog programs that have data-or parallelism to execute more efficiently. It also enables more efficient (parallel) execution of constraint logic programs over finite domains. LAO is a fairly general optimization and can be readily applied to virtually any parallel system that exploits nondeterminism (e.g., parallel search based artificial intelligence systems). Last alternative optimization has been implemented in the ACE parallel Prolog system. The performance results indeed prove the effectiveness of LAO. They present a second optimization based on the flattening principle, called balanced nesting optimization (BNO), that is related to LAO, and that also leads to reduction of parallel overhead.

关键词： Logic programming Parallel processing Parallel programming Tree data structures Laboratories Databases Artificial intelligence Application software automatic programming

来源：评论

学校读者我要写书评

暂无评论

Data collection and recording guidelines for achieving intelligent diagnostics

Data collection and recording guidelines for achieving intel...

引用

International automatic Testing Conference, AUTOTESTCON

作者： L.G. Allred D.J.P. Harames Software Eng. Div. (TIS) Hill AFB UT USA

Whether using human or machine intelligence, the best decisions are made when using all available information from all relevant sources. In contrast to traditional automatic test equipment (ATE) programming techniques, which stop on failures to perform a diagnosis, we would collect from the entire sequence of electronic tests, and integrate these data with circuit topology and external data (including thermal imaging) to obtain a best informed diagnosis. Novel on-the-fly neural network paradigms provide the capability to make correct assessments from a large history of repair data. Applications with these paradigms require a computer with sufficient horsepower (such as a PC) and high-level programming languages. The circuit topology assessment program can identify "dead" nodes through an entropy calculation, making it possible to perform circuit diagnosis in the absence of good/bad historical information. In theory, this technique could be applied to any automatic test equipment platform, provided that the data collection activities were in place.

关键词： Guidelines Machine intelligence automatic test equipment Electronic equipment testing Circuit testing Circuit topology Humans automatic programming Performance evaluation automatic testing

来源：评论

学校读者我要写书评

暂无评论

Novel self-limiting program scheme utilizing N-channel select transistors in P-channel DINOR flash memory

Novel self-limiting program scheme utilizing N-channel selec...

引用

International Electron Devices Meeting (IEDM)

作者： T. Ohnakado H. Takada K. Hayashi K. Sugahara S. Satoh H. Abe Advanced Technology R&D Center Mitsubishi Electric Corporation Limited Amagasaki Hyogo Japan

This paper describes a novel self-limiting program scheme applying N-channel select transistors in the P-channel DINOR flash memory, which makes it possible to maintain the high programming throughput even for future lower-voltage flash memories. Using this scheme, programming stops automatically at the desired threshold voltage state without any conventional verify operations. Moreover, the width of the additional applied pulses is a very short 0.1 /spl mu/s and therefore it hardly degrades the programming speed at all. This novel scheme is expected to become a key technology for realization of the future, high-performance, lower-supply-voltage P-channel DINOR flash memory.

关键词： Flash memory Throughput Transistors Threshold voltage Leakage current Fault location Research and development automatic programming Space vector pulse width modulation Degradation

来源：评论

学校读者我要写书评

暂无评论

A software engineering experiment in software component generation

A software engineering experiment in software component gene...

引用

International Conference on Software Engineering (ICSE)

作者： R.B. Kieburtz L. McKinney J.M. Bell J. Hook A. Kotov J. Lewis D.P. Oliva T. Sheard I. Smith L. Walton Pacific Software Research Center Oregon Graduate Institute of Science and Technology Portland OR USA

The paper presents results of a software engineering experiment in which a new technology for constructing program generators from domain-specific specification languages has been compared with a reuse technology that employs sets of reusable Ada program templates. Both technologies were applied to a common problem domain, constructing message translation and validation modules for military command, control, communications and information systems (C/sup 3/I). The experiment employed four subjects to conduct trials of use of the two technologies on a common set of test examples. The experiment was conducted with personnel supplied and supervised by an independent contractor. Test cases consisted of message specifications taken from Air Force C/sup 3/I systems. The main results are that greater productivity was achieved and fewer error were introduced when subjects used the program generator than when they used Ada templates to implement software modules from sets of specifications. The differences in the average performance of the subjects are statistically significant at confidence levels exceeding 99 percent.

关键词： Software engineering Paper technology automatic programming System testing Specification languages Military communication Communication system control Control systems Information systems Personnel

来源：评论

学校读者我要写书评

暂无评论

Assertion-oriented automated test data generation 96

Assertion-oriented automated test data generation

引用

Proceedings of the 18th international conference on Software engineering

作者： Bogdan Korel Ali M. Al-Yami Department of Computer Science Illinois Institute of Technology Chicago IL

ISBN: (纸本)9780818672460

Assertions are recognized as a powerful tool for automatic run time detection of software errors. However, existing testing methods do not use assertions to generate test cases. We present a novel approach of automated test data generation in which assertions are used to generate test cases. In this approach the goal is to identify test cases on which an assertion is violated. If such a test is found then this test uncovers an error in the program. The problem of finding program input on which an assertion is violated may be reduced to the problem of finding program input on which a selected statement is executed. As a result, the existing methods of automated test data generation for white box testing may be used to generate tests to violate assertions. The experiments have shown that this approach may significantly improve the chances of finding software errors as compared to the existing methods of test generation.

关键词： automatic programming software engineering assertion oriented automated test data generation automated test data generation program input program testing white box testing automatic run time detection software errors

来源：评论

学校读者我要写书评

暂无评论

Learning behaviours in a modular neural net architecture for a mobile autonomous agent

Learning behaviours in a modular neural net architecture for...

引用

Euromicro Workshop on Advanced Mobile Robot

作者： R.M. Rylatt C.A. Czarnecki T.W. Routen Department of Computer Science De Montfort University Leicester UK De Montfort University Leicester Leicestershire GB

The relatively new idea of decomposing the intelligent agent problem into behaviours rather than cognitive functions has had early success but doubts have arisen concerning the validity of its basic building blocks. It may still be worth retaining the idea that intelligent behaviour can be achieved through the accretion of modules each having a tight loop between perception and action but modules based on neural networks may have more potential. One approach that has been demonstrated is to train each module to achieve ifs individual competence. But although explicit teaching may play a part, a more interesting approach is to allow the agent to learn behaviours by interacting directly with the task environment. This paper presents a modular neural net architecture CRILL for the autonomous control of a mobile agent using a form of reinforcement learning. An experiment is described in which CRILL navigates through a simulated environment by seeking a series of light sources. The potential of the CRILL approach is assessed as a way of decomposing a complex goal and simplifying the construction of individual neural nets.

关键词： Neural networks Autonomous agents Mobile robots Education Educational robots Orbital robotics automatic control automatic programming Supervised learning Robotics and automation

来源：评论

学校读者我要写书评

暂无评论

Coin - Coherence Observation by Interference Noise

Coin - Coherence Observation by Interference Noise

引用

European Conference on Quantum Electronics (EQEC)

作者： Y. Prior I.Sh. Averbukh O. Kinrot Department of Chemical Physics Weizmann Institute of Science Rehovot 76100 Israel Tel: 972-8-343 350 Fax: 972-8-344 123

We present a novel approach - Coherence Observation by Interference Noise (COIN) - for the measurement of coherence The method is based on analysis of the quantum interference fluctuations (noise) in the incoherent emission from a medium, following the excitation by a pair of time delayed pulses with random relative phase. In addition to spectroscopical application, the new method is useful for the characterization of short pulses and their wavelength determination.

关键词： Coherence Interference Delay Fluorescence Fluctuations automatic programming

来源：评论

学校读者我要写书评

暂无评论

Enhancing simulation education with intelligent tutoring systems

Enhancing simulation education with intelligent tutoring sys...

引用

Simulation Winter Conference

作者： S.J.E. Taylor J. Siemer Brunei University Uxbridge UK Department of Information Systems London School of Economics and Political Science London UK

The demand for education in the area of simulation is in the increase. This paper describes how education in the field of simulation can take advantage of the virtues of intelligent tutoring with respect to enhancing the educational process. For this purpose, this paper gives an overview of what constitutes the objectives and the content of a comprehensive course in discrete event simulation. The architecture of an intelligent tutoring system is presented and it is discussed how these sophisticated learning aids offer individualised student guidance and support within a learning environment. The paper then introduces a prototype intelligent tutoring system, the simulation tutor, and suggests how the system might be developed to enhance education in simulation.

关键词： Intelligent systems Computational modeling Computer science education Computer science Information systems Computer simulation Discrete event simulation automatic programming Virtual prototyping Environmental economics

来源：评论

学校读者我要写书评

暂无评论

Compile-time inter-query dependence analysis

Compile-time inter-query dependence analysis

引用

International Symposium on Parallel and Distributed Processing (IPDPS)

作者： S. Parthasarathy Wei Li M. Cierniak M.J. Zaki Department of Computer Science University of Rochester Rochester NY USA

Most parallel databases exploit two types of parallelism: intra-query parallelism and inter-transaction concurrency. Between these two cases lies another type of parallelism: inter-query parallelism within a transaction or application. Exploiting inter-query parallelism requires either compiler support to automatically parallelize the existing embedded query programs; or programming support to write explicitly parallel query programs. The authors present compiler analysis to automatically detect parallelism in the embedded query programs. They present compiler algorithms for detecting dependences in such programs. They show that the properties of some aggregate functions such as MIN and MAX can help reduce statically computed dependences.

关键词： Parallel processing Program processors Testing Transaction databases Aggregates Database systems Concurrent computing automatic programming Parallel programming Computer science

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：