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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

255 篇 会议
56 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

192 篇 工学
- 169 篇 计算机科学与技术...
- 128 篇 软件工程
- 26 篇 控制科学与工程
- 19 篇 信息与通信工程
- 15 篇 交通运输工程
- 14 篇 机械工程
- 14 篇 生物工程
- 9 篇 建筑学
- 8 篇 土木工程
- 8 篇 网络空间安全
- 7 篇 电气工程
- 6 篇 材料科学与工程（可...
- 6 篇 动力工程及工程热...
- 3 篇 光学工程
- 3 篇 电子科学与技术（可...
92 篇 理学
- 70 篇 数学
- 16 篇 生物学
- 13 篇 统计学（可授理学、...
- 9 篇 系统科学
- 7 篇 物理学
70 篇 管理学
- 39 篇 管理科学与工程(可...
- 31 篇 图书情报与档案管...
- 14 篇 工商管理
- 5 篇 公共管理
9 篇 医学
- 8 篇 公共卫生与预防医...
- 4 篇 基础医学(可授医学...
- 4 篇 临床医学
8 篇 经济学
- 8 篇 应用经济学
8 篇 法学
- 6 篇 社会学
4 篇 艺术学
- 4 篇 设计学（可授艺术学...
2 篇 农学
1 篇 教育学

主题

26 篇 software testing
21 篇 petri nets
20 篇 testing
20 篇 web services
16 篇 software
15 篇 model checking
13 篇 software quality
10 篇 analytical model...
9 篇 quality of servi...
9 篇 computational mo...
9 篇 semantics
9 篇 cloud computing
8 篇 laboratories
8 篇 feature extracti...
7 篇 software reliabi...
7 篇 algorithm design...
7 篇 security
7 篇 training
6 篇 computer science
6 篇 deep learning

机构

165 篇 shanghai key lab...
72 篇 school of comput...
55 篇 department of co...
40 篇 shanghai key lab...
24 篇 department of co...
19 篇 shanghai key lab...
17 篇 shanghai key lab...
17 篇 school of comput...
16 篇 school of inform...
10 篇 school of cyber ...
9 篇 shanghai key lab...
8 篇 school of comput...
8 篇 east china unive...
7 篇 shanghai jiao to...
7 篇 guangxi collabor...
7 篇 computing center...
6 篇 shanghai enginee...
6 篇 east china norma...
6 篇 faculty of engin...
6 篇 beijing key lab....

作者

32 篇 yu huiqun
31 篇 miao huaikou
30 篇 lizhi cai
29 篇 fan guisheng
25 篇 cai lizhi
21 篇 zhenyu liu
21 篇 chen liqiong
16 篇 huaikou miao
14 篇 liu zhenyu
13 篇 chen mingang
13 篇 chen shengbo
11 篇 mingang chen
11 篇 gao honghao
10 篇 liu pan
10 篇 zhang juan
9 篇 genxing yang
9 篇 hongwei zeng
9 篇 chunhe xia
9 篇 tianbo wang
8 篇 zeng hongwei

语言

306 篇 英文
4 篇 其他
1 篇 中文

检索条件"机构=Shanghai Key Laboratory of Computer Software Testing&Evaluating"

共 311 条记录，以下是171-180 订阅

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

详细简洁

排序：

Applying Probabilistic Model Checking to Service Discovery Framework

Applying Probabilistic Model Checking to Service Discovery F...

引用

IEEE International Conference on Services Computing (SCC)

作者： Honghao Gao Huaikou Miao Yucong Duan Jinyu Kai School of Computer Engineering and Science Shanghai University Shanghai P.R. China Shanghai Key Laboratory of Computer Software Evaluating&Testing Shanghai P.R. China College of Information Science and Technology Hainan University Haikou P.R. China

The complex requirements of E-commerce application call for selecting a set of Web services to reuse theirs business logics, where Service Oriented Architecture (SOA) provides a promising solution to the problem of cross-platform services integration. To this purpose, how to discovery services is a key to support the quick services composition, which has been a challenging task in Web application engineering. However, the traditional approaches have limitations in recall ratio and precision ratio because the keyword and semantic annotation query modes are hard to verify the target Web service, such as interaction behaviors and control flows of composite service. In this paper, it proposes a probabilistic model checking based service discovery method. First, it focuses on service reliability and time constraints to formalize the probabilistic behaviors of service process. Second, the quantitative verification properties of user requirements are specified in the form of temporal logic formulae. Third, the service discovery is to verify service process model against expected properties for identifying candidate services. Finally, in order to reduce model checking tasks, the correlation based service recommendation is introduced to explore more suitable services for user. Our framework improves the efficiency of service discovery without changing any existing service infrastructures.

关键词： Probabilistic logic Model checking Clocks Web services Business Time factors

来源：评论

学校读者我要写书评

暂无评论

Research on energy saving method of IDC CRAC system based on prediction of working load

Research on energy saving method of IDC CRAC system based on...

引用

2015 International Conference on Smart and Sustainable City and Big Data, ICSSC 2015

作者： Zou, Yan Wu, Fei Xing, Jian Smart Home Group School of Electronic and Electrical Engineering Shanghai University of Engineering Science Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China

ISBN: (纸本)9781785610325

Amid the information era, energy consumption of IDC computer Room Air Conditioning (CRAC) system is becoming increasingly serious, thus there is growing concern over energy saving and consumption reduction. Based on the analysis of the energy saving application of the air conditioning system in the present computer room, a new energy saving method of the IDC CRAC system, which presents energy saving decision based on the prediction of equipment load state, is proposed. Its principle is collection of CPU utilization reflected the change of equipment state according to the predict of distribution condition of the next cycle by building and decomposing the original time series and building a seasonal decomposition model with Holt Winters forecasting method. Choosing a reasonable and effective decision-making scheme of the air conditioning system can realize energy saving control. Simulation experiments represent that energy consumption is reduced by 18.75% during the experiment with the energy saving method proposed in this paper and the energy saving advantage is fully reflected.

关键词： Energy conservation

来源：评论

学校读者我要写书评

暂无评论

A file-driven complicated workflow automated test framework

A file-driven complicated workflow automated test framework

引用

International Conference on Information and Automation (ICIA)

作者： Zhenyu Liu Qiang Chen Lizhi Cai Testing and Evaluating Shanghai Key Laboratory of Computer Software Shanghai China

ISBN: (纸本)9781467391054

The complicated workflow is need to develop some complex scripts, which contains data and not easy to modify in automation testing tools. The paper proposed an automatic test framework to fulfill workflow testing requirements. The test framework should develop single file according to the each test requirement. The file is defined executed object and related test data, which drive by test framework. A detail object description and data design method is introduced. The application case is given used with framework and compared to the current method and only use the native script. The experiment and detailed case proved the proposed method is effective.

关键词： software Automation Graphical user interfaces software testing Manuals Browsers

来源：评论

学校读者我要写书评

暂无评论

Modeling and analyzing adaptive energy consumption for service composition 27

Modeling and analyzing adaptive energy consumption for servi...

引用

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

作者： Fan, Guisheng Yu, Huiqun Chen, Liqiong Department of Computer Science and Engineering East China University of Science and Technology Shanghai200237 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai201112 China Department of Computer Science and Information Engineering Shanghai Institute of Technology Shanghai200235 China

ISBN: (纸本)1891706373

In this paper, Petri nets are used to model the different components of service composition, and form the energy consumption model of service composition based on the relationship between components, Agent is also introduced in the energy consumption management process. Then, an adaptive energy consumption strategy are proposed to dynamically ensure that service composition can get the lowest energy consumption. The operational semantics and related theories of Petri nets help establish the correctness of our proposed method. We have also performed two simulations to evaluate our proposed approach. Results show that it can help reveal the structural and behavioral characteristics of energy consumption in service composition.

关键词： Energy utilization

来源：评论

学校读者我要写书评

暂无评论

Research on software Quality Evaluation for Application of Smart City

Research on Software Quality Evaluation for Application of S...

引用

International Conference on computer Science and Network Technology

作者： Zhenyu Liu Lizhi Cai Yun Hu Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China

ISBN: (纸本)9781467381741

The smart city is developed to accessible wider range of interests in difference application. Our focus is quality evaluation on software application of smart city. The paper proposes an evaluation system for smart city, which focus on data, interface and corresponding applications. The specific quality model and related technology are proposed to various quality characters. The evaluator is not only to recognize the quality of application for smart city, but also to define the character to some extent. The quality evaluation has to support the typical software application and prove practicable by studying the specific cases.

关键词： smart city quality evaluation application quality quality evaluation Smart cities city data interfaces software quality

来源：评论

学校读者我要写书评

暂无评论

Benchmark testing for Transwarp Inceptor——A big data analysis system based on in-memory computing

Benchmark Testing for Transwarp Inceptor——A big data analy...

引用

2015 4th National Conference on Electrical,Electronics and computer Engineering(NCEECE 2015)

作者： Mingang Chen Zhenqiang Chen Wanggen Liu Zhengyu Liu Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai Development Center of Computer Software Technology

ISBN: (纸本)9781510819085

The high demand for data analysis and rapid development of big data technology and application has led to a variety of commercial and open source big data processing systems launched by industry and academia. So how to test and evaluate these systems objectively has become an important research topic. In this paper, we propose and develop an automated benchmark testing solution based on TPC-DS for Transwarp Inceptor, a big data analysis system. Test includes generating and loading a 500 GB data set and creating 24 tables and testing the performance of the system and SQL compatibility by executing 99 standard SQL queries. The test results can provide reference for enterprises to compare and choose big data analysis systems.

关键词： Benchmark testing Transwarp Inceptor Big data

来源：评论

学校读者我要写书评

暂无评论

Static Analysis Technique of Cross-Browser Compatibility Detecting

Static Analysis Technique of Cross-Browser Compatibility Det...

引用

International Conference on Applied Computing and Information Technology/International Conference on Computational Science and Intelligence (ACIT-CSI)

作者： Sujuan Xu Hongwei Zeng School of Computer Engineering and Science Shanghai University Shanghai Key Laboratory of Computer Software Evaluating & Testing Shanghai China

ISBN: (纸本)9781467396431

Web application developers have been bothered about cross-browser compatibility problems caused by different kinds of Web browsers. Existing techniques and tools commonly compare and analyze screenshots of Web sites rendering in different browsers. In this paper, we propose a technique for statically analyzing cross-browser compatibility problems. Our approach can easily detect whether Web applications contain HTML5 incompatible features and generate a report containing the HTML5 incompatible features in the Web site for developers.

关键词： Browsers Feature extraction HTML Databases Internet testing Rendering (computer graphics)

来源：评论

学校读者我要写书评

暂无评论

Formal specification and reasoning for situated multi-agent system

Formal specification and reasoning for situated multi-agent ...

引用

International Conference on computer and Information Science (ACIS)

作者： Zhuang Li Huaikou Miao School of Computer Engineering Science Shanghai University Shanghai China Shanghai Key Laboratory of Computer Software Evaluating&Testing Shanghai China

We present a formal specification to engineer situated multi-agent Systems (situated MAS), which has revealed the need for specifying and reasoning of its global property. This paper shows how MAS is specified with modified Object-Z notation with trace semantic of action system, and how to reason about safety and liveness property in this specification. Independent and joint MAS examples are are used to illustrate specifying and reasoning in specification for situated MAS.

关键词： Noise measurement

来源：评论

学校读者我要写书评

暂无评论

Surface Defects Detection of Railway Turnouts

Surface Defects Detection of Railway Turnouts

引用

第三十四届中国控制会议

作者： Li Shen Xiukun Wei Limin Jia State Key Laboratory of Railway Traffic Control and Safety Beijing Jiaotong University Shanghai Key Laboratory of Computer Software Evaluating & Testing(Shanghai Development Center of Computer Software Technology)

ISBN: (纸本)9781467374439

As the turnout is a critical part of railway tracks, its surface defects are directly related to the operation safety. The defects detection of turnout is an effect way to ensure the safety and comfort of urban transit railway. In this paper, the feature extraction of the turnout defects is investigated based on the bogie acceleration measurements. The normal turnout model and faulty turnout model based on SIMPACK are established first, from which the vehicle vibration acceleration is obtained. Then, the acceleration signal is analyzed in time- frequency domain. The results show that the power spectral density(PSD) and all the frequency-domain features are useful for detecting the poor fit defect of the switch point. And the peak and PSD features can be used to detect the curve opposite super-elevation. The proposed method provides alternative for the detection of turnout defects by using in-service vehicle.

关键词： turnout,defects feature,poor fit of switch point,curve opposite super-elevation

来源：评论

学校读者我要写书评

暂无评论

Detection of Railway Track Squats by Using Bogie Acceleration Measurement

Detection of Railway Track Squats by Using Bogie Acceleratio...

引用

第三十四届中国控制会议

作者： Xianxian Yin Xiukun Wei Limin Jia State Key Laboratory of Railway Traffic Control and Safety Beijing Jiaotong University Shanghai Key Laboratory of Computer Software Evaluating & Testing(Shanghai Development Center of Computer Software Technology)

ISBN: (纸本)9781467374439

The railway track squat is one of the most dangerous track defects, it causes large dynamic contact force at the wheel-rail interface, leading to fast deterioration of the track, bring significant harm to the safety of the passengers. Early detection of such defects is very important for timely maintenance. In this paper, a squats detection method based on bogie acceleration(BA) measurement is presented. A simulation model with acceleration sensors is set up in the SIMPACK simulation environment. Time-frequency analysis and wavelet packet decomposition are applied to analyze these BA data obtained from the simulation model. The effectiveness of the above approach is demonstrated by simulation results.

关键词： squats BA measurement time-frequency domain analysis wavelet packet decomposition

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共32页 << < 14 15 16 17 18 19 20 21 22 23 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：