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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

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

主题

1,518 篇 automatic progra...
153 篇 programming prof...
143 篇 application soft...
143 篇 automatic contro...
136 篇 computer science
109 篇 robot programmin...
106 篇 robotics and aut...
104 篇 genetic programm...
90 篇 automatic testin...
88 篇 control systems
85 篇 hardware
83 篇 computer languag...
80 篇 software enginee...
80 篇 humans
75 篇 costs
73 篇 automation
72 篇 testing
69 篇 software systems
65 篇 functional progr...
64 篇 artificial intel...

机构

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 条记录，以下是1321-1330 订阅

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

详细简洁

排序：

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

来源：评论

学校读者我要写书评

暂无评论

Visual environment for designing sequence control program with AI planning

Visual environment for designing sequence control program wi...

引用

IEEE Symposium on Visual Languages

作者： Y. Namioka H. Mizutani Systems arid Software Research Laboratorics Rescarch and Development Center Toshiba Corporation Kawasaki Japan

A visual environment for designing sequence control program with AI planning is described. In order to increase productivity and improve the quality and reliability of the control specifications, the authors have been developing a planning-based Visual programming System for Sequence Control Program Specification Design (VIPS/S-SFCD). VIPS/S-SFCD features an example-based programming technique in which designers specify the initial states and goal states of machines using visual representations, and generates control specification by AI planning. To overcome the difficulty of dealing with complex data/knowledge of the planner, VIPS/S-SFCD analyzes and confirms user intention using context-dependent valence theory and case grammar. They used VIPS/S-SFCD to experimentally generate control program specifications for actually existing steel plants. The experimental results showed that visual representation with dynamic, intuitional icons, the coverage of the grammar rule, and generating time of control specification are practical.

关键词： Artificial intelligence Control systems automatic control automatic programming automatic generation control Engines Program processors Productivity Software systems Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository

Verifying the CICS File Control API with Z/Eves: An Experime...

引用

IEEE International Conference on Engineering of Complex Computer Systems

作者： Leo Freitas Konstantinos Mokos Jim Woodcock Department of Computer Science University of York UK

Parts of the CICS transaction processing system were modelled formally in the 1980s in a collaborative project between IBM Hursley Park and Oxford University Computing Laboratory. Z was used to capture a precise description of the behaviour of various modules as a means of communicating requirements and design intentions. These descriptions were not mechanically verified in any way: proof tools for Z were not considered mature, and no business case was made for effort in this area. We report a recent experiment on using the Z/Eves mechanical theorem prover to construct a machine-checked analysis of one of the CICS modules: the File Control API. This work was carried out as part of the international Grand Challenge in Verified Software, and our results are recorded in the Verified Software Repository. We give a brief description of the other modules, and propose them as challenge problems for the verification community.

关键词： Collaborative software Laboratories Computer science Documentation Smart cards Formal specifications Software engineering automatic programming Reliability theory Automation

来源：评论

学校读者我要写书评

暂无评论

Using Grammatical Evolution to Predicting Streamflow during Drought

Using Grammatical Evolution to Predicting Streamflow during ...

引用

International Symposium on Intelligent Information Technology Application, IITA

作者： Wai-Yi Leung Li Chen Tai-Sheng Wang Po-Kuan Chiang Geotechnical Engineering Research Center Sinotech Engineering Consultants Taipei Taiwan Department of Civil Engineering and Engineering Informatics Chung Hua University Hsinchu Taiwan Department of Civil Engineering Hydraulics Laboratory Katholieke Universiteit Leuven Heverlee Belgium

This paper explores the feasibility of applying a grammatical evolution (GE) system and combines it with the genetic algorithm (GA) to establish the inflow predicting model of De-Chi Reservoir in central Taiwan. First, a GE is an evolutionary automatic programming type system, which can discover relationships among observed data and express them mathematically. Further, a GA was used with this GE to optimize the appropriate function type automatically. We apply this GE model to fit to the inflow data series on dry year. Experimental results are presented to demonstrate the applicability of GE for forecasting long-term time series, and the results are found to be better compared with the traditional multiregressive (MR) method.

关键词： Reservoirs automatic programming Production Genetic engineering Civil engineering Genetic algorithms Predictive models Genomics Bioinformatics Statistical distributions

来源：评论

学校读者我要写书评

暂无评论

Random program generator for Java JIT compiler test system

Random program generator for Java JIT compiler test system

引用

International Conference on Quality Software

作者： T. Yoshikawa K. Shimura T. Ozawa Fujitsu Laboratories Limited Kawasaki Japan

Java has been used widely, from servers to cellular phones. In order to test those Java runtime systems, many test tools have been provided. However these tools are not enough for Java JIT compilers. They should be tested by various executable bytecode sequences. Most test tools don't cover such kinds of a combination test. Therefore we developed a random test program generator and a Java JIT compiler test system. This test system automatically: 1) generates Java class files which are random, executable and finite; 2) inserts codes that output execution-process-dependent results; 3) runs these on the target JIT compiler and other tested Java runtimes; 4) compares results. In this paper, we describe how to generate random test programs, and how to test a Java JIT compiler, and then we evaluate quality (coverage) of generated random test programs.

关键词： automatic programming Java Program processors System testing Runtime automatic testing Random number generation Laboratories Cellular phones Sun

来源：评论

