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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

269 篇 会议
60 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

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

主题

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

机构

165 篇 shanghai key lab...
74 篇 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 篇 guangxi collabor...
7 篇 computing center...
6 篇 shanghai enginee...
6 篇 shanghai key lab...
6 篇 faculty of engin...
6 篇 beijing key lab....

作者

34 篇 lizhi cai
33 篇 yu huiqun
31 篇 miao huaikou
31 篇 cai lizhi
29 篇 fan guisheng
24 篇 zhenyu liu
21 篇 chen liqiong
19 篇 liu zhenyu
16 篇 huaikou miao
15 篇 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

语言

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

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

共 329 条记录，以下是61-70 订阅

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

详细简洁

排序：

Energy-Aware Resource Scheduling with Fault-Tolerance in Edge Computing 16th

Energy-Aware Resource Scheduling with Fault-Tolerance in Edg...

引用

16th IFIP WG 10.3 International Conference on Network and Parallel Computing, NPC 2019

作者： Xue, Yanfen Fan, Guisheng Yu, Huiqun Sun, Huaiying Department of Computer Science and Engineering East China University of Science and Technology Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China

ISBN: (纸本)9783030307080

Edge computing extends computation and storage resources to the edge of the network, which largely improve the performance problem of cloud computing incurred by the bandwidth limitation. And it still needs to address the challenges of energy and reliability. In this paper, we propose an energy-aware fault-tolerant resource scheduling algorithm to improve system reliability while minimizing the energy consumption. We allocate resources by reliability and energy-aware resource scheduling method for tasks firstly. Then, CPU temperature prediction and time between failures (TBF) prediction are used to trigger proactive fault tolerance mechanism (VM migration). The experimental results show that the reliability is greatly improved and energy consumption generated by VM migration is not very large compared to other methods. © 2019, IFIP International Federation for Information Processing.

关键词： Energy utilization

来源：评论

学校读者我要写书评

暂无评论

Efficiency-First Fault-Tolerant Replica Scheduling Strategy for Reliability Constrained Cloud Application 18th

Efficiency-First Fault-Tolerant Replica Scheduling Strategy ...

引用

18th IFIP WG 10.3 International Conference on Network and Parallel Computing, NPC 2021

作者： Zhang, Yingxue Fan, Guisheng Yu, Huiqun Chen, Xingpeng Department of Computer Science and Engineering East China University of Science and Technology Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China

ISBN: (纸本)9783030935702

Reliability requirement assurance is an important prerequisite for application execution in the cloud. Although copy management can improve the reliability of applications, it also brings a series of resource waste and overhead issues. Therefore, the efficiency-first fault-tolerant algorithm (EFFT) with minimum execution cost in the cloud application is proposed. This algorithm minimizes the execution cost of the application under the constraints of reliability, and solves the problem of excessive overhead caused by too many copies. The EFFT algorithm is divided into two stages: initial allocation and dynamic adjustment. On the initial allocation of EFFT algorithm, a sorting rule is defined to determine the priority of tasks and instances. During the adjustment phase, by defining an actual efficiency ratio indicator to measure the cost-effectiveness of an instance, the EFFT algorithm makes a good trade-off between cost and reliability in order to minimize execution costs. Run our algorithm on randomly generated parallel applications of different scales and compare the experimental results with four advanced algorithms. The experiments show that the performance of the algorithm we proposed is better than the other algorithms in terms of execution cost and fault tolerance. © 2022, IFIP International Federation for Information Processing.

关键词： Fault tolerance

来源：评论

学校读者我要写书评

暂无评论

Concept analysis based approach to statistical web testing

Concept analysis based approach to statistical web testing

引用

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

作者： Chen, Chao Miao, Huaikou Chen, Yihai School of Computer Engineering and Science Shanghai University Shanghai 200072 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai University Shanghai 201112 China

ISBN: (纸本)9783642396977

In recent years, the increased complexity of Web applications gives researchers an enormous challenge in ensuring their reliability. A statistical testing approach has been proved to be appropriate to test Web applications and to estimate their reliability. Based on a Markov usage model built from user sessions, testers can generate abstract test cases randomly. In order to execute the test cases, researchers proposed an approach to building a data model from user sessions to provide test data for abstract test cases. However, just building a data model from all the user sessions may cause unauthorized access to restricted pages by testers. In this paper, we propose a concept analysis based approach to statistical Web testing and present a tool to support our approach. We have designed three algorithms to implement our concept analysis based approach that can provide the concrete test data for abstract test cases. In addition, a case study is introduced to demonstrate the effectiveness of our approach to statistical Web testing. © 2013 Springer-Verlag.

