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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

TiViPE - Tino's Visual programming Environment

TiViPE - Tino's Visual Programming Environment

引用

IEEE Annual International Computer Software and Applications Conference (COMPSAC)

作者： T. Lourens Honda Research Institute Japan Company Limited Wako Saitama Japan

TiViPE is a component based visual programming environment (VPE) that enables users to build programs by construction of a network of components interactively. A single module (component), represented by a graphical icon, is a computational unit. Multiple icons can be connected to each other to yield a directed graph (a network) that represent a program. TiViPE is, in appearance similar to programs such as AVS, Vee, OpenDX, Khoros, LabVIEW, NeatVision, and ViPEr, but presents some fundamental differences. TiViPE integrates documentation with an existing routine call (that has been programmed in C++, C, Fortran, or Java), and automatically generates C++ code that is compiled to stand-alone program. This program is able to execute the specified routine, provide a graphical icon, or give HTML-formatted documentation about the routine. Hence, within TiViPE there is no textual programming for the user TiViPE strongly re-uses code, which is inherent to visual programming, and automatic code regeneration by compounding a network of modules to a single module, which leads to faster programming. TiViPE supports networking and parallel processing in a natural way, and allows the user to modify an activated network. TiViPE also aims at rapid prototyping which demands user friendliness, programming by existing modules for basic users, and focuses on the documentation of a module. TiViPE has been used in the field of computer vision, robotics, and computational neuroscience

关键词： programming environments Documentation automatic programming Computer vision Java Parallel processing Prototypes Human computer interaction Robot programming Robot vision systems

来源：评论

学校读者我要写书评

暂无评论

Towards programming robots by gestures, test-case: programming bore inspection for small lotsizes

Towards programming robots by gestures, test-case: programmi...

引用

IEEE International Conference on Robotics and Automation (ICRA)

作者： C. Eberst H. Nohmayer G. Umgeher M. Takagi Profactor Produktionsforschungs GmbH Steyr Austria Profactor Produktionsforschungs GmbH Steyr Shibaura Institute of Technology Saitama Japan Shibaura Institute of Technology Saitama-city Japan

Rapid programming of applications with down-times near zero is a key to automation of small lotsize production. This paper proposes an approach to program by gestures. It combines the visual observation and interpretation of human activities and gestures, mapping to technical tasks and autonomous execution. Automated planning/generation of the robot motion combined with automated correction of pose deviations (induced from the visual observation) allows an execution which is independent of the observation accuracy. The industrial application: bores and internal threads play a critical role as integral parts of connections, bearings, engines, hydraulic and pneumatic systems. The increased industrial requirement for high quality components demands 100% surface inspection of bores (here with diameters from 4 to 50 mm) at small lotsizes. Since state-of-the-art automation is limited to high volumes, the main target is to develop a semi-autonomous system for rapid and flexible inspection featuring new programming. The main focus is on rapid and intuitive programming of robotic systems. The paper describes the implementation and techniques in case of a bore inspection system

关键词： Robot programming Testing Boring Inspection Robotics and automation automatic programming Production Humans Motion planning Robot motion

来源：评论

学校读者我要写书评

暂无评论

Automating adaptive image generation for medical devices using aspect-oriented programming

Automating adaptive image generation for medical devices usi...

引用

International Conference on Emerging Technologies and Factory Automation (ETFA)

作者： T. Fritz M. Segura M. Sudholt E. Wuchner J.-M. Menaud Gruppe PST Ludwig-Maximilians-Universität München Deutschland Équipe OBASCO Ecole des Mines de Nantes Nantes France Corporate Technology SE2 Siemens AG München Deutschland

