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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

3,609 篇 会议
2,149 篇 期刊文献
36 册 图书

馆藏范围

5,794 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

3,412 篇 工学
- 2,074 篇 计算机科学与技术...
- 1,655 篇 软件工程
- 684 篇 信息与通信工程
- 640 篇 控制科学与工程
- 476 篇 电气工程
- 435 篇 电子科学与技术（可...
- 374 篇 生物工程
- 308 篇 机械工程
- 303 篇 生物医学工程（可授...
- 254 篇 光学工程
- 232 篇 仪器科学与技术
- 207 篇 动力工程及工程热...
- 187 篇 化学工程与技术
- 145 篇 交通运输工程
- 133 篇 材料科学与工程（可...
- 109 篇 安全科学与工程
1,851 篇 理学
- 851 篇 数学
- 574 篇 物理学
- 432 篇 生物学
- 283 篇 统计学（可授理学、...
- 227 篇 系统科学
- 186 篇 化学
908 篇 管理学
- 612 篇 管理科学与工程(可...
- 324 篇 图书情报与档案管...
- 276 篇 工商管理
315 篇 医学
- 266 篇 临床医学
- 211 篇 基础医学(可授医学...
- 138 篇 药学(可授医学、理...
142 篇 法学
- 116 篇 社会学
107 篇 经济学
- 106 篇 应用经济学
66 篇 农学
54 篇 教育学
20 篇 文学
17 篇 军事学
10 篇 艺术学
1 篇 哲学

主题

214 篇 computer science
118 篇 deep learning
110 篇 feature extracti...
99 篇 computational mo...
98 篇 accuracy
93 篇 machine learning
91 篇 systems engineer...
91 篇 control systems
90 篇 data mining
82 篇 neural networks
75 篇 artificial intel...
71 篇 optimization
69 篇 training
67 篇 laboratories
66 篇 costs
66 篇 humans
64 篇 hardware
59 篇 testing
55 篇 protocols
54 篇 information syst...

机构

72 篇 department of co...
39 篇 national enginee...
28 篇 college of compu...
25 篇 department of co...
24 篇 department of co...
24 篇 department of co...
22 篇 department of co...
22 篇 key laboratory o...
22 篇 department of sy...
22 篇 department of el...
22 篇 university of ch...
22 篇 distributed mult...
20 篇 department of el...
18 篇 department of el...
18 篇 school of comput...
18 篇 frontiers scienc...
18 篇 department of co...
17 篇 distributed mult...
17 篇 national enginee...
17 篇 department of co...

作者

25 篇 mei-ling shyu
24 篇 shu-ching chen
23 篇 hai jin
22 篇 yang yang
21 篇 chen shu-ching
21 篇 abdelwahed motwa...
20 篇 dutta paramartha
17 篇 wang xingjun
16 篇 shyu mei-ling
15 篇 han zhu
15 篇 paramartha dutta
14 篇 bowers john e.
13 篇 mohamed k.nour
13 篇 tei-wei kuo
13 篇 yunhao liu
13 篇 shen linlin
13 篇 ai bo
12 篇 kazuyuki kobayas...
12 篇 hayashi eiji
12 篇 liu qi

语言

5,169 篇 英文
500 篇 其他
115 篇 中文
14 篇 日文
2 篇 朝鲜文
1 篇 德文

检索条件"机构=Department of Computer Science& System Engineering"

共 5794 条记录，以下是4201-4210 订阅

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

详细简洁

排序：

Secret sharing via noisy broadcast channels

Secret sharing via noisy broadcast channels

引用

IEEE International Symposium on Information Theory

作者： Lifeng Lai Yingbin Liang Wenliang Du Shlomo Shamai Department of System Engineering University of Arkansas at Little Rock Little Rock AR USA Department of Electrical Engineering and Computer Science Syracuse University Syracuse NY USA Department of Electrical Engineering Technion-Israel Institute of Technology Haifa Israel

ISBN: (纸本)9781457705960

We consider the secret sharing problem, in which a dealer distributes a secret among a set of participants in such a manner that only qualified sets of users can recover the secret by pooling their shares together while non-qualified sets of users will obtain no information about the secret even if they pool their shares together. In contrast to the existing solutions that are mainly based on number theoretic tools, we propose a physical layer approach that exploits the presence of random noise inherent to wireless channels for secret sharing. Two different scenarios are considered. In the first scenario, the classic secret sharing problem with a single secret message is considered, in which qualified sets are specified by a general access structure. A secret sharing scheme is proposed by constructing a secure coding scheme for an equivalent compound wiretap channel. Based on this approach, both lower and upper bounds on the secret sharing capacity are obtained. For some special cases, the secret sharing capacity is fully characterized. In the second scenario, a generalization of the classic secret sharing problem is proposed, in which multiple secret messages are required to be recovered at different qualified sets. A secret sharing scheme is provided by constructing an equivalent broadcast channel with compound eavesdroppers and constructing a secure coding scheme for the equivalent channel.

关键词： Cryptography Receivers Compounds Noise measurement Transmitters Encoding Wireless communication

来源：评论

学校读者我要写书评

暂无评论

Service Replication Strategies with MapReduce in Clouds

Service Replication Strategies with MapReduce in Clouds

引用

International Symposium on Autonomous Decentralized systems (ISADAS)

作者： Wei-Tek Tsai Peide Zhong Jay Elston Xiaoying Bai Yinong Chen Department of Computer Science and Technology Tsinghua University Beijing China School of Computing Informatics and Decision System Engineering Arizona State University Tempe AZ USA

The current implementations of cloud environment do not have suitable mechanism through which services can be managed to make use of cloud resources. The services in these environments can passively serve users' request only. If a service receives more requests than it can handle in a certain time period, it is subject to malfunctioning. This paper proposes a new approach to service replications that allows a cloud to adjust its service instance deployments in response to existing and projected service request loads. This approach defines an optimal service replication strategy based on MapReduce, a processing model used extensively in GAE (Google App Engine) to solve huge data processing tasks. This service replication strategy is implemented by Service Level MapReduce (SLMR). To better support for SLMR, service replication technology is introduced, which include dynamic service replication and pre-deployed service replication. Furthermore, a passive SLMR approach that depends on the cloud management service (CMS) and a positive SLMR approach that does not need the support from CMS will be introduced.

关键词： Cloud computing Servers computer architecture Google Timing Speech recognition Dispatching

来源：评论

学校读者我要写书评

暂无评论

An Approach for Service Composition and Testing for Cloud Computing

An Approach for Service Composition and Testing for Cloud Co...

引用

International Symposium on Autonomous Decentralized systems (ISADAS)

作者： Wei-Tek Tsai Peide Zhong Janaka Balasooriya Yinong Chen Xiaoying Bai Jay Elston Department of Computer Science and Technology Tsinghua University Beijing China School of Computing Informatics and Decision System Engineering Arizona State University Tempe AZ USA

As cloud services proliferate, it becomes difficult to facilitate service composition and testing in clouds. In traditional service-oriented computing, service composition and testing are carried out independently. This paper proposes a new approach to manage services on the cloud so that it can facilitate service composition and testing. The paper uses service implementation selection to facilitate service composition similar to Google's Guice and Spring tools, and apply the group testing technique to identify the oracle, and use the established oracle to perform continuous testing for new services or compositions. The paper extends the existing concept of template based service composition and focus on testing the same workflow of service composition. In addition, all these testing processes can be executed in parallel, and the paper illustrates how to apply service-level MapReduce technique to accelerate the testing process.

关键词： Testing Ontologies Companies Silicon Cloud computing Software Programming

来源：评论

学校读者我要写书评

暂无评论

The Minimum Principle for Time-Varying Hybrid systems with State Switching and Jumps

The Minimum Principle for Time-Varying Hybrid Systems with S...

引用

IEEE Conference on Decision and Control

作者： Benjamin Passenberg Marion Leibold Olaf Stursberg Martin Buss Institute of Automatic Control Department of Electrical Engineering and Information Technology Technische Universitat Munchen Munchen Germany Institute of Control and System Theory Department of Electrical Engineering and Computer Science University of Kassel Kassel Germany

ISBN: (纸本)9781612848006

The hybrid minimum principle (HMP) is extended to hybrid systems with autonomous (internally forced) switching on switching manifolds, controlled (externally forced) switching, jumps of the continuous state when switching, and time-varying functions for specifying the continuous and discrete dynamics. The formulation of the hybrid optimal control problem (HOCP) includes running, switching, and terminal costs. The HMP provides necessary optimality conditions for a solution of the HOCP and can be used as basis for developing numerical optimal control algorithms.

关键词： minimum principle hybrid systems switching time varying Manifolds

来源：评论

学校读者我要写书评

暂无评论

Parameter estimation of an industrial evaporator with hybrid dynamics byasmoothing approach

Parameter estimation of an industrial evaporator with hybrid...

引用

作者： Mynttinen, Ines Runge, Erich Li, Pu Institute of Automation and System Engineering Technische Universität Ilmenau Gustav-Kirchhoff-Strasse 1 Ilmenau Germany Institute of Physics Technische Universität Ilmenau Weimarer Strasse 32 Ilmenau Germany Department of Computer Science and Automation Technische Universität Ilmenau Ilmenau Germany

ISBN: (纸本)9789898425782

Evaporation systems are essential in process industries. Due to phase transitions and changes of operating modes these systems has to be classified as hybrid systems and the simulation and optimization based on detailed models is often a challenging if not an intractable task. In this study we apply a smoothing approach in order to modify the hybrid model such that the discrete transitions are integrated into a system of differential algebraic equations leading to exclusively smooth trajectories. The simulation results of the smooth model are compared to those of the original hybrid model. With a view to parameter estimation the sensitivity with respect to the smoothing parameter as well as the parameters to be estimated are calculated. The parameter estimation is carried out for the smooth model and the dependence of the optimization results on the smoothing parameter is investigated.

关键词： Parameter estimation

来源：评论

学校读者我要写书评

暂无评论

The Modelling and Verification of PLC Program Based on Interactive Theorem Proving Tool COQ

The Modelling and Verification of PLC Program Based on Inter...

引用

2011 International Conference on computer science and Information Technology(ICCSIT 2011)

作者： Litian Xiao Mengyuan Li Ming Gu Jiaguang Sun National Laboratory for Information Science and Technology Key Laboratory for Information System Security Ministry of EducationDepartment of Computer Science and Technology School of Software Tsinghua University Beijing Special Engineering Design and Research Institute National Laboratory for Information Science and Technology Key Laboratory for Information System Security Ministry of Education Department of Computer Science and Technology School of Software Tsinghua University

COQ is an interactive theorem proving tool. The paper abstractly describes the feature of COQ, the architecture and working modes of PLC program with the example of typical PLC. It also introduces the first-order logic syntax and semantics of Intuitionistic Logic. It briefly introduces the main Gallina language syntax elements, the corresponding use methods and main theorem proving tactic on COQ. The work has modeled kernel data type and basic statements and and the denotational semantics of PLC program with Gallina. It has given the correctness proof of PLC program based on theorem proving, i.e. based on semantics function the relationship of configuration between the before codes execution and the after is proved. The main purpose is to prove whether a PLC program satisfies certain nature within a scan period.

关键词： PLC Program, Embedded system, Verification, Denotational Semantics, Theorem Proving, COQ

来源：评论

学校读者我要写书评

暂无评论

ACF comparison of various spreading sequences for T-DMB watermarking system

ACF comparison of various spreading sequences for T-DMB wate...

引用

International Conference on Information and Communication Technology Convergence (ICTC)

作者： Seungho Lee Junghoon Lee Yongtae Lee Myungsun Baek Bomi Lim Jungkyu Rho Incheol Jeong Jaesang Cha Department of Media Engineering Seoul National University of Science and Technology Seoul South Korea Principal Member of Engineering Staff Broadcasting System Research Department Broadcasting & Telecommunication Media Research Division ETRI South Korea Department of Computer Science. Seokyeong University Seoul South Korea Department of Computer and Communication Engineering Sungkonghoe University Seoul South Korea

This paper compared ACF(Auto Correlation Feature) characteristics for ZCD, Kasami and Golay codes. Sequence codes have been used as a spreading sequence in order to overcome ICI(Inter Code Interference) caused by transmitter and MPI(Multiple Path Interference) in receiver. In this paper, we abstracted characteristics of each spreading code and analyzed the properties of them.

关键词： Correlation Watermarking Density estimation robust algorithm Mathematical model Interference Equations Error analysis

来源：评论

学校读者我要写书评

暂无评论

Disturbance attenuation property for random disturbances in two-degree-of freedom optimal servo control systems

Disturbance attenuation property for random disturbances in ...

引用

International Conference on Advanced Mechatronic systems (ICAMechS)

作者： Yusuki Kishimoto Shiro Masuda Akira Yano System Engineering Tokyo Metropolitan University Tokyo Japan Electrical Engineering Mathematics and Computer Science Tokyo Metropolitan University Tokyo Japan Department of Systems Engineering Graduate School of Okayama University Okayama Japan

The two-degrees-of-freedom optimal servo control systems have advantages that the integral gain can be tuned for improving feedback properties such as disturbance attenuation properties, while tracking property is independently designed of feedback properties using nominal controlled process model. However, the earlier works have not studied the effect of the integral. This paper considers the effect of the integral gain in the two-degrees-of-freedom optimal servo control systems in the presence of random disturbances. From the simulation study, there exist a tradeoff relation between the tracking property and output variance depression.

关键词： Quantization Servomotors Indexes Reactive power Optimization Computational modeling Optimal control

来源：评论

学校读者我要写书评

暂无评论

PEPCP: A Power-Efficient Parallel Coherence Protocol for Large-Scale Network-on-Chip

PEPCP: A Power-Efficient Parallel Coherence Protocol for Lar...

引用

International Conference on Parallel Processing (ICPP)

作者： Fucen Zeng Lin Qiao Wei Wang Tsinghua National Laboratory for Information Science and Technology Department of Computer Science and Technology Tsinghua University Beijing China National Digital Switching System Engineering and Technology Research Center Zhengzhou China

This paper presents a power-efficient parallel cache coherence protocol for network-on-chip interconnection fabric on many core chips. With the increasing numbers of processor cores, a directory-based cache coherence protocol is more scalable and expected to be used for the future chip architectures. However, the characterization of directory-based protocol on a NoC platform shows that many cycles are used to perform command communications to ensure the data consistency before a data packet is transmitted or processed, which restricts the performance. In this paper, a parallel cache coherence protocol is designed to address the problem, which decouples the transmission of the data packets and command packets. Specifically, the parallel mechanism also provides an opportunity to reduce power consumption by using power-optimized wires. A formal speedup model has been established to estimate the performance of this approach. Simulation experiments show significant performance improvement and good system scalability: (1) the average latency reductions are 4.38%, 5.35%, 8.53% and 11.25% for 16, 32, 64, and 128-cores, respectively, (2) the numbers of the L2 cache accesses are greatly reduced, (3) the proposed protocol improves the system performance with up to 18.6%, and (4) the average power savings are 5.66%, 8.14%, 10.73%, and 13.23% for 16, 32, 64 and 128-cores, respectively.

关键词： Coherence Wires Transient analysis Routing protocols Data communication Fabrics

来源：评论

学校读者我要写书评

暂无评论

Cross-cultural study on feasible sound levels of possible warning sounds for quiet vehicles

Cross-cultural study on feasible sound levels of possible wa...

引用

40th International Congress and Exposition on Noise Control engineering 2011, INTER-NOISE 2011

作者： Yamauchi, Katsuya Menzel, Daniel Fastl, Hugo Takada, Masayuki Nagahata, Koji Iwamiya, Shin-Ichiro Division of Electrical Engineering and Computer Science Faculty of Engineering Nagasaki University Bunkyo-machi 1-14 Nagasaki 852-8521 Japan AG Technische Akustik MMK TU München Archisstrasse 21 München 80333 Germany Communication Design Science Faculty of Design Kyushu University Shiobaru 4-9-1 Minami-ku Fukuoka 815-8540 Japan Department of Human Support System Faculty of Symbiotic Systems Science Fukushima University 1 Kanayagawa Fukushima 960-1296 Japan

ISBN: (纸本)9781618392800

Electric and hybrid electric vehicles (EV/HEV) have the advantage of being more environmentally friendly and quieter than internal combustion engine vehicles. However, reduced noise can also lead to potentially dangerous situations for pedestrians when an oncoming vehicle is inaudible due to background noise (e.g. Kerber and Fastl, internoise 2007). The installation of devices that produce warning sounds in vehicles to alert pedestrians is being considered in various countries. Because this is a global topic, it is of vital interest to determine whether there exist cross-cultural differences. Pilot studies on this topic were performed in Japan (Yamauchi et al., internoise 2010) and, with improved input devices and test procedure, in Germany (Menzel et al., DAGA 2011). The level of three possible warning sounds (engine noise, car horn, and band-pass noise) were adjusted in presence of four different urban background sounds (busy street, residential area, heavy traffic, and shopping area) in laboratory environments. In the first part of the experiments, subjects were asked to adjust the level of the warning sounds so that they were clearly audible and could be reliably detected in the background noise. In the second part the goal was to adjust the level so that the warning sounds were just audible. The results of the adjustments showed no significant difference between the two subjects groups. The results were discussed in view of inter-individual and intraindividual differences. Moreover, the results were compared to current recommendations for sound levels of warning sounds in quiet vehicles.

关键词： Acoustic noise

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 417 418 419 420 421 422 423 424 425 426 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：