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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是881-890 订阅

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

详细简洁

排序：

VISIR, a simulation software for domotics installations to improve laboratory training

VISIR, a simulation software for domotics installations to i...

引用

Frontiers in Education (FIE) Conference

作者： V.M. Gonzalez F. Mateos A.M. Lopez J.M. Enguita M. Garcia R. Olaiz Ingeniería de Sistemas y Automática University of Oviedo Gijón Spain

This paper focuses on the programming and configuration stages of the domotics systems (automation technology applied to the technical management of houses and buildings), which are carried out in the laboratory prior to its definitive installation in houses and buildings. Different hardware and software tools for testing and debugging domotics systems are described. Because of their limitations (cost, closeness to the real system, flexibility, maintenance, etc.) we have developed a new software simulation tool called VISIR, which is comprised of three components: Editor, Drawing and Simulation. This paper describes VISIR features and operation modes using an example. All of this allows important advantages to be found in using this software for domotics laboratory training.

关键词： Laboratories Software tools automatic programming Automation Technology management Hardware Software testing System testing Debugging Costs

来源：评论

学校读者我要写书评

暂无评论

High-precision analog EEPROM with real-time write monitoring

High-precision analog EEPROM with real-time write monitoring

引用

IEEE International Symposium on Circuits and Systems (ISCAS)

作者： Keng Hoong Wee T. Nozawa T. Yonezawa Y. Yamashita T. Shibata T. Ohmi Department of Electronic Engineering Graduate School of Engineering University of Tohoku Sendai Japan Department of Frontier Informatics University of Tokyo Bunkyo Tokyo Japan

ISBN: (纸本)0780366859

We have developed a non-volatile high-precision analog EEPROM comprising two transistors per cell. In this newly developed memory, real-time write monitoring (RTM) is employed during cell programming to achieve automatic write termination without conventional write-verify cycles. Highly accurate data writing has been realized using a new self-calibrated offset cancellation scheme involving the double auto-zeroing of a chopper comparator. Fundamental circuit operation is verified experimentally on fabricated test circuits. Without the need for time-consuming write-verify cycles, the new analog EEPROM is suitable for use in analog signal processing applications with real-time information processing requirements.

关键词： EPROM Circuit testing Nonvolatile memory Computerized monitoring automatic programming Termination of employment Writing Choppers Signal processing Information processing

来源：评论

学校读者我要写书评

暂无评论

Space-time autocoding constellations with pairwise-independent signals

Space-time autocoding constellations with pairwise-independe...

引用

IEEE International Symposium on Information Theory

作者： T.L. Marzetta B. Hassibi B. Hochwald Lucent Technologies Inc. Murray Hill NJ USA Department of Electrical Engineering California Institute of Technology Pasadena CA USA

ISBN: (纸本)0780371232

Summary form only given. The space-time autocoding effect implies that arbitrarily reliable communication is possible within a single coherence interval in Rayleigh flat fading as the symbol-duration of the coherence interval and the number of transmit antennas grow simultaneously. For relatively short (e.g., 16-symbol) coherence intervals, a codebook of isotropically random unitary space-time signals theoretically supports transmission rates that are a significant fraction of autocapacity with an extremely low probability of error. However a constellation of the required size (typically L=2/sup 80/) is impossible to generate and store, and due to lack of structure there is little hope of finding a fast decoding scheme. We propose a random, but highly structured, constellation that is completely specified by log/sub 2/ L independent isotropically distributed unitary matrices. The distinguishing property of this construction is that any two signals in the constellation are pairwise statistically independent and isotropically distributed. Thus, the pairwise probability of error, and hence the union bound on the block probability of error, of the structured constellation is identical to that of a fully random constellation of independent signals.

关键词： automatic programming Constellation diagram Space technology Rayleigh channels Transmitting antennas Decoding Probability Mars Power measurement

来源：评论

学校读者我要写书评

暂无评论

Composing dependable real time software of function blocks

