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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

1,982 篇 电子文献
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,982 篇 object-oriented ...
252 篇 nasa technical r...
252 篇 (ntrs)
127 篇 software enginee...
122 篇 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
38 篇 expert systems
38 篇 artificial intel...
37 篇 software reusabi...
37 篇 design patterns

机构

13 篇 naval postgradua...
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...
3 篇 univ coll dublin...

作者

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

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

共 1982 条记录，以下是131-140 订阅

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

详细简洁

排序：

Design Pattern for Reusing Immutable Methods in object-oriented Languages 23

Design Pattern for Reusing Immutable Methods in Object-Orien...

引用

Proceedings of the 28th European Conference on Pattern Languages of Programs

作者： William Flageol Yann-Gaël Guéhéneuc Mourad Badri Stefan Monnier Département de mathématiques et informatique Université du Québec à Trois-Rivières Canada and Computer Science and Software Engineering Concordia University Canada Computer Science and Software Engineering Concordia University Canada Département de mathématiques et informatique Université du Québec à Trois-Rivières Canada Département d'informatique et de recherche opérationnelle Université de Montréal Canada

ISBN: (纸本)9798400700408

Context. Features and styles inspired by functional programming have grown in popularity in the world of object-oriented programming. Immutability is a core concept of functional programming, which brings advantages to software development. However, introducing immutability in object-oriented programming presents some challenges. Problem. One of these challenges is method overriding. When inheriting non-destructive mutators (methods used on immutable objects which return a new object instead of modifying the receiver), a naive approach generates code duplication and has scalability issues. Contribution. We analyse an example of this overriding problem and propose a solution in a new design pattern based on the factory method pattern. We also discuss the advantages and limitations of this pattern, as well as implementations in Clojure, Java, and Kotlin. We also identify and discuss the language features that mostly affect the implementation of this pattern. Conclusion. Our proposed design pattern helps mitigate some of the code duplication and scalability problems of a naive approach. However, the inclusion of a functional updating language feature is required to completely remove the scalability issues.

关键词： design patterns functional programming immutability language features object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

An Algorithm for Partial Elimination of Jumps in an object-oriented Dataflow Language 23

An Algorithm for Partial Elimination of Jumps in an Object-O...

引用

Proceedings of the 2023 7th International Conference on Computer Science and Artificial Intelligence

作者： Yegor Bugayenko Mikhail Lipanin Huawei RRI Russia

ISBN: (纸本)9798400708688

Despite enduring criticisms spanning several decades, jump statements such as goto, break, continue, and return remain prevalent in imperative programming languages, including but not limited to C++, Java, and Python. The academic community has yet to reach a consensus regarding whether the refactoring of source code in these languages to eliminate such statements can indeed enhance code readability. Nevertheless, it is evident that automated program analysis would derive substantial benefits from this refactoring, given that structured code analysis is more straightforward than analyzing code that exhibits capricious alterations in its control flow. While algorithms tailored for this refactoring process have been proposed for certain imperative languages, we introduce a congruent algorithm, specifically designed for a dataflow programming language. It’s important to note that although dataflow languages lack jump statements, they might incorporate jump-objects (in object-oriented contexts) or jump-functions (within functional paradigms). Our algorithm has been instantiated as a command-line tool tailored for refactoring EO, an object-oriented dataflow language. Preliminary tests with several EO programs have validated the tool’s efficacy. Leveraging φ -calculas, we provide a formal proof underscoring the validity of every transformation encompassed within our algorithm.

关键词： Algorithms Dataflow Computing object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

The Construction and Research of object-oriented programming On-line Learning Platform

The Construction and Research of Object-Oriented Programming...

引用

2013 Fourth International Conference on Education and Sports Education(ESE 2013)

作者： Shaosheng Guo Wei Zhang College of Information Science and Technology Qingdao University of Science and Technology

The use of electronic technology in on-line learning is increasing, that is facilitating teaching and learning for both teacher and students. Nowadays the traditional object-oriented programming teaching does not adapt to the needs of teaching and learning. So we construct the on-line platform of object-oriented programming to meet the needs of on-line tutoring, the assessment and examination paper analysis for teaching, at the same time helping the students' on-line learning and testing. It is a reference model for teaching and learning on the Internet.

关键词： object-oriented programming On-line Learning System Design

来源：评论

学校读者我要写书评

暂无评论

Features of the Software Component of the Memory Test Setup Based on the object-oriented Approach in LabVIEW Development Environment 15

Features of the Software Component of the Memory Test Setup ...

引用

International Siberian Conference on Control and Communications (SIBCON)

作者： Shvetsov-Shilovskiy, Ivan I.

ISBN: (纸本)9781728185040

