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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

BioSigPlot : An opensource tool for the visualization of multi-channel biomedical signals with Matlab

BioSigPlot : An opensource tool for the visualization of mul...

引用

35th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC)

作者： Boudet, Samuel Peyrodie, Laurent Gallois, Philippe de l'Aulnoit, Denis Houze Cao, Hua Forzy, Gerard Fac Libre Med F-59046 Lille France GHICL Lille France HEI Lille France

ISBN: (纸本)9781457702167

This paper presents a Matlab-based software (MathWorks inc.) called BioSigPlot for the visualization of multi-channel biomedical signals, particularly for the EEG. This tool is designed for researchers on both engineering and medicine who have to collaborate to visualize and analyze signals. It aims to provide a highly customizable interface for signal processing experimentation in order to plot several kinds of signals while integrating the common tools for physician. The main advantages compared to other existing programs are the multi-dataset displaying, the synchronization with video and the online processing. On top of that, this program uses object oriented programming, so that the interface can be controlled by both graphic controls and command lines. It can be used as EEGlab plug-in but, since it is not limited to EEG, it would be distributed separately. BioSigPlot is distributed free of charge (http://***), under the terms of GNU Public License for non-commercial use and open source development.

关键词： electroencephalography medical signal processing object-oriented programming public domain software

来源：评论

学校读者我要写书评

暂无评论

Utilizing Software Reuse Experience for Automated Test Recommendation

Utilizing Software Reuse Experience for Automated Test Recom...

引用

8th International Workshop on Automation of Software Test (AST)

作者： Janjic, Werner Atkinson, Colin Univ Mannheim Software Engn Grp D-68131 Mannheim Germany

ISBN: (纸本)9781467361613

The development of defect tests is still a very labour intensive process that demands a high-level of domain knowledge, concentration and problem awareness from software engineers. Any technology that can reduce the manual effort involved in this process therefore has the potential to significantly reduce software development costs and time consumption. An idea for achieving this is to reuse the knowledge bound up in already existing test cases, either directly or indirectly, to assist in the development of tests for new software components and systems. Although general software reuse has received a lot of attention in the past - both in academia and industry - previous research has focussed on the reuse and recommendation of existing software artifacts in the creation of new product code rather than on the recommendation of tests. In this paper we focus on the latter, and present a novel automated test recommendation approach that leverages lessons learned from traditional software reuse to proactively make test case suggestions while an engineer is developing tests. In contrast, most existing testing-assistance tools provide ex post assistance to test developers in the form of coverage assessments and test quality evaluations. Our goal is to create an automated, non-intrusive recommendation system for efficient software test development. In this paper we set out the basic strategy by which this can be achieved and present a prototypical implementation of our test recommender system for Eclipse.

关键词： knowledge engineering object-oriented programming program testing software fault tolerance software quality software reusability software tools

来源：评论

学校读者我要写书评

暂无评论

Strong and Weak Contract Formalism for Third-Party Component Reuse

Strong and Weak Contract Formalism for Third-Party Component...

引用

IEEE 24th International Symposium on Software Reliability Engineering Workshops (ISSREW)

作者： Sljivo, Irfan Gallina, Barbara Carlson, Jan Hansson, Hans Malardalen Univ Malardalen Real Time Res Ctr Vasteras Sweden

ISBN: (纸本)9781479925520

Our aim is to contribute to bridging the gap between the justified need from industry to reuse third-party components and skepticism of the safety community in integrating and reusing components developed without real knowledge of the system context. We have developed a notion of safety contract that will help to capture safety-related information for supporting the reuse of software components in and across safety-critical systems. In this paper we present our extension of the contract formalism for specifying strong and weak assumption/guarantee contracts for out-of-context reusable components. We elaborate on notion of satisfaction, including refinement, dominance and composition check. To show the usage and the expressiveness of our extended formalism, we specify strong and weak safety contracts related to a wheel braking system.

关键词： object-oriented programming safety-critical software software reusability

来源：评论

学校读者我要写书评

暂无评论

Java programming for Android Developers For Dummies 1

引用

丛书名： For Dummies

2013年

作者： Barry Burd

ISBN: (数字)9781118612125

ISBN: (纸本)1118504380;9781118504383

Get started creating Android apps with Java in no time!The demand for Android apps is not slowing down but many mobile developers who want to create Android apps lack the necessary Java background. This beginner guide gets you up and running with using Java to create Android apps with no prior knowledge or experienced necessary!Shows you the basic Java development concepts and techniques that are necessary to develop Android appsExplores what goes into creating an Android app to give you a better understanding of the various elementsAddresses how to deal with standard programming challenges and debuggingBeginning Android programming with Java For Dummies puts you well on your way toward creating Android apps quickly with Java.

关键词： Android android programming beginner guide to android programming android programming with java beginner guide to android programming with java Java Barry Burd java programming object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

A Timing Verification Framework for AUTOSAR OS Component Development based on Real-Time Maude

A Timing Verification Framework for AUTOSAR OS Component Dev...

引用

7th International Symposium on Theoretical Aspects of Software Engineering (TASE)

作者： Zhu, Longfei Liu, Peng Shi, Jianqi Wang, Zheng Zhu, Huibiao E China Normal Univ Shanghai Key Lab Trustworthy Comp Shanghai 200062 Peoples R China Natl Univ Singapore Sch Comp Singapore Singapore Beijing Inst Control Engn Beijing Peoples R China

ISBN: (纸本)9780769550534

The AUTOSAR (AUTomotive Open System ARchilecture) is an open standard in automotive industry, aiming at unifying the methodology of the automotive software development. It is drawing increasing attention because of its great concern about the safety of automotive electronics. The safety of automotive electronics greatly depends on the Operating System (OS) components, which fully implement the functionality part of automotive applications. However, taking the complex timing protection mechanism of AUTOSAR OS and random occurrences of interrupt requests (IRs) into consideration, it is hard for the developers to design and configure the OS components correctly or even reconcilably. In this paper, we focus on the timing properties and propose an automatic verification framework, in which developers could analyze the timing behaviors and devise the OS components configuration. Furthermore, three important timing properties are expressed and can be verified in our framework, namely, schedulability, non-fault-propagation, and consistency. As a reduced version of AUTOSAR OS and auxiliary analysis modules have been implemented based on Real-Time Maude, developers could easily employ the tool to experiment with different configurations of OS components.

关键词： automotive electronics interrupts object-oriented programming open systems operating systems (computers) program verification software architecture

来源：评论

学校读者我要写书评

暂无评论

An object-oriented Modeling and Simulation Framework for Bearings-Only Multi-Target Tracking using an Unattended Acoustic Sensor Network

An Object-Oriented Modeling and Simulation Framework for Bea...

引用

Conference on Emerging Technologies in Security and Defence;and Quantum Security II;and Unmanned Sensor Systems X

作者： Aslan, Murat Samil Tubitak Bilgem Iltaren Adv Technol Res Inst TR-06800 Ankara Turkey

ISBN: (纸本)9780819497680

Tracking ground targets using low cost ground-based sensors is a challenging field because of the limited capabilities of such sensors. Among the several candidates, including seismic and magnetic sensors, the acoustic sensors based on microphone arrays have a potential of being useful: They can provide a direction to the sound source, they can have a relatively better range, and the sound characteristics can provide a basis for target classification. However, there are still many problems. One of them is the difficulty to resolve multiple sound sources, another is that they do not provide distance, a third is the presence of background noise from wind, sea, rain, distant air and land traffic, people, etc., and a fourth is that the same target can sound very differently depending on factors like terrain type, topography, speed, gear, distance, etc. Use of sophisticated signal processing and data fusion algorithms is the key for compensating (to an extend) the limited capabilities and mentioned problems of these sensors. It is hard, if not impossible, to evaluate the performance of such complex algorithms analytically. For an effective evaluation, before performing expensive field trials, well-designed laboratory experiments and computer simulations are necessary. Along this line, in this paper, we present an object-oriented modeling and simulation framework which can be used to generate simulated data for the data fusion algorithms for tracking multiple on-road targets in an unattended acoustic sensor network. Each sensor node in the network is a circular microphone array which produces the direction of arrival (DOA) (or bearing) measurements of the targets and sends this information to a fusion center. We present the models for road networks, targets (motion and acoustic power) and acoustic sensors in an object-oriented fashion where different and possibly time-varying sampling periods for each sensor node is possible. Moreover, the sensor's signal processing and d

关键词： Ground target tracking acoustic sensor network bearings-only multiple target tracking road network modeling receiver operating characteristic (ROC) curve unattended ground sensor (UGS) network direction of arrival (DOA) estimation object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

A 5-step hunt for faults in Java implementations of algebraic specifications

A 5-step hunt for faults in Java implementations of algebrai...

引用

6th IEEE International Conference on Software Testing, Verification and Validation (ICST)

作者： Nunes, Isabel Luis, Filipe Univ Lisbon Fac Sci P-1699 Lisbon Portugal

ISBN: (纸本)9780769549934;9781479913244

Executing thorough test suites allows programmers to strengthen the confidence on their software systems. However, given some failed test cases, finding the faults' locations can be a difficult task, thereby techniques that make it easier for the programmer to locate the faulty components are much desirable. In this paper we focus on finding faults in object-oriented, more precisely Java, implementations of data types that are described by algebraic specifications. We capitalize on models for the specification under study and JUnit test suites that cover all axioms of the specification, and present a collection of techniques and underlying methodology, that give the programmer, in a transparent way, a means to locate the fault that causes the implementation to violate the specification. We also present a comparative experiment that was carried out to evaluate this approach where very encouraging results were obtained.

关键词： Java algebraic specification object-oriented programming program testing software fault tolerance

来源：评论

学校读者我要写书评

暂无评论

Policy Enforcement and Verification with Timed Modeling Spider Diagrams

Policy Enforcement and Verification with Timed Modeling Spid...

引用

IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)

