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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

1,991 篇 object-oriented ...
252 篇 nasa technical r...
252 篇 (ntrs)
128 篇 software enginee...
124 篇 java
67 篇 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...
40 篇 software
39 篇 design patterns
38 篇 expert systems
38 篇 artificial intel...
37 篇 software reusabi...

机构

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,826 篇 英文
129 篇 其他
32 篇 中文
3 篇 德文
1 篇 法文

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

共 1991 条记录，以下是621-630 订阅

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

详细简洁

排序：

GRENAD, a Modular and Generic Smart-Grid Framework

GRENAD, a Modular and Generic Smart-Grid Framework

引用

3rd International Conference on Innovative Network Systems and Applications (iNetSApp) held in conjunction with Federated Conference on Computer Science and Information Systems (FedCSIS)

作者： Ductor, Sylvain Gil-Quijano, Jesus-Javier Stefanovitch, Nicolas Mele, Pierrick Roger CEA LIST DM2I LADIS Digiteo Lab Bat 565Point Courrier 192Bat 425 F-91191 Gif Sur Yvette France

ISBN: (纸本)9788360810668

We present in this paper GRENAD, a Multi-Agent System based framework for the simulation and piloting of power-grids and particularly smart grids. Exploiting a component-based approach, it allows a flexible design of complex smart grid applications by providing a generic canvas where extensible, modular and reusable components, defined on the basis of their functionalities, can be easily combined and connected. Thanks to Multi-Agent approach, a set of such components can naturally be integrated into a coherent economical agent. GRENAD makes no assumption on the energy definition and eases the development of MAS control algorithms for smart grids. The level of details of the energy-related information is controllable. This information is computed either through internal physical models or by interfacing with external simulators. We present here our model, illustrate its features with a rich example which exhibits its genericity, and demonstrate how a coordination protocol can easily be integrated to it.

关键词： multi-agent systems object-oriented programming power system simulation smart power grids GRENAD MAS control algorithms complex smart grid flexible design component-based approach coordination protocol energy-related information external simulators generic smart-grid framework internal physical models multiagent system based framework power-grids Biological system modeling Buildings Cogeneration Generators Production Smart grids Software

来源：评论

学校读者我要写书评

暂无评论

A Procedural Generation Framework for a Robot Construction Game 7

A Procedural Generation Framework for a Robot Construction G...

引用

7th Computer Science and Electronic Engineering Conference (CEEC)

作者： Vinciguerra, Michele Thompson, Tommy Univ Derby Dept Comp & Math Derby DE22 1GB England

ISBN: (纸本)9781467394819

This paper explores a framework to permit the creation of modules as part of a robot creation and combat game. We explore preliminary work that offers a design solution to generate and test robots comprised of modular components. This current implementation, which is reliant on a constraint-driven process is then assessed to indicate the expressive range of content it can create and the total number of unique combinations it can establish.

关键词： computer games object-oriented programming robots combat game modular components procedural generation framework robot construction game robot creation Games Generators Mobile robots Sockets Weapons Wheels

来源：评论

学校读者我要写书评

暂无评论

Model-Driven Self-Adaptation of Robotics Software using Probabilistic Approach

Model-Driven Self-Adaptation of Robotics Software using Prob...

引用

European Conference on Mobile Robots

作者： Ramaswamy, Arunkumar Monsuez, Bruno Tapus, Adriana ENSTA ParisTech Dept Comp Sci & Syst Engn 828 Blvd Marechaux Palaiseau France VeDeCom Inst 77 Rue Chantiers F-78000 Versailles France

ISBN: (纸本)9781467391634

A typical feature of robotic architectures are its reactivity and self-adaptivity. In practice, this is achieved by context-dependent dynamic invocation of software components in robotic architectures. In this paper, we specifically address how this self-adaptation capability can be formally defined and modeled in an architecture-independent way. We propose a probabilistic approach that facilitates system design and dynamic runtime adaptation satisfying the quality requirements. We also show how such techniques are incorporated in our model-driven framework: Self Adaptive Framework for Robotic Systems.