Composing dependable real time software of function blocks

引用

Workshop on Object-Oriented Real-Time Dependable Systems (WORDS)

作者： W.A. Halang S. Mostert Chair of Real Time Systems Faculty of Electrical Engineering Fern Universität Hagen Germany Electronic Systems Laboratory Department of Electrical Engineering University of Stellenbosch Stellenbosch South Africa

Society increasingly depends on programmable electronic systems in life critical automation systems. Programs employed for purposes of safety related control must be safety licensed, which is a very difficult and hitherto not satisfactorily solved problem. To obtain trustworthy software, it is advocated to employ the principle of divide and conquer, and to orient the design of control systems at the comprehension capabilities of humans by using function block diagrams on the basis of verified libraries as the only programming method so far, allowing us to verify automation software easily and economically. Function block libraries specific to application areas can be rigorously verified with formal methods, and single application programs can be safety licensed by diverse back translation, an extremely simple, but rigorous method directly leading back in one step from object code to the graphical specification level. Augmented with timing features, function block diagrams are amenable to a priori schedulability analysis with standard methods.

关键词： Safety automatic control Software libraries Application software Control systems Humans automatic programming Functional programming Design automation Timing

来源：评论

学校读者我要写书评

暂无评论

Learning action selection in autonomous agents

Learning action selection in autonomous agents

引用

IEEE International Conference on Systems, Man and Cybernetics

作者： S. Ramachandran D.S. Bree Professor of Artificial Intelligence University of Manchester Institute of Science and Technology Manchester UK Senior Systems Engineer Bharat Heavy Electricals Limited Tiruchirapalli Tamil Nadu India

This paper focuses on learning in autonomous agents under dynamic environments. Autonomous agent control has been dominated by two major Artificial Intelligence (AI) approaches, Planning-based and Behavior-based. We concentrate on Behavior-based control. Multiple behavior modules from which a Behavior-based agent is constituted may have conflicting outputs (actions) for various input situations. It is becoming increasingly difficult to 'hard-wire' or 'pre-fix' the actions. "Learning" to select an appropriate action emerges as a strong alternative to hard-wired schemes. A Behavior-based agent is constructed for the research study. The application task chosen for the agent is to learn to navigate in a real indoor environment avoiding static and moving obstacles. The strategy is as follows: learning to avoid obstacles is to be achieved by learning to select an appropriate action in any input situation. The learning algorithm, based on reinforcement learning principles, chooses with high probability, an appropriate action based on the performance statistics (activations and reinforcements) of the conflicting behaviors. Learning experiments conducted to observe the performance of the agent were encouraging.

关键词： Autonomous agents Artificial intelligence Navigation Learning systems Systems engineering and theory Indoor environments Probability Statistics Mobile robots automatic programming

来源：评论

学校读者我要写书评

暂无评论

Acquiring hand-action models by attention point analysis

Acquiring hand-action models by attention point analysis

引用

IEEE International Conference on Robotics and Automation (ICRA)

作者： K. Ogawara S. Iba T. Tanuki H. Kimura K. Ikeuchi Institute of Industrial Science University of Tokyo Tokyo Japan Research Division Komatsu Limited Kanagawa Japan University of Electro-Communications Tokyo Japan The of Industtrial Science Carnegie Mellon University Pittsburgh PA USA

ISBN: (纸本)0780365763

This paper describes our current research on learning task level representations by a robot through observation of human demonstrations. We focus on human hand actions and represent such hand actions in symbolic task models. We propose a framework of such models by efficiently integrating multiple observations based on attention points; we then evaluate the model by using a human-form robot. We propose a two-step observation mechanism. At the first step, the system roughly observes the entire sequence of the human demonstration, builds a rough task model and extracts attention points (APs). The attention points indicate the time and position in the observation sequence that requires further detailed analysis. At the second step, the system closely examines the sequence around the APs and the obtained attribute values for the task model, such as what to grasp, which hand to be used, or what is the precise trajectory of the manipulated object. We implemented this system on a human form robot and demonstrated its effectiveness.