作者： Bottoni, Paolo Fish, Andrew Univ Roma Sapienza Dipartimento Informat Rome Italy Univ Brighton Sch Comp Engn & Math Brighton E Sussex England

ISBN: (纸本)9781479903696

Timed Modelling Spider Diagrams (TMSDs) are a visual language which supports the modeling of object-oriented systems with time constraints. They are used to define policies in which TMSDs specify admissible evolutions of the state of some instance. We define a process for deriving a rewriting system from a policy specification, so that the generated system defines a language of sequences of basic TMSDs satisfying the policy. Moreover, by identifying the different ways in which the constraints set by the policy can be violated, we can produce special rules whose application results in erroneous sequences. The resulting transformation systems can be used both to simulate possible behaviours when reasoning on the definition of policies and to test policy verification algorithms.

关键词： formal specification object-oriented programming program verification rewriting systems visual languages

来源：评论

学校读者我要写书评

暂无评论

IDEAL: Interactive Design Environment for Agent system with Learning mechanism

IDEAL: Interactive Design Environment for Agent system with ...

引用

12th IEEE International Conference on Cognitive Informatics and Cognitive Computing (ICCI CC)

作者： Uchiya, Takahiro Itazuro, Syo Takumi, Ichi Kinoshita, Tetsuo Nagoya Inst Technol Syowa Ku Nagoya Aichi 4668555 Japan Tohoku Univ Aoba Ku Sendai Miyagi 9808577 Japan

