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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 篇 会议
314 册 图书
38 篇 学位论文
5 件 标准
1 篇 科技报告
1 篇 资讯

馆藏范围

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

日期分布

学科分类号

1,384 篇 工学
- 966 篇 计算机科学与技术...
- 588 篇 软件工程
- 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,990 篇 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 篇 其他
31 篇 中文
3 篇 德文
1 篇 法文

检索条件"主题词=OBJECT-oriented programming"

共 1990 条记录，以下是201-210 订阅

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

详细简洁

排序：

Identifying Predictors for Code Highlighting Skills A Regressional Analysis of Knowledge, Syntax Abilities and Highlighting Skills 19

Identifying Predictors for Code Highlighting Skills A Regres...

引用

24th ACM Working Group Reports Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE-WGR)

作者： Kramer, Matthias Barkmin, Mike Brinda, Torsten Univ Duisburg Essen Essen Germany

ISBN: (纸本)9781450363013

programming comprises a multitude of involved skills and abilities. To assess these, an even larger multitude of tasks exists, ranging from very complex to basal levels. Recent demands call for the assessment of basal skills, with the aim to figure out possible problems of learners more precisely. In order to read and interpret source code sufficiently, students must be able to recognize given concepts in a source code, e.g. to identify the objects and methods in an object-oriented program. Whether this skill relies solely on conceptual knowledge and the abilities in handling syntax is still unclear. This study gives evidence that isolated skills in these areas are outperformed by the interaction of both areas. We developed a test consisting of conceptual questions, fill-in-the-Java-keyword items and highlighting items. We investigated whether the knowledge about object orientation and the skills in handling Java syntax sufficiently predict the ability to recognize concepts in Java source code via a multiple linear regression. We found that the model with interaction term explains the data better compared to the null model, the isolated predictors or combined predictors without interaction term. This leads to the conclusion that even though programming consists of skills in certainly different areas, it is more important to interconnect these areas with each other than to teach them in an isolated manner.

关键词： object-oriented programming Conceptual knowledge Syntactic knowledge Assessment Multiple linear regression

来源：评论

学校读者我要写书评

暂无评论

Codata in Action 28th

Codata in Action

引用

28th European Symposium on programming (ESOP) Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS)

作者： Downen, Paul Sullivan, Zachary Ariola, Zena M. Jones, Simon Peyton Univ Oregon Eugene OR 97403 USA Microsoft Res Cambridge England

ISBN: (纸本)9783030171841;9783030171834

Computer scientists are well-versed in dealing with data structures. The same cannot be said about their dual: codata. Even though codata is pervasive in category theory, universal algebra, and logic, the use of codata for programming has been mainly relegated to representing infinite objects and processes. Our goal is to demonstrate the benefits of codata as a general-purpose programming abstraction independent of any specific language: eager or lazy, statically or dynamically typed, and functional or object-oriented. While codata is not featured in many programming languages today, we show how codata can be easily adopted and implemented by offering simple inter-compilation techniques between data and codata. We believe codata is a common ground between the functional and object-oriented paradigms;ultimately, we hope to utilize the Curry-Howard isomorphism to further bridge the gap.

关键词： Codata Lambda-calculi Encodings Curry-Howard Function programming object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Visually Introducing Freshmen to Low-Level Java Abstractions for Creating, Synchronizing and Coordinating Threads 26

Visually Introducing Freshmen to Low-Level Java Abstractions...

引用

26th International Conference on High Performance Computing, Data and Analytics (HiPCW)

作者： Dewan, Prasun Univ N Carolina Dept Comp Sci Chapel Hill NC 27515 USA

ISBN: (纸本)9781728148946

We have developed and experimented with an approach to teach low-level Java concurrency abstractions in our first required course for CS majors, which assumes knowledge of procedural programming. The driving problems are visualized simulations of multiple physical objects in motion that may (a) be confined to a shared space and (b) coordinate with each other. Such simulations do not require any domain-specific knowledge such as sorting and image processing for driving problems and exercises, and their implementation demonstrates the benefits of object-based programming. They allow focus on both the performance and programmability benefits of concurrency, provide analogies for an abstraction-independent explanation of concurrency concepts, and can be used to incrementally motivate all low-level concurrency abstractions and visualize the effect of using and not using these abstractions. Layered simulation-based worked examples illustrating the abstractions were presented and easily understood in multiple offerings of a course that implemented this approach. Students implemented non-trivial assignments based on these abstractions, even when they were optional, did not face major obstacles because of visual error feedback, and were excited by concurrency as they felt it empowered them to implement arbitrary applications early.

