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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Experiments in automatic programming for general purposes

Experiments in automatic programming for general purposes

引用

International Conference on Tools for Artificial Intelligence (ICTAI)

作者： M. Reformat Chai Xinwei J. Miller Software Technology Engineering and Measurement research center Department of Electrical and Computer Engineering University of Alberta AB Canada

Although the generation and application of software clones is relatively unexplored, it is believed that this is a fundamental technology that can have many different applications within a software engineering environment. For example, software clones could be used in software fault tolerance. Clearly, for these clones to be usable, their production needs to be automated. An interesting approach to this automatic production or generation problem is the application of evolutionary-based genetic programming (GP). Using the paradigms of best fit, selection, crossover and mutation a number of clones, satisfying specific requirements, can be automatically generated. In general, GP is a flexible and powerful algorithm suitable for solving variety of different problems. The paper presents the results of studies that have been conducted in order to answer questions related to feasibility of using GP for clone generation: what features of GP are important? What works and what does not? How GP can be "tuned" for the problem? The results have been used to draw a set of suggestions and conclusions that indicate possible usability of GP-based approach to automatic generation of clones.

关键词： automatic programming Cloning Genetic programming Application software Production Software engineering Computer industry Costs Electric variables measurement Software measurement

来源：评论

学校读者我要写书评

暂无评论

Boundary Scan for Structural Board Test on LXI Platform

Boundary Scan for Structural Board Test on LXI Platform

引用

International automatic Testing Conference, AUTOTESTCON

作者： Heiko Ehrenberg Thomas Wenzel GOEPEL Electronics Limited Liability Company Austin TX USA GOEPEL Electronic GmbH Jena Germany

JTAG/Boundary Scan tools for LXI 1 allow a powerful and flexible combination with other test methodologies. This paper shortly discusses benefits and shortcomings of JTAG/Boundary Scan and Functional Test and then outlines possibilities of integrating Boundary Scan tools in a LXI based test environment. Advantages of such a combination of Boundary Scan and Functional Test equipment are illustrated. Furthermore, an introduction to JTAG/ Boundary Scan related Design-For-Testability will be provided.

关键词： Circuit testing System testing Logic testing automatic testing Electronic equipment testing Logic programming Test equipment Local area networks Manufacturing automatic programming

来源：评论

学校读者我要写书评

暂无评论

Optimization of Workspace of a 2 DOF parallel robot

Optimization of Workspace of a 2 DOF parallel robot

引用

IEEE International Conference on Mechatronics and Automation

作者： Stan Sergiu Vistrian Maties Radu Balan Department of Mechanics and Programming Technical University of Cluj-Napoca Cluj-Napoca Romania Department of Mechatronics Technical University of Cluj-Napoca Cluj-Napoca Romania

In this paper a mono-objective optimum design procedure for parallel robot is outlined by using optimality criterion of workspace and numerical aspects. A mono-objective optimization problem is formulated by referring to a basic performance of parallel robots. Additional objective functions can be used to extend the proposed design procedure to more general but specific design problems. A kinematic optimization was performed to maximize the workspace of the mini parallel robot. Optimization was performed using genetic algorithms

关键词： Parallel robots Kinematics Manipulators Mechatronics Design optimization Sampling methods Design automation Robotics and automation automatic programming Parallel programming

来源：评论

学校读者我要写书评

暂无评论

C Macro Handling in Automated Source Code Transformation Systems

C Macro Handling in Automated Source Code Transformation Sys...

引用

International Conference on Software Maintenance (ICSM)

作者： Bin Yao William Mielke Steve Kennedy Rick Buskens Bell Laboratories Lucent Technologies Inc. USA

In this paper, we present an overview of our approach to C macro handling in the Proteus C/C++ code transformation system. This approach gives us the capability to fully capture the semantics of complex macros without sacrificing high fidelity. As part of the Proteus system, they have been successfully applied to millions of lines of C/C++ code

关键词： Data structures Data mining Software standards automatic programming Time to market Software quality Security Instruments Software maintenance Couplings

来源：评论

学校读者我要写书评

暂无评论

Looseness Controlled Crossover in GP for Object Recognition

Looseness Controlled Crossover in GP for Object Recognition

引用

Congress on Evolutionary Computation

作者： Mengjie Zhang Xiaoying Gao Weijun Lou School of Mathematics Statistics and Computer Science Victoria University of Wellington Wellington New Zealand Artificial Intelligence Research Centre College of Mechanical and Electrical Engineering Agricultural University of Hebei China

This paper describes an approach to improving the crossover operator in genetic programming for object recognition particularly object classification problems. In this approach, instead of randomly choosing the crossover points as in the standard crossover operator, we use a measure called looseness to guide the selection of crossover points. Rather than using the genetic beam search only, this approach uses a hybrid beam-hill climbing search scheme in the evolutionary process. This approach is examined and compared with the standard crossover operator and the headless chicken crossover method on a sequence of object classification problems. The results suggest that this approach outperforms both the headless chicken crossover and the standard crossover on all of these problems.