ISBN: (纸本)9781479907816

The agent-oriented computing is a technique for generating the agent who operates autonomously according to the behavior knowledge. Moreover, agent can have the characteristic called "Learning" skill. More efficient operation of agents can be expected by realizing "Learning" skill. In this research, our aim is to support agent designer who designs and develops the intelligent agent system equipped with "Learning" skill. We propose inter active design environment for agent system with learning mechanism using repository-based agent framework called DASH framework. Proposed framework enables agent designer to design and implement the learning agents without highly expertise, therefore we can reduce the designer's bur den. In this paper, we explain the DASH framework, Q-learning, Profit Sharing and proposed design environment. Moreover we show the effectiveness of the proposal method through the some experiments.

关键词： interactive systems learning (artificial intelligence) object-oriented programming software agents

来源：评论

学校读者我要写书评

暂无评论

Automatically Characterising Components with Concerns and Reducing Tangling

Automatically Characterising Components with Concerns and Re...

引用

IEEE 37th Annual Computer Software and Applications Conference (COMPSAC)

作者： Tramontana, Emiliano Univ Catania Dipartimento Matemat & Informat I-95125 Catania Italy

ISBN: (纸本)9780769549873

Developing large systems exhibiting a high degree of modularity can be a difficult task even for experienced developers. Hindering modularity has several armful effects, such as decreased readability, higher complexity and difficulties to reuse and evolve components. This paper assists developers to achieve modularity of components by providing a way to automatically characterise the concerns within components according to the APIs they are based on. This allows finding the degree of tangling and scattering of concerns over methods and classes. Moreover, by means of the proposed approach developers are given suggestions on how to reduce tangling of some components, thanks to the use of a metric and refactoring techniques. For systems comprising thousand of classes this is a valuable support, since unassisted developers could miss appropriate refactoring opportunities, due to the large number of details they should take into account.

关键词： application program interfaces object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共199页 << < 70 71 72 73 74 75 76 77 78 79 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：