关键词： Reliability analysis

来源：评论

学校读者我要写书评

暂无评论

The interchange format of tabular expressions using XML 5th

The interchange format of tabular expressions using XML

引用

5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015

作者： Huang, Mao Chen, Yihai Khedri, Ridha Miao, Huaikou School of Computer Engineering and Science Shanghai University Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China Department of Computing and Software McMaster University HamiltonON Canada

ISBN: (纸本)9783319312194

Tabular expressions, also called tables, are formal notations using tables to organize mathematical functions and relations. They have been widely used in documenting and analyzing software specification. Different tools are developed to support tabular expressions. To further enhance tables’ usage, a convention on storing and parsing tables is required. This paper presents a canonical interchange format for tabular expressions based on XML. This format captures four aspects of tables: the constituent, dynamic, representation and additional information. Our proposal builds on syntax definition of tables and is tailored to provide flexibility in manipulation of table content. It is suitable for existing and emerging kinds of tables. This study facilitates the interchange between different tools for tabular expressions, which would prevent developer’s repetitive work. © Springer International Publishing Switzerland 2016.

关键词： Formal methods

来源：评论

学校读者我要写书评

暂无评论

Based on the analysis of mobile terminal application software performance test 18

Based on the analysis of mobile terminal application softwar...

引用

18th IEEE/ACIS International Conference on software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2017

作者： Chunye, Du Wei, Song Jianhua, Wu Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai Development Center of Computer Software Technology Shanghai China Shanghai Ruanzhong Information Technology Co. Ltd. Shanghai China

ISBN: (纸本)9781509055043

With the rapid development of mobile terminal, mobile applications are gradually penetrated into all aspects of people's life and work. Mobile games, mobile streaming media, location services, mobile Internet news, instant messaging, mobile music and other rich and colorful information era are changing the social life. In view of this, we propose the application software performance test based on the mobile terminal, and analyze the performance test technology and method of the mobile application. Experimental results show that the performance test of the application system can predict the pressure in real environment, the system will be applied in the problems exposed, through the analysis of the data of the test, it will provide help for performance optimization of application system. © 2017 IEEE.

关键词： Application programs

来源：评论

学校读者我要写书评

暂无评论

Business Scenario Driven Reinforcement Learning testing Method 26

Business Scenario Driven Reinforcement Learning Testing Meth...

引用

26th ACIS International Winter Conference on software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD-Winter 2023

作者： Cai, Lizhi Wang, Jin School of Information Science and Engineering East China University of Science and Technology Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai China

ISBN: (纸本)9798350345865

Reinforcement learning has been successfully applied in software testing, but the existing testing methods cannot perform effective testing according to the characteristics of applications, and using outdated interactive experience during training, resulting in inefficient testing. In this paper, we propose BSDRtesting. Firstly, the demonstration experience of human users is collected according to the functional scenarios and business logic of each application, and combining reinforcement learning and imitation learning to maximize rewards while imitating user behavior, experience replay aims to sample experiences from the agent's self-exploration and expert demonstrations to improve sampling efficiency. At the same time, according to the input rules, the black-box testing method is used to fully test the input events, and finally an experience filtering mechanism is proposed, and the reward value and TD-Error are used as the basis for priority sampling. The experimental results on 10 open source applications show BSDRtesting has achieved significant improvements in code coverage and branch coverage compared with existing methods. © 2023 IEEE.

关键词： Reinforcement learning

来源：评论

学校读者我要写书评

暂无评论

Towards practical modeling of web applications and generating tests

Towards practical modeling of web applications and generatin...

引用

2010 4th International Symposium on Theoretical Aspects of software Engineering, TASE 2010

作者： Chen, Shengbo Miao, Huaikou Song, Bo Chen, Yihai School of Computer Engineering and Science Shanghai University 200072 Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing 201112 Shanghai China State Key Laboratory of Software Engineering Wuhan University 430072 Wuhan China

ISBN: (纸本)9780769541488

