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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 篇 会议
330 篇 期刊文献
7 册 图书
5 篇 学位论文

馆藏范围

1,520 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

640 篇 工学
- 460 篇 计算机科学与技术...
- 307 篇 软件工程
- 224 篇 电气工程
- 78 篇 控制科学与工程
- 61 篇 信息与通信工程
- 49 篇 机械工程
- 31 篇 电子科学与技术（可...
- 20 篇 仪器科学与技术
- 16 篇 材料科学与工程（可...
- 7 篇 动力工程及工程热...
- 6 篇 生物医学工程（可授...
- 5 篇 力学（可授工学、理...
- 5 篇 建筑学
- 5 篇 化学工程与技术
- 5 篇 生物工程
- 4 篇 土木工程
- 4 篇 航空宇航科学与技...
- 4 篇 核科学与技术
106 篇 理学
- 69 篇 数学
- 15 篇 物理学
- 11 篇 系统科学
- 11 篇 统计学（可授理学、...
- 10 篇 生物学
- 7 篇 科学技术史(分学科...
55 篇 管理学
- 40 篇 管理科学与工程(可...
- 15 篇 图书情报与档案管...
- 8 篇 工商管理
8 篇 医学
- 6 篇 临床医学
6 篇 教育学
- 6 篇 教育学
4 篇 文学
- 4 篇 新闻传播学
2 篇 哲学
2 篇 经济学
2 篇 法学
1 篇 历史学

主题

1,520 篇 automatic progra...
159 篇 programming prof...
147 篇 application soft...
143 篇 automatic contro...
139 篇 computer science
109 篇 robot programmin...
106 篇 robotics and aut...
105 篇 genetic programm...
90 篇 automatic testin...
88 篇 control systems
87 篇 hardware
85 篇 computer languag...
84 篇 humans
80 篇 software enginee...
76 篇 costs
74 篇 automation
72 篇 testing
70 篇 software systems
65 篇 artificial intel...
64 篇 functional progr...

机构

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 篇 英文
57 篇 其他
3 篇 中文
2 篇 日文
1 篇 法文

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

共 1520 条记录，以下是1171-1180 订阅

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

详细简洁

排序：

Graphics-to-haptics: a tool for developing haptic virtual environments

Graphics-to-haptics: a tool for developing haptic virtual en...

引用

World Haptics Conference

作者： E. Acosta B. Temkin Department of Computer Science Department of Surgery Texas Tech University USA

Current haptic application development tools typically require considerable programming efforts in order to make an existing surface-based graphical virtual environment (G-VE) touchable. In this paper we describe a graphics-to-haptics (G/sub 2/H) tool that provides a framework for developing the largest possible haptic virtual environments (H-VE) for stable haptic applications. G/sub 2/H automatically converts a G-VE into a haptic application with no additional programming via a real-time visual software development process of 1) importing G-VEs, 2) setting haptic and visual properties for models, 3) selecting graphics and haptic rendering algorithms, 4) representing the haptic device position in the virtual space, 5) interfacing different haptic devices to the virtual environment, and 6) testing and modify the virtual environment to ensure real-time stability of the created haptic application. The tested H-VE can be used as the foundation for other applications such as surgical simulators [Acosta, E et al., (2004), (2002)].

关键词： Haptic interfaces Virtual environment Application software automatic programming Graphics Rendering (computer graphics) Software algorithms automatic testing Software testing Stability

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Simplifying the writing of specifications: a language and its interface

Simplifying the writing of specifications: a language and it...

引用

IEEE Workshop on Languages for Automation: Symbiotic and Intelligent Robots

作者： V. Wingate F. Gomez Department of Computer Science University of Central Florida Orlando FL USA

The user interface for the TQ specification language is described, and how its syntax-directed editing capabilities simplify the writing of TQ specifications for the ordinary user is shown. The user interface is just one of the components of the TOAD system, which is able to generate dBASE programs from these specifications. Preliminary results with computer professionals unfamiliar with the TQ language seem to indicate that the interface does indeed help to make the TQ language easy to use.< >

关键词： Writing Specification languages Natural languages Computer science Humans Graphical user interfaces automatic programming Calculus User interfaces programming profession

来源：评论

学校读者我要写书评

暂无评论

Stateflow autocoder

Stateflow autocoder

引用

Southeastern Symposium on System Theory

作者： J.E. Fisher D.A. Lawrence J.J. Zhu School of Electrical Engineering and Computer Science Ohio University Athens OH USA

In a large-scale control system, the health monitoring subsystem could produce hundreds to thousands of system inputs. Using Matlab's Stateflow to implement supervisory logic that could interpret sensor or actuator failures allows for a hybrid control system to be developed and simulated. The manual creation of a Stateflow chart for use in a Simulink simulation of a large-scale guidance and control system is a tedious and time-consuming process. The Stateflow Autocoder is a Matlab based software tool for the automatic generation of a Stateflow chart from information contained in a database. Managing the parameters and elements of a simulation via a database presents an opportunity to efficiently create or modify a simulation model by only changing information that is contained within the database. This paper describes the auto-generation of a Stateflow chart that is required to manage a simulation from a database.

关键词： automatic programming Databases Large-scale systems Control system synthesis automatic control Control systems Condition monitoring Computer languages Logic Sensor systems

来源：评论

