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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Modelling planar assembly tasks: representation and recognition

Modelling planar assembly tasks: representation and recognit...

引用

IEEE International Workshop on Intelligent Robots and Systems (IROS)

作者： G.V. Paul K. Ikeuchi The Robotics Institute Carnegie Mellon University Pittsburgh PA USA

The assembly plan from observation (APO) system observes a human operator perform an assembly task, analyzes the observations, models the task, and generates the programs for the robot to perform the same task. The task model of the observed task is defined as a sequence of contact states of the part being assembled and the motion which causes the transition between the states. The freedom of the assembled part can be represented as a polyhedral convex cone (PCC) in screw space, which can belong to one of a finite number of distinct contact states. These contact states correspond to topologically distinct intersections of PCCs with a linear subspace T in screw space. Any observed assembly task can be represented as a finite sequence of critical contact states and the motion between them. The abstract task model is used to program the robot to execute the observed assembly task. We illustrate the application of the theory by implementing the APO system for assemblies in a plane.

关键词： Robotic assembly Assembly systems Humans Robotics and automation automatic programming Robot programming Fasteners Path planning Orbital robotics Educational robots

来源：评论

学校读者我要写书评

暂无评论

The product attributes database (PAD): first of a new class of productivity tools for product development

The product attributes database (PAD): first of a new class ...

引用

IEEE Conference on Aerospace

作者： J.C. Sercel T.F. Clymer W.M. Heikichs Jet Propulsion Laboratory California Institute of Technology Pasadena CA USA California Institute of Technology Pasadena CA US

The Product Attributes Database (PAD) is a new type of information system that serves as a single, network-accessible repository of all the parametric information that describes a project at any phase of implementation. PAD goes beyond previous engineering databases in that it includes both a human interface and a machine interface. The machine interface allows a wide range of engineering and administrative tools to work together through the database over a network. At the low end of the range are "apparently" simple Publish and Subscribe "sheets" that can be placed into a workbook to allow the user to link spreadsheet calculations to the database. Part of the automated machine interface programming Interface (API) engineering design and analysis tools to link directly to the database over a network. The human interface is through an application called the Product Attributes Conversation Tool (PACT). PACT includes a simple Graphical User Interface (GUI) that allows project team members to read and write to the PAD from network accessible computers. The PAD database schema was developed concurrently with a naming convention and a security system. The result is a system in which users know exactly where to look for specific design parameters and how to name new parameters that are to be added to the database.

关键词： Databases Atherosclerosis Data engineering Humans Graphical user interfaces Information systems automatic programming Design engineering Application software Computer interfaces

来源：评论

学校读者我要写书评

暂无评论

Identifying overly strong conditions in refactoring implementations

Identifying overly strong conditions in refactoring implemen...

引用

International Conference on Software Maintenance (ICSM)

作者： Gustavo Soares Melina Mongiovi Rohit Gheyi Department of Computing Systems Federal University of Campina Grande Brazil

Each refactoring implementation must check a number of conditions to guarantee behavior preservation. However, specifying and checking them are difficult. Sometimes refactoring tool developers may define overly strong conditions that prevent useful behavior-preserving transformations to be performed. We propose an approach for identifying overly strong conditions in refactoring implementations. We automatically generate a number of programs as test inputs for refactoring implementations. Then, we apply the same refactoring to each test input using two different implementations, and compare both results. We use Safe Refactor to evaluate whether a transformation preserves behavior. We evaluated our approach in 10 kinds of refactorings for Java implemented by three tools: Eclipse and Netbeans, and the JastAdd Refactoring Tool (JRRT). In a sample of 42,774 transformations, we identified 17 and 7 kinds of overly strong conditions in Eclipse and JRRT, respectively.

关键词： Java Metals Remuneration Testing Unified modeling language automatic programming Analytical models

来源：评论

学校读者我要写书评

暂无评论

Decision supporting system based on fuzzy default reasoning

Decision supporting system based on fuzzy default reasoning

引用

Conference on Human System Interactions, HSI

作者： Andrzej Pulka Institute of Electronics Silesian University of Technology Gliwice Poland

The work concerns a new formalism of common-sense reasoning modeling. It combines ldquoclassicalrdquo Reiter's default logic and Brewka's cumulative default logic with Zadeh's generalized theory of uncertainty and granular reasoning. Various aspects of uncertainty and ignorance are discussed with respect to intelligent humans' behavior patterns. The paper introduces basic definitions of Fuzzy Default Logic (FDL) and presents the inference scheme together with the conclusion assessment procedure and problems of hypotheses stability. PROLOG implementation of the entire inference engine is given. The problems of hypotheses generation and revision of beliefs are discussed. Finally, FDL is compared to the answer set programming and other disjunction logic based approaches.

关键词： Fuzzy reasoning Fuzzy systems Logic programming Fuzzy logic Uncertainty Decision making Humans Stability Engines automatic programming

来源：评论

学校读者我要写书评

暂无评论

Professional designers' adaptations of IEC 61499 to their individual work practices

