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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 订阅

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

详细简洁

排序：

A programming course for business MIS students

A programming course for business MIS students

引用

Frontiers in Education (FIE) Conference

作者： K. Sung A. Leong R.R. Rosenberg University of Washington Bothell USA

The business program at the University of Washington, Bothell has recently established a new management information systems concentration. As an integral part of the technology foundation, students are required to take the typical software engineering course from the computer science department. This paper describes the motivations behind this decision, and the results of collaborative efforts between the business and computing faculty in creating a custom programming course to prepare MIS students for the software engineering course. This newly created programming course is designed to challenge students to apply and refine their basic programming and problem solving skills, and in doing so, to experience the often tedious software application development process. The implementation of the new course is based on programming the automation of popular commercial software systems. The results of our initial offering indicate success in building on the modest technical background of typical business students in designing and implementing programming solutions to moderately complex practical problems

关键词： Business Software engineering Management information systems Computer science Collaborative software Problem-solving Application software automatic programming Automation Software systems

来源：评论

学校读者我要写书评

暂无评论

A formal approach to requirements-based programming

A formal approach to requirements-based programming

引用

International Conference and Workshop on Engineering of Computer-Based Systems

作者： M.G. Hinchey J.L. Rash C.A. Rouff Information Systems Division NASA Goddard Space Flight Center Greenbelt MD USA Advanced Concepts Business Unit SAIC Mclean VA USA

No significant general-purpose method is currently available to mechanically transform system requirements into a provably equivalent model. The widespread use of such a method represents a necessary step toward high-dependability system engineering for numerous application domains. Current tools and methods that start with a formal model of a system and mechanically produce a provably equivalent implementation are valuable but not sufficient. The "gap" unfilled by such tools and methods is that the formal models cannot be proven to be equivalent to the requirements. We offer a method for mechanically transforming requirements into a provably equivalent formal model that can be used as the basis for code generation and other transformations. This method is unique in offering full mathematical tractability while using notations and techniques that are well known and well trusted. Finally, we describe further application areas we are investigating for use of the approach.

关键词： Mathematical model Systems engineering and theory Reverse engineering Documentation NASA Information systems automatic programming Humans Software engineering Computer languages

来源：评论

学校读者我要写书评

暂无评论

Refining production strategy optimization model based on mixed bi-level programming method

Refining production strategy optimization model based on mix...

引用

IEEE International Conference on e-Business Engineering (ICEBE)

作者： Wang Wei Mei Wei Zhang Qiang Li Ze-fei Institute of Automation Chinese Academy of Sciences Beijing China Daqing Company of Petro-China Company Limited Dading China

The production process of a refinery is a complicated process, which consists of immense units. For some units, the products are multiple, so does the feasible operation mode of products of certain units. Which kind of operation mode is utilized decides the production strategy of a refinery. In this paper, how to gain reasonable production strategy is focused on due to the immense benefit it can bring to, and a production strategy optimization model based on mixed bi-level programming method is presented to solve this problem. All the units included in the production process are divided into two levels, and most of the production information of them is integrated by a database system in the model. How the optimization model can be used as a viable tool is also showed by a simple case study at Daqing refinery

关键词： Refining Optimization methods Petroleum Production planning Temperature Hydrocarbons Production systems Fuels Process control automatic programming

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

An investigation into using genetic programming as a means of inducing solutions to novice procedural programming problems 05

An investigation into using genetic programming as a means o...

引用

Proceedings of the 7th annual conference on Genetic and evolutionary computation

作者： Nelishia Pillay University of KwaZulu-Natal KwaZulu-Natal South Africa

ISBN: (纸本)9781595930101

The study presented in this paper forms part of a larger initiative aimed at creating a generic architecture for the development of intelligent programming tutors (IPTs) in an attempt to reduce the costs associated with building IPTs. Thus, instead of requiring the lecturer to provide solution algorithms to the programming problems that students will be tested on by the system, the generic architecture will automatically generate the solutions to these problems. This paper reports on the results of an investigation conducted to test the hypothesis that genetic programming (GP) can be used for this purpose. The paper proposes a genetic programming system for the induction of solutions to arithmetic, character and string manipulation, conditional, iterative, nested iteration, and recursive problems. The paper analyses the results of applying the proposed system to 45 randomly chosen novice procedural programming problems. Extensions made to the proposed system based on this analysis, namely, the implementation of the iterative structure-based algorithm (ISBA), are discussed.

