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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Modelling the environment using graphs with behaviour: Do you speak Ocelet?

Modelling the environment using graphs with behaviour: Do yo...

引用

5th Biennial Conference of the International Environmental Modelling and Software Society: Modelling for Environment's Sake, iEMSs 2010

作者： Degenne, P. Lahcen, A. Ait Curé, O. Forax, R. Parigot, D. Lo Seen, D. CIRAD - UMR TETIS Montpellier France INRIA Sophia Antipolis France Institut Gaspard Monge Universite' Paris Est Marne la Vallée France

ISBN: (纸本)9788890357411

Environmental modelling often implies defining elements that relate and interact with each other, in a system that evolves with time. Ocelet is a domain specific environmental modelling language that was designed around a limited set of key concepts chosen to help modellers focus on their model, while leaving the implementation to an automatic code generation phase. Here, we focus more specifically on a concept called Relation in Ocelet that allows to build graphs that describe which elements of the model interact, and how. It is designed to be used in combination with two other main concepts: Entities (elements of the model) and Scenarios (describing the temporal evolution). Every Ocelet Relation can express one specific point of view of a system and several Relations can be combined to integrate different points of view in the same model. By its diversity, points of view convey expressive power: with different expert views on a system, at different spatial scales, or an environment sensed by its different components. Moreover, in this versatile design, a Relation defined for one specific model can be reused in a different modelling context. Libraries of generic interaction behaviours can thus be developed for efficient and reliable modelling practices. An example is given to illustrate how interaction graphs can be built, manipulated, and reused using Ocelet. Finally, we give insight into the code generation phase that produces the simulator.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

automatic seal imprint verification system for bankcheck processing

Automatic seal imprint verification system for bankcheck pro...

引用

3rd International Conference on Information Technology and Applications, ICITA 2005

作者： Ueda, Katsuhiko Matsuo, Ken'nchi Department of Information Engineering Nara National College of Technology Yata-cho 22 Yamatokoriyama Nara 639-1080 Japan

ISBN: (纸本)0769523161

In this paper, we propose a multi-expert seal imprint verification system. The system has been specifically designed for applications in the Japanese bankcheck processing. A difficult problem encountered in automatic seal imprint verification is that the system is required an extremely low error rate despite of using a small number of reference data for training. To conquer this problem, it combines two different algorithms for seal imprint verification. A seal imprint is first extracted from bankcheck image based on color features. The first verification algorithm is based on a method using local and global features of seal imprint. The second algorithm uses a special correlation based on a global approach. The two algorithms are combined in the multi-expert system by a voting strategy. Experimental results showed that the combination of the two algorithms improves significantly the verification performance both on "false-acceptance error rate" and "false-rejection error rate". © 2005 IEEE.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

automatic Generation of Submodel-Specific Classes with Predefined Meta-information Based on Submodel Templates 28

Automatic Generation of Submodel-Specific Classes with Prede...

引用

28th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2023

作者： Garmaev, Igor Miny, Torben Kleinert, Tobias RWTH Aachen Information and Automation Systems for Process and Material Technology Aachen Germany

ISBN: (纸本)9798350339918

Asset Administration Shells are an essential component of Industry 4.0, and submodels are crucial to their functioning. However, the current method of generating submodels involves writing custom code, which can lead to code duplication and inconsistencies across submodels. To address these challenges, we propose an automatic generation of submodel-specific classes with predefined meta-information based on submodel templates. Our proposed solution aims to reduce code duplication, provide support in integrated development environments, ensure consistency across submodels, and facilitate the immediate publishing of submodel software development kits. This paper discusses the current approaches for instantiating submodels and their problems, the proposed approach, its requirements, advantages, and an outlook. © 2023 IEEE.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

Research on Cutting Parameters Database Based on Spacecraft Product Characteristics 2

Research on Cutting Parameters Database Based on Spacecraft ...

引用

2022 2nd International Conference on Mechatronics Technology and Aerospace Engineering, ICMTAE 2022