关键词： object-oriented programming probability robot programming context-dependent dynamic invocation dynamic runtime adaptation model-driven framework model-driven robotics software self-adaptation probabilistic approach quality requirements robotic architectures self adaptive framework software components Adaptation models Analytical models Computational modeling Logic gates Robots Runtime Vehicles quality requirements Robot programming Runtime object oriented programming Logic gates Computational modeling ANALYSIS MODELS Robot vehicle self-adaptive Adaptation models Probability

来源：评论

学校读者我要写书评

暂无评论

Component Based Data and Image Processing Systems - A Conceptual and Practical Approach 6

Component Based Data and Image Processing Systems - A Concep...

引用

6th IEEE International Conference on Software Engineering and Service Science (ICSESS)

作者： Hoegg, Thomas Koehler, Christian Kolb, Andreas Univ Siegen Comp Graph & Multimedia Syst D-57068 Siegen Germany

ISBN: (纸本)9781479983537

Setting up new data and image processing systems is an always recurring task. Since reusing algorithms and other functionality leads to higher program quality and mostly shorter development time, this approach introduces a novel Component-Based Software Engineering System (CBSE). It supports special types such as diagrams and structures, components and component-instance-diagrams known from UML. The system allows an abstract and object-oriented description of data and image processing tasks. The CBSE system is integrated into a rich client platform (RCP), supporting dynamic, plugin-based GUI-extensions, 2D/3D rendering using OpenGL and also fast data processing using OpenCL.

关键词： Unified Modeling Language application program interfaces data analysis graphical user interfaces image processing object-oriented programming 2D rendering 3D rendering CBSE system OpenGL RCP UML abstract analysis component-based data processing system component-based image processing component-based software engineering system component-instance-diagrams data processing dynamic-plugin-based GUI-extensions object-oriented analysis program development time program quality rich-client platform Computer architecture Data processing Graphical user interfaces Image processing Ports (Computers) Software engineering Unified modeling language

来源：评论

学校读者我要写书评

暂无评论

Component-based Visual Evolutionary Computation 10

Component-based Visual Evolutionary Computation

引用

10th Computing Colombian Conference (10CCC)

作者： Garzon, Leidy Rodriguez, Nestor Orjuela, Henry Rojas-Galeano, Sergio DreamGis SAS Bogota Colombia CHECK24 Vergleichsportal GmbH Munich Area Germany Univ Distrital Sch Engn Bogota Colombia

ISBN: (纸本)9781467394642

Component-based computation advocates for building systems by assembling prefabricated self-contained software modules within a formally specified composition model. Furthermore, visual components allow users to perform such assemblage in a friendly graphical board were components are connected visually with virtually no coding needed. Recently, an Evolutionary Computation (EC) suite of components called Goldenberry complying with such premises has been released. In this paper we demonstrate its feasibility in several EC tasks: optimisation of continuous-valued and discrete-valued costs functions using Genetic Algorithms and Estimation of Distribution Algorithms as well as feature selection algorithms and relevance estimation in data mining tasks. We discuss the advantages and weaknesses of the approach and the toolbox, its differences with other existing software tools and proposing avenues of future development. Goldenberry is open-source under the New BSD License and it is available at: http://***

关键词： data mining distributed algorithms feature selection formal specification genetic algorithms object-oriented programming public domain software BSD license EC suite Goldenberry component-based visual evolutionary computation continuous-valued cost function optimisation data mining tasks discrete-valued cost function optimisation distribution algorithm estimation feature selection algorithms formally specified composition model friendly-graphical board open-source software prefabricated self-contained software module assembling relevance estimation software tools visual components Benchmark testing Cost function Genetic algorithms Sociology Software Visualization

来源：评论

学校读者我要写书评

暂无评论

PARTITIONING: HOW FAR DO YOU NEED TO GO? 34

PARTITIONING: HOW FAR DO YOU NEED TO GO?

引用

IEEE/AIAA 34th Digital Avionics Systems Conference (DASC)

作者： Charrier, Olivier Wind River Les Ulis France

ISBN: (纸本)9781479989409

