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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,241 篇 会议
925 篇 期刊文献
59 册 图书

馆藏范围

3,225 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,870 篇 工学
- 1,451 篇 计算机科学与技术...
- 1,198 篇 软件工程
- 350 篇 信息与通信工程
- 313 篇 控制科学与工程
- 172 篇 生物工程
- 151 篇 电气工程
- 129 篇 生物医学工程（可授...
- 124 篇 机械工程
- 123 篇 电子科学与技术（可...
- 87 篇 光学工程
- 86 篇 安全科学与工程
- 76 篇 动力工程及工程热...
- 72 篇 建筑学
- 71 篇 化学工程与技术
- 68 篇 土木工程
- 66 篇 仪器科学与技术
819 篇 理学
- 434 篇 数学
- 198 篇 生物学
- 155 篇 物理学
- 149 篇 系统科学
- 129 篇 统计学（可授理学、...
- 73 篇 化学
551 篇 管理学
- 391 篇 管理科学与工程(可...
- 215 篇 工商管理
- 206 篇 图书情报与档案管...
139 篇 医学
- 127 篇 临床医学
- 106 篇 基础医学(可授医学...
89 篇 法学
- 64 篇 社会学
68 篇 教育学
- 67 篇 教育学
63 篇 经济学
- 63 篇 应用经济学
26 篇 农学
13 篇 文学
8 篇 军事学
3 篇 艺术学

主题

182 篇 software enginee...
144 篇 computer science
84 篇 application soft...
84 篇 computational mo...
76 篇 wireless sensor ...
74 篇 deep learning
72 篇 artificial intel...
71 篇 software systems
70 篇 laboratories
69 篇 software
69 篇 accuracy
68 篇 machine learning
64 篇 training
62 篇 computer archite...
61 篇 quality of servi...
51 篇 systems engineer...
51 篇 resource managem...
50 篇 security
48 篇 cloud computing
47 篇 grid computing

机构

48 篇 department of la...
44 篇 department of in...
34 篇 graduate school ...
31 篇 beijing key labo...
27 篇 department of co...
26 篇 grid computing a...
22 篇 department of co...
22 篇 school of electr...
22 篇 seventh research...
21 篇 college of compu...
21 篇 software enginee...
18 篇 department of sy...
18 篇 state key labora...
17 篇 software enginee...
16 篇 department of in...
13 篇 department of la...
12 篇 department of el...
12 篇 department of so...
12 篇 max planck insti...
12 篇 school of inform...

作者

67 篇 fatos xhafa
65 篇 leonard barolli
49 篇 rajkumar buyya
49 篇 arjan durresi
35 篇 junping du
33 篇 yingmin jia
25 篇 buyya rajkumar
24 篇 ismail leila
22 篇 fashan yu
21 篇 akio koyama
19 篇 tao yang
19 篇 xenofon koutsouk...
18 篇 gjergji mino
16 篇 song houbing
16 篇 makoto ikeda
15 篇 zamli kamal z.
15 篇 gautam biswas
14 篇 m. parashar
14 篇 biswas gautam
13 篇 materwala huned

语言

3,114 篇 英文
93 篇 其他
15 篇 中文
3 篇 日文
2 篇 俄文
1 篇 斯洛文尼亚文
1 篇 土耳其文

检索条件"机构=Computer Languages and Systems and Software Engineering Department"

共 3225 条记录，以下是3091-3100 订阅

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

详细简洁

排序：

Transferring artificial intelligence technology through a research center of excellence

Transferring artificial intelligence technology through a re...

引用

Proceedings of ISAI/IFIS Mexico-USA Collaboration in Intelligent systems Technologies

作者： C. Tsatsoulis J. Holtzman The University of Kansas Department of Electrical Engineering and Computer Science Center of Excellence for Software and Systems Engineering (CECASE) University of Kansas Lawrence KS USA

The Center of Excellence for software and systems engineering (CECASE) at the University of Kansas was established by the State of Kansas as a vehicle for developing and transferring advanced technology to Kansas businesses. In this paper we describe three CECASE projects that used three different methods of successfully transferring advanced Artificial Intelligence (AI) technology to Kansas companies. We describe the problems encountered, approaches tried, and successful solutions used. These projects and associated Al technology transfer methods can be used as models by other research and development organizations who wish to enhance the probability of success of their technology transfer.

关键词： Artificial intelligence Laboratories Educational institutions systems engineering and theory Commercialization Technology transfer Companies Design engineering software systems Business

来源：评论

学校读者我要写书评

暂无评论

Using object-oriented principles to optimize update propagation to materialized views

Using object-oriented principles to optimize update propagat...

引用

International Conference on Data engineering

作者： H.A. Kuno E.A. Rundensteiner Department of Elect. Engineering and Computer Science Software Systems Research Laboratory University of Michigan Ann Arbor MI USA

View materialization is known to be a valuable technique for performance optimization in relational databases, and much work has been done addressing the problem of consistently maintaining relational views under update operations. However, little progress has been made thus far regarding the topic of view materialization in object-oriented databases (OODBs). In this paper, we demonstrate that there are several significant differences between the relational and object-oriented paradigms that can be exploited when addressing the object-oriented view materialization problem. We use the subsumption relationships between classes to identify branches of classes to which we do not need to propagate updates. Similarly, we use encapsulated interfaces combined with the fact that any unique database property is inherited from a single location to provide a "registration/notification" service for optimizing incremental view updates. We also report results from the experimental studies we have run on the MultiView system measuring the impact of these optimization strategies.

关键词： Object oriented modeling Relational databases Object oriented databases computer science software systems Laboratories Optimization Programming profession NASA Prototypes

来源：评论

学校读者我要写书评

暂无评论

Augmented inherited multi-index structure for maintenance of materialized path query views

Augmented inherited multi-index structure for maintenance of...

引用

International Workshop on Research Issues in Data engineering

作者： H.A. Kuno E.A. Rundensteiner Department of Elect. Engineering and Computer Science Software Systems Research Laboratory University of Michigan Ann Arbor MI USA

Materialized complex object-oriented views are a promising technique for the integration of heterogeneous databases and the development of powerful data warehousing systems. Path query views are virtual classes formed from selection queries that specify a predicate upon the value of an aggregation hierarchy path. The primary difference between previous work regarding OODB indexing and the efficient implementation of materialized path query views addressed in this paper lies in the nature of their usage. For OODB indexing, query usage is the primary purpose of index structures. Because the materialized view data itself can be used to answer queries, the primary use of index structures with regard to materialized path query views is for the incremental maintenance of views in the face of updates. We have developed an augmented inherited multi-index (AIM) strategy that is specifically tailored for the maintenance of materialized path query views. We find that we can improve update performance by augmenting traditional inherited multi-indices with structured representations of the path queries that use them. This enables us to use class hierarchy relationships to prune the number of aggregation paths that must be re-instantiated during update propagation and also to support complex path queries that include cycles.

关键词： Object oriented databases Warehousing Indexing Distributed databases Workflow management software computer science software systems Laboratories Information technology Database systems

来源：评论

学校读者我要写书评

暂无评论

Consistent view removal in transparent schema evolution systems

Consistent view removal in transparent schema evolution syst...

引用

International Workshop on Research Issues in Data engineering

作者： V. Crestana-Taube E.A. Rundensteiner Department of Elect. Engineering and Computer Science Software Systems Research Laboratory University of Michigan Ann Arbor MI USA

We have developed the transparent schema evolution (TSE) system that, simulating schema evolution using object-oriented views, allows for the interoperability of applications with diverse and even changing requirements. TSE relieves users of the risk of making existing application programs obsolete when run against the modified schema, because the old view schema is maintained while a new view schema is generated to capture the changes desired by the user. However TSE may be generating a large number of schema versions (object-oriented view schemata) over time, resulting in an excessive build-up of classes and underlying object instances-some of which may potentially no longer be in use. We propose to solve this problem by developing techniques for effective and consistent schema removal. First, we characterize four potential problems of schema consistency that could be caused by removal of a single virtual class; and then outline our solution approach for each of these problems. Second, we demonstrate that view schema removal is sensitive to the order in which individual classes are processed. Our solution to this problem is the development of a dependency graph model for capturing the class relationships, used as a foundation for selecting among removal sequences. Designed to optimize the performance of the TSE system by effective schema version removal, the proposed techniques will enable more effective interoperability among evolving software applications.

关键词： Application software Object oriented modeling computer science software systems Laboratories Computational modeling Marine vehicles Design optimization software performance Veins

来源：评论

学校读者我要写书评

暂无评论

Extended real-time logic for hybrid systems controller design

Extended real-time logic for hybrid systems controller desig...

引用

IEE Colloquium on Hybrid Control for Real-Time systems

作者： J.G. Hall R. de Lemos High Integrity Systems Engineering Group Department of Computer Science University of York UK Centre for Software Reliability Department of Computing Science University of Newcastle UK

Summary form only given. Hybrid systems are systems which combine both continuous variable and discrete event dynamics. Their complexity has risen to the extent that traditional approaches which dealt separately with the continuous and discrete aspects of such systems have become obsolete. Instead of proposing a novel formal notation for the specification of controllers for hybrid systems we have developed extended real time Logic (ERTL) as a formal notation for the modelling and analysis of relative and absolute timing properties of hybrid systems. ERTL embeds the discrete system model of the real time logic (RTL) of Jahanian and Mok (1986, 1988) into continuous time, and adds the ability to reason about piecewise continuous functions using predicates over real valued variables. While RTL is able to formally describe the behaviour of computational entities in the time domain, ERTL also permits the formal description of the behaviour of physical entities in both value and time domains.

关键词： Discrete time systems

来源：评论

学校读者我要写书评

暂无评论

ERTL: an extension to RTL for the specification, analysis and verification of hybrid systems

ERTL: an extension to RTL for the specification, analysis an...

引用

Euromicro Conference on Real-Time systems

Real time logic (RTL) was introduced as a formalism for reasoning about the relative and absolute timing properties of computational tasks of discrete real-time systems. Extended real time logic (ERTL) is a formalism for the modelling and analysis of relative and absolute timing properties of hybrid systems (systems that combine continuous variables and discrete event dynamics). The extensions provided by ERTL enable the modelling of system behaviour ranging from activities of the physical entities that form part of the environment of a computing system, to the temporal ordering of the computational tasks of the computing system itself thus providing a formal notation that can be used in all stages of software development.

关键词： Real time systems Timing Logic Physics computing systems engineering and theory computer science software reliability Equations Hardware design languages Production systems

来源：评论

学校读者我要写书评

暂无评论

ASPECT-an Architecture SPECification Technique a report on work in progress

ASPECT-an Architecture SPECification Technique a report on w...

引用

International Conference and Workshop on engineering of computer-Based systems

作者： V. Kirova W. Rossak Department of Computer and Information Science Department of Computer and Information Science New Jersey Institute of Technology Newark NJ USA Department of Computer and Information Science Department of Computer and Information Science Software and Systems Engineering Laboratory New Jersey Institute of Technology Newark NJ USA

We discuss ASPECT, a first step towards a generic specification technique for software architectures. We present and discuss an abstract grammar for ASPECT that lists and relates to each other all the architectural elements that form ASPECT's vocabulary. After elaborating on the characteristics of these architectural elements, we illustrate their application in a small example.

关键词： computer architecture software systems systems engineering and theory Laboratories software architecture Information science Open systems Costs Decision support systems Standardization

来源：评论

学校读者我要写书评

暂无评论

Integration of a relational database with multimedia data

Integration of a relational database with multimedia data

引用

IEEE Annual International computer software and Applications Conference (COMPSAC)

作者： S.M. Chung P.S. Mah J.L. Kim Department of Computer Science and Engineering Wright State University Dayton OH USA Software Engineering Division Systems Engineering Research Institute Daejeon South Korea Software R & D Center Hyundai Electronics Industrial Company Limited Seoul South Korea

We propose a method for integrating a preexisting conventional database system with a multimedia server in a multidatabase environment. In the multidatabase environment, changes to the preexisting database system are not allowed because such changes are too expensive. For the integration, high-level semantic description of multimedia data is modeled using the enhanced entity-relationship (EER) model to support content-based retrieval of multimedia data. The EER design is translated into a schema of the preexisting database system and then the translated schema is integrated with the preexisting database schema. The content description can be used to locate pertinent multimedia data, and the identifiers are used to access the multimedia data stored in the multimedia server. However, with only a simple schema representation of the semantic description of multimedia data, high levels of recall and precision of queries may not be obtained because conventional database systems provide only exact matching answers to the query. Thus, we extended the conventional query processing mechanism by providing a modified cooperative query answering mechanism.

关键词： Relational databases Multimedia databases Database systems Information retrieval Videos Data engineering Content based retrieval systems engineering and theory Graphics Sprites (computer)

来源：评论

学校读者我要写书评

暂无评论

Virtual memory versus file interfaces for large, memory-intensive scientific applications 96

Virtual memory versus file interfaces for large, memory-inte...

引用

Proceedings of the 1996 ACM/IEEE conference on Supercomputing

作者： Yoonho Park Ridgway Scott Stuart Sechrest High Performance Computing Center University of Houston Houston TX Software Systems Research Laboratory Department of Electrical Engineering and Computer Science University of Michigan Ann Arbor MI

ISBN: (纸本)9780897918541

Scientific applications often require some strategy for temporary data storage to do the largest possible simulations. The use of virtual memory for temporary data storage has received criticism because of performance problems. However, modern virtual memory found in recent operating systems such as Cenju-3/DE give application writers control over virtual memory policies. We demonstrate that custom virtual memory policies can dramatically reduce virtual memory overhead and allow applications to run out-of-core efficiently. We also demonstrate that the main advantage of virtual memory, namely programming simplicity, is not lost.

关键词： custom policies

来源：评论

学校读者我要写书评

暂无评论

Fast simulation of tandem networks using importance sampling and stochastic gradient techniques

Fast simulation of tandem networks using importance sampling...

引用

IEEE International Conference on Communications (ICC)

作者： J.A. Freebersyser M. Devetsikiotis W.A. Al-Qaq J.K. Townsend U. S Army Research Ofice NC USA Department of Systems & Computer Engineering Carleton University Ottawa ONT Canada Compact Software Inc. Paterson NJ USA Department of Electrical & Computer Engineering North Carolina State University Raleigh NC USA

To obtain large speed-up factors in Monte Carlo simulation using importance sampling (IS), the modification, or bias of the underlying probability measures must be carefully chosen. In this paper, we utilize the stochastic gradient descent (SGD) algorithm, which uses stochastic gradient optimization techniques, to arrive at favorable IS bias parameter settings for the simulation of tandem queues with bursty traffic, geometric service times and a finite buffer. We describe in detail the experimental method associated with applying the SGD algorithm. Speed-up factors of 1 to 8 orders of magnitude over conventional Monte Carlo estimation of the cell loss probability are achieved for the examples presented.

关键词： Monte Carlo methods Stochastic processes Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共323页 << < 306 307 308 309 310 311 312 313 314 315 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：