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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

108 篇 会议
104 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

168 篇 工学
- 125 篇 计算机科学与技术...
- 105 篇 软件工程
- 31 篇 信息与通信工程
- 22 篇 控制科学与工程
- 14 篇 机械工程
- 12 篇 生物工程
- 11 篇 光学工程
- 11 篇 生物医学工程（可授...
- 8 篇 材料科学与工程（可...
- 8 篇 电子科学与技术（可...
- 7 篇 动力工程及工程热...
- 7 篇 电气工程
- 7 篇 化学工程与技术
- 7 篇 交通运输工程
- 6 篇 仪器科学与技术
- 6 篇 建筑学
- 5 篇 土木工程
65 篇 理学
- 28 篇 数学
- 17 篇 生物学
- 11 篇 统计学（可授理学、...
- 10 篇 物理学
- 9 篇 化学
- 9 篇 系统科学
40 篇 管理学
- 23 篇 管理科学与工程(可...
- 20 篇 图书情报与档案管...
- 11 篇 工商管理
13 篇 医学
- 12 篇 临床医学
- 9 篇 基础医学(可授医学...
- 7 篇 药学(可授医学、理...
8 篇 法学
- 6 篇 法学
3 篇 经济学
3 篇 农学
1 篇 教育学
1 篇 文学
1 篇 军事学
1 篇 艺术学

主题

5 篇 semantics
4 篇 computational mo...
4 篇 machine learning
4 篇 blockchain
3 篇 scalability
3 篇 regression analy...
3 篇 computer archite...
3 篇 big data
3 篇 software as a se...
3 篇 stochastic syste...
3 篇 students
3 篇 cloud computing
3 篇 forecasting
3 篇 data models
2 篇 surveys
2 篇 object detection
2 篇 reinforcement le...
2 篇 deep learning
2 篇 deep neural netw...
2 篇 safety

机构

39 篇 state key labora...
24 篇 state key lab of...
21 篇 school of comput...
17 篇 state key labora...
8 篇 beijing advanced...
7 篇 department of co...
5 篇 university of ch...
5 篇 state key lab of...
4 篇 state key labora...
4 篇 state key lab. o...
4 篇 state key labora...
4 篇 zhongguancun lab...
4 篇 state key labora...
3 篇 department of co...
3 篇 hedps capt colle...
3 篇 state key lab.of...
3 篇 department of in...
3 篇 school of comput...
3 篇 department of co...
3 篇 state key lab of...

作者

8 篇 peng hao
8 篇 li zhoujun
8 篇 liu xianglong
7 篇 xu ke
6 篇 shilong ma
6 篇 yu philip s.
5 篇 tao dacheng
4 篇 li jianxin
4 篇 xu jun
4 篇 gong ruihao
4 篇 rui li
4 篇 wenjun wu
4 篇 wu wenjun
3 篇 zhang duo
3 篇 cai chun
3 篇 zhang linfeng
3 篇 liang peng
3 篇 bai xiao
3 篇 york darrin m.
3 篇 meikang qiu

语言

188 篇 英文
23 篇 其他
2 篇 中文

检索条件"机构=State Key Lab of Software Development Environment Department of Computer Science and Engineering"

共 212 条记录，以下是151-160 订阅

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

详细简洁

排序：

Congestion-aware message forwarding in delay tolerant networks: A community perspective

Congestion-aware message forwarding in delay tolerant networ...

引用

作者： Wei, Kaimin Dong, Mianxiong Weng, Jian Shi, Guangzhou Ota, Kaoru Xu, Ke Department of Computer Science Jinan University Guangzhou China Department of Information and Electronic Engineering Muroran Institute of Technology Muroran Japan State Key Lab of Software Development Environment Beihang University Beijing China

Summary In delay tolerant networks, most of the existing message forwarding algorithms prefer to deliver messages to the nodes with a higher popularity or centrality in the hope of maximizing the delivery ratio or minimizing the end-to-end delay. This forwarding scheme is prone to cause unfair load distribution and further lead to network congestion, overlooked in the previous work. In this paper, we discuss the network congestion from a community perspective and take it into account the design of message forwarding algorithms. We first put forward a novel distributed community detection approach, which could track the evolution of communities. Based on the identified communities, we develop a congestion avoidance mechanism to divert the load away from the congested areas to the alternative custodians and further present a congestion-aware message forwarding algorithm where messages can avoid being transmitted to the congested nodes. We finally evaluate the effectiveness of distributed community detection and congestion-aware message forwarding through the extensive real-trace driven simulations. © 2015 John Wiley & Sons, Ltd.

关键词： Delay tolerant networks

来源：评论

学校读者我要写书评

暂无评论

Efficient Predicate Analysis of MISRAC Programs

Efficient Predicate Analysis of MISRAC Programs

引用

2015 Joint International Mechanical,Electronic and Information Technology Conference(JIMET 2015)

作者： Feng Gao Li Li Jie Luo State Key Lab of Software Development Environment Department of Computer Science and Engineering Beihang University

ISBN: (纸本)9781510817982

Great care needs to be exercised when using C within safety-related systems. MISRA-C defines a suitable subset of C to be used in safety-related software development, which is easier for program analysis. Predicate abstraction refinement is one of the leading approaches to software verification. In this paper, we propose a procedure to analyze MISRA-C program with predicate abstraction efficiently. The efficiency of this process depends on lazy abstraction and imperative predicates set, which are designed for the program abstraction and predicate refinement procedures respectively. Besides, some features have been added to obtain the desired efficiency, such as initial predicates, pointer alias analysis and so on. Experiments show that it can result in a significant reduction of analysis time and improvement of memory usage compared to earlier methods.

关键词： MISRAC 7 Predicate Abstraction 7 Lazy Abstraction 7 CEGAR 7 Imperative Predicates

来源：评论

学校读者我要写书评

暂无评论

A Web Text Classification Technique for Unlabeled Training Samples

A Web Text Classification Technique for Unlabeled Training S...

引用

2015 6th IEEE International Conference on software engineering and Service science(ICSESS 2015)

作者： Francois Tchiegue Rui Li Shilong Ma State Key Lab.Of Software Development Environment School of Computer Science & Engineering Beihang University

The common classification is conducted under the supervised learning algorithms, which design classifiers through learning the labeled training samples. However, in actual situations, it is very costly to acquire class-labeled samples, because manually labeling documents requires a lot of time and efforts from experts. Therefore, it restrains the text classification to a great extent. To solve the issue that labeled texts are hard to retrieve from the Internet, this paper has proposed the text classification method combining Fuzzy Partition Clustering Method(FPCM) and Naive Bayesian Augment Learning to integrate the unsupervision of the clustering with the prior knowledge of the sample, which has solved the bottleneck problem of unlabeled training set in the text classification, further improved the classification performance by estimating the classification error loss to balance the sample selection, and constructed superior classification learning method.

关键词： text classification fuzzy partition clustering method naive bayesian augment learning clustering

来源：评论

学校读者我要写书评

暂无评论

The Use of Ontology in Case Based Reasoning for Reusable Test Case Generation

The Use of Ontology in Case Based Reasoning for Reusable Tes...

引用

2015 International Conference on Artificial Intelligence and Industrial engineering(AIIE 2015)

作者： Rui Li Shilong Ma State Key Lab.Of Software Development Environment School of Computer Science & Engineering Beihang University

ISBN: (纸本)9781510806450

As we know, software testing is an important part of software development lifecycle. More than 50% of the whole system development work and total cost were spend on the software testing. And it's estimated that almost 60% of the total test time and cost were spent on the design of test cases. In recent years, the automated testing gradually replaces the traditional manual testing to become an important branch of software testing. In automated testing, the most important thing is to design and generate valid test case automatically. In this paper, In order to reduce the workload of testers on the test case generation, improve the test efficiency and makes test experiences be passed on, we design a common description method for the test case based on ontology;propose a semantic similarity measure method to retrieve the usable test cases from test case library based on Word Net;establish the relationship between the test case and test requirement though rules to modify the retrieved test case;generate the final test case sequence. At last, the practical applicability of the approach is evaluated through an experiment.

关键词： software testing ontology test case generation semantic similarity measure

来源：评论

学校读者我要写书评

暂无评论

Ontology-based Requirements Generation for Credibility Validation of Safety-critical System

Ontology-based Requirements Generation for Credibility Valid...

引用

IEEE International Conference on Ubiquitous Computing and Communications

作者： Rui Li Shilong Ma Wentao Yao State Key Lab. Of Software Development Environment School of Computer Science & Engineering Beihang University Beijing 100191 China

ISBN: (纸本)9781509001552

As a kind of critical system, safety-critical system is always used for the key areas such as aerospace, national defense, transportation, nuclear energy, health and so on, which require the high security. Due to the inherent defects which caused by the complexity of the organizational structure, and the external threats which caused by the open and dynamic environment, some unexpected results will be produced inevitably which reduce the credibility of the safety-critical system. Therefore, requirements analysis for credibility validation has gradually become an essential work. However, there still lacks a systematic method to guide the elicitation of trustworthiness requirements. In this paper, we present an ontology-based requirements analysis method to elicit and model the credibility-related requirements. Using the formal representation, we model the system from static and dynamic aspects, model the inherent defects and the external threats that may exist. Further, we enable a set of rules to reason the requirements from the knowledge base we build. At last, the approach is evaluated on a mission electronic system.

关键词： ontology requirements analysis credibility validation safety-critical system

来源：评论

学校读者我要写书评

暂无评论

Causes of architecture changes: An empirical study through the communication in OSS mailing lists 27

Causes of architecture changes: An empirical study through t...

引用

27th International Conference on software engineering and Knowledge engineering, SEKE 2015

作者： Ding, Wei Liang, Peng Tang, Antony Van Vliet, Hans State Key Lab of Software Engineering School of Computer Wuhan University China Faculty of Science Engineering and Technology Swinburne University of Technology Australia Department of Computer Science VU University Amsterdam Netherlands Key Laboratory of Earthquake Geodesy Institute of Seismology China Earthquake Administration China

ISBN: (纸本)1891706373

Understanding the causes of architecture changes allows us to devise means to prevent architecture knowledge vaporization and architecture degeneration. But the causes are not always known, especially in open source software (OSS) development. This makes it very hard to understand the underlying reasons for the architecture changes and design appropriate modifications. Architecture information is communicated in development mailing lists of OSS projects. To explore the possibility of identifying and understanding the causes of architecture changes, we conducted an empirical study to analyze architecture information (i.e., architectural threads) communicated in the development mailing lists of two popular OSS projects: Hibernate and ArgoUML, verified architecture changes with source code, and identified the causes of architecture changes from the communicated architecture information. The main findings of this study are: (1) architecture information communicated in OSS mailing lists does lead to architecture changes in code;(2) the major cause for architecture changes in both Hibernate and ArgoUML is preventative changes. (3) more than 45% of architecture changes in both projects happened before the first stable version was released, which indicates that the architectures of the investigated OSS projects are relatively stable after the first stable release.

关键词： Open source software

来源：评论

学校读者我要写书评

暂无评论

Equipment Collaboration Expressions in Automatic Test of Safety Critical Systems

Equipment Collaboration Expressions in Automatic Test of Saf...

引用

2015 International Conference on Electrical, Automation and Mechanical engineering(EAME 2015)

作者： J.H.Lv B.Sun S.L.Ma X.J.Li State Key Lab of Software Development Environment School of Computer Science Beijing University China Academy of Space Technology

ISBN: (纸本)9781510806528

The trustworthiness of safety critical system(SCS) is very *** assess their trustworthiness depends on data from *** order to ensure the reliability and validity of test data,especially for such complex SCS,development of test languages is inevitable trend for automatic test of *** general test language for SCS should be independent of specific equipment,in the paper types and syntax of expressions of equipment collaboration are abstracted,evaluating rules for these expressions are designed,and related properties are proved so that to support the generality of SCS test languages.

关键词： trustworthiness automatic test equipment collaboration operational semantics SCS(Safety Critical System)

来源：评论

学校读者我要写书评

暂无评论

On bottleneck-aware arrangement for event-based social networks

On bottleneck-aware arrangement for event-based social netwo...

引用

International Conference on Data engineering Workshops

作者： Yongxin Tong Rui Meng Jieying She State Key Laboratory of Software Development Environment School of Computer Science and Engineering Beihang University China Department of Computer Science and Engineering The Hong Kong University of Science and Technology Clear Water Bay Hong Kong SAR China

ISBN: (纸本)9781479984435

With the popularity of mobile computing and social media, various kinds of online event-based social network (EBSN) platforms, such as Meetup, Plancast and Whova, is gaining in prominence. A fundamental task of managing EBSN platforms is to recommend suitable social events to potential users according to the following three factors: distances between events and users, attribute similarities between events and users and friend relationships among users. However, none of existing approaches consider all aforementioned influential factors when they recommend users to proper events. Furthermore, existing recommendation strategies neglect the bottleneck cases on the global recommendation. Thus, it is impossible for the existing recommendation solutions to achieve the optimal utility in real-world scenarios. In this paper, we first formally define the problem of bottleneck-aware social event arrangement (BSEA), which is proven to be NP-hard. To solve the BSEA problem approximately, we devise two greedy-based heuristic algorithms, Greedy and Random+Greedy. In particular, the Random+Greedy algorithm is faster and more effective than the Greedy algorithm in most cases. Finally, we conduct extensive experiments on real and synthetic datasets which verify the efficiency and accuracy of our proposed algorithms.

关键词： Heuristic algorithms Social network services Greedy algorithms Algorithm design and analysis Time complexity computer science

来源：评论

学校读者我要写书评

暂无评论

Parameters adaption of Lebesgue sampling-based diagnosis and prognosis for Li-ion batteries

Parameters adaption of Lebesgue sampling-based diagnosis and...

引用

2015 Annual Conference of the Prognostics and Health Management Society, PHM 2015

作者： Yan, Wuzhao Dou, Wanchun Liu, Datong Peng, Yu Zhang, Bin Department of Electrical Engineering University of South Carolina ColumbiaSC29208 United States Department of Computer Science and Technology State Key Lab. for Novel Software Technology Nanjing University NanjingJiangsu210093 China Department of Automatic Test and Control Harbin Institute of Technology HarbinHeilongjiang150080 China

ISBN: (纸本)9781936263202

Traditional fault diagnosis and prognosis (FDP) approaches are based on Riemann sampling (RS), in which samples are taken and algorithms are executed in a periodic time interval. With the increase of system complexity, the real-time implementation of this Riemann sampling-based FDP (RS-FDP) becomes a bottleneck, especially for distributed applications. To overcome this problem, a Lebesgue sampling-based FDP (LS-FDP) is proposed. LS-FDP takes samples on the fault dimension axis and provides a need-based diagnostic philosophy in which the algorithm is executed only when necessary. In previous Lebesgue sampling-based FDP, the Lebesgue length is a constant. To accommodate the change of fault dynamics, it is desirable to execute FDP algorithm more frequently when the fault growth is fast while less frequently when fault growth is slow. This requires to change the Lebesgue length adaptively. The goal of this paper is to deliver an improved LS-FDP method with varying Lebesgue length, which enables the FDP to be executed according to needs. The design and implementation of varying Lebesgue length LS-FDP based on a particle filtering algorithm are illustrated with experimental results on Li-ion batteries to verify the performances of the proposed approach. The experimental results show that the new varying LS-FDP is accurate and time-efficient on long term prognosis and also keeps a closer monitoring on the fast increase of fault size. © 2015, Prognostics and Health Management Society. All rights reserved.

关键词： Real time control

来源：评论

学校读者我要写书评

暂无评论

Forwarding links without browsing links in online social networks 26

Forwarding links without browsing links in online social net...

引用

26th International Conference on software engineering and Knowledge engineering, SEKE 2014

作者： Jiang, Jing Wang, Xiao Zhang, Li Dai, Yafei State Key Laboratory of Software Development Environment Beihang University Beijing China Department of Computer Science and Technology Peking University Beijing China

Online social networks(OSNs) become important platforms of information diffusion. People forward links pointing to interesting content, and share them with friends. Browsing links is generally considered as the previous step for forwarding links. However, few studies have confirmed this hypothesis before. The deep understanding of forwarding links can help OSNs to improve current forwarding mechanism, and allow people to read more information and forward more links. In this paper, we study the relationship between forwarding links and browsing links. We crawled a connected graph component of 42.1 million users, and 2.1 billion links forwarded by them. Moreover, we collected browsing records of 50,000 active users. Based on these datasets, we observe that 42% of users forward more than 50% of links without browsing links. Browsing links is often unnecessary for forwarding links. This finding changes the traditional concept of link dissemination in OSNs. We also find that when users directly forward links, they have more time to leave more comments and forward more links, which promotes the spreading of links. OSNs should encourage people to read snippets and directly forward links. Copyright © 2014 by Knowledge Systems Institute Graduate School.

关键词： Forwarding links Measurement Online social networks

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共22页 << < 12 13 14 15 16 17 18 19 20 21 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：