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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

609 篇 会议
222 篇 期刊文献
3 册 图书

馆藏范围

834 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

637 篇 工学
- 537 篇 计算机科学与技术...
- 447 篇 软件工程
- 123 篇 信息与通信工程
- 91 篇 控制科学与工程
- 44 篇 电子科学与技术（可...
- 43 篇 电气工程
- 41 篇 生物工程
- 36 篇 机械工程
- 28 篇 动力工程及工程热...
- 26 篇 光学工程
- 23 篇 化学工程与技术
- 21 篇 材料科学与工程（可...
- 21 篇 建筑学
- 19 篇 安全科学与工程
- 18 篇 仪器科学与技术
- 18 篇 交通运输工程
- 17 篇 土木工程
- 16 篇 生物医学工程（可授...
- 9 篇 航空宇航科学与技...
358 篇 理学
- 260 篇 数学
- 59 篇 物理学
- 56 篇 统计学（可授理学、...
- 52 篇 系统科学
- 43 篇 生物学
- 27 篇 化学
213 篇 管理学
- 120 篇 管理科学与工程(可...
- 109 篇 图书情报与档案管...
- 57 篇 工商管理
25 篇 法学
- 19 篇 社会学
16 篇 经济学
- 16 篇 应用经济学
8 篇 医学
6 篇 教育学
6 篇 农学
4 篇 艺术学
1 篇 文学
1 篇 军事学

主题

22 篇 semantics
13 篇 computational mo...
13 篇 web services
12 篇 data mining
10 篇 computer science
10 篇 optimization
10 篇 forecasting
9 篇 clustering algor...
8 篇 conferences
8 篇 computer archite...
8 篇 neural networks
8 篇 analytical model...
7 篇 ordinary differe...
7 篇 software quality
7 篇 feature extracti...
7 篇 software
7 篇 cloud computing
7 篇 measurement
7 篇 privacy
7 篇 training

机构

89 篇 state key lab. f...
56 篇 state key lab. o...
28 篇 state key lab. o...
28 篇 university of ch...
26 篇 state key lab. o...
22 篇 state key lab. o...
22 篇 computer school ...
14 篇 tianjin key lab....
14 篇 state key lab. f...
13 篇 department of co...
13 篇 school of comput...
12 篇 beijing key lab....
12 篇 state key lab. o...
11 篇 key laboratory o...
10 篇 department of co...
10 篇 state key labora...
10 篇 school of comput...
10 篇 hunan provincial...
10 篇 school of comput...
10 篇 nanjing universi...

作者

23 篇 zhan naijun
20 篇 xue bai
15 篇 liu jin
12 篇 guosheng kang
11 篇 du junping
11 篇 chen ling
10 篇 liu wei
10 篇 wang hongan
10 篇 liu jianxun
9 篇 kang guosheng
9 篇 zhan bohua
8 篇 he keqing
8 篇 bai xue
8 篇 wu enhua
8 篇 sanglu lu
8 篇 he yanxiang
8 篇 dai guozhong
8 篇 jianxun liu
7 篇 zhang degan
7 篇 zhang xiaolong

语言

793 篇 英文
31 篇 中文
10 篇 其他

检索条件"机构=Key Lab. of System Software and State Key Lab. of Computer Science"

共 834 条记录，以下是81-90 订阅

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

详细简洁

排序：

Energy conservation using network coding in grid wireless sensor networks

Energy conservation using network coding in grid wireless se...

引用

International Workshop on Intelligent systems and Applications

作者： Kasireddy, Bharat Wang, Yun Liu, Jin Department of Computer Science Southern Illinois University Edwardsville IL United States State Key Lab. of Software Engineering Wuhan University China

ISBN: (纸本)9781424498574

This work investigates the energy consumption rate of an energy-constrained wireless sensor network and demonstrates that sensor energy dissipation can be reduced by employing network coding in terms of routing the same amount of sensing data to base stations through theoretical and simulation perspectives. In addition,this work examines the interplays between network parameters such as node density, traffic rate,and coding strategy and the performance gain of employing network coding for energy conservation in a grid wireless sensor *** provides insights into the design of wireless sensor networks and the deployment of network coding for energy conservation in practice. © 2011 IEEE.

关键词： Energy conservation

来源：评论

学校读者我要写书评

暂无评论

Timing Aspects Construction Using UML-MARTE Profile

Timing Aspects Construction Using UML-MARTE Profile

引用

International Conference on Trustworthy Computing and Services, ISCTCS 2012

作者： Sun, Qingqing Huang, Xiaopu Li, Jiangwei Zhang, Tian State Key Lab. for Novel Software Technology Nanjing University Nanjing China Department of Computer Science and Technology Nanjing University Nanjing China

ISBN: (纸本)9783642357947

Modern real time embedded systems are typically composed of multiple functional and nonfunctional concerns with nonfunctional concerns affect the former in many aspects. MARTE, an extension profile of UML2, aims to be the unified standard language for real time and embedded systems. Aspect-Oriented technology, as a complement to Object-Oriented technique, decomposes systems into distinct features by separating and modularizing crosscutting concerns. In this article, we illustrate how to use plenty of time modeling elements in MARTE profile to support comprehensive modeling of RTES. Similar to general crosscutting concerns, time concerns are often triggered at multiple concerns and tangled with other requirements. We try to deal with time as typically crosscutting concerns by AO technology. We practice these thoughts by means of examples and seek to explore an effective modeling mechanism using of both Aspect-Oriented methods and MARTE profile. © Springer-Verlag Berlin Heidelberg 2013.

关键词： Timing circuits

来源：评论

学校读者我要写书评

暂无评论

MDE-Based Verification of SysML state Machine Diagram by UPPAAL

MDE-Based Verification of SysML State Machine Diagram by UPP...

引用

International Conference on Trustworthy Computing and Services, ISCTCS 2012

作者： Huang, Xiaopu Sun, Qingqing Li, Jiangwei Zhang, Tian State Key Lab. for Novel Software Technology Nanjing University Nanjing China Department of Computer Science and Technology Nanjing University Nanjing China

ISBN: (纸本)9783642357947

state Machine Diagram (SMD) is one of the SysML behavior diagrams, but it is a kind of semi-formal model language. As a consequence, models can not be verified conveniently and efficiently, especially in real-time embedded system (RTES) field as there are no descriptions of time and probability in SMD. To address these problems, we extend SMD with time and probability elements extracted from MARTE and propose a transformation algorithm based on MDE. With the algorithm, we transform the extended SMD to timed automata (TA) and then analyze and verify the transformation result using existing tools. So at the very beginning of system design, errors and deficiencies can be found. At last, we construct an instance to illustrate the validity of our approach. © Springer-Verlag Berlin Heidelberg 2013.

关键词： Automata theory

来源：评论

学校读者我要写书评

暂无评论

USO- a new slope one algorithm based on modified user similarity

USO- a new slope one algorithm based on modified user simila...

引用

2012 International Conference on Information Management, Innovation Management and Industrial Engineering, ICIII 2012

作者： Sun, Mingtao Zhang, Hui Song, Shiyu Wu, Kejia State Key Software Development Environment Lab. Beihang University Beijing China School of Computer Science and Engineering Beihang University Beijing China

ISBN: (纸本)9781467319324

Recommendation algorithm based on collab.rative filtering strategy has achieved great success in the field of personalized recommendation, However, based on collab.rative filtering recommendation algorithm complexity is too high, over-fitting problem, the recommended accuracy requirements lead to the algorithm difficult to achieve in practical applications. Slope One algorithm greatly simplifies the complex process of collab.rative filtering algorithm, dramatically reducing the recommended system and maintenance difficulty, but at the same time recommended the accuracy will decline. Recommended in order to take into account the recommendation algorithm of low complexity and high accuracy, the authors propose the improved algorithm based on the correct user similarity Slope One - USO algorithm The inspection results show that the algorithm can effectively improve the accuracy of the recommendation of the slope-one algorithm. ©2012 IEEE.

关键词： Collab.rative filtering

来源：评论

学校读者我要写书评

暂无评论

Assigning block size based on speculation for parallel downloading

Assigning block size based on speculation for parallel downl...

引用

6th IEEE International Conference on computer and Information Technology, CIT 2006

作者： Fu, Jianming Fan, Hui School of Computer Science Wuhan University 430072 Wuhan China State Key Lab. of Software Engineering Wuhan University 430072 Wuhan China

ISBN: (纸本)076952687X

With the development of mirror sites, parallel downloading, which can decrease download latency, is becoming more and more popular. Dynamic parallel downloading can be adapted according to the fluctuation of network bandwidths, and has a better performance than static parallel downloading. To reduce the number of requesting document blocks, we propose a scheme in which block size is assigned based on speculation. It deals with the unbalance of assignments during downloading and decreases download latency effectively. Further more, we have implemented a parallel downloading prototype, which makes use of this scheme. Through experimental tests, this scheme shows its advantages of both download latency and the number of block assignments. © 2006 IEEE.

关键词： Parallel processing systems

来源：评论

学校读者我要写书评

暂无评论

A steep thermodynamical selection rule for evolutionary algorithms

A steep thermodynamical selection rule for evolutionary algo...

引用

7th International Conference on Computational science, ICCS 2007

作者： Ying, Weiqin Li, Yuanxiang Peng, Shujuan Wang, Weiwu State Key Lab. of Software Engineering Wuhan University Wuhan 430072 China School of Computer Science Wuhan University Wuhan 430079 China

ISBN: (纸本)9783540725893

The genetic algorithm (GA) often suffers from the premature convergence because of the loss of population diversity at an early stage of searching. This paper proposes a steep thermodynamical evolutionary algorithm (STEA), which utilizes a steep thermodynamical selection (STS) rule. STEA simulates the competitive mechanism between energy and entropy in annealing to systematically resolve the conflicts between selective pressure and population diversity in GA. This paper also proves that the rule STS has the approximate steepest descent ability of the free energy. Experimental results show that STEA is both far more efficient and much stabler than the thermodynamical genetic algorithm (TDGA). © Springer-Verlag Berlin Heidelberg 2007.

关键词： Evolutionary algorithms

来源：评论

学校读者我要写书评

暂无评论

An embedded co-AdaBoost and its application in classification of software document relation

An embedded co-AdaBoost and its application in classificatio...

引用

2012 8th International Conference on Semantics, Knowledge and Grids, SKG 2012

作者： Liu, Jin Li, Juan Xie, Yuan Lei, Jeff Hu, Qiping State Key Lab. of Software Engineering Computer School Wuhan University China State Key Lab. of Intelligent Control and Management of Complex Systems Institute of Automation CAS China Department of Computer Science and Engineering University of Texas Arlington TX United States International School of Software Wuhan University China

ISBN: (纸本)9780769547947

To enhance classification performance by making use of easily availab.e unlab.lled data to overcome the scarcity of lab.lled data, this paper proposes an Embedded Co-Adaboost algorithm that integrates multi-view learning into the Adaboost learning framework and at the same time leverages the advantages of Co-training algorithm for performance enhancement. Experimental results demonstrate the effectiveness of the proposed algorithm in terms of the convergence rate, the accuracy, and the steady performance as compared to the original AdaBoost algorithm, without relying on redundant and sufficient feature sets. As a algorithm application in software engineering, the Embedded Co-AdaBoost has been applied to the classification of software document relations to improve the quality of the architecture design documents and the reusability of design knowledge. © 2012 IEEE.

关键词： Reusability

来源：评论

学校读者我要写书评

暂无评论

Dynamics process of long-running allocation/collection in linear storage space

Dynamics process of long-running allocation/collection in li...

引用

2nd International Conference on Networking, Architecture, and Storage, NAS 2007

作者： Qiang, Cao Guo, Tian-Jie Xie, Chang-Sheng Key Lab. of Data Storage System Computer School of Sci. and Tech. Huazhong University of Science and Technology

ISBN: (纸本)0769529275

Storage system could provide storage space and relevant access operations including allocating storage resources to new object and reclaiming storage space occupied by released objects. Allocation and collection operations are frequent, basic and specially impact on data distribution in storage space. Contrarily, data distribution also heavily effect on performance of access operations including of allocation and collection. However, it is absent to study how above two basic operates effect on data distribution in long time running. In this paper, dynamics process of continuously allocating and collecting in linear storage space are analyzed and described. We firstly build an abstract theory model of storage system. Furthermore, the dynamics of allocating/collecting is discussed. We obtain relevant descriptive equation and prove the discrete degree of system to converge around a fixed value in both continuous and inconsecutive allocation cases. In the end, our simulation experiment also could validate academic analysis. © 2007 IEEE.

关键词： Dynamics

来源：评论

学校读者我要写书评

暂无评论

Access control algorithm on file view in intranets

Access control algorithm on file view in intranets

引用

2nd International Conference on Networks Security, Wireless Communications and Trusted Computing, NSWCTC 2010

作者： Ai, Yong Dong, Hongbin Wu, Xing Liang, Yiwen Computer School Wuhan University Wuhan China State Key Lab. of Software Engineering Wuhan University Wuhan China

ISBN: (纸本)9780769540115

Nowadays, a new security problem is arising in intranets. The threats from inside an organization account for a rapidly increasing proportion of losses. A new concept of "File View" is proposed to resolve this security problem in intranets, which uses the structure of database view for reference. Because of the differences between file system and database, there are some challenges in extending this proposal to file systems. This paper proposes an algorithm to protect confidential information in file system from being accessed by illegal users. First, the paper proposes an algorithm as "File View Access Control Algorithm"(FVACA) which revises the algorithms proposed in previous work. Then, to verify the feasible of this algorithm, this paper suggests to realize it on "Microsoft Office Word" which is one of the most popular digital formats used in intranets. For protecting the confidential information in file view, a method based on the compound format of "MSWord" is adopted. Finally, the experiment based on "MS Word" shows that FVACA is effective on protecting content from being accessed by illegal users. © 2010 IEEE.

关键词： Access control

来源：评论

学校读者我要写书评

暂无评论

A reinforced hungarian algorithm for task allocation in global software development 29

A reinforced hungarian algorithm for task allocation in glob...

引用

29th International Conference on software Engineering and Knowledge Engineering, SEKE 2017

作者： Yu, Xiao Wu, Man Jia, Xiangyang Liu, Ye State Key Lab. of Software Engineering Computer School Wuhan University Wuhan China School of Computer Science and Information Engineering HuBei University Wuhan China

ISBN: (纸本)1891706411

The allocation of software development tasks is a critical management activity in distributed development projects. One of the most important problem is to find the lowest-cost way to assign tasks in global software development, which can be solved by Hungarian algorithm. However, the original Hungarian algorithm only assume that a task can only be solved by one development site. The assumption is not agreed with the actual case where a software development task is usually be solved through a collab.ration among several sites. To address such an issue, this paper proposes a reinforced Hungarian algorithm (RHA) for task assignment in global software development. RHA consists of three major stages. First, RHA transforms a n×m cost matrix into two n×n cost matrix by adding (2n-m) virtual development sites. Second, RHA performs the original Hungarian algorithm on the two n×n cost matrix to get the optimal assignment results. Finally, RHA removes the (2n-m) virtual development sites and gets the final optimal assignment result for m tasks. Simulation results indicate that RHA is a viable approach for the task assignment problem in global software development.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共84页 << < 5 6 7 8 9 10 11 12 13 14 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：