Image generation, e.g., in computer tomographs, requires the use of sophisticated algorithms which are characterized (i) by a large variability to enable generation of different types of images and (ii) a strong need for dynamic reconfiguration to adapt image generation, e.g., to individual patients. On the application level, such characteristics are frequently scattered all over the code of the application. This suggests the use of aspect-oriented programming (AOP) techniques to modularize such crosscutting functionality. In this paper we present an approach to automate image generation tasks using AOP and their application in the context of medical devices from Siemens AG, Germany. Concretely, we present three results: (i) a motivation why imaging software can benefit from dynamic AOP, (ii) a case study of how image generation, in particular for medical devices, can be adapted using the Arachne system for dynamic AOP in C, and (iii) a suitable aspect language and its realization within Arachne

关键词： Image generation Biomedical imaging automatic programming Humans Dynamic programming Application software Signal processing Position measurement Signal processing algorithms Manipulator dynamics

来源：评论

学校读者我要写书评

暂无评论

Identifying refactoring opportunities using logic meta programming

Identifying refactoring opportunities using logic meta progr...

引用

(CSMR) European Conference on Software Maintenance and Reengineering

作者： T. Tourwe T. Mens Programming Technology Laboratory Vrije Universiteit Brussel Brussels Belgium

We show how automated support can be provided for identifying refactoring opportunities, e.g., when an application's design should be refactored and which refactoring(s) in particular should be applied. Such support is achieved by using the technique of logic meta programming to detect so-called bad smells and by defining a framework that uses this information to propose adequate refactorings. We report on some initial but promising experiments that were applied using the proposed techniques.

关键词： Logic programming Guidelines Degradation automatic programming Aging Computer languages Phase detection Software performance Application software Inspection

来源：评论

学校读者我要写书评

暂无评论

Literate programming: a software engineering perspective

Literate programming: a software engineering perspective

引用

Software Education Conference

作者： J. Hamer Department of Computer Science University of Auckland New Zealand

Initial impressions of literate programming tend to the view that this is the software equivalent of the "Faberge egg": ornate beyond all practical uses. However, recent advances in the field have produced tools that are less ornate, easy to use and eminently practical. We take a critical look at what literate programming has to offer in the practice and teaching of software engineering, and present a brief review of the state-of-the-art tools now (freely) available. No previous experience with literate programming is assumed.< >

关键词： Software engineering Documentation Typesetting Reactive power Computer science Internet Education automatic programming Writing Program processors

来源：评论

学校读者我要写书评

暂无评论

Cartesian Ant programming

Cartesian Ant Programming

引用

IEEE International Conference on Systems, Man and Cybernetics

作者： Akira Hara Manabu Watanabe Tetsuyuki Takahama Graduate School of Information Sciences Hiroshima City University Hiroshima Japan Faculty of Information Sciences Hiroshima City University Hiroshima Japan

Genetic programming (GP) is well-known as an evolutionary method for automatic programming. GP can optimize tree-structural programs. Cartesian GP (CGP) is one of the extensions of GP, which generates the graph structural programs. By using the graph structure, the solutions can be represented by more compact programs. Therefore, CGP is widely applied to the various problems. As a different approach from the evolution, there is the Ant Colony Optimization (ACO), which is an optimization method for combinatorial optimization problems based on the cooperative behavior of ants. By using pheromone communication, the promising solution space can be searched intensively. In this paper, we propose a new automatic programming method, which combines CGP and ACO. In this method, ants generate programs by moving in the node-network used in CGP. We call this method, Cartesian Ant programming (CAP). We examined the effectiveness of CAP by comparing with CGP on the search performance in a symbolic regression and a classification problem.

关键词： Cities and towns Spirals Equations Optimization Ant colony optimization automatic programming

来源：评论

学校读者我要写书评

暂无评论

Tool support for invariant based programming

Tool support for invariant based programming

引用

Asia-Pacific Conference on Software Engineering

作者： R.-J. Back M. Myreen Department of Computer Science Abo Akademi University Turku Finland

