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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Regrasping behavior and object transition generated by EP

Regrasping behavior and object transition generated by EP

引用

Congress on Evolutionary Computation

作者： Y. Hasegawa J. Matsuno T. Fukuda Department of Micro System Engineering University of Nagoya Nagoya Japan Department of Micro System Engineering Nagoya University Nagoya Japan

We have studied the generation of regrasping motion for a four-fingered robot using evolutionary programming (EP). EP has the advantage of finding the set of optimal numerical values but it requires many iterations to find it. The regrasping strategy obtained cannot be applied to other object shapes than those used in the search process. We consider that the regrasping strategy generated by EP should be reused for other sizes of object. We propose an expansion of the method for other sizes of grasped object. We show the effectiveness of the method with experimental results.

关键词： Fingers Grasping Solids Genetic programming Systems engineering and theory Robot programming Grippers Humans Shape automatic programming

来源：评论

学校读者我要写书评

暂无评论

Writing test modules using standard interfaces and languages

Writing test modules using standard interfaces and languages

引用

International automatic Testing Conference, AUTOTESTCON

作者： J. Laney National Instruments Austin TX USA

The focus of today's test system programmer is code reusability through common test modules. To achieve the greatest reusability these modules should be written using standard interfaces, such as DLLs and ActiveX automation servers. By using these standard interfaces inside an enterprise code modules can be used across development teams and in different projects. We discuss specifically: explaining the pros and cons of standard DLLs versus ActiveX/COM automation servers; programming these interfaces into test modules using standard programming languages, such as National Instruments LabWindows/CVI and Microsoft Visual Basic and Visual C++; integrating these interfaces into projects and test executives.

关键词： Writing System testing Automation automatic testing programming profession Code standards Standards development automatic programming Computer languages Instruments

来源：评论

学校读者我要写书评

暂无评论

Evolvable cellular classifiers

Evolvable cellular classifiers

引用

Congress on Evolutionary Computation

作者： Hoon Kang School of Electrical & Electronics Engineering Chung-Ang University Seoul South Korea

Cellular automata are well-known for their self-organizing and dynamic behaviors in the field of artificial life. This paper addresses a new neuronic architecture, called an evolvable cellular classifier, which evolves by means of genetic rules (chromosomes) in nonuniform cellular automata. An evolvable cellular classifier is primarily based on cellular programming, but its mechanism is simpler because it utilizes only mutations for its main genetic operators, and it resembles the Hopfield network. Therefore, desirable bit patterns can be obtained through evolutionary processes for just one individual agent. As a result, evolvable hardware is derived which is applicable to the classification of bit-string information.

关键词： Cellular networks Genetic mutations automatic programming Automata Organizing Biological cells Hardware Chaos Lattices

来源：评论

学校读者我要写书评

暂无评论

Verification of configurable processor cores

Verification of configurable processor cores

引用

Design Automation Conference

作者： M. Puig-Medina G. Ezer P. Konas Tensilica Inc. Santa Clara CA USA

来源：评论

学校读者我要写书评

暂无评论

A co-evolutionary approach to strategy design for decision makers in complex negotiation situations

A co-evolutionary approach to strategy design for decision m...

引用

Annual Hawaii International Conference on System Sciences (HICSS)

作者： B. Rubenstein-Montano R. Malaga Department of Information Systems University of Maryland Baltimore USA

ISBN: (纸本)0769504930

The literature on automated techniques suggests that such techniques might be useful for complex decision-making where other approaches have proven limited. We present a genetic technique that assists decision makers in developing strategies for decision-making in complex, multi-objective and multi-person negotiation situations. Strategies are evolved with significant input from decision makers to enhance the acceptability of solutions in real-world applications. The preferences of all decision makers are integrated into the search so that solutions are consistent with the needs of all participants in the negotiation situation and further ensure the implementability of solutions in practice. The results show that the outcomes achieved by all parties involved in the negotiation are improved significantly when the genetic search is used to help devise strategies for the negotiation participants.

关键词： Decision making Mathematical programming Genetics Utility theory Game theory Mediation Information systems automatic programming Utility programs Problem-solving

来源：评论

学校读者我要写书评

暂无评论

Energy conservation with use of "soft-starter"

Energy conservation with use of "soft-starter"

引用

International Conference on Harmonics and Quality of Power

作者： A.J.J. Rezek C.A.D. Coelho J.A. Cortez J.M.E. Vicente J.P.G. Abreu C.D. Ramos C. Megalhaes V.F. Da Silva EFEI/IEE/DET-DON Itajuba Brazil EFEI IEUDET-DON Itajuba Minas Gerais Brazil

The authors describe how energy saving has been obtained by using the soft-starter to reduce the voltage applied to the motor. Iron losses are then reduced and energy saving is achieved. The use of an autotransformer instead of a soft-starter has enabled a high energy saving, because the additional losses due to the harmonic currents are not present in this case. Energy saving with no load motor has been about 11% by using the soft-starter and 25% when the autotransformer is used, for load torque proportional to speed and for constant torque loads. Energy saving is decreased when the load torque is increased. Energy saving has been obtained until a load torque of about 42% of the rated torque; for higher torques no energy conservation is achieved. So the results of this paper are useful only for low load conditions. When the autotransformer is used the power factor and efficiency are better than in the other cases.

