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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

987 篇 期刊文献
649 篇 会议
314 册 图书
38 篇 学位论文
5 件 标准
1 篇 科技报告
1 篇 资讯

馆藏范围

1,995 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

1,389 篇 工学
- 968 篇 计算机科学与技术...
- 592 篇 软件工程
- 399 篇 电气工程
- 124 篇 控制科学与工程
- 82 篇 机械工程
- 68 篇 信息与通信工程
- 45 篇 电子科学与技术（可...
- 35 篇 力学（可授工学、理...
- 33 篇 材料科学与工程（可...
- 32 篇 土木工程
- 21 篇 仪器科学与技术
- 14 篇 石油与天然气工程
- 14 篇 交通运输工程
- 12 篇 化学工程与技术
- 12 篇 环境科学与工程（可...
- 10 篇 动力工程及工程热...
- 10 篇 测绘科学与技术
- 10 篇 航空宇航科学与技...
228 篇 理学
- 104 篇 数学
- 63 篇 物理学
- 22 篇 生物学
- 19 篇 地球物理学
- 16 篇 化学
- 15 篇 系统科学
- 15 篇 统计学（可授理学、...
124 篇 管理学
- 108 篇 管理科学与工程(可...
- 15 篇 图书情报与档案管...
- 14 篇 工商管理
110 篇 教育学
- 105 篇 教育学
21 篇 农学
19 篇 医学
16 篇 经济学
- 15 篇 应用经济学
10 篇 文学
7 篇 法学
3 篇 哲学
3 篇 历史学
3 篇 艺术学
1 篇 军事学

主题

1,995 篇 object-oriented ...
252 篇 nasa technical r...
252 篇 (ntrs)
129 篇 software enginee...
124 篇 java
71 篇 object oriented ...
55 篇 computer program...
52 篇 simulation
49 篇 reports
48 篇 computer program...
47 篇 programming lang...
43 篇 design
41 篇 formal specifica...
40 篇 applications pro...
40 篇 architecture (co...
39 篇 design patterns
39 篇 software
38 篇 software reusabi...
38 篇 expert systems
38 篇 artificial intel...

机构

13 篇 naval postgradua...
9 篇 brno university ...
5 篇 univ macedonia d...
4 篇 iit dept comp sc...
4 篇 georgia inst tec...
4 篇 technion israel ...
4 篇 univ oslo dept i...
4 篇 univ calif berke...
4 篇 univ auckland de...
4 篇 newcastle univ d...
3 篇 natl res univ hi...
3 篇 international bu...
3 篇 univ oslo dept m...
3 篇 victoria univ we...
3 篇 oak ridge natl l...
3 篇 nanjing univ sta...
3 篇 univ lancaster d...
3 篇 nova sch sci & t...
3 篇 swiss fed inst t...
3 篇 carleton univ ot...

作者

6 篇 kindler eugene
6 篇 meyer bertrand
6 篇 abdalla hs
6 篇 ducasse s
6 篇 giacaman nasser
5 篇 sokas algirdas
5 篇 xinogalos stelio...
5 篇 yang jeong
5 篇 budiardja reuben...
5 篇 cardall christia...
5 篇 romanovsky a
5 篇 lee young
5 篇 chatzigeorgiou a...
4 篇 tan wee hoe
4 篇 kramer matthias
4 篇 brinda torsten
4 篇 sinnen oliver
4 篇 chang jm
4 篇 noble j
4 篇 fong anthony s.

语言

1,831 篇 英文
129 篇 其他
31 篇 中文
3 篇 德文
1 篇 法文

检索条件"主题词=Object-Oriented programming"

共 1995 条记录，以下是921-930 订阅

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

详细简洁

排序：

The Robotics API: An object-oriented Framework for Modeling Industrial Robotics Applications

The Robotics API: An Object-Oriented Framework for Modeling ...

引用

IEEE/RSJ International Conference on Intelligent Robots and Systems

作者： Angerer, Andreas Hoffmann, Alwin Schierl, Andreas Vistein, Michael Reif, Wolfgang Univ Augsburg Inst Software & Syst Engn D-86135 Augsburg Germany

ISBN: (纸本)9781424466757

During the last two decades, software development has evolved continuously into an engineering discipline with systematic use of methods and tools to model and implement software. For example, object-oriented analysis and design is structuring software models according to real-life objects of the problem domain and their relations. However, the industrial robotics domain is still dominated by old-style, imperative robot programming languages, making software development difficult and expensive. For this reason, we introduce the object-oriented Robotics Application programming Interface (Robotics API) for developing software for industrial robotic applications. The Robotics API offers an abstract, extensible domain model and provides common functionality, which can be easily used by application developers. The advantages of the Robotics API are illustrated with an application example.

关键词： application program interfaces application programming interface imperative robot programming languages industrial robotics industrial robots object-oriented analysis object-oriented design object-oriented framework object-oriented programming robot programming robotics API software development software engineering software models

来源：评论

学校读者我要写书评

暂无评论

BACK-CONTACT SOLAR CELLS IN THIN CRYSTALLINE SILICON

BACK-CONTACT SOLAR CELLS IN THIN CRYSTALLINE SILICON

引用

35th IEEE Photovoltaic Specialists Conference

作者： Fossum, J. G. Sarkar, D. Mathew, L. Ra, R. Jawarani, D. Law, M. E. Univ Florida Gainesville FL 32611 USA

ISBN: (纸本)9781424458912

A novel kerf-free process for achieving crystalline silicon with thickness congruent to 251 mu m on metal (SOM) is overviewed, and fabrication of back-contact (BC) solar cells in the thin silicon wafers is described. An object-oriented 2-D device simulator is set up for reliable physics-based numerical simulation of thin-Si solar cells, and is used to define optimal design of the thin BCSOM cell and to predict its ultimate performance. An efficiency approaching 20% is projected, and supporting preliminary experimental results are presented.

关键词： back-contact solar cells elemental semiconductors kerf-free process numerical analysis object-oriented 2-D device simulator object-oriented programming physics-based numerical simulation power engineering computing production engineering computing semiconductor device manufacture silicon wafers solar cells thin crystalline silicon

来源：评论

学校读者我要写书评

暂无评论

METAOSE: Meta-analysis for agent oriented software engineering

METAOSE: Meta-analysis for agent oriented software engineeri...

引用

7th IEEE Electronics, Robotics and Automotive Mechanics Conference (CERMA)

作者： Razo, Luis Ramos, Felix Occello, Michel Inst Politecn Nacl Ctr Invest & Estudios Avanzados Av Cient 1145Colonia Bajio Zapopan 45015 Jalisco Mexico Univ Grenoble Lab Concept & Integrat Syst 50 Rue Barthelemy Laffemas F-26902 Valence France

ISBN: (纸本)9780769542041

In view of the existing methodologies for agent-oriented software engineering (AOSE) the development of multi-agent systems (MAS) is still a difficult challenge. The learning curve for mastering MAS model properties and problem's domain characterization is steep. The software engineers hesitate to use MAS since choosing a MAS-based methodology leads to fix the type of models that will be involved without inter-methodologies reusability. We think these are some of the reasons restricting the dissemination of multi-agent methods. This paper presents a self-organized MAS-based intelligent process to assist the engineer. This process comprises three stages: problem features and domain characterization, MAS components matching and meta-analysis. It aims to reduce the difficulties of starting an MAS-based solution to disseminate the use of MAS. The process is presented as a guiding tool for the engineers, especially for those less experienced in MAS, creating a path in the preliminary stage of the MAS conception. This approach is situated just before choosing a MAS framework or methodology to deploy a solution. We show how it works and we present a study case to compare our preliminary results.

关键词： Artificial Intelligence METAOSE Meta-analysis Multi-agent systems Software Engineering agent oriented software engineering meta-analysis multi-agent systems multi-agent systems object-oriented programming software agents software engineering

来源：评论

学校读者我要写书评

暂无评论

Improving Evolutionary Testing by Means of Efficiency Enhancement Techniques

Improving Evolutionary Testing by Means of Efficiency Enhanc...

引用

2010 IEEE World Congress on Computational Intelligence

作者： Miraz, Matteo Lanzi, Pier Luca Baresi, Luciano Politecn Milan Dipartimento Elettron & Informaz I-20133 Milan Italy

ISBN: (纸本)9781424481262

TestFul is a novel evolutionary testing approach for object-oriented programs with complex internal states. In our preliminary experiments, it already outperformed some of the well-known search-based testing approaches. In this paper we show how TestFul can be further improved by leveraging three efficiency enhancement techniques: seeding, hybridization, and fitness inheritance. We considered four extensions of TestFul: three using each enhancement separately, and one using all of them at the same time. We used these new versions of TestFul to generate tests for six Java classes taken from the literature, public software libraries, and third party benchmarks. We compared the performance of the original TestFul against these new versions. Our results show that each enhancement technique results in a significant speed-up and, even more interesting, the highest improvement is achieved when all the enhancements are combined together.

关键词： Java Java TestFul efficiency enhancement technique evolutionary computation evolutionary testing fitness inheritance hybridization object-oriented program object-oriented programming program testing search-based testing seeding

来源：评论

学校读者我要写书评

暂无评论

USING DOMAIN SPECIFIC LANGUAGE FOR MODELING AND SIMULATION: SCALATION AS A CASE STUDY

USING DOMAIN SPECIFIC LANGUAGE FOR MODELING AND SIMULATION: ...

引用

2010 Winter Simulation Conference

作者： Miller, John A. Han, Jun Hybinette, Maria Univ Georgia Dept Comp Sci Athens GA 30602 USA

ISBN: (纸本)9781424498642

Progress in programming paradigms and languages has over time influenced the way that simulation programs are written. Modern object-oriented, functional programming languages are expressive enough to define embedded Domain Specific Languages (DSLs). The Scala programming language is used to implement ScalaTion that supports several popular simulation modeling paradigms. As a case study, ScalaTion is used to consider how language features of object-oriented, functional programming languages and Scala in particular can be used to write simulation programs that are clear, concise and intuitive to simulation modelers. The dichotomy between "model specification" and "simulation program" is also considered both historically and in light of the potential narrowing of the gap afforded by embedded DSLs.

关键词： DSL ScalaTion simulation domain specific language object-oriented programming programming languages programming languages programming paradigms scala programming language simulation program

来源：评论

学校读者我要写书评

暂无评论

Component Recycling for Agile Methods

Component Recycling for Agile Methods

引用

7th International Conference on the Quality of Information and Communications Technology (QUATIC)

作者： Kakarontzas, George Stamelos, Ioannis Aristotle Univ Thessaloniki Dept Informat Thessaloniki 54124 Greece TEI Larissa Dept Comp Sci & Telecom Larisa 41110 Greece

ISBN: (纸本)9780769542416

Given the increasing size and complexity of today's systems, reusability is an important quality aspect. In this work we consider development and reuse of reusable components in the context of agile methods. To distinguish the proposed approach from the more established systematic reuse approaches we call our proposal component recycling instead of component reuse. For the development of recyclable components we show how inherent characteristics of agile methods, particularly the provision of useful and complete partial components during the lifecycle, can be used constructively for the development of components. These components are placed in a component repository for later recycling. The requirements implemented at each iteration serve as the design rationale for the components and distinguish earlier components from their later versions providing tracing.

关键词： agile method component recycling object-oriented programming recycling software prototyping software quality software reusability system lifecycle system quality system reusability systematic reuse approach

来源：评论

学校读者我要写书评

暂无评论

Towards component orientation in embedded web service environments

Towards component orientation in embedded web service enviro...

引用

15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)

作者： Zeeb, Elmar Moritz, Guido Timmermann, Dirk Golatowski, Frank Univ Rostock Inst Appl Microelect & Comp Engn D-18057 Rostock Germany

ISBN: (纸本)9781424468508

Service-oriented architectures and systems designs are powerful concerning reusability of functional blocks and hiding implementation details from functional interfaces. But to compose a complete application, often central entities and engines are required for processing a specific sequence of service. In component-based designs the component itself is capable of describing both not only their offered services and interfaces but also dependencies on other services and interfaces to fulfill a complete task or application logic. This paper investigates on how to transfer and enhance exiting component-based approaches, already known from business applications, into the domain of embedded web services environments. Special focus is on the Devices Profile for Web Services (DPWS) technology which features service orientation also in device centric applications. This paper introduces a new approach to create applications, based on services provided by devices deployed with DPWS, in an abstract and dynamic way.

关键词： Web services component based approach devices profile for Web services technology embedded Web service environment embedded systems features service orientation object-oriented programming service oriented architecture service oriented system software architecture software reusability

来源：评论

学校读者我要写书评

暂无评论

MIREA: Component-based Middleware for Reconfigurable, Embedded Control Applications

MIREA: Component-based Middleware for Reconfigurable, Embedd...

引用

IEEE International Conference on Control Applications Part of 2010 IEEE Multi-Conference on Systems and Control

作者： Kwon, Jagun Hailes, Stephen UCL Dept Comp Sci London WC1E 6BT England

ISBN: (纸本)9781424453610

This paper presents the MIREA middleware and its support for reusable, reconfigurable and hierarchical design of complex control systems. We review the middleware's component model, key concepts and services, and its support for C++ plus its ability to integrate seamlessly with third-party libraries such as the National Institute of Standards and Technology (NIST)'s Real-Time Control Systems (RCS) library, which has been successfully used in many U.S government-driven intelligent control projects. We also present a case study based on control of our flock of autonomous UAV helicopters. This represents a challenging deployment scenario, but one for which the 4D/RCS architecture is designed and is well suited. Consequently, we discuss our approach to control using a fusion of RCS as a means of architecting a real time control system and MIREA as a means of realising that architecture. Our progress to date suggests that MIREA is indeed well suited as a middleware facilitating the construction of efficient, lightweight, and scalable real-time embedded control systems.

关键词： 4D/RCS architecture C++ MIREA middleware NIST National Institute of Standards and Technology RCS library U.S government-driven intelligent control projects autonomous UAV helicopters complex control systems component-based middleware control engineering computing helicopters hierarchical design intelligent control middleware object-oriented programming real-time control systems library real-time embedded control systems real-time systems reconfigurable control remotely operated vehicles reusable design third-party library

来源：评论

学校读者我要写书评

暂无评论

Generation of Schedulable Real-Time Component Implementations

Generation of Schedulable Real-Time Component Implementation...

引用

15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)

