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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

4,788 篇 会议
353 册 图书
80 篇 期刊文献
1 篇 学位论文

馆藏范围

5,218 篇 电子文献
4 种 纸本馆藏

日期分布

学科分类号

3,588 篇 工学
- 3,087 篇 计算机科学与技术...
- 2,586 篇 软件工程
- 583 篇 信息与通信工程
- 434 篇 控制科学与工程
- 339 篇 电气工程
- 230 篇 机械工程
- 199 篇 电子科学与技术（可...
- 194 篇 生物工程
- 141 篇 安全科学与工程
- 137 篇 生物医学工程（可授...
- 107 篇 建筑学
- 99 篇 动力工程及工程热...
- 95 篇 土木工程
- 82 篇 材料科学与工程（可...
- 82 篇 交通运输工程
- 81 篇 仪器科学与技术
990 篇 理学
- 556 篇 数学
- 219 篇 生物学
- 172 篇 系统科学
- 169 篇 物理学
- 151 篇 统计学（可授理学、...
- 76 篇 化学
802 篇 管理学
- 569 篇 管理科学与工程(可...
- 302 篇 工商管理
- 289 篇 图书情报与档案管...
143 篇 医学
- 120 篇 临床医学
- 110 篇 基础医学(可授医学...
129 篇 教育学
- 126 篇 教育学
111 篇 经济学
- 111 篇 应用经济学
108 篇 法学
- 79 篇 社会学
41 篇 农学
11 篇 军事学
8 篇 文学
2 篇 艺术学

主题

374 篇 software enginee...
223 篇 software
173 篇 artificial intel...
154 篇 computer archite...
143 篇 information syst...
143 篇 application soft...
130 篇 computer communi...
114 篇 computer science
109 篇 hardware
109 篇 computer softwar...
108 篇 software enginee...
102 篇 real-time system...
94 篇 control systems
89 篇 computer aided s...
73 篇 software systems
72 篇 computational mo...
72 篇 software design
71 篇 software archite...
61 篇 software testing
61 篇 logics and meani...

机构

21 篇 college of compu...
10 篇 school of softwa...
9 篇 univ york dept c...
9 篇 dublin city univ...
8 篇 department of co...
8 篇 state key labora...
7 篇 school of comput...
7 篇 faculty of compu...
6 篇 school of comput...
6 篇 school of comput...
6 篇 shanghai key lab...
6 篇 college of compu...
6 篇 university of ne...
6 篇 faculty of compu...
6 篇 carleton univ de...
6 篇 univ haifa dept ...
6 篇 school of inform...
5 篇 univ chinese aca...
5 篇 hebrew universit...
5 篇 nanjing univ sta...

作者

14 篇 kupferman orna
14 篇 labiche yvan
12 篇 david lo
8 篇 mylopoulos john
8 篇 yilmaz murat
8 篇 reinhartz-berger...
8 篇 sturm arnon
8 篇 xin xia
8 篇 paige richard f.
7 篇 o'connor rory v.
7 篇 vardi moshe y.
7 篇 clarke paul m.
7 篇 biffl stefan
7 篇 briand lionel c.
7 篇 exman iaakov
6 篇 katz guy
6 篇 maoz shahar
6 篇 sulaiman shahida
6 篇 lakhmi c. jain
5 篇 bernady o. apduh...

语言

5,089 篇 英文
105 篇 其他
34 篇 中文
2 篇 德文
2 篇 俄文
1 篇 西班牙文

检索条件"任意字段=5th Israel Conference on Computer Systems and Software Engineering"

共 5222 条记录，以下是4871-4880 订阅

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

详细简洁

排序：

Electric Bill Comparison of Customers with Roof-Top PV Under Different Electricity Rates

Electric Bill Comparison of Customers with Roof-Top PV Under...

引用

Electrical, computer, Communications and Mechatronics engineering (ICECCME), International conference on

作者： Faraz Farhidi Maxim Rusakov Yahia Baghzouz Department of Economics Georgia State University Atlanta GA USA eVolution Innovation Group Bnei Brak Israel Dept. of Electrical & Computer Engineering University of Nevada Las Vegas Las Vegas NV USA

ISBN: (数字)9798350391183

ISBN: (纸本)9798350391190

Electric utility companies often provide their clients with a number of variable rate options to choose from in addition to the standard fixed rate. this article compares the annual electricity bill of a local residential customer with a roof-top PV system under five rate options that are currently available: fixed rate, time-of-use (TOU), critical peak pricing (CPP), daily demand pricing (DDP), and bundled TOU+CPP+DDP rate. the calculated bills are based on actual measurements, accumulated in 5-miniute intervals, of house energy consumption, PV generation, energy supplied by the grid and exported to the grid. Potential bill reduction by shifting energy consumption with the aid of a storage system under is also analyzed.

关键词： Photovoltaic systems Energy consumption Costs Power measurement Power demand Electricity Pricing Companies Power industry Standards

来源：评论

学校读者我要写书评

暂无评论

Automatic thesaurus construction 08

Automatic thesaurus construction

引用

Australasian computer Science conference

作者： Dongqiang Yang David M. Powers Flinders University of South Australia South Australia

ISBN: (纸本)9781920682552

the Australasian computer Science conference (ACSC) series is an annual forum, bringing together research sub-disciplines in computer Science. the meeting allows academics and researchers to discuss research topics as well as progress in the field, and policies to stimulate its growth. this volume contains papers presented at the thirty First ACSC in Wollongong, NSW, Australia. ACSC 2008 is part of the Australasian computer Science Week which ran from Jan 22nd to 25th, 2008.

the ACSC 2008 call for papers solicited contributions in all areas of computer science research. this years conference received submissions from Australia, New Zealand, China, France, India, Iran, Jamaica, Jordon, Malaysia, Pakistan, South Africa, Turkey, UK, and Taiwan. the topics addressed by the submitted papers illustrate the broadness of the discipline. the authors categorised their submissions into one or more of the following topics:

- Algorithms (9 papers)

- Artificial Intelligence (7 papers)

- Communications and Networks (4 papers)

- computer Architecture (2 paper)

- computer Vision (4 papers)

- Databases (5 papers)

- Distributed systems (6 papers)

- E-Commerce (4 papers)

- Formal Methods (6 papers)

- Graphics (6 papers)

- High Performance Computing (7 papers)

- Human-computer Interaction (8 papers)

- Mobile Computing (6 papers)

- Multimedia (1 paper)

- Object Oriented systems (3 papers)

- Ontologies (1 paper)

- Operating systems (5 papers)

- Programming Languages (4 papers)

- Robotics (1 paper)

- Scientific Computing (5 papers)

- Security and Trusted systems (5 papers)

- Simulation (6 papers)

- software engineering (5 papers)

- Speech (1 paper)

- theory (3 papers)

- Visualization (6 papers)

- Web Services (3 papers)

the programme committee consisted of 28 highly regarded academics from

关键词： syntactic dependency paper computer science Logic programming computer Programming Languages

来源：评论

学校读者我要写书评

暂无评论

Relative simulation and model checking of real-time processes 08

Relative simulation and model checking of real-time processe...

引用

Australasian computer Science conference

作者： Colin Fidge Queensland University of Technology Brisbane Queensland Australia

ISBN: (纸本)9781920682552

- Algorithms (9 papers)

- Artificial Intelligence (7 papers)

- Communications and Networks (4 papers)

- computer Architecture (2 paper)

- computer Vision (4 papers)

- Databases (5 papers)

- Distributed systems (6 papers)

- E-Commerce (4 papers)

- Formal Methods (6 papers)

- Graphics (6 papers)

- High Performance Computing (7 papers)

- Human-computer Interaction (8 papers)

- Mobile Computing (6 papers)

- Multimedia (1 paper)

- Object Oriented systems (3 papers)

- Ontologies (1 paper)

- Operating systems (5 papers)

- Programming Languages (4 papers)

- Robotics (1 paper)

- Scientific Computing (5 papers)

- Security and Trusted systems (5 papers)

- Simulation (6 papers)

- software engineering (5 papers)

- Speech (1 paper)

- theory (3 papers)

- Visualization (6 papers)

- Web Services (3 papers)

the programme committee consisted of 28 highly regarded academics from

关键词： simulation paper computer science Logic programming computer Programming Languages simulating Model checking

来源：评论

学校读者我要写书评

暂无评论

CT Image Super Resolution Based On Improved SRGAN

CT Image Super Resolution Based On Improved SRGAN

引用

International conference on computers, Communications, and systems (ICCCS)

作者： Xuhao Jiang Yifei Xu Pingping Wei Zhuming Zhou School of Software Xi’an Jiaotong University Xi’an China State Key Laboratory for Manufacturing Systems Engineering Xi’an Jiaotong University Xi’an China

ISBN: (数字)9781728161365

ISBN: (纸本)9781728161372

CT images are commonly used in medical clinical diagnosis. However, due to factors such as hardware and scanning time, CT images in real scenes are limited by spatial resolution so that doctors cannot perform accurate disease analysis on tiny lesion areas and pathological features. An image super-resolution (SR) method based on deep learning is a good way to solve this problem. Although many excellent networks have been proposed, but they all pay more attention to image quality indicators than image visual perception quality. Unlike other networks that focus more on image evaluation metrics, the super resolution generative adversarial network (SRGAN) has achieved tremendous improvements in image perception quality. Based on the above, this paper proposes a CT image super-resolution algorithm based on improved SRGAN. In order to improve the visual quality of CT images, a dilated convolution module is introduced. At the same time, in order to improve the overall visual effect of the image, the mean structural similarity (MSSIM) loss is also introduced to improve the perceptual loss function. Experimental results on the public CT image dataset demonstrate that our model is better than the baseline method SRGAN not only in mean opinion score(MOS), but also in peak signal-to-noise ratio (PSNR) and structural similarity (SSIM) values.

关键词： Computed tomography Convolution Visual perception Deep learning Training Biomedical imaging

来源：评论

学校读者我要写书评

暂无评论

Experiments in the dynamics of phase coupled oscillators when applied to graph colouring 08

Experiments in the dynamics of phase coupled oscillators whe...

引用

Australasian computer Science conference

作者： Sofianto Lee Raymond Lister University of Technology Sydney

ISBN: (纸本)9781920682552

- Algorithms (9 papers)

- Artificial Intelligence (7 papers)

- Communications and Networks (4 papers)

- computer Architecture (2 paper)

- computer Vision (4 papers)

- Databases (5 papers)

- Distributed systems (6 papers)

- E-Commerce (4 papers)

- Formal Methods (6 papers)

- Graphics (6 papers)

- High Performance Computing (7 papers)

- Human-computer Interaction (8 papers)

- Mobile Computing (6 papers)

- Multimedia (1 paper)

- Object Oriented systems (3 papers)

- Ontologies (1 paper)

- Operating systems (5 papers)

- Programming Languages (4 papers)

- Robotics (1 paper)

- Scientific Computing (5 papers)

- Security and Trusted systems (5 papers)

- Simulation (6 papers)

- software engineering (5 papers)

- Speech (1 paper)

- theory (3 papers)

- Visualization (6 papers)

- Web Services (3 papers)

the programme committee consisted of 28 highly regarded academics from

关键词： phase coupled oscillators paper computer science colored graph Logic programming computer Programming Languages

来源：评论

学校读者我要写书评

暂无评论

An efficient hash-based algorithm for minimal k-anonymity 08

An efficient hash-based algorithm for minimal k-anonymity

引用

Australasian computer Science conference

作者： Xiaoxun Sun Min Li Hua Wang Ashley Plank University of Southern Queensland Toowoomba Queensland Australia

ISBN: (纸本)9781920682552

- Algorithms (9 papers)

- Artificial Intelligence (7 papers)

- Communications and Networks (4 papers)

- computer Architecture (2 paper)

- computer Vision (4 papers)

- Databases (5 papers)

- Distributed systems (6 papers)

- E-Commerce (4 papers)

- Formal Methods (6 papers)

- Graphics (6 papers)

- High Performance Computing (7 papers)

- Human-computer Interaction (8 papers)

- Mobile Computing (6 papers)

- Multimedia (1 paper)

- Object Oriented systems (3 papers)

- Ontologies (1 paper)

- Operating systems (5 papers)

- Programming Languages (4 papers)

- Robotics (1 paper)

- Scientific Computing (5 papers)

- Security and Trusted systems (5 papers)

- Simulation (6 papers)

- software engineering (5 papers)

- Speech (1 paper)

- theory (3 papers)

- Visualization (6 papers)

- Web Services (3 papers)

the programme committee consisted of 28 highly regarded academics from

关键词： microdata release paper computer science Logic programming computer Programming Languages

来源：评论

学校读者我要写书评

暂无评论

A Local Broker enabled MobiPass architecture for enhancing trusted interaction efficiency 08

A Local Broker enabled MobiPass architecture for enhancing t...

引用

Australasian computer Science conference

作者： Will Tao Robert Steele University of Technology Sydney Broadway New South Wales

ISBN: (纸本)9781920682552

- Algorithms (9 papers)

- Artificial Intelligence (7 papers)

- Communications and Networks (4 papers)

- computer Architecture (2 paper)

- computer Vision (4 papers)

- Databases (5 papers)

- Distributed systems (6 papers)

- E-Commerce (4 papers)

- Formal Methods (6 papers)

- Graphics (6 papers)

- High Performance Computing (7 papers)

- Human-computer Interaction (8 papers)

- Mobile Computing (6 papers)

- Multimedia (1 paper)

- Object Oriented systems (3 papers)

- Ontologies (1 paper)

- Operating systems (5 papers)

- Programming Languages (4 papers)

- Robotics (1 paper)

- Scientific Computing (5 papers)

- Security and Trusted systems (5 papers)

- Simulation (6 papers)

- software engineering (5 papers)

- Speech (1 paper)

- theory (3 papers)

- Visualization (6 papers)

- Web Services (3 papers)

the programme committee consisted of 28 highly regarded academics from

关键词： ubiquitous computing paper computer science Ubiquitous computing Logic programming computer Programming Languages

来源：评论

学校读者我要写书评

暂无评论

Novel application of inverse design method by means of redesigning compressor vanned diffuser in a research jet engine 15

Novel application of inverse design method by means of redes...

引用

15th Mini conference on Vehicle System Dynamics, Identification and Anomalies, VSDIA 2016

作者： Zare, Foroozan Veress, Árpád Department of Aeronautics Naval Architecture and Railway Vehicles Faculty of Transportation Engineering and Vehicle Engineering Budapest University of Technology and Economics Műegyetem rkp. 3 BudapestH-1111 Hungary

ISBN: (纸本)9789633132661

the main goal of this article is to introduce the adaptation of a new method for redesigning compressor vanned diffuser in a research jet engine. the applied inverse design method is based on a finite volume and explicit time marching solution of the compressible Euler equations. Stratford's separation prediction method is used for determining the expected pressure distribution along the suction side of the profile on such a way that the cost effective and highly utilized vane geometry - which will belong to the expected pressure distribution: close but certain distances far from the separation - will provide less total pressure drop, higher static pressurize and more axial flow turning than the baseline design. Following the inverse design procedure for determining the new profile and verification of the result by ANSYS CFX inviscid and viscous flow simulations, the viscous module of the CFX software has been used to compare the results of the new and the original vanes with each other. Although the purpose of the present paper is to introduce a design technique for compressor vanned diffuser, the procedure can be extended and applied for other wall bounded flows at strong adverse pressure gradient flow conditions.

关键词： Design

来源：评论

学校读者我要写书评

暂无评论

Diagnosability of the strong product of paths and cycles under PMC Model

Diagnosability of the strong product of paths and cycles und...

引用

ACIS International conference on software engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD)

作者： Bu Chen Feng Li Computer College Qinghai Normal University Xi’ning China

ISBN: (数字)9798350391954

ISBN: (纸本)9798350391961

Graphs are suitable for modeling interconnection networks when designing parallel computing systems such as multiprocessor systems. Multiprocessor systems can significantly increase computational speed and efficiency by distributing tasks among multiple processors and allowing them to work simultaneously. If some processors fail, it can indeed have a significant impact on the parallel processing capability of a multiprocessor system. therefore, the diagnosability serves as a crucial parameter. It is unquestionable that an outstanding multiprocessor system exhibits robust fault diagnosis capability. Investigating the system’s interconnection network to determine its diagnosability is an essential step in designing highly reliable multiprocessor systems. In this paper, we construct a large network obtained by the strong product of paths and cycles, which is beneficial for a parallel computing system. We subsequently determine its diagnosability to be 5 under the PMC model. Additionally, it has some good properties and is suitable for designing multiprocessor systems.

关键词： Fault diagnosis Program processors Multiprocessor interconnection Computational modeling Reliability engineering Computational efficiency Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

Privacy preserving set intersection based on bilinear groups 08

Privacy preserving set intersection based on bilinear groups

引用

Australasian computer Science conference

作者： Yingpeng Sang Hong Shen The University of Adelaide Adelaide South Australia Australia

ISBN: (纸本)9781920682552

- Algorithms (9 papers)

- Artificial Intelligence (7 papers)

- Communications and Networks (4 papers)

- computer Architecture (2 paper)

- computer Vision (4 papers)

- Databases (5 papers)

- Distributed systems (6 papers)

- E-Commerce (4 papers)

- Formal Methods (6 papers)

- Graphics (6 papers)

- High Performance Computing (7 papers)

- Human-computer Interaction (8 papers)

- Mobile Computing (6 papers)

- Multimedia (1 paper)

- Object Oriented systems (3 papers)

- Ontologies (1 paper)

- Operating systems (5 papers)

- Programming Languages (4 papers)

- Robotics (1 paper)

- Scientific Computing (5 papers)

- Security and Trusted systems (5 papers)

- Simulation (6 papers)

- software engineering (5 papers)

- Speech (1 paper)

- theory (3 papers)

- Visualization (6 papers)

- Web Services (3 papers)

the programme committee consisted of 28 highly regarded academics from

关键词： set intersection paper Intersection of sets computer science Logic programming computer Programming Languages

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 484 485 486 487 488 489 490 491 492 493 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：