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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 册 图书
4 篇 学位论文

馆藏范围

1,518 篇 电子文献
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,518 篇 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,457 篇 英文
56 篇 其他
3 篇 中文
2 篇 日文
1 篇 法文

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

共 1518 条记录，以下是471-480 订阅

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

详细简洁

排序：

Practical Aspects of Declarative Languages: 10th International Symposium, PADL 2008 Proceedings

Practical Aspects of Declarative Languages: 10th Internation...

引用

10th International Symposium on Practical Aspects of Declarative Languages, PADL 2008

ISBN: (纸本)3540774416

The proceedings contain 21 papers. The topics discussed include: industrial fractional programming;certified development tools implementation in objective Caml;automatic coding rule conformance checking using logic programming;comprehension and dependency analysis of aspect-oriented programs through declarative reasoning;efficient reasoning for nogoods in constraint solvers with BDDs;flexible, rule-based constraint model linearisation;the role of abduction in declarative authorization policies;unification arrays in spreadsheets with logic programming;specialising simulator generators for high-performance Monte-Carlo methods;a generic programming toolkit for PADS/ML: first-class upgrades for third-party developers;and Matchete: paths through the pattern matching jungle.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

International Symposium on Code Generation and Optimization: CGO 2007

International Symposium on Code Generation and Optimization:...

引用

International Symposium on Code Generation and Optimization, CGO 2007

ISBN: (纸本)0769527647

The proceedings contain 29 papers. The topics discussed include: parallel programming environment: a key to translating tera-scale platforms into a big success;understanding tradeoffs in software transactional memory;code generation and optimization for transactional memory constructs in an unmanaged language;evaluating indirect branch handling mechanisms in software dynamic translation systems;virtual cluster scheduling through the scheduling graph;a dimension abstraction approach to vectorization in matlab;microarchitecture sensitive empirical models for compiler optimizations;evaluating heuristic optimization phase order search algorithms;rapidly selecting good compiler optimizations using performance counters;compilation techniques for real-time java programs;structure layout optimization for multithreaded programs;exploiting narrow accelerators with data-centric subgraph mapping;and heterogeneous clustered VLIW microarchitectures.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

Multi-strategies risk programming for virtual enterprise based on ant colony algorithm

Multi-strategies risk programming for virtual enterprise bas...

引用

IEEE International Conference on Industrial Engineering and Engineering Management

作者： Min Huang Xue-Jing Wu Fuqiang Lu Xing-Wei Wang College of Information Science and Engineering Northeastern University Shenyang 110004 China College of Information Science and Engineering Northeastern University Shenyang China

The risks of virtual enterprises exist almost everywhere for they are dynamic, temporary and multi-partners. In order to restrict the risk to the acceptable level, the Multi strategies multi choices (MSMC) risk programming model is proposed in this paper considering the fuzzy characteristics and project organization mode of virtual enterprises. There are many control strategies can be selected for each risk to reduce the global risk level of project in this model. In addition, the multi-layer strategies process mechanism and two properties, are presented in this paper. To solve this model, the ant colony algorithm is designed, which combines with the Fuzzy Synthetic Evaluation (FSE) embed HFMFs (Hyper-trapezoidal Fuzzy Membership Functions) evaluation. Simulation has shown that this method is both effective and efficient in achieving satisfied solutions for risk programming of virtual enterprises.

关键词： Virtual enterprises programming profession Dynamic programming automatic programming Educational institutions Information science Laboratories Automation Educational programs Mechanical factors

来源：评论

学校读者我要写书评

暂无评论

The Domain-Specific Language Monaco and its Visual Interactive programming Environment

The Domain-Specific Language Monaco and its Visual Interacti...

引用

IEEE Symposium on Visual Languages and Human Centric Computing (VL/HCC)

作者： Herbert Prahofer Dominik Hurnaus Christian Wirth Hanspeter Mossenbock Christian Doppler Laboratory for Automated Software Engineering Johannes Kepler University Linz Linz Austria

