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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Evolutionary programming in non-linear control systems

Evolutionary programming in non-linear control systems

引用

IEEE International Symposium on Industrial Electronics (ISIE)

作者： Xiao Yufei Jiang Jingping Department of Electrical Engineering University of Zhejiang Hangzhou China

Traditional linear control strategies are usually straightforward and easy to implement, but they tend to be helpless when dealing with complex nonlinear problems, which drastically limit their scope of application. In order to find a way that can overcome their drawbacks while not giving up their main feature of simplicity, this paper introduces evolutionary programming as an optimization method, which tackles the difficulty by being integrated with conventional PID controllers to form self-adaptive control systems. This approach has both the advantages of flexibility and simplicity, without sacrificing accuracy. A CSTR (continuous stirred tank reactor) system is presented as a case in point to show its working principle and simulation results are also given to prove its efficiency. The last part of the paper gives some recommendations for future work and improvements.

关键词： Genetic programming Nonlinear control systems Control systems Continuous-stirred tank reactor Adaptive control Three-term control automatic programming Genetic algorithms Genetic mutations Random variables

来源：评论

学校读者我要写书评

暂无评论

Inferring and Executing Programs for Visual Reasoning 16

Inferring and Executing Programs for Visual Reasoning

引用

16th IEEE International Conference on Computer Vision (ICCV)

作者： Johnson, Justin Hariharan, Bharath van der Maaten, Laurens Hoffman, Judy Li Fei-Fei Zitnick, C. Lawrence Girshick, Ross Stanford Univ Stanford CA 94305 USA Facebook AI Res Menlo Pk CA USA

ISBN: (纸本)9781538610329

Existing methods for visual reasoning attempt to directly map inputs to outputs using black-box architectures without explicitly modeling the underlying reasoning processes. As a result, these black-box models often learn to exploit biases in the data rather than learning to perform visual reasoning. Inspired by module networks, this paper proposes a model for visual reasoning that consists of a program generator that constructs an explicit representation of the reasoning process to be performed, and an execution engine that executes the resulting program to produce an answer. Both the program generator and the execution engine are implemented by neural networks, and are trained using a combination of backpropagation and REINFORCE. Using the CLEVR benchmark for visual reasoning, we show that our model significantly outperforms strong baselines and generalizes better in a variety of settings.

关键词： Visualization Cognition Engines automatic programming Syntactics Neural networks Knowledge discovery

来源：评论

学校读者我要写书评

暂无评论

Model driven design support for mixed-criticality distributed systems 19

Model driven design support for mixed-criticality distribute...

引用

19th IFAC World Congress on International Federation of automatic Control, IFAC 2014

作者： Armentia, A. Agirre, A. Estévez, E. Pérez, J. Marcos, M. Dept. Ingeniería de Sistemas y Automática ETSI Bilbao UPV/EHU Spain Ikerlan-IK4 Research Alliance Arrasate Spain Dept. Ingeniería Electrónica y Automática EPS de Jaén Spain

ISBN: (纸本)9783902823625

Nowadays, it is more and more usual that applications provide critical and non-critical functionalities, the so-called mix-criticality applications. One of the main challenges for developing such applications is to isolate both application types, in such a way that non-critical functionalities do not interfere with the critical ones. The use of virtualization techniques like hypervisors can help to meet this objective. Indeed, a hypervisor is a software layer that provides hardware virtualization allowing different functionalities to be executed in different partitions which are temporally and spatially isolated. In this context, this paper proposes the use of modeling techniques to generate an initial set of constraints to the partition design necessary for a set of critical functionalities that coexist with non-critical ones. Furthermore, the proposed modeling approach supports all the development cycle of the component-based non-critical applications, from the design to the automatic generation of the skeleton code of their components. © IFAC.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

Systematic diagram refinement for code generation in SEAM

Systematic diagram refinement for code generation in SEAM

引用

4th International Conference on Knowledge and Systems Engineering, KSE 2012

作者： Tri, Do Quang Tho, Quan Thanh Viet Nam

ISBN: (纸本)9780769547602

Model-driven development (MDD) is methodology of software construction emerging recently to counter the drawbacks of classic approaches. Apart from the well-known UML, SEAM is another MDD approach increasingly attracting attention due to its capability of regarding the whole system as a single view, thus enabling consistency maintaining during the design development. Especially, the final diagram designed in SEAM can support automatic code generation, which has been the desirable goal of software engineering. However, SEAM suffers from the disadvantage of being too complicated when the system is designed in details at last steps. To tackle this problem, in this paper we propose an approach of systematic diagram refinement which allows users to specify transition matrices in each refinement steps, instead a whole new diagrams. Thus, the diagram developments will become less complicated and more natural. We also illustrate the usefulness of our approach in a featured case-study. © 2012 IEEE.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

Diagram scenes in*AIDA

Diagram scenes in*AIDA

引用

12th IEEE International Conference on Intelligent Software Methodologies, Tools and Techniques, SoMeT 2013

作者： Watanobe, Yutaka Mirenkov, Nikolay University of Aizu Aizu-Wakamatsu Japan

ISBN: (纸本)9781479904211

AIDA modeling/programming language is based on algorithmic pictures and animations as super-characters for representing and explaining features of computational (or other type) algorithms. Generic pictures are used to define compound pictures and compound pictures are assembled into special series (Cyber-scenes) prepared for automatic code generation. There are super-characters related to space structures for imitating some physical regions (shapes) in 3-D space and (computational) activities in time on structure nodes, and to diagram structures for representing connections between a set of activity units and specifying a partial order of the activity execution. The sets of the super-characters are open and adding new ones is implemented as a special knowledge/experience acquisition to support various modeling techniques and applications. In this paper we focus on the diagram structures and present how new Cyber-scenes for statechart and clients-server alliances are incorporated into AIDA language. © 2013 IEEE.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