关键词： education simulations animations object-oriented programming thread creation synchronized methods wait notify autonomous threads Java interleaving concurrency

来源：评论

学校读者我要写书评

暂无评论

UFJF-MLTK: a framework for machine learning algorithms 19

UFJF-MLTK: a framework for machine learning algorithms

引用

15th Brazilian Symposium on Information Systems (SBSI) - The Complexity of Modern Information Systems

作者： Marim, Mateus Coutinho de Oliveira, Alessandreia Marta Villela, Saulo Moraes Univ Fed Juiz de Fora Dept Ciencia Comp Juiz De Fora MG Brazil

ISBN: (纸本)9781450372374

Machine learning techniques have become increasingly common due to the extension of their application domains and because they can improve their performance when exposed to new data. Several methods have been proposed to address problems of the area, bringing the challenge of comparing different methods to find the one that best solves a problem. Frameworks and libraries focused on learning algorithms can reduce this effort. This paper describes the UFJF-MLTK, an object-oriented framework that helps to choose between different methods, in the development of new algorithms through the instantiation of a C++ class architecture that covers various types of learning algorithms and also helps in teaching the subject. We discuss the problems faced in the project architecture, the components of the framework, the algorithms that currently compose it, how it was documented and examples of its instantiation.

关键词： Framework object-oriented programming machine learning

来源：评论

学校读者我要写书评

暂无评论

POSTER: Quantifying the Direct Overhead of Virtual Function Calls on Massively Parallel Architectures 28

POSTER: Quantifying the Direct Overhead of Virtual Function ...

引用

28th International Conference on Parallel Architectures and Compilation Techniques (PACT)

作者： Zhang, Mengchi Green, Roland N. Rogers, Timothy G. Purdue Univ Dept Elect & Comp Engn W Lafayette IN 47907 USA

ISBN: (纸本)9781728136134

Programmable accelerators aim to provide the flexibility of traditional CPUs, with greatly improved performance and energy-efficiency. Arguably, the greatest impediment to the widespread adoption of programmable accelerators, like GPUs, is the software engineering overhead involved in getting the code to execute correctly. To help combat this issue, GPGPU computing has matured from its origins as a collection of graphics API hacks to include advanced programming features, including object-oriented programming. This level of support, in combination with a shared virtual memory space between the CPU and GPU, make it possible for rich object-oriented frameworks to execute on GPUs with little porting effort. However, executing this type of flexible code on a massively parallel accelerator introduces overhead that has not been well studied. In this poster, we analyze the direct overhead of virtual function calls on contemporary GPUs. Using the latest GPU architectures and compilers, this poster performs the analysis of how virtual function calls are implemented on GPUs. We quantify the direct overhead incurred from contemporary implementations and show that the massively multithreaded nature of GPUs creates deficiencies and opportunities not found in CPU implementations of virtual function calls.

关键词： GPU object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Imikode: A VR Game to Introduce OOP Concepts 19

Imikode: A VR Game to Introduce OOP Concepts

引用

19th Koli Calling Conference on Computing Education Research (Koli Calling)

作者： Bouali, Nacir Nygren, Eeva Oyelere, Solomon Sunday Suhonen, Jarkko Cavalli-Sforza, Violetta Univ Eastern Finland Joensuu Finland Univ Turku Turku Finland Al Akhawayn Univ Ifrane Morocco

ISBN: (纸本)9781450377157

This research paper presents Imikode, a virtual reality (VR)-based learning game to support the teaching and learning of object-oriented programming (OOP) concepts in computing education. The system was implemented using Google Cardboard SDK and works with any Cardboard compatible headset. The teacher can use Imikode to introduce OOP class in an immersive and engaging way. This early prototype provides basic features to help introduce OOP concepts. We aim at extending it using Artificial Intelligence (AI), by adding a conversational agent able to parse erroneous statements and provide adequate instructions on how to fix them.