This paper is dedicated to the features of the software component of the memory test setup based on the object-oriented approach in LabVIEW environment. The specificities of the software development for test setups used for the control of the electronics device's parameters are described. The paper concerns the advantages and disadvantages of the object-oriented approach in the software development process in LabVIEW and the challenges which may arise during the remodeling of the program written in the procedure programming paradigm using the object-oriented methodology. The actor model is described as well as its modification made for use in the developed software solution. Reasons that necessitated modification of the standard actor model are discussed. The specific features of the architecture of the developed software are described. Solutions aimed at building a universal program project are presented;they ensure that minimal adaptation is needed to perform functional and parametric control of any memory device. Among these solutions are the universal interface between the program executed on PC and the program responsible for the high-speed input and output executed on programmable logic device (PLD). For various architectures of the program executed on PLD there was conducted a comparison of the hardware resources used and a compilation time.

关键词： object-oriented programming Functional programming Semiconductor Device Testing Integrated Circuits Testing Automated Test Equipment

来源：评论

学校读者我要写书评

暂无评论

Use and Adequacy of Computer Paradigms to Simulate Bioinspired Synthetic Landscape Ecologies 11

Use and Adequacy of Computer Paradigms to Simulate Bioinspir...

引用

11th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH)

作者： Le Fur, Jean Mboup, Pape Adama Sall, Moussa Inst Rech Dev IRD Ctr Biol Gest Populat CBGP Campus BaillarguetCS 30016 F-34988 Montferrier Sur Lez France Univ Cheikh Anta Diop UCAD Fac Sci & Tech Lab Informat Dakar Senegal Univ G Berger St Louis Senegal Dept Informat Campus Bel Air Dakar Senegal Lab IRD BIOPASS Campus Bel Air Dakar Senegal

ISBN: (纸本)9789897585289

In the field of ecoinformatics, synthetic ecologies approach intends to reproduce in silico the architecture and functioning of a real domain 'as it works'. When the systems to be represented are complex, bioinspiration is proposed as a relevant approach to develop robust modelling. This study aims to develop, using basic object-oriented paradigms, and in collaboration with biologists, a comprehensive synthetic ecology about a given application domain: wild rodents' population dynamics. To address the complexity of the field, the architecture is gradually grown and shaped from integration of successive and diverse case studies modelling in the application domain. Developed for more than ten years, the same model has made it possible to represent historical, cellular and/or ecological processes at the scales of a country, a region, a city or a laboratory as well as a diversity of interacting living beings. Results present how principles such as composition, aggregation, inheritance, generalization have been used to elaborate a synthetic ecology. These paradigms altogether constitute a rich, and improvable, toolbox offering a varied set of possible uses to formalize bioinspired landscape or ecologies.

关键词： Bio-inspiration Ecoinformatics Natural Computation Synthetic Ecology Robustness object-oriented programming Agent-based Model Rodent

来源：评论

学校读者我要写书评

暂无评论

Java Typestate Checker 23rd

Java Typestate Checker

引用

23rd International Conference on Coordination Models and Language (COORDINATION)

作者： Mota, Joao Giunti, Marco Ravara, Antonio NOVA LINCS Caparica Portugal NOVA Sch Sci & Technol Caparica Portugal

ISBN: (纸本)9783030781415;9783030781422

Detecting programming errors and vulnerabilities in software is increasingly important, and building tools that help developers with this task is a crucial area of investigation on which the industry depends. In object-oriented languages, one naturally defines stateful objects where the safe use of methods depends on their internal state;the correct use of objects according to their protocols is then enforced at compile-time by an analysis based on behavioral types. We present Java Typestate Checker (JATYC), a tool based on the Checker Framework that verifies Java programs with respect to typestates. These define the object's states, the methods that can be called in each state, and the states resulting from the calls. The tool offers the following strong guarantees: sequences of method calls obey to object's protocols;completion of objects' protocols;detection of null-pointer exceptions;and control of the sharing of resources through access permissions. To the best of our knowledge, there are no research or industrial tools that offer all these features. In particular, the implementation of sharing control in a typestate-based tool seems to be novel, and has an important impact on programming flexibility, since, for most programs, the linear discipline imposed by behavioral types is too strict. Sharing of objects is enabled by means of an assertion language incorporating fractional permissions;to lift from programmers the burden of writing the assertions, JATYC infers all of these by building a constraint system and solving it with Z3, producing general assertions sufficient to accept the code, if these exist.

关键词： Behavioral types object-oriented programming typestates access permissions inference

来源：评论

学校读者我要写书评

暂无评论

Code Vision: Learning Mobile Application 4

Code Vision: Learning Mobile Application

引用

4th International Conference on Innovative Computing (ICIC)

作者： Hussain, Muhammad Zunnurain Hasan, Muhammad Zulkifl Sarwar, Nadeem Nasir, Junaid Aslam, Naila Univ Putra Malaysia Dept Commun Technol & Network Fac Comp Sci & Informat Technol Serdang 43400 Selangor Malaysia Bahria Univ Dept Comp Sci Lahore Campus Lahore Pakistan Univ Management Technol Dept Comp Sci Lahore Pakistan

ISBN: (纸本)9781665400916