学校读者我要写书评

暂无评论

A framework for the development of object-oriented distributed systems

A framework for the development of object-oriented distribut...

引用

International Symposium on Autonomous Decentralized Systems (ISADAS)

作者： G. Bucci R. Mattolini E. Vicario Dipartimento Sistemi e Informatica Universitá di Firenze Florence Italy

A framework for the development of distributed object-oriented systems in heterogeneous environments is presented. This model attempts to incorporate concepts of distributed computing technology together with software engineering methods. A tool has been developed to enforce the model by means of a high-level specification language and an automatic code generator. However, it is emphasized that the model may be exploited as a methodologic foundation even outside an automatic generation approach.< >

关键词： Petri nets Object oriented modeling Distributed computing Software engineering Specification languages High level languages Concurrent computing automatic programming Construction industry Computer aided software engineering

来源：评论

学校读者我要写书评

暂无评论

A Path Sensitive and Scalable Approach for Mapping the Capabilities Required for Linux Kernel Defined System Calls Using Static Analysis Techniques

A Path Sensitive and Scalable Approach for Mapping the Capab...

引用

IEEE International Conference on Intelligent Computer Communication and Processing (ICCP)

作者： Răzvan-Mihai Bolundut Adrian-Viorel Coleşa Radu-Marian Portase Dept. of Computer Science Techical University of Cluj-Napoca Cluj-Napoca Romania

ISBN: (数字)9798331539979

ISBN: (纸本)9798331539986

This paper outlines an analysis method for automatically identifying the required capabilities for the system calls defined by the Linux Kernel. Integrated in the LLVM compiler infrastructure, the static and path sensitive approach used aims to generate a complete set of logical equations, expressed in terms of the syscalls' argument configurations, that describe the relation between system calls and capabilities. In order to achieve the desired syscall to capability mapping a four stage analysis pipeline is proposed, each stage complimenting one of the abstraction layers used by the LLVM compiler. First, all possible execution paths, in terms of functions, are identified by the first stage, which is followed by the identification of the control flow blocks leading to calls to ensuing functions in the chain. Once all such paths are known, the third stage is tasked with solving the path explosion problem and to eliminate all control flow blocks that do not influence overall analysis goals. The final stages are responsible with instruction level analysis which binds each path to a constant equation verifying the arguments passed to the system call. By means of a scalable synthetic test program generator four sets of test-benches are constructed. Each test-bench is responsible to validate its corresponding stage of the analysis pipeline. They consists of programs that are scaled on the dimensions identified through mathematical analysis of the tested algorithm and problem.

关键词： automatic programming Linux Scalability Pipelines Mathematical analysis Static analysis Explosions Complexity theory Kernel Testing

来源：评论

学校读者我要写书评

暂无评论

Automated regression testing of CTI-systems

Automated regression testing of CTI-systems

引用

IEEE European Test Symposium (ETS)

作者： O. Niese T. Margaria A. Hagerer B. Steggen G. Brune W. Goerigk H. Ide META Frame Technologies GmbH Dortmund Germany Siemens AG Witten Germany

来源：评论

学校读者我要写书评

暂无评论

Partitioning contact-state space using the theory of polyhedral convex cones

Partitioning contact-state space using the theory of polyhed...

引用

IEEE International Conference on Robotics and Automation (ICRA)

作者： 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. A major component of the APO system is the task recognition module, which models the observed task. The task model in the APO context is defined as a sequence of assembly states of the part being assembled and the actions which cause the transition between the states. The state of the assembled part is based on its freedom, which can be computed from the geometry of the contacts between the part and its environment. This freedom can be represented as a polyhedral convex cone (PCC) in screw space. We show that any contact configuration can be classed into a finite number of contact states. These contact states correspond to typologically distinct intersections of the PCC with a linear subspace T in screw space. The models of any observed task can be represented as a path in a transition graph obtained from these contact states. We illustrate the theory by implementing the APO system for polygonal objects assembled in a plane using rotation and translation.

关键词： Robotic assembly Assembly systems Humans Fasteners Aerospace electronics Robotics and automation automatic programming Orbital robotics Computational geometry Contracts

来源：评论

学校读者我要写书评

暂无评论

Towards an assembly plan from observation. I. Assembly task recognition using face-contact relations (polyhedral objects)

Towards an assembly plan from observation. I. Assembly task ...

引用

IEEE International Conference on Robotics and Automation (ICRA)

作者： K. Ikeuchi T. Suchiro School of Computer Science Carnegie Mellon University Pittsburgh PA USA Sch. of Comput. Sci. Carnegie Mellon Univ. Pittsburgh PA USA

The authors propose a novel method to program a robot, the assembly-plan-from-observation (APO) method. The APO method aims to build a system that has the capability of observing a human performing an assembly task, understanding the task based on the observation, and generating the robot program to achieve the same task. Assembly relations which serve as the basic representation of each assembly task are defined. It was verified that such assembly relations can be recovered from the observation of human assembly tasks, and that from such assembly relations, it is possible to generate robot motion commands to repeat the same assembly task. An APO system based on the assembly relations was demonstrated.< >

关键词： Face recognition Robotic assembly Robot programming Humans Assembly systems automatic programming Robotics and automation Manipulators Education Educational robots

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共152页 << < 129 130 131 132 133 134 135 136 137 138 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：