作者： Liu, Hanliang Yang, Kai Zhao, Wei Hu, Xingping Feng, Changxi Wu, Di Diao, Zhenkuan Qiao, Kun Wu, Fei Beijing Spacecrafts Co. Ltd. Beijing100094 China

Cutting parameters affect the production and processing efficiency and the quality of products. The characteristics of single-piece and small-batch production of spacecraft products result in a large number of cutting parameters. Due to the lack of centralized management methods, cutting parameters in the production site are not unified, which seriously affects the processing efficiency and quality of products. In response to a large number of cutting parameters and the lack of centralized management, the production resource library is completed by establishing a spacecraft product feature pedigree. Taking the product characteristics as the carrier, the production resources as the optional factors, and the forces in the cutting process as the evaluation criteria, the whole life management mechanism of cutting parameters is established to unify the cutting parameters in the production process and complete the establishment of the cutting parameter database. The interface between the programming platform and the cutting parameters library is developed for a low reuse rate of cutting parameters. With typical features as the carrier, the cutting parameters are packaged and transmitted to the programming platform to provide reliable cutting parameters for feature automatic programming, which improves the reuse rate of cutting parameters and simplifies the numerical control programming operation. The results show that the reuse times of cutting parameters are more than 8000 times, effectively ensuring the machining efficiency and quality consistency of products. © Published under licence by IOP Publishing Ltd.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

RCA: Experiences with an IDE annotation tool 06

RCA: Experiences with an IDE annotation tool

引用

CHINZ 2006: 7th International Conference NZ Chapter of the ACM's Special Interest Group on Human-Computer Interaction(SIGCHI-NZ)

作者： Priest, Richard Plimmer, Beryl Department of Computer Science University of Auckland Private Bag 92019 Auckland New Zealand

ISBN: (纸本)1595934731

Ink annotation is a common method for recording feedback on a paper document. However, reviewing code on paper is difficult due to its non-linear nature. This project extends existing research ideas to develop a digital ink annotation tool within an Integrated Development Environment (IDE). The aim is to provide code reviewers with an effective tool for directly commenting on code within the IDE. We describe scenarios where ink annotation would provide benefits, along with requirements and our implementation of the Rich Code Annotation Tool (RCA). Copyright 2006 ACM.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

BEINGS: KNOWLEDGE AS INTERACTING EXPERTS 4

BEINGS: KNOWLEDGE AS INTERACTING EXPERTS

引用

4th International Joint Conference on Artificial Intelligence, IJCAI 1975

作者： Lenat, Douglas B. Artificial Intelligence laboratory Stanford University StanfordCA United States

Knowledge may be organized as a community of intfiacting modules Each module is granted a complex structure, to simulate a particular expert in some small domain An extended analogy is drawn to a group of cooperating human specialists Based on this, an internal constraint is imposed on the modules Then structure must be standard over the entire community Some advantages of a uniform formalism are thereby preserved. An experimental community was implemented for the task domain of automatic programming It has managed to synthesize a few inductive inference LISP programs, nonformally. from specific restricted dialogues with a human user. © 1975 International Joint Conferences on Artificial Intelligence. All rights reserved.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

Object oriented programming languages for developing simulation-related software

Object oriented programming languages for developing simulat...

引用

Simulation Winter Conference

作者： T. Thomasma J. Madsen Industrial and Systems Engineering University of Michigan Dearborn Dearborn MI USA Production Modeling Corporation Dearborn MI USA

A comparative study has been done in which a portion of an icon-based simulation program generator is implemented in each of four object-oriented programming languages that are available for MS-DOS and PC-DOS based personal computers. The languages studied are MODSIM II, Objective-C 4.0, Smalltalk/V 286, and Zoretch C++. These languages and versions of older languages produce code that runs much more quickly than code produced by earlier object-oriented programming languages, thereby eliminating much of the execution speed penalty commonly associated with object-oriented programming. The choice of which object-oriented language to use is dependent on the syntax one feels most comfortable with, the appropriateness to the job at hand of the classes in the libraries provided with the language, and the quality of support given by the programming environment supplied with the language.< >

