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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,050 篇 会议
868 篇 期刊文献
56 册 图书

馆藏范围

2,974 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,737 篇 工学
- 1,344 篇 计算机科学与技术...
- 1,114 篇 软件工程
- 333 篇 信息与通信工程
- 299 篇 控制科学与工程
- 165 篇 生物工程
- 145 篇 电气工程
- 120 篇 电子科学与技术（可...
- 119 篇 生物医学工程（可授...
- 114 篇 机械工程
- 84 篇 安全科学与工程
- 83 篇 光学工程
- 73 篇 动力工程及工程热...
- 66 篇 建筑学
- 66 篇 土木工程
- 65 篇 仪器科学与技术
- 65 篇 化学工程与技术
- 56 篇 网络空间安全
778 篇 理学
- 413 篇 数学
- 190 篇 生物学
- 147 篇 系统科学
- 145 篇 物理学
- 124 篇 统计学（可授理学、...
- 67 篇 化学
508 篇 管理学
- 360 篇 管理科学与工程(可...
- 200 篇 工商管理
- 191 篇 图书情报与档案管...
128 篇 医学
- 118 篇 临床医学
- 98 篇 基础医学(可授医学...
80 篇 法学
- 62 篇 社会学
60 篇 经济学
- 60 篇 应用经济学
54 篇 教育学
23 篇 农学
12 篇 文学
7 篇 军事学
3 篇 艺术学

主题

176 篇 software enginee...
135 篇 computer science
77 篇 computational mo...
75 篇 application soft...
71 篇 deep learning
71 篇 accuracy
70 篇 laboratories
68 篇 software systems
68 篇 machine learning
67 篇 software
61 篇 computer archite...
59 篇 artificial intel...
58 篇 training
52 篇 quality of servi...
52 篇 wireless sensor ...
49 篇 systems engineer...
49 篇 resource managem...
47 篇 grid computing
47 篇 security
46 篇 cloud computing

机构

31 篇 beijing key labo...
26 篇 grid computing a...
22 篇 college of compu...
22 篇 department of co...
22 篇 school of electr...
22 篇 seventh research...
21 篇 software enginee...
18 篇 department of sy...
18 篇 state key labora...
17 篇 software enginee...
12 篇 department of el...
12 篇 department of so...
12 篇 max planck insti...
12 篇 school of inform...
11 篇 institute for so...
11 篇 sri lanka instit...
10 篇 computing and so...
10 篇 school of softwa...
10 篇 department of so...
10 篇 school of intell...

作者

49 篇 rajkumar buyya
35 篇 junping du
32 篇 yingmin jia
25 篇 buyya rajkumar
24 篇 ismail leila
23 篇 fashan yu
19 篇 xenofon koutsouk...
15 篇 song houbing
15 篇 zamli kamal z.
14 篇 m. parashar
14 篇 biswas gautam
14 篇 gautam biswas
13 篇 materwala huned
12 篇 jafer shafagh
12 篇 veera boonjing
12 篇 leung victor c.m...
11 篇 philippe charlan...
11 篇 ahmed bestoun s.
11 篇 zander carol
11 篇 p.k. mckinley

语言

2,837 篇 英文
120 篇 其他
14 篇 中文
3 篇 日文
2 篇 俄文
1 篇 斯洛文尼亚文
1 篇 土耳其文

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

共 2974 条记录，以下是2851-2860 订阅

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

详细简洁

排序：

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

来源：评论

学校读者我要写书评

暂无评论

Incorporation of relational modeling method into object-oriented analysis

Incorporation of relational modeling method into object-orie...

引用

IEEE International Conference on Communications (ICC)

作者： Chung-Horng Lung J.E. Urban G.T. Mackulak Software Engineering Analysis Laboratory Nortel Technologies Inc. Ottawa ONT Canada Department of Computer Science Arizona State University Tempe AZ USA Systems Simulation Laboratory Industrial & Management Systems Engineering Arizona State University Tempe AZ USA

It is a generally accepted concept that multiple views are needed in object-oriented analysis or domain analysis techniques. Three commonly adopted models for requirements analysis include object model, functional model and dynamic model. This paper introduces and incorporates the concept of relational modeling into the analysis techniques. Relational modeling mainly deals with two tasks: classification of semantic relations and identification of higher-order system causal relations. Classification of semantic relations supports comparison and evaluation of various relations, which in turn can be used to select suitable methods to process the relations. A higher-order relation depicts the relations between different relations as opposed to the relations between objects often discussed in object modeling. A network of higher-order relations reveals the cause-effect dependency relationships and can facilitate understanding and reasoning of application systems. Furthermore, incorporation of relational modeling techniques can support software reuse in an application domain or across domains.

关键词： Object oriented modeling Application software Lungs computer science Computational modeling Analytical models computer simulation Laboratories Seals software engineering

来源：评论

学校读者我要写书评

暂无评论

Virtual Memory versus File Interface for Large, Memory-Intensive Scientific Applications

Virtual Memory versus File Interface for Large, Memory-Inten...

引用

Supercomputing Conference

作者： Yoonho Park R. Scott S. Sechrest High performance computing center University of Houston Houston TX USA Software Systems Research Laboratory Department of Electrical Engineering and Computer Science University of Michigan Ann Arbor MI USA

关键词： Memory Operating systems Control systems

来源：评论

学校读者我要写书评

暂无评论

Data and information architectures for large-scale distributed data intensive information systems

Data and information architectures for large-scale distribut...

引用

International Working Conference on Scientific and Statistical Database Management

作者： L. Kerschberg H. Gomaa D. Menasce Jong Pil Yoon Center for Information Systems Integration and Evolution George Mason University Fairfax VA USA Department of Information and Software Systems Engineering George Mason University Fairfax VA USA Department of Computer Science George Mason University Fairfax VA USA Sookmyung Woman's University South Korea

The Earth Observing System (EOS) Data and Information System (EOSDIS) is perhaps one of the most important examples of large-scale, geographically distributed, and data intensive systems. The paper presents various facets of a data and information architecture for EOSDIS. EOS data is organized by means of an object-oriented schema, while EOS knowledge is organized through multiple domain-specific thesauri, complemented by domain knowledge and rules. The information holdings are organized into the source data archives, a data warehouse which provides an integrated view of the information holdings, and information marts which generate value-added information products for specialized user communities. Finally a federated client-server architecture is proposed to allow non-EOSDIS systems to become members of the EOSDIS community, allowing them to access EOSDIS holdings, and sharing their own data with EOSDIS.

关键词： Large-scale systems Information systems Earth Observing System Satellites computer architecture NASA Large scale integration Planets Instruments Atmosphere

来源：评论

学校读者我要写书评

暂无评论

LAN fault management ensemble

LAN fault management ensemble

引用

IEEE Symposium on Network Operations and Management

作者： Y. Teshigawara N. Yoshie A. Komatsu T. Nakakawaji Department of Information Systems Science Engineering Soka University Tokyo Japan Information & Electronics Laboratories Sumitomo Electric Industries Limited Osaka Japan Computer Software Operation Unit Third Computer Software Division NEC Corporation Limited Tokyo Japan Information Technology Research and Development Center Mitsubishi Electric Corporation Limited Kamakura Kanagawa Japan

LAN systems are widely used in distributed environment and it becomes more indispensable to manage distributed LAN systems in an integrated manner as enterprise-level networks. This paper describes the LAN fault management ensemble which has been developed by the Ensemble Team of INTAP NM (Network Management) Technical Committee. Ensembles represent specific solutions to particular problems of the networks as a collection of managed resources, functions and scenarios. This ensemble provides a method of managing an enterprise-level private network in particular fault management areas. OSI management is adopted as a platform to manage LANs which are assumed to be managed by SNMP or OSI layer management protocols. This ensemble takes a state-oriented approach which is better suited, and provides more efficient integrated network management for large-scale enterprise networks containing many resources to be managed, because SNMP management is performed by polling based on the stateless approach. In addition, this ensemble adopts international standards or publicly available specifications regarding the necessary management information. Integrated management is executed by the OSI manager and proxy agents. Proxy agents act as OSI agents and convert information gathered by SNMP manager/agents or OSI layer management entities to OSI. Various network resources such as FDDI, Ethernet and MIB-II are defined on the basis of definition of the ISO/IEC, IEEE and NM Forum standards and additional necessary resources are uniquely defined for this ensemble requirements.

关键词： Local area networks Open systems Resource management Information management ISO standards IEC standards Environmental management Protocols Large scale integration FDDI

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共298页 << < 282 283 284 285 286 287 288 289 290 291 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：