作者： Radermacher, Ansgar Mraidha, Chokri Tucci-Piergiovanni, Sara Gerard, Sebastien CEA LIST Lab Model Driven Engn Embedded Syst F-91191 Gif Sur Yvette France

ISBN: (纸本)9781424468508

In model based approaches for real-time systems (RTS) development, an iterative process that consists in the early stage verification of real-time constraints fulfillment according to a given design is usually performed in order to detect as early as possible unfeasible designs. Schedulability analysis allows this early verification of timing constraints according to so called Schedulability Analysis Model (SAM). This paper proposes a configurable framework for implementation synthesis of component oriented specification that is able to preserve the SAM timing properties that are validated at an early stage of the RTS design.

关键词： component oriented specification configurable framework constraint handling constraint verification formal verification implementation synthesis iterative methods iterative process model based approache model-based reasoning object-oriented programming real time system development real-time systems schedulability analysis model scheduling

来源：评论

学校读者我要写书评

暂无评论

Linking Different programming Paradigms - Thoughts about Instructional Design

Linking Different Programming Paradigms - Thoughts about Ins...

引用

15th Innovation and Technology in Computer Science Education Conference

作者： Ragonis, Noa Haberman, Bruria CS Track Beit Berl Coll Israel Sch Educ Beit Berl Israel

ISBN: (纸本)9781605588209

Educators recommend that students become acquainted with different programming paradigms in order to acquire alternative ways of computational thinking [3] and various approaches for problem solving [2]. Since students, learning different paradigms show both, positive and negative transfer effects, instructors should address it directly in the study track by relating to the characteristics of each paradigm, and specifically to the differences and similarities between them. In this poster, we investigate two programming paradigms- object-oriented programming and logic programming in the context of using inheritance for knowledge representation and problem solving.

关键词： programming paradigms problem solving object-oriented programming logic programming inheritance

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共200页 << < 89 90 91 92 93 94 95 96 97 98 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：