Professional designers' adaptations of IEC 61499 to their in...

引用

International Conference on Emerging Technologies and Factory Automation (ETFA)

作者： Mika Stromman Seppo Sierla Jukka Peltola Kari Koskinen Aalto-yliopisto Insinooritieteiden korkeakoulu Aalto FI Helsinki University of Technology Finland

The IEC 61499 standard enables a number solutions to the same application development problem, and this can result in components that are incompatible even though they are standards based. IEC 61499 underpins a vision for an open object-oriented knowledge economy, so the application of component-based software development principles needs further research. Such principles are not broadly used in the industry, so our goal is to understand how industrial practice needs to be changed. What are the practices that need to be replaced before the object-oriented, component-based paradigm can be accepted? We organized an intensive course on IEC 61499, where professionals and researchers automated a process in teams. Our results show that the background of a designer has a strong impact on the choice of the problem solving approach, and that this can prevent the use of many new and progressive features in IEC 61499

关键词： IEC standards programming profession automatic programming Automation Standards development Application software Object oriented programming Runtime Functional programming Logic programming

来源：评论

学校读者我要写书评

暂无评论

Piparazzi: a test program generator for micro-architecture flow verification

Piparazzi: a test program generator for micro-architecture f...

引用

IEEE International High-Level Design Validation and Test Workshop

作者： A. Adir E. Bin O. Peled A. Ziv IBM Research Laboratory Israel

Because of their complexity, modern microprocessors need new tools that generate tests for micro-architectural events. Piparazzi is a test generator, developed at IBM, that generates (architectural) test programs for microarchitectural events. Piparazzi uses a declarative model of the micro-architecture and the user's definition of the required event to create an instance of a Constraint Satisfaction Problem (CSP). It then uses a dedicated CSP solver to generate a test program that covers the specific event. We show how Piparazzi yields significant improvements in covering micro-architectural events, by describing its technology and by exhibiting experimental results. Piparazzi has already been successful in finding both functional and performance bugs that could only be discovered using an exact micro-architectural model of the processor.

关键词： Testing automatic programming Microprocessors Modems Computer bugs Random number generation Concrete Engines Investments Cost function

来源：评论

学校读者我要写书评

暂无评论

Heuristic search with reachability tests for automated generation of test programs

Heuristic search with reachability tests for automated gener...

引用

IEEE International Conference on Automated Software Engineering (ASE)

作者： Wee Kheng Leow Siau Cheng Khoo Tiong Hoe Loh V. Suhendra Department of Computer Science National University of Singapore Singapore

Our research complements the current research on automated specification-based testing by proposing a scheme that combines the setup process, test execution, and test validation into a single test program for testing the behavior of object-oriented classes. The test program can be generated automatically given the desired test cases and closed algebraic specifications of the classes. The core of the test program generator is a partial-order planner which plans the sequence of instructions required in the test program. A first cut implementation of the planner has been presented by Leow et al. (2004) based on simple depth-first search. This paper presents a more efficient and effective heuristic search algorithm that performs reachability tests using the Omega calculator. Test results show that heuristic search with reachability tests significantly reduce the search time required to generate a valid sequence of instructions

关键词： automatic testing System testing Performance evaluation automatic programming Heuristic algorithms Software testing Computer science Software systems Input variables Data structures

来源：评论

学校读者我要写书评

暂无评论

Assembly task recognition with planar, curved and mechanical contacts

Assembly task recognition with planar, curved and mechanical...

引用

IEEE International Conference on Robotics and Automation (ICRA)

作者： K. Ikeuchi M. Kawade T. Suehiro School of Computer Science Carnegie Mellon University Pittsburgh PA USA

The assembly-plan-from-observation (APO) method for robot programming is described. The APO method aims to build a system that has threefold capabilities. The method observes a human performing an assembly task, it understands the task based on this observation, and it generates a robot program to achieve the same task. Emphasis is placed on the main loop of the APO, which is task recognition. Using object recognition results, the task recognition module determines what kind of assembly task is performed. The method extends the task recognition module to handling curved objects and other mechanical contacts. Task models for these cases are defined. Two concepts are verified, i.e., that such task models are useful in recognizing assembly tasks, and that it is possible to generate robot motion commands for repeating the same assembly task.< >

关键词： Robotic assembly Humans Assembly systems Object recognition Robot programming Image segmentation automatic programming Contracts Cameras Image recognition

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Model Checking Branching Time Logics

Model Checking Branching Time Logics

引用

International Workshop on Temporal Representation and Reasoning (TIME)

作者： Ph. Schnoebelen LSV ENS Cachan and CNRS Cachan France

Branching-time logics are temporal logics that allow quantification over possible futures. Such logics have been considered very early by the automated verification community because efficient model-checking algorithm... 详细信息

关键词： Logic programming Computer science Power system modeling Polynomials Educational institutions Circuits Automata automatic programming automatic logic units

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共152页 << < 112 113 114 115 116 117 118 119 120 121 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：