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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是681-690 订阅

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

详细简洁

排序：

Computing Static Schedule for the Hosts in a Real-Time Distributed System with Component Based Applications 9

Computing Static Schedule for the Hosts in a Real-Time Distr...

引用

9th Int Conf Ind Information Syst (ICIIS2014)

作者： Canute, Julius Kumar, Atul IIIT Bangalore Karnataka India Siemens Corp Res & Technol Bangalore Karnataka India ABB Corp Res Bangalore Karnataka India

ISBN: (纸本)9781479964994

We consider cyclic real-time applications built using nearly autonomous components. These components can run on any of the available hosts subject to certain constraints. The hosts in the system are allowed to be heterogeneous and they can have different cycle times for real time execution. Given a set of component based applications and a set of available hosts, we propose a solution for the problem of finding an optimum deployment. The deployment problem can be reduced to the problem of finding feasible static schedules for each host in the system that satisfy the real-time periodic execution requirements of all the applications. We propose a deterministic algorithm for finding static schedules for all the hosts in the system. The approach models the possible partial schedules at each step as nodes in a virtual tree. A breadth first traversal is conducted to construct the tree and complete the schedule. A node is removed from the tree if it cannot lead to a correct schedule. If more than one solutions are possible then the 'best' solution is selected based on the optimization criteria.

关键词： distributed processing object-oriented programming optimisation trees (mathematics) breadth first traversal component based applications cyclic real-time applications deployment problem deterministic algorithm nearly autonomous components optimization criteria partial schedules real time execution real-time distributed system static schedule computation virtual tree Complexity theory Electronic mail Optimization Real-time systems Resource management Schedules Software optimal criterion deterministic algorithms real-time systems hosts electronic mail Distributed processing Complexity theory object oriented programming management of resources computer software time cycles Real time

来源：评论

学校读者我要写书评

暂无评论

Accountability for Abstract Component Design 40

Accountability for Abstract Component Design

引用

40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)

作者： Benghabrit, Walid Grall, Herve Royer, Jean-Claude Sellami, Mohamed Mines Nantes F-44307 Nantes France

ISBN: (纸本)9781479957958

The importance of the services-based market, 62.9% of the World gross domestic product (GDP) [1], triggered an increase in the use of software offered on-line as services (SaaS). The use of such software usually implies the flow of personal data on-line between several parties. This can make users reluctant to their use. In this work, we consider this issue at the design-time of the software and we propose some foundations for an accountable software design. Accountability for a software is a property describing, among other aspects, its liability to end-users for the usage of the data it has been entrusted. We propose to enrich software's component design by accountability clauses using an abstract accountability language (AAL). We also define conditions for the well-formedness of an accountable component design and show how they can be checked using a model-checking tool.

关键词： cloud computing economic indicators formal verification object-oriented programming AAL GDP SaaS abstract accountability language accountability clauses accountable component design accountable software design gross domestic product model checking tool personal data flow services-based market software component design software liability software offered on-line as services Abstracts Data privacy Law Process control Semantics Software accountability component design model-checking verification component design economic indicators Cloud Computing Accountability computer software Software as a service anti-aircraft light Model checking Data privacy object oriented programming Formal verification Guanosine 5'-(trihydrogen diphosphate) GASEOUS DIFFUSION PLANTS Process control Semantics

来源：评论

学校读者我要写书评

暂无评论

Automated implementation of Petri Nets on PLCs with OOP 19

Automated implementation of Petri Nets on PLCs with OOP

引用

19th IEEE International Conference on Emerging Technology and Factory Automation (ETFA)

作者： Basile, Francesco Chiacchio, Pasquale Coppola, Jolanda Gerbasio, Diego Univ Salerno Dipartimento Ing Informaz Ing Elettr & Matemat Ap Salerno Italy

ISBN: (纸本)9781479948451

In this paper a method is proposed to implement controllers and supervisors for manufacturing systems designed by Petri Nets (PNs) on Programmable Logic Controllers (PLCs) using object oriented programming (OOP). In the resulting program each instruction is directly related to the evaluation of a transition, to the update of the marking, or to the enabling of a transition. This preserves the structure of PNs and entails reusability since it allows the user to easily modify the program directly, starting from the modifications made to the PN design.

关键词： Petri nets manufacturing systems object-oriented programming programmable controllers OOP PLC PN design object oriented programming program modification programmable logic controllers Arrays Heating IEC standards object oriented modeling Reactive power Software XML

来源：评论

学校读者我要写书评

暂无评论

programming Course Design: Phenomenographic Approach to Learning and Teaching

Programming Course Design: Phenomenographic Approach to Lear...

引用

