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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

A New Calculation Model of Wind Power

A New Calculation Model of Wind Power

引用

IEEE PES Asia-Pacific Power and Energy Engineering Conference (APPEEC)

作者： Zhihuang Liu Yimin Yang Applied Mathematics School of Guangdong University of Technology Guangzhou Guangdong China Automation School of Guangdong x University of Technology Guangzhou Guangdong China

Wind power calculation is a key work in wind farm construction. At present, most company use WASP to evaluate the wind power. WASP is designed on the basis of European landform. In china, the landform is so complex that it is need to take a new calculation way to get a more practical result. Here Weibull density function is regarded as wind frequency distribution and a simple generation calculation formula is deducted. Based on Chinese complex landform, a constraint condition is added to the calculation expression and a new feasible calculation model is given. VC++ and Matlab are used to implement this calculation model. At last, Nordex N80 and N90 are took as an example to evaluate the wind power of an island. The result shows that the performance is better than WASP.

关键词： Wind energy Wind speed Frequency Wind farms Mathematical model Wind energy generation Density functional theory Power generation Mathematics automatic programming

来源：评论

学校读者我要写书评

暂无评论

Testing-Based automatic Grading: A Proposal from Bloom's Taxonomy

Testing-Based Automatic Grading: A Proposal from Bloom's Tax...

引用

International Conference on Advanced Learning Technologies (ICALT)

作者： Isidoro Hernán-Losada Cristóbal Pareja-Flores J. Ángel Velázquez-Iturbide Dept. de Lenguajes y Sistemas Informáticos I Universidad Rey Juan Carlos Móstoles Madrid Spain Dept. de Sistemas Informáticos y Computación Universidad Complutense Madrid Spain

The test-first approach has been repeatedly advocated to learn both programming and software engineering. Besides, automatic graders are broadly used, both in programming contests and in everyday teaching. The sort of problems stated in both situations is always placed at the application and higher levels of Bloompsilas taxonomy, and it demands some degree of mastery on students. In this paper we address the combined use of automatic grading and the test-driven approach from a pedagogical view. In particular, we address assessment at the levels of comprehension, application, analysis and synthesis in Bloompsilas taxonomy. We make a proposal, based on sorts of exercises and suggested examples. We also gather a set of features that exercises should include as metadata to facilitate its use from pedagogical criteria.

关键词： automatic testing Proposals Taxonomy programming profession Software testing automatic programming Education Software engineering Application software Educational programs

来源：评论

学校读者我要写书评

暂无评论

Automated knowledge-based software construction

Automated knowledge-based software construction

引用

IEEE International Conference on Systems, Man and Cybernetics

作者： D. Han H.A. Chen J.R. Kenevan Northeastern Illinois University Chicago IL USA Department of Computer Science Illinois Institute of Technology Chicago IL USA

The authors define a means for the acquisition of knowledge called the E-Specification Language. This specification is defined using set notions. Each specification consists of a domain-problem pair and a set of attributes that describe the current problem. This multidimensional array stores all existing problems and their attributes. These attributes are used in the resolution of whether any existing knowledge may be used in the future, or whether knowledge must be learned. Each user-given problem is classified by its domain and problem types. The authors also define a set of knowledge primitives, as knowledge units, to represent programming knowledge. These units are then used to construct more knowledge. The self-constructing knowledge enables automating the construction of software codes, testing, documentation and all other parts of the software life cycle. A few system algorithms are presented.< >

关键词： Knowledge acquisition Documentation Software maintenance automatic programming Automation Functional programming Production Software debugging automatic testing Software testing

来源：评论

学校读者我要写书评

暂无评论

A grasp abstraction hierarchy for recognition of grasping tasks from observation

A grasp abstraction hierarchy for recognition of grasping ta...

引用

IEEE International Workshop on Intelligent Robots and Systems (IROS)

作者： S.B. Kang K. Ikeuchi The Robotics Institute Carnegie Mellon University Pittsburgh PA USA

This work focuses on the abstraction hierarchy for a grasp which has been recognized from low-level hand-object interaction data. Previous work done on grasp classification and recognition is discussed. The proposed abstraction hierarchy is presented with illustrations, implementation issues, as well as experimental results. Issues pertaining to the conceptual analysis of the other aspects of recognizing grasping tasks are also presented. The authors report on the current status of the project and future work.

关键词： Humans Robot programming Educational robots Grasping automatic programming Robotics and automation Education Robotic assembly Assembly systems Fingers

来源：评论

学校读者我要写书评

暂无评论

Engineering Scholars' Program at FAU

Engineering Scholars' Program at FAU

引用

Frontiers in Education (FIE) Conference

作者： S. Hsu S. Schlossberg K. Stevens Department ofcomputer Science and Engineering Florida Atlantic University Boca Raton FL USA College of Engineeting Florida Allantic University Boca Raton FL USA College of Engineering Florida Atlantic University Boca Raton FL USA

A dual-enrollment credit summer program offered by the College of Engineering at Florida Atlantic University for high-achieving high school students is described. Known as the Engineering Scholars' Program, and funded partially by the State of Florida Governor's Summer Program, this activity provides gifted students challenging educational opportunities not available in regular high school settings. This program is designed around nine learning objectives that focus upon teamwork, communication, and placement of math and science concepts into the context of real-world problems. Typical course offerings are automation and robotics, electronic design with operational amplifiers, introduction to inventive problem solving, and introduction to Web authoring/programming. Select members of the College of Engineering faculty, assisted by a class mentor, provide instruction for these courses. Program assessment is based primarily on student evaluations. Currently, over 80% of the student participants report a high level of satisfaction with the program. When it began in summer 1997, the program involved four courses and about 70 students, it has now expanded to five courses and over 100 students, with a wait-list for participation.