Monaco is a domain-specific language for machine automation programming. It has been developed with the objective to empower domain experts with limited programming capabilities. Its main language features are an imperative notation for reactive systems, concepts for describing asynchronous event handling in a concise way, and a state-of-the-art component approach. Monaco is a programming language with a Pascal-like syntax, but also comes with a visual programming environment. In this paper we review the language Monaco, show the visual representation scheme, report on the programming environment and compare our visual notation to Statecharts.

关键词： Domain specific languages programming environments automatic programming Robot programming Robotics and automation automatic control Computer languages Service robots IEC standards Software engineering

来源：评论

学校读者我要写书评

暂无评论

Information Visualization of Multi-dimensional Cellular Automata using GPU programming

Information Visualization of Multi-dimensional Cellular Auto...

引用

International Conference on Information Visualisation (IV)

作者： Stephane Gobron Daniel Mestre Movement and Perception Laboratory Federative Research Institute Marey UMR 6152 CNRS University of Aix-Marseille II Marseilles France

We propose a method for generating all possible rules of multi-dimension Boolean cellular automata (CA). Based on an original encoding method and the programming of graphical processor units (GPU), this method allows us to visualize the CA information flow in real-time so that emerging behaviors can be easily identified. Algorithms of first and von Neumann neighborhood second degrees are detailed with their respective fragment shaders programs. As symmetrical CA rules are especially useful in many research fields, we propose an encoding technique to automatically derive their codes; we then apply this technique to identify the 4096 possible cases for surface CA. To show the efficiency of our model a set of converging global behaviors are listed and described. In the last part of the paper we present methods for developing Moore neighborhood in two and in three dimensions. Finally we discuss issues concerning computation and the visualization of non-Boolean and higher dimension CA.

关键词： Visualization automatic programming Multidimensional systems Encoding Automata Computer graphics Character generation Evolution (biology) Laboratories Computational modeling

来源：评论

学校读者我要写书评

暂无评论

programming by Demonstration of Pick-and-Place Tasks for Industrial Manipulators using Task Primitives

Programming by Demonstration of Pick-and-Place Tasks for Ind...

引用

IEEE International Symposium on Computational Intelligence in Robotics and Automation (CIRA)

作者： Alexander Skoglund Boyko Iliev Bourhane Kadmiry Rainer Palm Department of Technology Center for Applied Autonomous Sensor Systems Örebro University Sweden

This article presents an approach to programming by Demonstration (PbD) to simplify programming of industrial manipulators. By using a set of task primitives for a known task type, the demonstration is interpreted and a manipulator program is automatically generated. A pick-and-place task is analyzed, based on the velocity profile, and decomposed in task primitives. Task primitives are basic actions of the robot/gripper, which can be executed in a sequence to form a complete a task. For modeling and generation of the demonstrated trajectory, fuzzy time clustering is used, resulting in smooth and accurate motions. To illustrate our approach, we carried out our experiments on a real industrial manipulator.

关键词： Robot programming Robotics and automation Manipulators Humans automatic programming Educational robots Computer industry Sensor systems Service robots Grippers

来源：评论

学校读者我要写书评

暂无评论

Robot programming by demonstration through system identification

Robot programming by demonstration through system identifica...

引用

2007 IEEE/RSJ International Conference on Intelligent Robots and Systems

作者： U. Nehmzow O. Akanyeti Christoph Weinrich Theocharis Kyriacou S.A. Billings Department of Computer Science University of Essex UK Department of Automatic Control and Systems Engineering University of Sheffield UK