Conversion of executable descartes specifications into program code

Conversion of executable descartes specifications into progr...

引用

IASTED International Conference on Software Engineering and Applications, SEA 2012

作者： Urban, Joseph E. Rattan, Praneet K. Subburaj, Vinitha H. Carver, Austin E. Industrial Engineering Dept. Texas Tech University Lubbock TX 79409 United States Software Engineer Caradigm Murray UT 84107 United States Physics and Astronomy Dept. University of Louisville Louisville KY 40292 United States

automatic programming is the systematic generation of a program from a given specification. The goal of automatic programming is to allow programmers to specify what a program should do, and let the system generate the program code describing how the given program will work. Programs can be specified using a constructible, formal, and comprehensible specification language. Descartes is one such formal specification language, based on the functional model and has the advantages of easy constructability and comprehensibility. This paper overviews the use of formal methods to specify requirements and the advantage of using an executable formal specification language in order to specify software systems. In Descartes, specifications are described by defining the input and output data and relating the output data as a function of the input data. This research paper analyzes the various approaches towards automatic programming and reduces the gap between specification and programming, by introducing a method to automatically transform a Descartes specification of a program into executable Java code.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

Text to software: Developing tools to close the gaps in software engineering

Text to software: Developing tools to close the gaps in soft...

引用

FSE/SDP Workshop on the Future of Software Engineering Research, FoSER 2010

作者： Tichy, Walter F. Koerner, Sven J. Karlsruhe Institute of Technology Am Fasanengarten 5 Karlsruhe Germany

ISBN: (纸本)9781450304276

Software development relies heavily on manual processes for transforming requirements into software artifacts such as models, source code, or test cases. Requirements are the starting point for these transformations, and they are typically written in natural language. However, hardly any automated tools exist that translate natural language texts into software artifacts. We propose to adapt recent advances in natural language processing and semantic technologies to generate UML models, test cases, and perhaps even source code, from natural language input. Though earlier efforts in automatic programming had limited success, we are now in a situation where extracting meaning from text has made substantial progress. For example, encouraging results for generating UML models from textual requirements have been achieved. It might even be possible to generate executable test cases. An intermediate step would be to generate tests from API documentation (which would also be a useful capability in itself). An even greater advance would be to automate rote coding. In all of these cases, entirely new classes of software tools would be needed to extract and process the semantics inherent in natural language texts, augment them with tacit knowledge from ontologies and domain models, and, where necessary, ask humans to clarify ambiguities. Though speculative, a determined, long-term effort in translating text to software could automate and accelerate software development to an unprecedented degree. Copyright 2010 ACM.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

Overview of existing safeguarding techniques for automatically generated code 2

Overview of existing safeguarding techniques for automatical...

引用

2nd International Workshop on Software Engineering for Automotive Systems, SEAS 2005

作者： Sturmer, Ingo Weinberg, Daniela Conrad, Mirko ACM Germany Research and Technology DaimlerChrysler AG REI/SM Germany Fraunhofer FIRST Computer Architecture and Software Technology Germany

ISBN: (纸本)1595931287

Code generators are increasingly used in an industrial context to translate graphical models into executable code. Since the code is often deployed in safety-related environments, the quality of the code generators is of paramount importance. In this paper, we will present and discuss state-of-the-art techniques for safeguarding automatic code generation applied in model-based development. © 2005 ACM.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

automatic generation of suggestions for program investigation

Automatic generation of suggestions for program investigatio...

引用

ESEC/FSE'05 - Joint 10th European Software Engineering Conference (ESEC) and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-13)

作者： Robillard, Martin P. School of Computer Science McGill University Montreal Que. Canada

ISBN: (纸本)1595930140

Before performing a modification task, a developer usually has to investigate the source code of a system to understand how to carry out the task. Discovering the code relevant to a change task is costly because it is an inherently human activity whose success depends on a large number of unpredictable factors, such as intuition and luck. Although studies have shown that effective developers tend to explore a program by following structural dependencies, no methodology is available to guide their navigation through the typically hundreds of dependency paths found in a non-trivial program. In this paper, we propose a technique to automatically propose and rank program elements that are potentially interesting to a developer investigating source code. Our technique is based on an analysis of the topology of structural dependencies in a program. It takes as input a set of program elements of interest to a developer and produces a fuzzy set describing other elements of potential interest. Empirical evaluation of our technique indicates that it can help developers quickly select program elements worthy of investigation while avoiding less interesting ones. Copyright 2005 ACM.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

Recursive modeling for completed code generation

Recursive modeling for completed code generation

引用

1st Workshop on Behaviour Modelling in Model-Driven Architecture, BM-MDA '09

作者： Sulistyo, Selo Prinz, Andreas University of Agder Groosveien 36 4876 Grimstad Norway

ISBN: (纸本)9781605585031

Model-Driven Development is promising to software development because it can reduce the complexity and cost of developing large software systems. The basic idea is the use of different kinds of models during the software development process, transformations between them, and automatic code generation at the end of the development. But unlike the structural parts, fully-automated code generation from the behavior parts is still hard, if it works at all, restricted to specific application areas using a domain specific language, DSL. This paper proposes an approach to model the behavior parts of a system and to embed them into the structural models. The underlying idea is recursive refinements of activity elements in an activity diagram. With this, the detail generated code depends on the depth at which the refinements are done, i.e. if the lowest level of activities is mapped into activities executors, the completed code can be obtained. © 2009 ACM.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共152页 << < 57 58 59 60 61 62 63 64 65 66 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：