关键词： Educational institutions Robotics and automation Adders Teamwork Context Design automation Operational amplifiers Problem-solving programming profession automatic programming

来源：评论

学校读者我要写书评

暂无评论

Multistage investments with recourse: A single-asset case with transaction costs

Multistage investments with recourse: A single-asset case wi...

引用

IEEE Conference on Decision and Control

作者： Ufuk Topcu Giuseppe Calafiore Laurent El Ghaoui Department of Mechanical Engineering University of California Berkeley CA USA Dipartimento di Automatica e Informatica Politecnico di Turino Italy Department of Electrical Engineering and Computer Science University of California Berkeley CA USA

ISBN: (纸本)9781424431236

We consider a financial decision problem involving dynamic investment decisions on a single risky instrument over multiple and discrete time periods. Investment returns are assumed stochastic and possibly dependent over time, and proportional transaction costs are considered in the model. In this setting, the investor¿s goal is to determine investment policies that maximize the net profit while maintaining the associated risk under control. We propose approximations of the ensuing stochastic multistage optimization problem that are based on affine recourse strategies and that lead to efficiently solvable second order cone or semidefinite programs.

关键词： Investments Stochastic processes Instruments Electronic mail Cost function Random variables Mechanical engineering automatic programming Functional programming Portfolios

来源：评论

学校读者我要写书评

暂无评论

Change detection for aggregate objects with aliasing

Change detection for aggregate objects with aliasing

引用

Australian Conference on Software Engineering

作者： J. Noble J. Potter MRI School of MPCE Macquarie University Sydney Australia

Object oriented systems often need to detect when objects have changed. Due to aggregation and aliasing, programmers must explicitly identify changes to objects in most object oriented systems. We describe a program monitoring technique which takes account of aggregation and aliasing, and which can be used to detect changes automatically. automatic change detection can simplify programming and design, so producing more reliable systems with less effort.

关键词： Object detection Aggregates User interfaces Object oriented programming Relational databases Visualization Magnetic resonance imaging Computerized monitoring automatic programming Displays

来源：评论

学校读者我要写书评

暂无评论

A Domain Specific Approach to Network Software Architecture: Assuring Conformance between Architecture and Code

A Domain Specific Approach to Network Software Architecture:...

引用

International Conference on Digital Telecommunications (ICDT)

作者： Yan Wang Verónica Gaspes CERES Halmstad University Halmstad Sweden

Network software is typically organized according to a layered architecture that is well understood. However, writing correct and efficient code that conforms with the architecture still remains a problem. To overcome this problem we propose to use a domain specific language based approach. The architectural constraints are captured in a domain specific notation that can be used as a source for automatic program generation. Conformance with the architecture is thus assured by construction. Knowledge from the domain allows us to generate efficient code. In addition, this approach enforces reuse of both code and designs, one of the major concerns in software architecture. In this paper, we illustrate our approach with PADDLE, a tool that generates packet processing code from packet descriptions. To describe packets we use a domain specific language of dependent types that includes packet overlays. From the description we generate C libraries for packet processing that are easy to integrate with other parts of the code. We include an evaluation of our tool.

关键词： Software architecture Computer architecture Domain specific languages Protocols Character generation Software libraries automatic programming Network synthesis Context Cryptography

来源：评论

学校读者我要写书评

暂无评论

Petri FYI-an intelligent user-extensible system specification tool

Petri FYI-an intelligent user-extensible system specificatio...

引用

International Phoenix Conference on Computers and Communications (IPCCC)

作者： P.C. Jorgensen J.W. Mills Computer Science Department Arizona State University Tempe AZ USA

A description is given of Petri FYI, a systems specification tool based on the Petri-net model of computation, and suitable for design of concurrent systems. It allows the user to specify, manipulate and reason about systems as would an expert developer, using episodic and program-slice models. Petri FYI was implemented using PROLOG, which allowed rapid prototyping with predicate calculus as an executable specification language. System specification tools based on a declarative language inherit the advantages of the declarative language: ease of adaptive maintenance, user extensibility, and automatic generation of solutions to new problems without explicit programming by the user.< >

关键词： Intelligent systems automatic programming Databases Power system modeling Milling machines Computer science Computational modeling Concurrent computing Prototypes Calculus

来源：评论

学校读者我要写书评

暂无评论

A precise multi-location riveting system using remote monitoring and control

A precise multi-location riveting system using remote monito...

引用

IEEE Conference on Robotics, Automation and Mechatronics

作者： H.C. Lin Department of Automation Engineering Chienkuo Technology University Changhua Taiwan

Today, programmable logic controllers (PLC) are widely used at the modern manufacturing automation. With an increasing demand for a natural, intuitive man-machine interaction in the automated industry, graphical programming with PLC is nowadays gaining much attention. In this paper, a PC-based virtual instrument (VI) that can carry out remote monitoring and control for a precise PLC based riveting system via the Internet is developed. The real-time implementation shows its good performance and presents the illustrative demonstration.

关键词： Remote monitoring Control systems Programmable control automatic control Manufacturing automation Man machine systems Electrical equipment industry Manufacturing industries automatic programming Instruments

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共152页 << < 90 91 92 93 94 95 96 97 98 99 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：