Software Partitioning is now commonly used in safety systems to either allow the integration of software components developed at different Software Design Assurance Level (DAL - Design Assurance Level as per DO-178C /ED-12C [1]) or to gain more flexibility to perform system updates by limiting its impact. In all cases the expected benefit is a reduction of the overall system cost including the hardware, the initial certification, the system maintenance, the recertification in case of change, etc. Different approaches are possible to implement and demonstrate software partitioning, each having pros and cons. The objective of this paper is to present the partitioning constraints, with respect to avionics safety certification and how the different implementations affect the system level design, along with project budgets. The paper looks at different grades of partitioning, with use cases as examples, detailing them to compare and contrast the different options.

关键词： object-oriented programming software engineering DAL software components software design assurance level software partitioning Certification File systems Hardware IP networks Safety Standards

来源：评论

学校读者我要写书评

暂无评论

Challenges of Requirements Engineering in AUTOSAR Ecosystems 23

Challenges of Requirements Engineering in AUTOSAR Ecosystems

引用

IEEE 23rd International Requirements Engineering Conference (RE)

作者： Soltani, Mozhan Knauss, Eric Gothenburg Univ Software Engn Gothenburg Sweden Chalmers Univ Gothenburg Comp Sci & Engn Gothenburg Sweden

ISBN: (纸本)9781467369053

AUTOSAR has changed significantly how software is developed in the automotive sector. As a central standard, AUTOSAR enables reuse of software components as well as their interoperability. For AUTOSAR compliant ECU development, car manufacturers source Electronic Control Units (ECUs) from Tier-1 suppliers, but ask those Tier-1 suppliers to install AUTOSAR compliant basic software from a certified AUTOSAR-Tier-2 supplier. In this setup (to which we refer as the AUTOSAR ecosystem), the OEM has a direct business relationship with the Tier-1, but only an indirect relationship to the AUTOSAR-Tier-2 supplier, which leads to complex flows of requirements and related information between the organizations involved. In this extended abstract, we summarize preliminary results of a qualitative investigation of Requirements Engineering challenges in the AUTOSAR ecosystem. In particular, we interviewed 7 project managers from an AUTOSAR-Tier-2 supplier, and triangulated our results with 6 additional interviews with subjects from two Tier-1 suppliers and one OEM. We found that most of the requirements towards the AUTOSAR-Tier-2 supplier can be directly mapped to standard AUTOSAR components. However, a significant amount of requirements were new requirements and specific to the OEM or even a project. The well-known requirements engineering challenges we found to surface in the AUTOSAR ecosystem were mainly connected to these nonstandard requirements. Standard and non-standard requirements are usually mixed, which makes it hard to fully leverage the potential benefits of reuse within the AUTOSAR standard. We argue that the holistic ecosystem perspective allows exploration of new strategies for mitigating this challenge.

关键词： automotive engineering formal specification object-oriented programming AUTOSAR compliant ECU development AUTOSAR ecosystems automotive sector car manufacturers central standard certified AUTOSAR-Tier-2 supplier direct business relationship electronic control units holistic ecosystem perspective interoperability nonstandard requirements requirements engineering software components tier-1 suppliers Automotive engineering Business Ecosystems Requirements engineering Software Software engineering Standards Requirements engineering automotive engineering electronic control unit Ecosystem Interoperability object oriented programming Software engineering computer software Business optoelectronic module automaker Formal specifications

来源：评论

学校读者我要写书评

暂无评论

object oriented Internet

Object Oriented Internet

引用

Federated Conference on Computer Science and Information Systems (FedCSIS)

作者： Postol, Mariusz Tech Univ Lodz Inst Comp Sci Ul Stefanowskiego 18-22Budynek A14 PL-90924 Lodz Poland

ISBN: (纸本)9788360810668