关键词： automatic programming local optima genetic programming

来源：评论

学校读者我要写书评

暂无评论

Trajectory reconstruction with NURBS curves for robot programming by demonstration

Trajectory reconstruction with NURBS curves for robot progra...

引用

IEEE International Symposium on Computational Intelligence in Robotics and Automation (CIRA)

作者： J. Aleotti S. Caselli G. Maccherozzi RIMLab-Robotics and Intelligent Machines Laboratory Dipartimento di Ingegneria dell'Informazione University of Parma Italy

Service robots require simple programming techniques allowing users with little or no technical expertise to integrate new tasks in a robotic platform. A promising solution for automatic acquisition of robot behaviors is the programming by demonstration (PbD) paradigm. Its aim is to let robot systems learn new behaviors from a human operator demonstration. This paper describes a virtual reality based PbD system for pick-and-place and manipulation tasks. The system recovers smooth robot trajectories from single or multiple user demonstrations, thereby overcoming sensor noise and human inconsistency problems. More specifically, we investigate the benefits of the human hand trajectory reconstruction with NURBS curves by means of a best-fit data smoothing algorithm. Some experiments involving object transportation while avoiding obstacles in the workspace show the viability and effectiveness of the approach.

关键词： Spline Surface topography Surface reconstruction Robot programming Robotics and automation Humans Robot sensing systems Service robots automatic programming Virtual reality

来源：评论

学校读者我要写书评

暂无评论

Flocking of subpopulations in distributed genetic programming

Flocking of subpopulations in distributed genetic programmin...

引用

International Conference on Intelligent Systems Design and Applications (ISDA)

作者： G. Paulikas D. Rubliauskas Department of Practical Informatics Kaunas University of Technology Kaunas Lithuania

The distribution of the genetic programming algorithm improves the efficiency of the search for the solution, but additional parameters of this distribution are undesirable. This paper presents the analysis of early experimental results of using flocking to control interactions among the distributed subpopulations so less human intervention is needed The possibility to set up migration parameters dynamically at the run time brings the distributed genetic programming algorithm to the same level of automation as standard genetic programming while keeping the increased performance of the distributed GP. The paper discusses the nature of the required additional computations of the GP algorithm when adapting flocking for migration control. The positive empirical results support the idea of mixing both search techniques together.

关键词： Genetic programming Genetic algorithms automatic control Humans Switches Concurrent computing Informatics Automation Distributed computing automatic programming

来源：评论

学校读者我要写书评

暂无评论

Automata-based programming of the reactive multi-agent control systems

Automata-based programming of the reactive multi-agent contr...

引用

International Conference on Integration of Knowledge Intensive Multi-Agent Systems (KIMAS)

作者： B. Yartsev G. Korneev A. Shalyto V. Kotov Mechanics and Optics Computer Technologies Department Saint Petersburg State University of Information Technologies Saint Petersburg Russia

Automata-based approach, proposed for the programming of the virtual autonomous reactive agents control systems used in the famous "Robocode" game is extended in this paper to the creation of the control systems of the reactive multiagent real-life environment agents. We demonstrate the efficiency of the proposed approach by the example of creation of transportation system, which consists of two interacting robots and is assembled from the famous "Lego Mindstorms" kit. The advantage of this approach is the formalization of the implementation process and the simplification of testing and modification.

关键词： automatic programming automatic control Control systems Automata Optical control Multiagent systems Optical computing Transportation Robotic assembly Robot programming

来源：评论

学校读者我要写书评

暂无评论

Comparing skill-based routing call center simulations using C programming and Arena models 05

Comparing skill-based routing call center simulations using ...

引用

Simulation Winter Conference

作者： R.B. Wallace R.M. Saltzman IBM Silver Spring MD USA Department of Decision Sciences College of Business San Francisco State University San Francisco CA USA

ISBN: (纸本)9780780395190

This paper describes the modeling of a skill-based routing call center using two distinct simulation programming methods: the C language and the Arena software package. After reviewing the features of this type of call center, we describe the salient components of each method in modeling the call center. The paper concludes with a comparison of the pros and cons of using each simulation programming approach in this context.

关键词： Software packages Silver Springs Educational institutions Context modeling automatic programming Routing protocols Analytical models Telephony

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：