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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

253 篇 会议
56 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

193 篇 工学
- 170 篇 计算机科学与技术...
- 129 篇 软件工程
- 26 篇 控制科学与工程
- 19 篇 信息与通信工程
- 15 篇 交通运输工程
- 15 篇 生物工程
- 14 篇 机械工程
- 9 篇 建筑学
- 8 篇 土木工程
- 8 篇 网络空间安全
- 7 篇 电气工程
- 6 篇 材料科学与工程（可...
- 6 篇 动力工程及工程热...
- 4 篇 光学工程
- 3 篇 电子科学与技术（可...
93 篇 理学
- 71 篇 数学
- 17 篇 生物学
- 14 篇 统计学（可授理学、...
- 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 篇 school of comput...
16 篇 school of inform...
16 篇 shanghai key lab...
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 篇 faculty of engin...
6 篇 beijing key lab....
5 篇 the university o...

作者

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

语言

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

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

共 309 条记录，以下是91-100 订阅

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

详细简洁

排序：

PSO-Based Black-Box Lane Detection Adversarial Attack

PSO-Based Black-Box Lane Detection Adversarial Attack

引用

Artificial Intelligence, Human-computer Interaction and Robotics (AIHCIR), International Conference on

作者： Hongtao Fang Ruiyun Wang Zeyu Ma Mingang Chen Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai Polytechnic University shanghai china Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai Normal University shanghai china Shanghai Key Laboratory of Computer Software Testing and Evaluating shanghai china

Autonomous driving has achieved rapid development and promising performance by employing machine learning algorithms to automatically execute various maneuvers. Lane detection is one of the foremost tasks for vehicles, with a direct impact on driving decisions. Lane detection is a crucial component of autonomous driving, working in conjunction with lane centering control (LCC) and adaptive cruise control (ACC) to enable advanced driving assistance functions. At first thought, lane detection may seem immune to attacks. However, is this really the case? In this paper, we conduct experiments on lane detection modules and reveal their susceptibility to attacks exploiting hypersensitivity. Specifically, an excessively sensitive lane detector may mistake small markings for valid lanes, causing the vehicle to follow the wrong path. Through experiments, we demonstrate the vulnerability of lane detection models to adversarial attacks, even under black-box conditions where a change in one pixel can induce errors. We discuss the contrast between gradient-based and heuristic search-based optimization methods for black-box attacks and demonstrate the superiority of heuristic approaches for this task. Leveraging particle swarm optimization (PSO), we carry out lane detection attacks to address the research gap for black-box lane attacks.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Novel Automated software Test Technology with Cloud Technology

A Novel Automated Software Test Technology with Cloud Techno...

引用

Symposia and Workshops on Ubiquitous, Autonomic and Trusted Computing, UIC-ATC

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

ISBN: (纸本)9781479976478

This paper studies the software test with automated test tool under cloud environment. The automated software test technology could speed up the test efficiency and less down the work of test engineers. On the cloud technology, the automated test tool should make some modification to adapt for cloud. The paper proposes the test integrated technology with automated test tool on cloud-based environment. This technology connects cloud-based environment and the automated test tool. The fully test procedure also are proposed to support test design, script develop and script execute. The cloud technology is used to test some applications with the automated test tool and archive the expected outcome.

关键词： testing Cloud computing Virtual machining Virtualization Conferences

来源：评论

学校读者我要写书评

暂无评论

An integrated recommendation approach based on influence and trust in social networks

引用

9th FTRA InternationalConference on Future Information Technology, FutureTech 2014

作者： Li, Weimin Ye, Zhengbo Jin, Qun School of Computer Engineering and Technology Shanghai University Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China Graduate School of Human Sciences Waseda University Tokorozawa Japan

ISBN: (纸本)9783642550379

In real human society, influence on each other is an important factor in a variety of social activities. It is obviously important for recommendation. However, the influence factor is rarely taken into account in traditional recommendation algorithms. In this study, we propose an integrated approach for recommendation by analyzing and mining social data and introducing a set of new measures for user influence and social trust. Our experimental results show that our proposed approach outperforms traditional recommendation in terms of accuracy and stability. © 2014 Springer-Verlag Berlin Heidelberg.

关键词： Economic and social effects

来源：评论

学校读者我要写书评

暂无评论

Petri nets based modeling and analysis of UPnP security ceremonies

Petri nets based modeling and analysis of UPnP security cere...

引用

Pacific-Asia Conference on Circuits, Communications and System

作者： Zheng, Hong Li, Chunfang Chen, Zhihua School of Information Science and Engineering East China University of Science and Technology Shanghai 200237 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 200235 China

ISBN: (纸本)9781457708565

UPnP is a universal plug and play technology which is widely used in the digital family network. The UPnP security ceremonies expend the UPnP technology to meet the important security requirement. This paper introduces a formal method named the Petri Net, using its advantage such as intuitive graphical representation and rigorous mathematical theory to model the security control of the UPnP security ceremonies. This paper simulates the security control in actual security system, using occurrence step and transition sequence of Petri Net model to analyze the accessibility of model and verify the non-repudiation and security of system. © 2011 IEEE.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

