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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

276 篇 会议
60 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

209 篇 工学
- 185 篇 计算机科学与技术...
- 140 篇 软件工程
- 30 篇 控制科学与工程
- 21 篇 信息与通信工程
- 16 篇 交通运输工程
- 15 篇 机械工程
- 14 篇 生物工程
- 11 篇 建筑学
- 9 篇 土木工程
- 8 篇 材料科学与工程（可...
- 8 篇 网络空间安全
- 7 篇 电气工程
- 6 篇 动力工程及工程热...
- 4 篇 电子科学与技术（可...
- 4 篇 石油与天然气工程
- 4 篇 安全科学与工程
97 篇 理学
- 73 篇 数学
- 16 篇 生物学
- 13 篇 统计学（可授理学、...
- 9 篇 系统科学
- 8 篇 物理学
73 篇 管理学
- 42 篇 管理科学与工程(可...
- 32 篇 图书情报与档案管...
- 14 篇 工商管理
- 5 篇 公共管理
9 篇 医学
- 8 篇 公共卫生与预防医...
- 4 篇 基础医学(可授医学...
8 篇 经济学
- 8 篇 应用经济学
8 篇 法学
- 6 篇 社会学
5 篇 艺术学
- 5 篇 设计学（可授艺术学...
2 篇 农学
1 篇 教育学

主题

29 篇 software testing
23 篇 testing
21 篇 petri nets
20 篇 software
20 篇 web services
15 篇 model checking
13 篇 software quality
10 篇 analytical model...
10 篇 cloud computing
9 篇 laboratories
9 篇 quality of servi...
9 篇 computational mo...
9 篇 semantics
8 篇 algorithm design...
8 篇 feature extracti...
8 篇 security
7 篇 software reliabi...
7 篇 costs
7 篇 business
7 篇 training

机构

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

作者

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

语言

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

检索条件"机构=Shanghai Key Laboratory of Computer Software Testing and Evaluation"

共 336 条记录，以下是191-200 订阅

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

详细简洁

排序：

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)

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Chinese character recognition based on 8-direction feature extraction 4

Chinese character recognition based on 8-direction feature e...

引用

4th International Conference on Multimedia Technology, ICMT 2015

作者： Lu, Ping Yang, Yi Sheng, Bin Li, Ping Chen, Mingang Wu, Dan School of Information Science and Engineering Southeast University Nanjing China Department of Computer Science and Engineering Shanghai Jiao Tong University Shanghai China Department of Mathematics and Information Technology Hong Kong Institute of Education Hong Kong Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai Development Center of Computer Software Technology Shanghai China Information Center China Southern Power Grid Co. Ltd Guangzhou China

ISBN: (纸本)9781138027947

The field of practical character recognition has seen great advances these years, owing the to proposition of effective newmethod and progress in computer hardware. However, lots of problems like precision and progressing speed remain to be solved. This paper proposes a useful practical optical character recognition method of both Chinese character and English character. Given a photo randomly taken, we pre-progress it to undo the influence of light and tilt. Then we separate each word to extract 8-direction chain-code feature of it. When faced with complex scene, the method we propose achieve relatively high precision and fast speed. © 2015 Taylor & Francis Group.

关键词： Optical character recognition

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

A Visual Modeling and Transformation Tool for Multiple Representations of Probabilistic Behavior Model

A Visual Modeling and Transformation Tool for Multiple Repre...

引用

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

作者： Kun Zhao Huaikou Miao Jinyu Kai Jiaan Zhou Honghao Gao School of Computer Engineering and Science Shanghai University Shanghai China Shanghai Key Laboratory of Computer Software Testing & Evaluating Shanghai China Computing Center Shanghai University Shanghai China

ISBN: (纸本)9781467396431

Probabilistic model checker plays an important role in quantitative verification for required properties of probabilistic behavior model. PRISM is a well-used tool to be used as a probabilistic model checker. It takes PRISM language to describe probabilistic behavior model. But it is difficult for users of variety background to understand the PRISM language quickly. Meanwhile, manually writing is error-prone and it may miss some information of model. In addition, probabilistic behavior model may appear in many forms, such as UML state diagram, probability matrix, and so on, which should be manually written to the corresponding PRISM model for probabilistic model checking. It increases the cost and error-prone. To settle these problems, this paper introduces a prototype tool, implemented in Java and Graphviz toolkit, called VMTT (Visual Modeling and Transformation Tool) which supports visual modeling and transformation for multiple representations of probabilistic behavior model including probabilistic matrix, XMI form of UML state diagram and PRISM language. VMTT can also call PRISM for the verification of required properties of probabilistic behavior model that provides convenience for the users of PRISM.

关键词： Unified modeling language Probabilistic logic Visualization Analytical models Computational modeling Model checking Java

来源：评论

学校读者我要写书评

暂无评论

Survivability prediction of web system based on log statistics

Survivability prediction of web system based on log statisti...

引用

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

作者： Jiaan Zhou Huaikou Miao Jinyu Kai Kun Zhao Honghao Gao School of Computer Engineering and Science Shanghai University Shanghai China Shanghai Key Laboratory of Computer Software Testing & Evaluating Shanghai China Computing Center Shanghai University Shanghai China

Widely applied and quickly developed as the SOA theory has been, the instability of distributed Web services will lead to services composition failure. Currently, a hot research topic is that when does the system can make an appropriate adjustment of the system structure dynamically to ensure the system runs at the best performance while the runtime environment or requirement is changed. To address this problem, this paper proposes an approach to predicting the system survivability which bases on log statistic. The method gets the system usage model by monitoring Web log files, and then constructs value model and adopts quantitative model checking to forecast the system survivability to estimate whether the system is survivable in a certain period of time.

关键词： Model checking Business Markov processes Data models Web services Predictive models Probabilistic logic

来源：评论

学校读者我要写书评

暂无评论

software quality testing model for mobile application

Software quality testing model for mobile application

引用

11th International Conference on Mobile Web Information Systems, MobiWIS 2014

作者： Liu, Zhenyu Hu, Yun Cai, Lizhi Shanghai Key Laboratory of Computer Software Testing and Evaluation Shanghai Development Center of Computer Software Technology Shanghai China

ISBN: (纸本)9783319103587

With the rapid development of the network technology, intelligent device and mobile applications has been the developed fastly. The mobile device will increasingly widely used even replace the traditional computer, the application test for mobile Internet was put on the agenda. From this paper, the characteristics of mobile applications are analyzed. The paper proposed quality model and quality attributes corresponding to testing requirements for mobile applications under mobile Internet. Also relevant properties testing techniques and methods is given to pay attention during the test from different test view, which indicating that the quality of the final model could be effective for mobile applications. © 2014 Springer International Publishing.

关键词： computer software selection and evaluation

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共34页 << < 16 17 18 19 20 21 22 23 24 25 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：