As Web applications evolve, their structures become more and more complex. Web browsers may influence on the correctness of the Web applications, and Web browser's interactions can cause further complications of Web application. Existing navigation models are static ones on the whole. Users' navigation paths are all determined on stage of model design. Web browser interactions have not been taken into account make them different from practical navigation in Web applications. Moreover, as Web applications evolve and new technologies emerge, adaptive navigation was wildly incorporated in current Web applications. It aggravates the complexity of Web navigations. In this paper, a practical approach to modeling of Web applications and generating tests was proposed. And special care is taken on Web browser's interactions and adaptive navigation during the user's traversal within hypermedia space. At last, test generation is given out which satisfy the corresponding coverage. © 2010 IEEE.

关键词： Web browsers

来源：评论

学校读者我要写书评

暂无评论

Modeling UML sequence diagrams using extended Petri nets

Modeling UML sequence diagrams using extended Petri nets

引用

2010 International Conference in Information Science and Applications, ICISA 2010

作者： Yang, Nianhua Yu, Huiqun Sun, Hua Qian, Zhilin Department of Computer Science and Engineering East China University of Science and Technology Shanghai 200237 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 201112 China

ISBN: (纸本)9781424459438

Unified modeling language (UML) sequence diagrams combined with the UML profile for modeling and analysis of real-time and embedded (MARTE) systems are used to represent the systems' requirements. To enhance formal analysis, sequence diagrams annotated with MARTE stereotypes are mapped into timed colored Petri nets with inhibitor arcs (TCPNIA). The mapping rules for the fragments of sequence diagrams and MARTE stereotypes are proposed respectively. The mapping rules for general ordering between messages are proposed to cope with complicated interactions. The data related issues are handled through colored properties in TCPNIA models, guard functions and operational functions. A mapping rule for state invariant is proposed based on data related information. Through state invariant, complicated control relations can be expressed. Formal definitions for morphing and substitution in TCPNIA models are given. They provide modular and hierarchical modeling methods for TCPINA models. A case study shows the applicability and feasibility of our method. ©2010 IEEE.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Multi-objective biogeography-based method to optimize virtual machine consolidation 28

Multi-objective biogeography-based method to optimize virtua...

引用

28th International Conference on software Engineering and Knowledge Engineering, SEKE 2016

作者： Shi, Kai Yu, Hui Qun Luo, Fei Fan, Gui Sheng 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

ISBN: (纸本)189170639X

Virtual machine consolidation (VMC) is an important issue in cloud computing, which can be used to reduce power consumption and achieve reasonable resource allocation. In this paper, an IMBBO algorithm is proposed to solve the multi-objective optimization problem of VMC through improving the classical Biogeography-Based Optimization (BBO). An improved Cosine migration model and an improved mutation model are presented to increase the efficiency of achieving the optimal solution. Meanwhile, three optimization objectives for server power consumption, load balancing and migration resource overhead are mainly addressed. Finally, several experiments are done to evaluate the performance of IMBBO by comparing with Gravitational Search Algorithm (GSA) based on the synthetic and real VM running data. The results show that the IMBBO optimizes VM consolidation with higher efficiency. Copyright © 2016 by KSI Research Inc. and Knowledge Systems Institute Graduate School.

关键词： Cloud computing

来源：评论

学校读者我要写书评

暂无评论

A framework for Requirements specification of machine-learning systems 34

A framework for Requirements specification of machine-learni...

引用

34th International Conference on software Engineering and Knowledge Engineering, SEKE 2022

作者： Wang, Xi Miao, Weikai School of Computer Engineering and Science Shanghai University China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai201114 China Software Engineering Institute East China Normal University China

ISBN: (纸本)1891706543

The rapid development of machine learning (ML) systems has raised many concerns over their quality. Due to the inherent complexity and uncertainty, most of the traditional quality assurance techniques have been challenged, including requirements specification. Current strategies mainly focus on model extraction from existing neural networks to improve interpretability and facilitate system analysis, but failing to include user expectations on the system. To handle the problem, this paper proposes a specification framework for ML requirements where each ML system is regarded as a set of snapshot systems along the evolvement process. There are 3 layers in the framework and the hierarchy indicates that higher-level models need to be built based on lower-level ones. The bottom layer consists of meta snapshot model and meta data model serving as the meta models for snapshot systems and data requirements respectively. The middle layer is for snapshot models each describing a snapshot system through relations between its outputs produced with different inputs. The top layer is a learning model capturing the evolvement process by transitions among snapshot models. These transitions are activated by data models instantiated from meta data model. We adopt the specification of a self-driving system to illustrate the framework. © 2022 Knowledge Systems Institute Graduate School. All rights reserved.

关键词： Metadata

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共33页 << < 3 4 5 6 7 8 9 10 11 12 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：