关键词： Object oriented programming Object oriented modeling Computer simulation Computational modeling automatic programming Artificial intelligence Computer industry Systems engineering and theory Microcomputers Software libraries

来源：评论

学校读者我要写书评

暂无评论

ENRICHING VOCABULARIES BY GENERALIZING EXPLANATION STRUCTURES 6

ENRICHING VOCABULARIES BY GENERALIZING EXPLANATION STRUCTURE...

引用

6th International Workshop on Machine Learning, ICML 1989

作者： Maclin, Richard Shavlik, Jude W. Computer Sciences Department University of Wisconsin MadisonWI53706 United States

ISBN: (纸本)1558600361

A problem with learning systems is that often the language with which the user must express information to the system is too complex. This paper discusses techniques based on Explanation-Based Learning by Observation that allow the user to enter the information required by the system in a simplified form comfortable to him or her. A user enters a description of a specific problem and its solution in simple terms. The description is then repeatedly enriched by the system to create a general solution that applies to the current problem and conceptually similar ones. The learning system first formulates, using domain-specific knowledge, an explanation of the human's solution to the specific problem. Next, the goal stated by the user is generalized with respect to any domain information about possible goals of the actions performed by the user in the solution. Finally, the explanation is extended to apply to the generalized goal. If the user's solution implicitly contains iteration or recursion, an explicitly iterative or recursive concept is produced. Each step involves a reformulation that transforms the user's simple description into a more general form, allowing the system to learn a much more general concept. A system is being developed that applies these techniques in the domain of automatic programming. © Proceedings of the 6th International Workshop on Machine Learning, ICML 1989.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

A lightweight framework for automated model-to-code transformation

A lightweight framework for automated model-to-code transfor...

引用

14th IEEE International Multitopic Conference 2011, INMIC 2011

作者： Mahmood, Hina Jilani, Atif Aftab Ahmed Rauf, Abdul Islamabad Pakistan FAST Islamabad Pakistan

ISBN: (纸本)9781457706554

Model Driven Engineering (MDE) focuses on the automatic generation of code from system models, referred to as the Model-to-Code (M2C) transformation. Currently, M2C transformation relies on the transformation rules, metamodels and transformation languages, making the transformation process complex and lengthy. In this paper, we propose a novel framework for M2C transformation utilizing the available set of transformation examples. The examples are expressed as predicates and are used to train the system regarding automatic code generation. After the training, a set of transformations are extracted from the available training data, which are eventually used to transform the input models into implementation code. The quality of the generated code is ensured by the correctness of the available transformation examples. This framework uses transformation examples to utilize the transformation knowledge on hand and evades the definition of transformation rule set from the M2C transformation process. © 2011 IEEE.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

Hammerstein model identification using genetic programming

Hammerstein model identification using genetic programming

引用

IEEE International Conference on Systems, Man and Cybernetics

作者： T. Katoh T. Hatanaka K. Uosaki Department of Information and Knowledge Engineering Tottori University Tottori Japan

In this paper, we propose a Hammerstein model identification method using genetic programming. A Hammerstein model is composed of a nonlinear static block in series with a linear dynamic system. The aim of system identification is to give the optimal mathematical model both nonlinearity and linear dynamic system in an appropriate sense. Genetic programming is used to determine the structure of the nonlinear static block. Each individual in genetic programming represents a nonlinear function. The unknown parameters including those of the linear dynamic system model are estimated by the least square method. The fitness is evaluated as AIC (Akaike information criterion). AIC is calculated with the number of nodes in the genetic programming tree, the order of linear dynamic model and the accuracy of the model. The results of numerical studies indicate the usefulness of the proposed approach to Hammerstein model identification.

关键词： Genetic programming Functional programming Knowledge engineering Least squares methods Ear Parameter estimation Testing automatic programming Nonlinear systems Nonlinear dynamical systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共152页 << < 69 70 71 72 73 74 75 76 77 78 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：