学校读者我要写书评

暂无评论

Countermeasures Against Distributed Denial of Service Attacks

Countermeasures Against Distributed Denial of Service Attack...

引用

IEEE International Workshop on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications

作者： K. Stefanidis D. N. Serpanos Department of Electrical and Computer Engineering University of Patras Patras Greece

We present a survey of the current proposed countermeasures against distributed denial of service (DDoS) attacks that give a promising approach to the field. We also state the weaknesses of the above methods which result to the fact that no unified method has been adopted yet. We also make a discussion about the future trends in DDoS defense.

关键词： Computer crime Telecommunication traffic Distributed computing Internet Conferences Data acquisition Application software Data engineering Weapons automatic programming

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Automated hardware synthesis from formal specification using SAT solvers

Automated hardware synthesis from formal specification using...

引用

International Workshop on Rapid System Prototyping (RSP)

作者： D. Greaves Tenison EDA University of Cambridge UK

System and circuit design can be considered as planning problems, where resources are deployed in time and space to meet a given goal. Recent and continuing developments in the size of SAT problems and other AR problems that can be solved with off-the-shelf tools leads us to consider their direct use in system design. In this paper, we start to tackle the design of small hardware subsystems and the generation of glue logic between systems by asking a SAT solver to generate the programming bit stream for a fictional gate array.

关键词： Hardware Formal specifications Logic design Logic programming Field programmable gate arrays Circuit synthesis Job design automatic programming Functional programming Programmable logic arrays

来源：评论

学校读者我要写书评

暂无评论

Graphical Modeling of PLC-based Industrial Control Applications

Graphical Modeling of PLC-based Industrial Control Applicati...

引用

American Control Conference (ACC)

作者： E. Estevez M. Marcos N. Iriondo D. Orive Department of Ingenieia de Sistemas y Automática University of Basque Country (UPV-EHU) Spain

Industrial process measurement and control systems (IPMCS) are used in most of the industrial sectors to achieve production improvement, process optimization and time and cost reduction. Integration, reuse, flexibility and optimization are demanded to adapt to a rapidly changing and competitive market. In fact, standardization is a key goal to achieve integration in this type of applications. The international standardization efforts have lead to the definition of the IEC 1131 standard. Part 3 of this standard defines a software model for defining automation projects as well as 5 programming languages, emphasizing software reuse. The Technical Committee 6 for XML belonging to the international organization PLCopen, has defined an XML based interface for importing/exporting automation projects. This work presents a graphical modeling tool that guides the user through the definition of the IEC1131-3 automation project, as a PLC programming tool does. But, internally, it stores the information about the automation project as a XML file. From it, it is possible to extract information, export the automation project to different programming tools or to translate it to PLCopen XML format, using different XML technologies.

关键词： Industrial control XML Automation Electrical equipment industry Standardization IEC standards automatic programming Time measurement Process control Control systems

来源：评论

学校读者我要写书评

暂无评论

A least-commitment approach to intelligent robotic assembly

A least-commitment approach to intelligent robotic assembly

引用

IEEE International Conference on Robotics and Automation (ICRA)

作者： L. Basanez R.B. Kelley M.C. Moed C. Torras Institut de Cibernética Universitat Poliltècnica de Catalunya Barcelona Spain Robotics and Automation Laboratories Electrical. Computer and Systems Department Rensselaer Polytechnic Institute Troy NY USA

The authors propose a robotic assembly system that is based on the least-commitment principle, in which the successive stages proceeding from planning to execution become progressively more specific. The system is partitioned into an offline automatic programming system and an online execution manager. The framework and objectives are presented, followed by an overview of the global system. The submodules of a system that has actually executed a simple pick/place task are described. Some conclusions and perspectives are outlined.< >

关键词： Intelligent robots Robotic assembly Assembly systems Robot sensing systems Robotics and automation Uncertainty Laboratories automatic programming Sensor phenomena and characterization Grippers

来源：评论

学校读者我要写书评

暂无评论

SensorScheme: Supply chain management automation using Wireless Sensor Networks

SensorScheme: Supply chain management automation using Wirel...

引用

International Conference on Emerging Technologies and Factory Automation (ETFA)

作者： L. Evers P.J.M. Havinga J. Kuper M.E.M. Lijding N. Meratnia University of Twente Enschede Netherlands

The supply chain management business can benefit greatly from automation, as recent developments with RFID technology shows. The use of Wireless Sensor Network technology promises to bring the next leap in efficiency and quality of service. However, current WSN system software does not yet provide the required functionality, flexibility and safety. This paper discusses a scenario showing how WSN technology can benefit supply chain management, and presents SensorScheme, a platform for realizing the scenario. SensorScheme is a general purpose WSN platform, providing a safe execution environment for dynamically loaded programs. It uses high level programming primitives like marshalled communication, automatic memory management, and multiprocessing facilities. SensorScheme makes efficient use of the little available memory present in WSN nodes, to allow larger and more complex programs than the state of the art. We present a SensorScheme implementation and provide experimental results to show its compactness, speed of operation and energy efficiency.

关键词： Supply chain management Automation Wireless sensor networks Radiofrequency identification Quality of service System software Software safety automatic programming Memory management Energy efficiency

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共152页 << < 114 115 116 117 118 119 120 121 122 123 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：