Technology is becoming a major part of each individual's life. The modern society is saturated with technology and cannot be separated from technology. Now a days, every person is using many number of devices and systems. Code Vision is a mobile application which is created for e-learning purposes. So we are emerging entertainment and education together for students to learn programming language. The aim of this article is to illustrate the leaning mobile application which is based on animated dry run of programming language C++ and object-oriented programming. It is based on the basic and advance concepts of OOP and C++. Mostly people face problems like they could not be able to understand the working of programming when they initially start learning, they won't be able to create the logic of their own program. This application reduces the confusion factor and make all the concepts clear in people's mind. In this article, the development process of this application has been described, and also the functionalities and significance of requirements of this application is defined. This article will be helpful in further researches and development in the field of mobile application development.

关键词： programming Language object-oriented programming Dry Run Development Requirements

来源：评论

学校读者我要写书评

暂无评论

Visual Analogy for Understanding Polymorphism Types 21

Visual Analogy for Understanding Polymorphism Types

引用

23rd Australasian Computing Education Conference (ACE)

作者： Mills, Nathan Wang, Allen Giacaman, Nasser Univ Auckland Auckland New Zealand

ISBN: (纸本)9781450389761

Many visualisation tools have been designed to help students with learning programming concepts, often showing positive impact on student performance. Analogies have also often been used to assist in teaching students various programming concepts, and have similarly shown to boost student confidence of the concepts. Less work has been done to specifically target polymorphism, and the misconceptions students face with it. This study presents the design of a new visualisation tool along with its supporting analogy. It aims to assist in teaching the concept of polymorphism to students, along with correcting the misconceptions students have when dealing with this concept. Experiences using the tool for a CS2 OOP course are presented, including engagement logs and student feedback. The paper concludes with findings of this experience, discussing directions for future work in this area.

关键词： Analogies inheritance instances object-oriented programming polymorphism variable type visualisation

来源：评论

学校读者我要写书评

暂无评论

Exploring the Eolang-Java Integration and Interoperability 25

Exploring the Eolang-Java Integration and Interoperability

引用

25th KES International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES)

作者： Saleh, Hadi Attakorah, Joseph Afriyie Zykov, Sergey Legalov, Alexander Natl Res Univ Higher Sch Econ Moscow 101000 Russia Vladimir State Univ Vladimir 600000 Russia Natl Res Nucl Univ Moscow Engn Phys Inst Moscow 115409 Russia

In recent times, the subject of interoperability has become very popular. In large-scale software applications development, it is a common practice to combine multiple languages in solving peculiar problems and developing robust solutions. The ability to combine multiple languages allows an easy migration of an existing project from one language to another or use existing libraries in another language. This makes interoperability a force to be reckoned with when developing new programming languages. The Eolang programming language is a new research and development initiative aimed at achieving true object-oriented programming by having all components of the program as objects. As such, the construct and syntax of Eolang is vastly different from that of Java. This makes integration and interoperability between these two languages a challenging issue related to method/object naming conventions, keywords and operators, etc. In this paper we explore the potential of Eolang interoperability with Java by looking at the interoperability mechanisms of some other languages with Java, describe ways to overcome these challenges with Eolang and develop the solution. Specifically, we focus on the possibility to call Java code from Eolang while the semantics of both languages remain preserved. Our solution allows Java code to be called in Eolang through wrappers that turn Java classes and methods into Eolang objects. (C) 2021 The Authors. Published by Elsevier B.V. This is an open access article under the CC BY-NC-ND license (https://***/licenses/by-nc-nd/4.0) Peer-review under responsibility of the scientific committee of KES International.

关键词： Elegant objects object-oriented programming Java virtual Machine atom transpile interoperability

来源：评论

学校读者我要写书评

暂无评论

Judging a Type by Its Pointer: Optimizing GPU Virtual Functions 21

Judging a Type by Its Pointer: Optimizing GPU Virtual Functi...

引用

26th International Conference on Architectural Support for programming Languages and Operating Systems (ASPLOS)

作者： Zhang, Mengchi Alawneh, Ahmad Rogers, Timothy G. Purdue Univ W Lafayette IN 47907 USA

ISBN: (纸本)9781450383172

Programmable accelerators aim to provide the flexibility of traditional CPUs with significantly improved performance. A wellknown impediment to the widespread adoption of programmable accelerators, like CPUs, is the software engineering overhead involved in porting the code. Existing support for C+ + on GPUs allows programmers to port polymorphic code with little effort. However, the overhead from the virtual functions introduced by polymorphic code has not been well studied or mitigated on CPUs. To alleviate the performance cost of virtual functions, we propose two novel techniques that determine an object's type based only on the object's address, without accessing the object's embedded virtual table pointer. The first technique, Coordinated object Allocation and function Lookup (COAL), is a software-only solution that allocates objects by type and uses the compiler and runtime to find the object's vTable without accessing an embedded pointer. COAL improves performance by 80%, 47%, and 6% over contemporary CUDA, prior research, and our newly-proposed type-based allocator, respectively. The second solution, TypePointer, introduces a hardware modification that allows unused bits in the object pointer to encode the object's type, improving performance by 90%, 56%, and 12% over CUDA, prior work, and our new allocator. TypePointer can also be used with the default CUDA allocator to achieve an 18% performance improvement without modifying object allocation.

关键词： GPU Virtual functions object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共199页 << < 10 11 12 13 14 15 16 17 18 19 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：