Increasingly, personalised robots - robots especially designed and programmed for an individual's needs and preferences - are being used to support humans in their daily lives, most notably in the area of service robotics. Arguably, the closer the robot is programmed to the individual's needs, the more useful it is, and we believe that giving people the opportunity to program their own robots, rather than programming robots for them, will push robotics research one step further in the personalised robotics field. However, traditional robot programming techniques require specialised technical skills from different disciplines and it is not reasonable to expect end-users to have these skills. In this paper, we therefore present a new method of obtaining robot control code - programming by demonstration through system identification - which algorithmically and automatically transfers human behaviours into robot control code, using transparent, analysable mathematical functions. Besides providing a simple means of generating perception-action mappings, they have the additional advantage that can also be used to form hypotheses and theoretical analysis of robot behaviour. We demonstrate the viability of this approach by teaching a Scitos G5 mobile robot to achieve wall following and corridor passing behaviours.

关键词： Robot programming System identification Humans Robot control automatic programming Functional programming Mathematical programming Algorithm design and analysis Robotics and automation Education

来源：评论

学校读者我要写书评

暂无评论

Applying Template Meta-programming Techniques for a Domain-Specific Visual Language--An Industrial Experience Report

Applying Template Meta-Programming Techniques for a Domain-S...

引用

International Conference on Software Engineering (ICSE)

作者： Mika Karaila Tarja Systa Energy & Process Automation Research & Technology Department Metso Automation Inc. Tampere Finland Institute of Software Systems Tampere University of Technology Tampere Finland

Template meta-programming techniques can be used to increase efficiency in software development. These techniques have traditionally been used with textual programming languages, such as C++. In this paper, we discuss how corresponding techniques can be used with visual languages. The visual language under study in this paper is function block language (FBL). FBL is used in Metso Automation for writing automation control programs that are executed in realtime distributed environments. Efficient development of high quality programs and easy customizability of existing programs are key requirements in practical customer projects. These requirements have been one of the main motivations to develop template meta-programming support in FBL discussed. In this paper, we focus both on the technical aspects and on the lessons learnt from programmers' experiences and ways to work with templates. FBL and the programming techniques proposed have been used in hundreds of real-world projects at Metso Automation.

关键词： Automation Computer languages automatic control automatic programming Software engineering programming profession Application software Computer industry Software systems Writing

来源：评论

学校读者我要写书评

暂无评论

Generative programming Approach for Building Pervasive Computing Applications

Generative Programming Approach for Building Pervasive Compu...

引用

International Workshop on Software Engineering for Pervasive Computing Applications, Systems, and Environments (SEPCASE)

作者： Devdatta Kulkarni Anand Tripathi Department of Computer Science University of Minnesota Twin-Cities MN USA

In this paper we present a generative programming approach for building context-aware applications. In this approach, a context-aware application is programmed using high-level specification constructs provided in our programming framework. The runtime environment of the application is generated from this specification by a middleware. We demonstrate the utility of this approach by presenting an example case-study.

关键词： Pervasive computing Application software Runtime environment Middleware Buildings Context-aware services automatic programming Collaborative work Access control Computer science

来源：评论

学校读者我要写书评

暂无评论

A Fully Integrated Architecture for Fast programming of Floating Gates

A Fully Integrated Architecture for Fast Programming of Floa...

引用

IEEE International Symposium on Circuits and Systems (ISCAS)

作者： Arindam Basu Paul Hasler School of Electrical and Computer Engineering Georgia Institute of Technology Atlanta GA USA

We present an on-chip system that enables programming floating gate arrays at a high speed. The main component allowing this speedup is a floating point current measuring ADC operating over 4 decades at 10bit accuracy or 7decades at 7 bit accuracy. The conversion time is around 200 μ s till around 30 pA of current. The gate and drain voltages are set by on-chip DACs. The digital words for the DAC are sent by an FPGA through an SPI interface. The controller for sequencing the operations as well as the look-up-table with characterization data are on the FPGA. Algorithms using either pulse-width modulation or drain voltage modulation can be implemented.

关键词： Voltage Nonvolatile memory Field programmable gate arrays Current measurement Computer architecture Space vector pulse width modulation Pulse modulation Analog computers Field programmable analog arrays automatic programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共152页 << < 44 45 46 47 48 49 50 51 52 53 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：