关键词： Humans Robotics and automation automatic programming automatic control Assembly systems Robotic assembly Robot vision systems Cameras

来源：评论

学校读者我要写书评

暂无评论

Process-oriented assembly system concepts: the Mark IV approach

Process-oriented assembly system concepts: the Mark IV appro...

引用

IEEE International Symposium on Assembly and Manufacturing (ISAM)

作者： H. Alsterman M. Onori Department of Industrial Production Royal Institute of Technology Stockholm Sweden

ISBN: (纸本)078037004X

The assembly systems unit at the Royal Institute of Technology-IVF has developed several flexible automatic assembly (FAA) cell solutions over the years. Current industrial trends, however, clearly point out that the basic notions of flexibility must be extended and be enhanced without increasing the complexity. The key lies in the creation of modular assembly systems with interfaces based on open standards. It must be possible to adopt equipment from different suppliers to the system. To reach these objectives, the research group has established a development project of both suppliers, users and universities on a European level, called SHARC (standardised hybrid assembly with reactive capacity). This project runs parallel to, and in conjunction with, the national hyper FAA project. These projects will attempt to create a system concept which can be easily adapted to a very large range of products, variants, and their associated volume fluctuations. The paper also describes and discusses our engineering platform, the Mark IV application.

关键词： Assembly systems Production systems FAA Robotic assembly Fluctuations Manufacturing automation Companies Educational institutions Manuals automatic programming

来源：评论

学校读者我要写书评

暂无评论

Applying mutation analysis for object-oriented programs using a reflective approach

Applying mutation analysis for object-oriented programs usin...

引用

Asia-Pacific Conference on Software Engineering

作者： P. Chevalley LAAS CNRS Toulouse France

ISBN: (纸本)0769514081

This paper presents a mutation analysis tool based on a reflective macro system. Mutation analysis is a powerful and computationally expensive technique that measures the effectiveness of test cases for revealing faults. The principal expense of mutation analysis is that many faulty versions of the program under test, called mutants, must be repeatedly executed. This technique has originally been developed in the framework of procedural programs, and should be revisited to consider some types of faults likely to appear in object-oriented environments. The mutation system detailed in this paper deals with object-oriented concepts introduced in the Java programming language, and is able to generate automatically mutant programs according to 20 types of object-oriented faults.

关键词： Genetic mutations Java Software testing automatic testing System testing automatic programming Object oriented programming Fellows Computer languages programming profession

来源：评论

学校读者我要写书评

暂无评论

A program generator for real-time remote procedure call communication

A program generator for real-time remote procedure call comm...

引用

International Symposium on Parallel and Distributed Processing (IPDPS)

作者： R.T.N. Villela C.E. Moron Department of Computer Science Universidade Federal de São Carlos Sao Paulo Brazil

来源：评论

学校读者我要写书评

暂无评论

Evolutionary robust fuzzy control for the rejection of sinusoidal disturbances with unknown frequency

Evolutionary robust fuzzy control for the rejection of sinus...

引用

Conference of the North American Fuzzy Information Processing Society - NAFIPS

作者： Yu Tang D. Velez-Diaz DEPFI UNAM National University of Mexico Mexico

This paper presents a fuzzy controller to reject sinusoidal disturbances in a dynamical system. First, the fuzzy rules used in the fuzzy control are automatically tuned by evolutionary programming. These fuzzy rules are then used to reject the disturbances in a dynamical system. The robust control technique is applied to compensate for the uncertainties arising from the unknown optimal weight matrix and reconstruction error by using a fuzzy logic system. Simulation results are presented to illustrate the performance of the proposed control.

关键词： Robust control Fuzzy control Fuzzy systems automatic control Control systems automatic programming Genetic programming Uncertainty Error correction Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共152页 << < 85 86 87 88 89 90 91 92 93 94 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：