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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

6,250 篇 会议
1,395 篇 期刊文献
24 篇 学位论文
10 册 图书
6 篇 科技报告

馆藏范围

7,685 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

5,630 篇 工学
- 5,055 篇 计算机科学与技术...
- 4,683 篇 软件工程
- 504 篇 电气工程
- 334 篇 控制科学与工程
- 244 篇 信息与通信工程
- 115 篇 机械工程
- 92 篇 土木工程
- 87 篇 建筑学
- 86 篇 电子科学与技术（可...
- 48 篇 材料科学与工程（可...
- 47 篇 生物工程
- 43 篇 仪器科学与技术
- 42 篇 力学（可授工学、理...
- 37 篇 化学工程与技术
- 33 篇 生物医学工程（可授...
- 32 篇 环境科学与工程（可...
- 31 篇 光学工程
1,130 篇 理学
- 859 篇 数学
- 136 篇 物理学
- 96 篇 系统科学
- 81 篇 统计学（可授理学、...
- 62 篇 生物学
- 47 篇 化学
840 篇 管理学
- 496 篇 管理科学与工程(可...
- 399 篇 图书情报与档案管...
- 218 篇 工商管理
258 篇 教育学
- 242 篇 教育学
64 篇 法学
- 54 篇 社会学
50 篇 医学
- 38 篇 临床医学
40 篇 经济学
- 38 篇 应用经济学
14 篇 农学
13 篇 文学
10 篇 军事学
10 篇 艺术学

主题

7,685 篇 object oriented ...
908 篇 object oriented ...
430 篇 computer languag...
429 篇 programming prof...
425 篇 application soft...
388 篇 computer science
375 篇 java
284 篇 software enginee...
202 篇 software systems
148 篇 computer archite...
142 篇 concurrent compu...
132 篇 libraries
125 篇 encapsulation
121 篇 education
120 篇 software design
120 篇 distributed comp...
117 篇 data structures
116 篇 prototypes
115 篇 computational mo...
114 篇 object oriented ...

机构

16 篇 victoria univers...
15 篇 software composi...
15 篇 brno university ...
14 篇 department of co...
11 篇 dipartimento di ...
9 篇 univ of texas at...
8 篇 carnegie mellon ...
8 篇 eth
7 篇 cwi
7 篇 sun microsystems
7 篇 ibm
7 篇 eth zurich
7 篇 carnegie mellon ...
7 篇 department of ap...
7 篇 natl univ of sin...
7 篇 tsinghua univ
6 篇 univ of tokyo
6 篇 ohio state univ ...
6 篇 ieee
6 篇 promodel corpora...

作者

38 篇 noble james
19 篇 meyer bertrand
16 篇 nierstrasz oscar
15 篇 ducasse stéphane
15 篇 aldrich jonathan
14 篇 yonezawa akinori
14 篇 drossopoulou sop...
14 篇 de boer frank s.
13 篇 ancona davide
13 篇 mezini mira
12 篇 chen huo yan
11 篇 elrad tzilla
11 篇 black andrew p.
11 篇 xinogalos stelio...
11 篇 masuhara hidehik...
11 篇 vitek jan
10 篇 potanin alex
10 篇 de meuter wolfga...
10 篇 naumann david a.
9 篇 biddle robert

语言

7,460 篇 英文
151 篇 其他
31 篇 中文
14 篇 日文
8 篇 俄文
5 篇 西班牙文
5 篇 法文
4 篇 德文
3 篇 葡萄牙文
3 篇 土耳其文
1 篇 乌克兰文

检索条件"主题词=Object oriented programming"

共 7685 条记录，以下是461-470 订阅

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

详细简洁

排序：

object-oriented programming for graphical modeling on the example of logistics network design

Object-oriented programming for graphical modeling on the ex...

引用

Proceedings of the International Convention MIPRO

作者： Slavomir Vukmirović Dejan Kovač Ivana Mežnarić Economics Faculty University of Rijeka Croatia

In this paper, we discuss methods and concepts of object oriented programming (OOP) for graphical modeling. We illustrate through a set of examples how geometrical models are built, and visualized solutions to logistics network design problems are obtained. We develop a methodological framework for visual programming and linking of graphical models concepts, and introduce the basic concepts of graphical models: lines, arrows, nodes and coordinates. We use block diagrams and object-oriented programming to program and link the concepts of graphical models using Visual Basic for Excel.

关键词： Logistics object oriented modeling Graphical models Computational modeling object oriented programming Transportation

来源：评论

学校读者我要写书评

暂无评论

Restructuring extended Lexical elaborate Language 23

Restructuring extended Lexical elaborate Language

引用

23rd International Conference on System Theory, Control and Computing (ICSTCC)

作者： Andrianjaka, Rapatsalahy Miary Luc, Razafindramintsa Jean Mahatody, Thomas Ilie, Sorin Raft, Razafindrakoto Nicolas Univ Fianarantsoa Lab Math & Comp Appl Dev Syst Fianarantsoa Madagascar Univ Craiova Dept Comp & Informat Technol Craiova Romania Univ Antananarivo Lab Multidisciplinary Appl Res LRAM Antananarivo Madagascar

ISBN: (纸本)9781728106991

Requirements engineering is a process that explores the objectives of the actors and the activities to achieve their objectives, meeting requirements. The use of the natural language oriented requirement model as eLEL is interesting in order to specify the requirements and represent the conceptual level of a system. However, the typing of attributes and the representation of the method of a system that the eLEL model describes do not conform to the rule imposed by object-oriented programming to type an attribute and construct a method. But we thought that the information that constitutes them is already described in the universe of discourse (UofD). Our strategy is to extend eLEL in its conceptual representation and the new extended lexicon is called ReLEL. To achieve this, we have added new method concepts to the ReLEL metamodel and extended the attribute format to obey the rule imposed by object oriented programming (POO). Nevertheless, to validate the proposed approach, we evaluated the attribute and method performance of both eLEL and ReLEL requirements models. As a result, we have found that the ReLEL model has more attribute and method level elements than the eLEL model. Therefore, we have proposed an approach to derive a UML class diagram conceptual model from the ReLEL requirement model.

关键词： Requirements Engineering eLEL ReLEL object oriented programming Universe of discourse UML

来源：评论

学校读者我要写书评

暂无评论

Who is to Blame?-Runtime Verification of Distributed objects with Active Monitors 2

Who is to Blame?-Runtime Verification of Distributed Objects...

引用

2nd Workshop on Verification of objects at RunTime EXecution (VORTEX)

作者： Ahrendt, Wolfgang Henrio, Ludovic Oortwijn, Wytse Chalmers Univ Technol Gothenburg Sweden Univ Lyon EnsL UCBL CNRSInriaLIP Lyon France Univ Twente Enschede Netherlands

Since distributed software systems are ubiquitous, their correct functioning is crucially important. Static verification is possible in principle, but requires high expertise and effort which is not feasible in many eco-systems. Runtime verification can serve as a lean alternative, where monitoring mechanisms are automatically generated from property specifications, to check compliance at runtime. This paper contributes a practical solution for powerful and flexible runtime verification of distributed, object-oriented applications, via a combination of the runtime verification tool LARVA and the active object framework PROACTIVE. Even if LARVA supports in itself only the generation of local, sequential monitors, we empower LARVA for distributed monitoring by connecting monitors with active objects, turning them into active, communicating monitors. We discuss how this allows for a variety of monitoring architectures. Further, we show how property specifications, and thereby the generated monitors, provide a model that splits the blame between the local object and its environment. While LARVA itself focuses on monitoring of control-oriented properties, we use the LARVA front-end STARVOORS to also capture data-oriented (pre/post) properties in the distributed monitoring. We demonstrate this approach to distributed runtime verification with a case study, a distributed store.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

AC Micro-Grid Flexible Simulation Utility for SCADA System Development 21

AC Micro-Grid Flexible Simulation Utility for SCADA System D...

引用

21st International Middle East Power Systems Conference (MEPCON)

作者： Abdelhafez, Ahmed S. El-Nemr, Mohamed K. Azmy, Ahmed M. West Delta Elect Prod Damanhur Power Stn Damanhur Egypt Tanta Univ Elect Power & Machines Engn Tanta Egypt

ISBN: (纸本)9781728152899

Nowadays, it is a common practice to utilize supervisory control and data acquisition (SCADA) based system for centralized power flow management and control of all scales of power systems. That ranges from national wide common utility to small isolated micro-grid. However, the software development cycle including design, deployment, debugging and test is rather complicated due to the numerous situations that might occur as well as the large number of input/output involved. This paper presents a flexible software utility that can be reconfigured to simulate wide range of AC micro-grid configurations and operation scenarios. The utility is designed using object oriented programming paradigm, and implemented using C++ programming language. The design allows for providing simulation results for SCADA platform in real-time. It allows multi-level of modeling and numerical solution. In this paper, the RungeKutta and Newton-Raphson methods are combined to simulate different scenarios of AC micro-grid operation. The consistency of results and efficiency of dynamic simulation indicates the effectiveness of proposed utility.

关键词： AC micro-grid object oriented programming photovoltaic diesel

来源：评论

学校读者我要写书评

暂无评论

Component-based Integration of Interconnected Vehicle Architectures 30

Component-based Integration of Interconnected Vehicle Archit...

引用

30th IEEE Intelligent Vehicles Symposium (IV)

作者： Hellwig, Alexander David Kriebel, Stefan Kusmenko, Evgeny Rumpe, Bernhard Rhein Westfal TH Aachen Fac Comp Sci Dept Software Engn Ahornstr 55 D-52074 Aachen Germany BMW Grp Munich Germany

ISBN: (纸本)9781728105604

Mapping the logical software architecture of a vehicle to a technical solution is not a straightforward task. A particular challenge is communication: software components developed by different teams and deployed across the E/E architecture need to be able to exchange data. Middleware solutions have been developed to enable low coupling of distributed logical software components. Building a distributed architecture on a middleware solution is mostly accomplished by encapsulating logical components into middleware wrappers. This is not only time-consuming, but also requires platform specific understanding, and results in a multitude of architectural variants tailored for particular set-ups. For instance, lengthy validation processes ensuring functional correctness and safety require simulations of intelligent vehicle systems in different simulators, environments, and on different abstraction levels. This leads to the necessity of individual integration schemes for both simulation and deployment. We propose a component-based modeling approach separating platform agnostic logical models from middleware aspects. Therefore, the model compiler is instrumented with middleware tags related to the elements of the logical model. Generating the required middleware code automatically, we aim at better component re-usability minimizing the need for hand-crafted glue-code for interprocess and simulator integration.

关键词： control engineering computing embedded systems formal specification middleware object-oriented programming software architecture traffic engineering computing Middleware control engineering computing Software architecture object oriented programming Embedded systems engineering computing logical Formal specifications ARCHITECTURE vehicle

来源：评论

学校读者我要写书评

暂无评论

A Case Study of an Integrated programming Course Based on PBL 49

A Case Study of an Integrated Programming Course Based on PB...

引用

49th IEEE Frontiers in Education Conference (FIE)

作者： Ribeiro, Ayala L. Bittencourt, Roberto A. UETS State Univ Feira de Santana BR-44036900 Feira De Santana Bahia Brazil

ISBN: (纸本)9781728117461

This Research to Practice Full Paper describes a case study of a course that uses problem-based learning (PBL) to integrate the subjects of object-oriented programming, Data Structures and Software Design. We aimed to explore student learning when this teaching-learning approach was applied in the second term of a Computer Engineering undergraduate program. Data collection and analysis was qualitative, using semi-structured interviews and both open and axial coding. Results were organized in terms of qualitative themes describing course organization, problem conception, learned concepts and skills. This thorough exploration of such issues allows course developers to reflect on the impact of PBL and curriculum integration in student learning.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Existential Types for Relaxed Noninterference 17th

Existential Types for Relaxed Noninterference

引用

17th Asian Symposium on programming Languages and Systems (APLAS)

作者： Cruz, Raimil Tanter, Eric Univ Chile Comp Sci Dept DCC PLEIAD Lab Santiago Chile

ISBN: (纸本)9783030341756;9783030341749

Information-flow security type systems ensure confidentiality by enforcing noninterference: a program cannot leak private data to public channels. However, in practice, programs need to selectively declassify information about private data. Several approaches have provided a notion of relaxed noninterference supporting selective and expressive declassification while retaining a formal security property. The labels-as-functions approach provides relaxed noninterference by means of declassification policies expressed as functions. The labels-as-types approach expresses declassification policies using type abstraction and faceted types, a pair of types representing the secret and public facets of values. The original proposal of labels-as-types is formulated in an object-oriented setting where type abstraction is realized by subtyping. The object-oriented approach however suffers from limitations due to its receiver-centric paradigm. In this work, we consider an alternative approach to labels-as-types, applicable in non-object-oriented languages, which allows us to express advanced declassification policies, such as extrinsic policies, based on a different form of type abstraction: existential types. An existential type exposes abstract types and operations on these;we leverage this abstraction mechanism to express secrets that can be declassified using the provided operations. We formalize the approach in a core functional calculus with existential types, define existential relaxed noninterference, and prove that well-typed programs satisfy this form of type-based relaxed noninterference.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

OO-VR: NUMA Friendly object-oriented VR Rendering Framework For Future NUMA-Based Multi-GPU Systems 19

OO-VR: NUMA Friendly Object-Oriented VR Rendering Framework ...

引用

46th International Symposium on Computer Architecture (ISCA)

作者： Xie, Chenhao Xin, Fu Chen, Mingsong Song, Shuaiwen Leon Pacific Northwest Natl Lab Richland WA 99352 USA Univ Houston Houston TX 77004 USA Univ Houston ECE Dept ECMOS Lab Houston TX 77004 USA East China Normal Univ Sch Comp Sci & Software Engn Shanghai Peoples R China Univ Sydney Sydney NSW Australia

ISBN: (纸本)9781450366694

With the strong computation capability, NUMA-based multi-GPU system is a promising candidate to provide sustainable and scalable performance for Virtual Reality (VR) applications and deliver the excellent user experience. However, the entire multi-GPU system is viewed as a single GPU under the single programming model which greatly ignores the data locality among VR rendering tasks during the workload distribution, leading to tremendous remote memory accesses among GPU models (GPMs). The limited inter- GPM link bandwidth (e.g., 64GB/s for NVlink) becomes the major obstacle when executing VR applications in the multi-GPU system. By conducting comprehensive characterizations on different kinds of parallel rendering frameworks, we observe that distributing the rendering object along with its required data per GPM can reduce the inter-GPM memory accesses. However, this object-level rendering still faces two major challenges in NUMA-based multi- GPU system: (1) the large data locality between the left and right views of the same object and the data sharing among different objects and (2) the unbalanced workloads induced by the software- level distribution and composition mechanisms. To tackle these challenges, we propose object-oriented VR rendering framework (OO-VR) that conducts the software and hardware co-optimization to provide a NUMA friendly solution for VR multi-view rendering in NUMA-based multi-GPU systems. We first propose an object-oriented VR programming model to exploit the data sharing between two views of the same object and group objects into batches based on their texture sharing levels. Then, we design an object aware runtime batch distribution engine and distributed hardware composition unit to achieve the balanced workloads among GPMs and further improve the performance of VR rendering. Finally, evaluations on our VR featured simulator show that OO-VR provides 1.58x overall performance improvement and 76% inter-GPM memory traffic reduction over the s

关键词： graphics processing units multiprocessing systems object-oriented programming parallel processing rendering (computer graphics) virtual reality Variable reluctance Multiprocessing systems object oriented programming Rendering Graphics Processing Unit locality data virtual reality PARALLEL PROCESSING (COMPUTERS) Rendering (computer graphics) Nonunified memory architecture Remote Memory object orientation

来源：评论

学校读者我要写书评

暂无评论

On the Nature of Symbolic Execution 23rd

On the Nature of Symbolic Execution

引用

23rd Symposium on Formal Methods (FM)

作者： de Boer, Frank S. Bonsangue, Marcello Ctr Wiskunde & Informat Amsterdam Netherlands Leiden Inst Adv Comp Sci Leiden Netherlands

ISBN: (纸本)9783030309411;9783030309428

In this paper, we provide a formal definition of symbolic execution in terms of a symbolic transition system and prove its correctness with respect to an operational semantics which models the execution on concrete values. We first introduce such a formal model for a basic programming language with a statically fixed number of programming variables. This model is extended to a programming language with recursive procedures which are called by a call-by-value parameter mechanism. Finally, we show how to extend this latter model of symbolic execution to arrays and object-oriented languages which feature dynamically allocated variables.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Investigating Learners’ Behaviours When Interacting with a programming Microworld: An Empirical Study Based on Playing Analytics

Investigating Learners’ Behaviours When Interacting with a ...

引用

IFIP TC3 Open Conference on Computers in Education, OCCE 2018

作者： Djelil, Fahima Muller, Pierre-Alain Sanchez, Eric University of Haute-Alsace IRIMAS Laboratory Mulhouse France CERF University of Fribourg Fribourg Switzerland

ISBN: (纸本)9783030235123

In our attempt to support object-oriented programming (OOP) learning for beginners, we designed a novel microworld called PrOgO. It is based on a three-dimensional (3D) constructive game metaphor for describing OOP basic concepts and their implementation. In this paper, we describe a study about the use of PrOgO by beginners to investigate their behaviours when interacting with the programming microworld. The study is based on the collection, analysis and reporting of data about players (playing analytics). The data analysis allows the identification and the characterisation of different behaviours. From an educational perspective, the expected behaviour has been confirmed for a limited number of students. This enabled us to conclude that the design of the game needs to be improved. In addition, behaviours triggered by most students might have other educational values, which could be confirmed by other similar studies. © IFIP International Federation for Information Processing 2019.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 43 44 45 46 47 48 49 50 51 52 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：