关键词： Energy conservation Voltage Induction motors Thyristors Iron Switches automatic programming Energy consumption Inductors AC motors

来源：评论

学校读者我要写书评

暂无评论

New approaches to high-capacity multiple-antenna wireless

New approaches to high-capacity multiple-antenna wireless

引用

Sensor Array and Multichannel Signal Processing Workshop

作者： T.L. Marzetta Mathematical Sciences Research Center Bell Laboratories Lucent Technologies Inc. Murray Hill NJ USA

Summary form only given. Under Rayleigh flat-fading conditions, it is well-known by now that the capacity of a multiple-antenna wireless link increases linearly with the smaller of the number of transmit or receive antennas, with no increase in bandwidth or transmitted power. This phenomenon was verified experimentally with a scheme called BLAST (Bell Labs Layered Space Time). BLAST requires that the receiver learn the matrix of propagation coefficients. Our current research goal is to realize a high throughput in mobile environments where it may not be feasible to estimate the propagation matrix. A new signalling scheme, unitary space-time modulation, is nearly ideal for this task. We have developed some effective ways to design constellations of these signals. Where a user has extended access to the channel, a variation called differential unitary space-time modulation can be particularly convenient. Moreover space-time signals can function as their own channel codes, with spatial diversity replacing temporal diversity, an effect that we call space-time autocoding. This effect, which may obviate the conventional Shannon requirement to perform channel coding over many independent fades, can benefit differential unitary space-time modulation, as well as schemes where a user has access to the channel for only a short period. For example, within a single coherence interval of 16 symbols, for 7 transmit antennas, 4 receive antennas, and an 18 dB expected SNR, a total of 80 bits (rate 5) can theoretically be transmitted with a block probability of error less than 10/sup -9/, all without any training or knowledge of the propagation matrix.

关键词： Receiving antennas Bandwidth Extraterrestrial phenomena Throughput Signal design Constellation diagram automatic programming Channel coding Modulation coding Transmitting antennas

来源：评论

学校读者我要写书评

暂无评论

Automated result verification with AWK

Automated result verification with AWK

引用

IEEE International Conference on Engineering of Complex Computer Systems

作者： B.A. Bakar T. Janowski International Institute for Software Technology United Nations University Macao China

The goal of result-verification is to prove that one execution run of a program satisfies its specification. Compared with implementation-verification, result-verification has a larger scope for applications in practice, gives more opportunities for automation and, based on the execution record not the implementation, is particularly suitable for complex systems. This paper proposes a technical framework to apply this technique in practice. We show how to write formal result-based specifications, how to generate a verifier program to check a given specification and to carry out result-verification according to the generated program. The execution result is written as a text file, the verifier is written in AWK (special-purpose language for text processing) and verification is done automatically by the AWK interpreter given the verifier and the execution result as inputs.

关键词： Text processing Application software Automation Formal specifications automatic programming Law Legal factors Humans Error correction

来源：评论

学校读者我要写书评

暂无评论

Acquisition method of regrasping motion with tolerance for object size

Acquisition method of regrasping motion with tolerance for o...

引用

Annual Conference of Industrial Electronics Society

作者： Y. Hasegawa J. Matsuno T. Fukuda Department of Micro System Engineering University of Nagoya Nagoya Japan Center of Cooperative Research in Advanced Science & Technology University of Nagoya Nagoya Japan

We have studied generation method of regrasping motion for four-fingered robot using evolutionary programming (EP). EP has advantage of finding the alley of optimal numerical values but it requires much iteration to find it. This obtained regrasping strategy can not be applied to the other shaped-object except an object used in finding process. Therefore the generated regrasping strategy by EP should be reused for other sized-object. In this paper we proposed the adaptation algorithm for different size of grasping object. We show the effectiveness of the method with the experimental results.

关键词： Grasping Fingers Genetic programming Robotics and automation Solids Systems engineering and theory Robot programming Grippers automatic programming Algorithm design and analysis

来源：评论

学校读者我要写书评

暂无评论

Multiple-goals path planning for coordinate measuring machines

Multiple-goals path planning for coordinate measuring machin...

引用

IEEE International Conference on Robotics and Automation (ICRA)

作者： S.N. Spitz A.A.G. Requicha Programmable Automation Laboratory University of Southern California

Path planning is a crucial step in automatic programming of coordinate measuring machines(CMMs). The goal is to generate an efficient and collision-free path for the CMM to inspect a collection of points. Previous research concentrates on path planning between two points, or sequencing the points without regard to obstacles and collisions. In this paper we propose a practical path planner that considers both sequencing and collision avoidance. The main idea is to create a roadmap of free-space, where the measurement points are nodes in the network. Once all the measurement points are in a single connected component of the roadmap, then a tour of the points is found by solving the appropriate traveling salesperson problem. CMM heuristics are used to construct the roadmap in an efficient and robust manner. The planner has been implemented and tested on real-world mechanical parts.

关键词： Path planning Coordinate measuring machines Probes Collision avoidance Inspection Automation Laboratories automatic programming Road accidents Robustness

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共152页 << < 89 90 91 92 93 94 95 96 97 98 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：