关键词： Object recognition Genetic programming Face detection Genetic algorithms automatic programming Mathematics Statistics Computer science Measurement standards Face recognition

来源：评论

学校读者我要写书评

暂无评论

A model-based statistical usage testing of communication protocols

A model-based statistical usage testing of communication pro...

引用

International Conference and Workshop on Engineering of Computer-Based Systems

作者： M. Popovic I. Basicevic I. Velikic J. Tatic University of Novi Sad Novi Sad Serbia

In this paper, we present our original approach to the model-based statistical usage testing of a class of communication protocol implementations that are based on the state design pattern and Java programming environment augmented with the class FSMSystem. The approach is based on the working environment that has been proven on a number of real-world projects. The working environment is created with the following set of tools: generic modeling environment with the operational profile model paradigm registered to it, operational profile model interpreter, generic test case generator, test case compiler, and the unit testing framework JUnit extended with the class TestBed that acts as both test driver and stub thus providing the complete test harness. In the paper, we present the methodology of the model-based statistical usage testing of a class of communication protocol implementations, the tools that support this methodology, and the case study - the model based statistical usage testing of SIP INVITE client transaction, a part of the SIP protocol stack

关键词： Protocols Software testing Design engineering Unified modeling language automatic testing Interconnected systems Formal verification System testing automatic programming Control engineering computing

来源：评论

学校读者我要写书评

暂无评论

Auto-coding UML statecharts for flight software

Auto-coding UML statecharts for flight software

引用

IEEE International Conference on Space Mission Challenges for Information Technology, SMC-IT

作者： E. Benowitz K. Clark G. Watney Jet Propulsion Laboratory California Institute of Technology USA

Statecharts have been used as a means to communicate behaviors in a precise manner between system engineers and software engineers. Hand-translating a statechart to code, as done on some previous space missions, introduces the possibility of errors in the transformation from chart to code. To improve auto-coding, we have developed a process that generates flight code from UML statecharts. Our process is being used for the flight software on the Space Interferometer Mission (SIM)

关键词： Unified modeling language Space missions Aerospace engineering Communication system software automatic programming Software tools Systems engineering and theory Software systems Protection Mathematical model

来源：评论

学校读者我要写书评

暂无评论

Program generation for the all-pairs shortest path problem

Program generation for the all-pairs shortest path problem

引用

International Conference on Parallel Architecture and Compilation Techniques (PACT)

作者： Sung-Chul Han Franz Franchetti Markus Püschel Electrical and Computer Engineering Carnegie Mellon University Pittsburgh PA

ISBN: (纸本)159593264X

A recent trend in computing are domain-specific program generators, designed to alleviate the effort of porting and re-optimizing libraries for fast-changing and increasingly complex computing platforms. Examples include ATLAS, SPIRAL, and the codelet generator in FFTW. Each of these generators produces highly optimized source code directly from a problem specification. In this paper, we extend this list by a program generator for the well-known Floyd-Warshall (FW) algorithm that solves the all-pairs shortest path problem, which is important in a wide range of engineering applications. As the first contribution, we derive variants of the FW algorithm that make it possible to apply many of the optimization techniques developed for matrix-matrix multiplication. The second contribution is the actual program generator, which uses tiling, loop unrolling, and SIMD vectorization combined with a hill climbing search to produce the best code (float or integer) for a given platform. Using the program generator, we demonstrate a speedup over a straightforward single-precision implementation of up to a factor of 1.3 on Pentium 4 and 1.8 on Athlon 64. Use of 4-way vectorization further improves the performance by another factor of up to 5.7 on Pentium 4 and 3.0 on Athlon 64. For data type short integers, 8-way vectorization provides a speed-up of up to 4.6 on Pentium 4 and 5.0 on Athlon 64 over the best scalar code.

关键词： automatic programming Standards Shortest path problem Generators Libraries Open area test sites Algorithms

来源：评论

学校读者我要写书评

暂无评论

Spatial Information Based Image Segmentation Using a Modified Particle Swarm Optimization Algorithm

Spatial Information Based Image Segmentation Using a Modifie...

引用

International Conference on Intelligent Systems Design and Applications (ISDA)

作者： Swagatam Das Ajith Abraham Amit Konar Department of Electronics and Telecommunication Engineering Jadavpur University Kolkata India School of Computer Science and Engineering Chung Ang University Seoul South Korea

This article proposes a particle swarm based segmentation algorithm for automatically grouping the pixels of an image into different homogeneous regions. In contrast to most of the existing evolutionary image segmentation techniques, we have incorporated spatial information into the membership function for clustering. The spatial function is the summation of the membership function in the neighborhood of each pixel under consideration. The two very important advantages of the new method are: 1) it does not require a priori knowledge of the number of partitions in the image and 2) it yields regions, more homogeneous than the existing methods even in presence of noise

关键词： Image segmentation Particle swarm optimization Clustering algorithms Pixel Computer science Electronic mail automatic programming Genetic programming Genetic algorithms Evolutionary computation

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共152页 << < 55 56 57 58 59 60 61 62 63 64 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：