International Conference on Teaching and Learning in Computing and Engineering (LaTiCE)

作者： Thota, Neena Univ St Joseph Fac Creat Ind Macau Peoples R China

ISBN: (纸本)9781479935918

Phenomenography is a well-known empirical research approach that is often used to investigate students' ways of learning programming. Phenomenographic pedagogy is an instructional approach to plan learning and teaching activities. This theoretical paper gives an overview of prior research in phenomenographic studies of programming and shows how the results from these research studies can be applied to course design. Pedagogic principles grounded in the phenomenographic perspective on teaching and learning are then presented that consider how to tie students' experiences to the course goals ( relevance structure) and how to apply variation theory to focus on the desired critical aspects of learning. Building on this, an introductory object-oriented programming course is described as an example of research-based course design. The insights gained from the experience of running the course are shared with the community of computer science educators, as also the benefits and responsibilities for those who wish to adopt the phenomenographic perspective on learning to plan their teaching. The development of an increased awareness of the variation in students' ways of experiencing programming and the need to broaden the context of the programming course are discussed.

关键词： phenomenography variation theory introductory programming object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Method Sequence Generation for Multiple object States using Dynamic Symbolic Execution

Method Sequence Generation for Multiple Object States using ...

引用

IEEE International Conference on Systems, Man, and Cybernetics (SMC)

作者： Takamatsu, Hiroki Sato, Haruhiko Oyama, Satoshi Kurihara, Masahito Hokkaido Univ Grad Sch Informat Sci & Technol Sapporo Hokkaido Japan

ISBN: (纸本)9781479938407

Software testing in object-oriented programming requires not only test input data, but also method sequences. Method sequences create new instances and change object states as desired. Method sequence generation to get desired object states is challenging. Seeker is one of the state-of-the-art implementation to generate test cases with method sequences. However, the technique generates method sequences to change a value of only a single variable. Therefore, it cannot cover the branches that need to modify values of multiple variables. In this paper, we extend the technique in order to cover branches which require multiple desired object states. The proposed approach detects all related variables in uncovered branches and uses a fitness function to give method sequences an evaluation value to reduce candidate methods. We applied Seeker and the proposed approach to four open source projects. The result shows a 1-5% improvememt of branch coverage over Seeker and also indicates that the effectiveness of the proposed approach varies depending on some specific features of projects.

关键词： object-oriented programming program testing Seeker branch coverage candidate methods dynamic symbolic execution fitness function method sequence generation multiple desired object states open source projects software testing Algorithm design and analysis Conferences Explosions Heuristic algorithms Libraries Software testing

来源：评论

学校读者我要写书评

暂无评论

SENSEI: Software Evolution Service Integration

SENSEI: Software Evolution Service Integration

引用

Software Evolution Week / IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering (CSMR-WCRE)

作者： Jelschen, Jan Carl von Ossietzky Univ Oldenburg D-26111 Oldenburg Germany

ISBN: (纸本)9781479937523

Software evolution tools mostly implement a single technique to assist in achieving a specific objective. Overhauling, renovating, or migrating large and complex legacy software systems require the proper combination of several different techniques appropriate for each subtask. Since few tools are built for interoperability, the setup of a toolchain supporting a given software evolution process is an elaborate, time-consuming, error-prone, and redundant endeavor, which yields brittle and inflexible toolchains with little to no reusability. This paper presents SENSEI, an approach to enable the implementation of an integration framework for software evolution tools using component-based, service-oriented, and model-driven methods, to ease toolchain creation and enable agile execution of software evolution projects. It will be evaluated by implementing and using it to build the toolchains supporting two software evolution projects, and having practitioners assess its usefulness.

关键词： object-oriented programming open systems service-oriented architecture software maintenance software reusability software tools SENSEI complex legacy software systems component-based methods interoperability model-driven methods reusability service-oriented methods software evolution service integration software evolution tools Abstracts Catalogs Concrete Interoperability Measurement Software Taxonomy

来源：评论

学校读者我要写书评

暂无评论

Optimizing Bayesian Networks for Recognition of Driving Maneuvers to Meet the Automotive Requirements

Optimizing Bayesian Networks for Recognition of Driving Mane...

引用

IEEE International Symposium on Intelligent Control (ISIC)

作者： Weidl, Galia Madsen, Anders L. Kasper, Dietmar Breuel, Gabi Daimler AG Res & Dev Dept Driving Automat D-71034 Boblingen Germany HUGIN EXPERT AS Aalborg Denmark Aalborg Univ Dept Comp Sci Aalborg Denmark

ISBN: (纸本)9781479974061