The widespread use of the HTTP and hypertext makes it possible to freely publish new information and expose it in the context of its description. Unfortunately, this is a human-centric environment that cannot easily be adapted to an application-centric approach, which is required to provide distributed enterprise management and real-time process control. In this article new architecture is presented that can provide a generic solution for publishing and updating information in the context that can be used to describe and discover it. It is proposed to distribute the publisher (server) tasks to three classes: (a) information context management using the object oriented programming paradigm, (b) a predefined fixed set of services to access data and meta-data, and (c) a pluggable custom process data binding mechanism. It is also proposed to implement this architecture using the OPC Unified Architecture - a new emerging industrial integration standard.

关键词： Internet hypermedia information management object-oriented methods object-oriented programming real-time systems transport protocols HTTP OPC unified architecture application-centric approach distributed enterprise management human-centric environment hypertext information context management information publishing information updating object oriented Internet object oriented programming paradigm pluggable custom process data binding mechanism real-time process control Context object oriented modeling Protocols Security Servers Standards

来源：评论

学校读者我要写书评

暂无评论

Verified Traffic Networks: Component-based Verification of Cyber-Physical Flow Systems 18

Verified Traffic Networks: Component-based Verification of C...

引用

18th IEEE International Conference on Intelligent Transportation Systems

作者： Mueller, Andreas Mitsch, Stefan Platzer, Andre Johannes Kepler Univ Linz Dept Cooperat Informat Syst A-4040 Linz Austria Carnegie Mellon Univ Dept Comp Sci Pittsburgh PA 15213 USA

ISBN: (纸本)9781467365963

We address the problem how high-fidelity verification results about the hybrid systems dynamics of cyber-physical flow systems can be provided at the scale of large (traffic) networks without prohibitive analytic cost. We propose the use of contracts for traffic flow components concisely capturing the conditions for a safe operation in the context of a traffic network. This reduces the analysis of flows in the full traffic network to simple arithmetic checks of the local compatibility of the traffic component contracts, while retaining higher-fidelity correctness guarantees of the global hybrid systems models that inherits from correct contracts of the hybrid system components. We evaluate our approach in a case study of a modular traffic network and a prototypical implementation in a model-based analysis and design tool for traffic flow networks.

关键词： formal verification object-oriented programming traffic engineering computing component-based verification cyber-physical flow system design tool global hybrid systems model high-fidelity verification higher-fidelity correctness guarantee hybrid system component hybrid systems dynamics model-based analysis modular traffic network prohibitive analytic cost prototypical implementation safe operation traffic component contract traffic flow component traffic flow network verified traffic network Automobiles Contracts Load modeling Mathematical model Roads Safety

来源：评论

学校读者我要写书评

暂无评论

Polymorphism in the Spotlight: Studying Its Prevalence in Java and Smalltalk 23

Polymorphism in the Spotlight: Studying Its Prevalence in Ja...

引用

IEEE 23rd International Conference on Program Comprehension ICPC

作者： Milojkovic, Nevena Caracciolo, Andrea Lungu, Mircea Filip Nierstrasz, Oscar Rothlisberger, David Robbes, Romain Univ Bern Software Composit Grp CH-3012 Bern Switzerland Univ Diego Portales Sch Informat & Telecommun Santiago Chile Univ Chile DCC PLEIAD Lab Santiago Chile

ISBN: (纸本)9781467381598

Subtype polymorphism is a cornerstone of object-oriented programming. By hiding variability in behavior behind a uniform interface, polymorphism decouples clients from providers and thus enables genericity, modularity and extensibility. At the same time, however, it scatters the implementation of the behavior over multiple classes thus potentially hampering program comprehension. The extent to which polymorphism is used in real programs and the impact of polymorphism on program comprehension are not very well understood. We report on a preliminary study of the prevalence of polymorphism in several hundred open source software systems written in Smalltalk, one of the oldest object-oriented programming languages, and in Java, one of the most widespread ones. Although a large portion of the call sites in these systems are polymorphic, a majority have a small number of potential candidates. Smalltalk uses polymorphism to a much greater extent than Java. We discuss how these findings can be used as input for more detailed studies in program comprehension and for better developer support in the IDE.

关键词： object-oriented programming polymorphism programming languages programming environments

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共200页 << < 59 60 61 62 63 64 65 66 67 68 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：