evaluating software Maintainability Using Fuzzy Entropy Theory

Evaluating Software Maintainability Using Fuzzy Entropy Theo...

引用

International Conference on computer and Information Science (ACIS)

作者： Lizhi Cai Zhenyu Liu Juan Zhang Weiqin Tong Genxing Yang Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China School of Computer Engineering and Science Shanghai University China Shanghai Key Laboratory of Computer Software Evaluating and Testing China

With the development of information technology, a large number of software products enter the maintenance phase. The maintainability of software products continues to attract people's attention. This paper proposes a new synthetic maintainability evaluation model basing on fuzzy entropy theory. In the model, the weight of different indexes is calculated by combining the entropy weight and expert weight. The entropy weight can be obtained through measuring the difference of membership degree of the index which reflects the consistency of the expert opinion. The evaluation result is more objective and reasonable. It provides a guideline to design a software product with high maintainability.

关键词： Indexes Entropy software ISO standards software measurement Information entropy

来源：评论

学校读者我要写书评

暂无评论

Context-Based Service Recommendation System Using Probability Model in Mobile Devices 4

Context-Based Service Recommendation System Using Probabilit...

引用

4th International Conference on Enterprise Systems, ES 2016

作者： Wen, Weng Miao, Huaikou School of Computer Engineering and Science Shanghai University Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai Shanghai China College of Computer and Information Engineering Shanghai Second Polytechnic University Shanghai China

ISBN: (纸本)9780769559841

As wireless communication and mobile devicesadvances, recommendation system is one of the keytechnologies to realize personalized service. This paperproposes a service recommendation mechanism using aprobabilistic model in mobile devices. With the contextualinformation and the use's demand state inferred by the model, we can recommend a service to meet the user's preferencesand needs at real time. Finally, the model checking method is used to verify the reliability of the service composition recommended by the above method. © 2016 IEEE.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Probabilistic petri net and its logical semantics

Probabilistic petri net and its logical semantics

引用

9th ACIS International Conference on software Engineering Research, Management and Applications, SERA 2011

作者： Liu, Yang Miao, Huaikou Zeng, Hongwei Li, Zhuang School of Computer Engineering and Science Shanghai University Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China School of Information Science and Technology Taishan University Taian Shandong China

ISBN: (纸本)9780769544908

There are many variants of Petri net at present, and some of them can model system with both function and performance specification, such as stochastic Petri net, and generalized stochastic Petri net. In order to address the issue of modeling system with probabilistic behaviors, a kind of Petri net with probability (probabilistic Petri net, PPN) is proposed in this paper. Then an action-based PCTL is developed to interpret logical semantics for PPN system. The usefulness of PPN system is illustrated by modeling and specifying an elaborate model of travel arrangements workflow. © 2011 IEEE.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

A Business Process testing Sequence Generation Approach Based on Test Cases Composition

A Business Process Testing Sequence Generation Approach Base...

引用

ACIS/JNU International Conference on computers, Networks, Systems and Industrial Engineering (CNSI)

作者： Lizhi Cai Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China

This paper proposes a business process testing scenario generation based on test cases composition. Just like path oriented testing technique in structure testing area, this testing method focuses on finding the logical error in the process implementation according to the formal business process presentation. The test cases against a node of process designed by the techniques such as boundary value analysis, equivalence partitioning and so on, may not easily find the errors in the special business process tends. These test cases are modeled as TCN (Test Cases Nets) with a CPN (Colored Petri Nets) in this paper. The BPSN (Business Process Scenario Net) is built by composing the existing TCN. The generation technique of the test scenario for basis path testing for a business process according to the BPSN is discussed. We exemplify our approach in an ATM system that has a rich set of interactions with its users.

关键词： Business testing Asynchronous transfer mode Flow graphs Petri nets Color computer aided software engineering

来源：评论

学校读者我要写书评

暂无评论

Theory of test modeling based on regular expressions

Theory of test modeling based on regular expressions

引用

3rd International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013

作者： Liu, Pan Miao, Huaikou College of Computer Engineering and Science Shanghai Business School Shanghai 201400 China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai 201112 China School of Computer Engineering and Science Shanghai University Shanghai 200072 China

ISBN: (纸本)9783319049144

This paper presents a theory of test modeling by using regular expressions for software behaviors. Unlike the earlier modeling theory of regular expression, the proposed theory is used to build a test model which can derive effective test sequences easily. We firstly establish an expression algebraic system by means of transition sequences and a set of operators. And we then give the modeling method for behaviors of software under test based on this algebraic system. Some examples are also given for illustrating our test modeling method. Compared with the finite state machine model, the expression model is more expressive for the concurrent system and can provide the accurate and concise description of software behaviors. © 2014 Springer International Publishing Switzerland.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共31页 << < 6 7 8 9 10 11 12 13 14 15 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：