An object oriented Bayesian Network for recognition of maneuver in highway traffic has demonstrated an acceptably high recognition performance on a prototype car with a Linux PC having an i7 processor. This paper is focusing on keeping the high recognition performance of the original OOBN, while evaluating alternative modelling techniques and their impact on the memory and time requirements of an ECU-processor for automotive applications. New challenges are faced, when the prediction horizon is to be further extended.

关键词： Linux automotive engineering belief networks driver information systems object-oriented programming Bayesian networks ECU-processor Linux PC OOBN alternative modelling techniques automotive application automotive requirements driving maneuver recognition highway traffic i7 processor object oriented Bayesian network prediction horizon prototype car recognition performance Computational modeling Hidden Markov models Memory management object oriented modeling Random access memory Uncertainty Vehicles

来源：评论

学校读者我要写书评

暂无评论

Domain Specific Case Tool for ICT-Enabled Service Design

Domain Specific Case Tool for ICT-Enabled Service Design

引用

47th Annual Hawaii International Conference on System Sciences

作者： Tuunanen, Tuure Przybilski, Michael Univ Jyvaskyla SF-40351 Jyvaskyla Finland Univ Helsinki FIN-00014 Helsinki Finland

ISBN: (纸本)9781479925049

One major problem in service design is the limited availability of information gathered during the development process. In particular, information on end-user requirements is difficult for designers, developers, and maintainers to access. Here, we provide a mechanism that supports the gathering and modeling of various types of information throughout the service and software development life cycle. As various existing tools focus on a particular part of the life cycle, essential information is not available, or it is more difficult to obtain in later stages. The linkage between information collected in the different stages is often lost. The implemented tool support enables the modeling of requirements;the abstraction of these requirements in the form of the required system functionalities, which can also be modeled;and the connection with component-based software engineering to support the design of ICT-enabled services.

关键词： object-oriented methods object-oriented programming software tools ICT-enabled service design component-based software engineering development process domain specific case tool end-user requirements information throughout information-and-communications technology service life cycle software development life cycle system functionalities Adaptation models Analytical models Computational modeling Computers Software Unified modeling language DSL ICT RAD

来源：评论

学校读者我要写书评

暂无评论

Design Approach for Component-based Automation Systems using Exact Cover 19

Design Approach for Component-based Automation Systems using...

引用

19th IEEE International Conference on Emerging Technology and Factory Automation (ETFA)

作者： Lehmann, Matthias Mai, Tuan Linh Wollschlaeger, Bastian Kabitzsch, Klaus Tech Univ Dresden Inst Appl Comp Sci Dresden Germany

ISBN: (纸本)9781479948451

Networked systems consisting of many different components are gaining more and more importance in human's living environment (e.g. communication, entertainment, building automation). The design process for such systems is also harder because of the growing complexity and the inhomogeneity of sub-systems realizing different functions. This results in a multi-criteria high-complex combinatorial device selection problem. In this paper a general domain-independent model for Component-based Automation Systems is introduced. To help solving the mentioned selection problem, it is transformed into an Exact Cover Problem. Thus, it is possible to use efficient algorithms like Knuth's Dancing Links for solving the selection problem.

关键词： object-oriented programming optimisation component-based automation systems exact cover exact cover problem general domain-independent model Abstracts Building automation Complexity theory Concrete Optimization Semantics

来源：评论

学校读者我要写书评

暂无评论

Towards Recovering and Exploiting Domain Knowledge from C Code: A Case Study on Automotive Software

Towards Recovering and Exploiting Domain Knowledge from C Co...

引用

Software Evolution Week / IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering (CSMR-WCRE)

作者： Quante, Jochen Tarabain, Mohammed Siegmund, Janet Robert Bosch GmbH Corp Res Stuttgart Germany Univ Magdeburg Magdeburg Germany Univ Passau Passau Germany

ISBN: (纸本)9781479937523

To create a software system, a lot of knowledge about the domain that it deals with is needed. This is particularly true for embedded control software, which is in close contact with physical machinery, relationships, and effects. In this paper, we investigate if and how this knowledge that was once built into the software can be recovered from the source code - and what it can be used for. We apply approaches from previous research to an engine control software and adapt it to our setting. In particular, we are constrained to pure C code with limited structure, whereas previous work has mainly dealt with object-oriented software. Despite these limiting conditions, our study shows promising results.

关键词： automobiles control engineering computing embedded systems internal combustion engines object-oriented programming ontologies (artificial intelligence) C code automotive software domain knowledge exploitation domain knowledge recovery embedded control software engine control software object-oriented software source code Automotive engineering Data mining Dictionaries Engines Ontologies Software systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共199页 << < 65 66 67 68 69 70 71 72 73 74 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：