Invariant based programming is an approach to program construction where we provide the program pre- and postconditions as well as loop invariants before we construct the code itself. This approach allows us to construct a program and its correctness proof hand in hand. We describe here an extension to an existing mathematics editor that supports this style of program construction. The main help that the tool provides is automatic simplification of verification conditions that are generated in the programming process. The tool shows the user a check list of those conditions that it was not able to prove automatically. The user can use this check list to complete the proof (either manually or using an interactive theorem prover) or to find errors in the program.

关键词： Computer science Mathematics automatic programming Logic programming programming profession Algorithm design and analysis

来源：评论

学校读者我要写书评

暂无评论

Context free language induction with genetic programming

Context free language induction with genetic programming

引用

International Conference on Tools for Artificial Intelligence (ICTAI)

作者： B.D. Dunay Center for Intelligent and Knowledge-based Systems New Orleans LA USA

This paper reports on the induction of context free languages using genetic programming. The focus is on language inference, i.e. the inference of formal languages such as those of the Chomsky hierarchy from positive (and negative) sample strings. In this paper, the inference process is extended to the class of context-free grammars. Deterministic pushdown automata are induced from samples of context free languages. The algorithm is a variation of genetic algorithms using free shaped chromosomes to represent the transition tables of the various automata.< >

关键词： Genetic programming Testing Automata Genetic algorithms Formal languages Biological cells automatic programming Displays Tree data structures Binary trees

来源：评论

学校读者我要写书评

暂无评论

Multi-strategies risk programming for virtual enterprise based on ant colony algorithm

Multi-strategies risk programming for virtual enterprise bas...

引用

IEEE International Conference on Industrial Engineering and Engineering Management

作者： Min Huang Xue-Jing Wu Fuqiang Lu Xing-Wei Wang College of Information Science and Engineering Northeastern University Shenyang 110004 China College of Information Science and Engineering Northeastern University Shenyang China

The risks of virtual enterprises exist almost everywhere for they are dynamic, temporary and multi-partners. In order to restrict the risk to the acceptable level, the Multi strategies multi choices (MSMC) risk programming model is proposed in this paper considering the fuzzy characteristics and project organization mode of virtual enterprises. There are many control strategies can be selected for each risk to reduce the global risk level of project in this model. In addition, the multi-layer strategies process mechanism and two properties, are presented in this paper. To solve this model, the ant colony algorithm is designed, which combines with the Fuzzy Synthetic Evaluation (FSE) embed HFMFs (Hyper-trapezoidal Fuzzy Membership Functions) evaluation. Simulation has shown that this method is both effective and efficient in achieving satisfied solutions for risk programming of virtual enterprises.

关键词： Virtual enterprises programming profession Dynamic programming automatic programming Educational institutions Information science Laboratories Automation Educational programs Mechanical factors

来源：评论

学校读者我要写书评

暂无评论

Unified approach for system-level generative programming

Unified approach for system-level generative programming

引用

IEEE International Conference on Algorithms and Architectures for Parallel Processing (ICAP)

作者： Zhisheng Huang R.R. Raje A.M. Olson M. Auguston Computer and Information Science Indiana University-Purdue University Indianapolis Indianapolis IN USA Department of Computer Science New Mexico State University Las Cruces NM USA

Today's and future distributed software systems will certainly require combining heterogeneous software components that are geographically dispersed so that its realization not only meets the functional requirements, but also satisfies the nonfunctional criteria such as the desired quality of services (QoS). The unified approach (UA) incorporates the concepts of product line practice (PLP) and generative programming with the unified meta-component model (UMM) to achieve automatic development, maximal reuse and seamless interoperation. The creation of a software solution for a distributed computing system (DCS), using the UA has two levels, the component level and the system level. In this paper, the system-level generative programming of the UA is described.

关键词： Distributed control Information science Electrical capacitance tomography Computer science Sun AC generators automatic programming Electronic switching systems Investments Java

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共152页 << < 63 64 65 66 67 68 69 70 71 72 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：