关键词： Virtual reality Computing education object-oriented programming Google cardboard SDK

来源：评论

学校读者我要写书评

暂无评论

Protection of Images based on Fractal Geometry 10

Protection of Images based on Fractal Geometry

引用

10th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) / 9th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH)

作者： Dronyuk, Ivanna Kalinchuk, Volodymyr Gregusml, Michal Comenius Univ Odbojarov 10 Bratislava 82005 Slovakia Lviv Polytech Natl Univ Bandery 12 UA-79013 Lvov Ukraine

The method of image transformation based on fractal geometry is developed. The method is based on building an image based on the Hilbert curve. The image is based on the principle of conformity of the contrast of the image of the filling density of the plane with lines. The mathematical substantiation of the method is given. The corresponding software is built with the use of postscript language. The work of the method is illustrated by figures. The method is used for images protection.

关键词： informational technologies object-oriented programming protection images fractals postscript

来源：评论

学校读者我要写书评

暂无评论

Efficient Fail-Fast Dynamic Subtype Checking 11

Efficient Fail-Fast Dynamic Subtype Checking

引用

11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages (VMIL)

作者： Padhye, Rohan Sen, Koushik Univ Calif Berkeley Berkeley CA 94720 USA

ISBN: (纸本)9781450369879

We address the problem of dynamically checking if an instance of class S is also an instance of class T. Researchers have designed various strategies to perform constant-time subtype tests. Yet, well-known production implementations degrade to linear search in the worst case, in order to achieve other goals such as constant space and/or efficient dynamic class loading. The fast path is usually optimized for subtype tests that succeed. However, in workloads where dynamic type tests are common, such as Scala's pattern matching and LLVM compiler passes, we observe that 74%-93% of dynamic subtype tests return a negative result. We thus propose a scheme for fail-fast dynamic subtype checking. In the compiled version of each class, we store a fixed-width bloom filter, which combines randomly generated type identifiers for all its transitive supertypes. At run-time, the bloom filters enable fast refutation of dynamic subtype tests with high probability. If such a refutation cannot be made, the scheme falls back to conventional techniques. This scheme works with multiple inheritance, separate compilation, and dynamic class loading. A prototype implementation of fail-fasts in the JVM provides 1.44x-2.74x speedup over HotSpot's native instance of, on micro-benchmarks where worst-case behavior is likely.

关键词： object-oriented programming dynamic casts multiple inheritance bloom filters

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

object-oriented time-domain simulation framework for Remotely Operated Vehicles 4

Object-oriented time-domain simulation framework for Remotel...

引用

IEEE 4th Colombian Conference on Automatic Control (CCAC) - Automatic Control as Key Support of Industrial Productivity

作者： Ramirez-Macias, Juan A. Vasquez, Rafael E. Saevik, Svein Sorensen, Asgeir J. Univ Pontificia Bolivariana Automat & Design Grp A D Dept Mech Engn Medellin Colombia Norwegian Univ Sci & Technol Ctr Autonomous Marine Operat & Syst Dept Marine Technol Trondheim Norway

ISBN: (纸本)9781538669624

This work addresses the development of an object oriented time-domain simulation framework for Remotely Operated Vehicles (ROVs). Kinematics, dynamics, and control for ROVs are first presented using Newtonian mechanics' equations which account for rigid-body motion, hydrodynamics, actuator, control, and cable effects;thrust allocation and control algorithms are presented as important components of the feedback control schemes. Then, time domain-simulation is conceptualized under the idea of object-oriented programming and the proposed framework is presented as a useful tool to organize and configure different simulation scenarios in which the future behavior of the vehicle's state is predicted from known initial conditions. We later describe the simulation model of visOR3, an experimental, observation-class ROV developed in Colombia during the late 2000's. Results are shown for an open-loop with thrust allocation scenario, and show that the tailor-made simulation framework is useful for gaining insight into the ROV's maneuvering attributes. This constitutes a contribution for design and operation phases of underwater technologies such as ROV systems.

关键词： Unmanned underwater vehicles Robot motion analysis object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共199页 << < 17 18 19 20 21 22 23 24 25 26 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：