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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是91-100 订阅

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

详细简洁

排序：

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

LDE-UNet: A Novel Model for Rapid COVID-19 Diagnosis via CT Image Segmentation

LDE-UNet: A Novel Model for Rapid COVID-19 Diagnosis via CT ...

引用

2023 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2023

作者： Wang, QiSong Wu, JiaRou Wang, YingZhuo Qu, HuiLi Nie, Shanling Yang, Hai East China University of Science and Technology Department of Computer Science and Engineering Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China The University of Sydney Faculty of Engineering Australia

ISBN: (纸本)9798350337488

The COVID-19 pandemic has had a profound impact on human society. It has highlighted the need for faster diagnostic methods. Research has shown that combining semantic segmentation with traditional medical approaches can significantly accelerate the process. To address this, leveraging COVID-19 CT images, our team designs a revolutionary semantic segmentation model called Level of Detail Enhancement U-Net (LDE-UNet), which shows the lesion area on CT images. By introducing the LDE block, the model has the unique advantage of overcoming the loss of data details during the downsampling process by emphasizing and transmitting details at the same level. Our SOTA model outperforms the second-best model by at least 0.7% in the most critical indicator precision. Compared with other models, LDE-UNet's strong reliability determines its ability to be used in the medical field to accelerate the localization and division of lesion areas on CT images by professional doctors, thus completing patient diagnosis faster. In addition, we also propose a standardized method for processing medical images. © 2023 IEEE.

关键词： COVID-19 Downsample LDE-UNet Semantic segmentation

来源：评论

学校读者我要写书评

暂无评论

Scenario specification based testing model generation

Scenario specification based testing model generation

引用

2013 IEEE/ACIS 12th International Conference on computer and Information Science, ICIS 2013

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

ISBN: (纸本)9781479901746

Building a simplified model for testing complex software system has been highlighted for optimizing test generation. This paper presents an approach to generating the constrained FSM with the scenario. Firstly, we use FSM to describe the behavior model of the target system. Then, we study the method of modeling scenarios with UML diagrams, including use case diagram, activity diagram, sequence diagram and statechart diagram. We describe how to achieve the constraint process by means of mapping and projection operations between FSM and UML diagrams. Finally, we obtain a reduced FSM by using UML activity diagrams to constrain FSM. The main contribution of the paper is to present an effective modeling method to optimize testing generation from the model. © 2013 IEEE.

关键词： Mapping

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

QoS-aware web services composition based on HQPSO algorithm

QoS-aware web services composition based on HQPSO algorithm

引用

International Association for computer and Information Science/JNU International Conference on computers, Networks, Systems and Industrial Engineering

作者： Liu, Yang Miao, Huaikou Li, Zhuang Gao, Honghao 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: (纸本)9780769544175

Web services composition is a new software development paradigm, and it is a key point to achieve service-oriented computing currently. For meeting the QoS requirements of consumers, this paper presents the QoS calculation rules and formalizes the services composition as the combinatorial optimization problem. In order to solve services composition, a new algorithm based on QPSO algorithm is proposed, which is called Hybrid QPSO algorithm and the correctness, feasibility, and effectiveness of the algorithm are demonstrated using the experiments. © 2011 IEEE.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Survey on testing of Autonomous Driving Systems 3

Survey on Testing of Autonomous Driving Systems

引用

3rd International Workshop on Experience with SQuaRE Series and Its Future Direction, IWESQ 2021

作者： Chen, Wenjie Ma, Zeyu Wang, Chao Chen, Mingang Cai, Lizhi Software Engineering Institute Shanghai Key Laboratory of Computer Software Testing & Evaluation Shanghai Development Center of Computer Software Technology Shanghai China

Before autonomous driving vehicles are commercialized, they need to undergo a series of rigorous tests. This paper first proposes the general process of autonomous driving system testing, and then summarizes the research progress of autonomous driving vehicle testing from the model, simulation, network, and vehicle levels, and analyzes the characteristics of various testing technologies. Finally, this paper gives suggestions on the development of autonomous driving testing technology. © 2021 for this paper by its authors

关键词： Autonomous vehicles

来源：评论

学校读者我要写书评

暂无评论

Data Generation, testing and Evaluation of Chinese Natural Language Processing in the Cloud 7

Data Generation, Testing and Evaluation of Chinese Natural L...

引用

7th IEEE International Conference on Smart Cloud, SmartCloud 2022

作者： Ding, Minjie Chen, Mingang Chen, Wenjie Cai, Lizhi Chai, Yuanhao Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai Development Center Computer Software Technology Shanghai China Washington University in St. Louis McKelvey School of Engineering St. LouisMO United States

ISBN: (数字)9781665451796

ISBN: (纸本)9781665451796

With the rapid development of artificial intelligence, natural language processing, as an important branch, has also become a hot research field. A series of super large-scale pre-trained models represented by BERT and GPT have made great progress in natural language understanding and natural language generation, even some of the experimental accuracy exceed the human benchmark. However, these models will also make some mistakes and even fairness problems when they have the language ability equivalent to human beings. In order to verify whether the models can truly understand natural language, the evaluation of these models is particularly important. More methods are needed to evaluate the model. The language model-based evaluation tools often require a lot of computing resources. In this paper, we propose a method for testing and evaluation of Chinese natural language processing in cloud, generate testing data and design tests for Chinese data and test two pre-trained models. The experimental results show that our method can find defects of the model, though it has high performance on specific dataset. © 2022 IEEE.

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

Research on Quality Model and Measurement for Microservices 3

Research on Quality Model and Measurement for Microservices

引用

3rd International Workshop on Experience with SQuaRE Series and Its Future Direction, IWESQ 2021

作者： Yu, Jinchuan Ge, Jianxin Sun, Jixin Software Engineering Institute Shanghai Key Laboratory of Computer Software Testing & Evaluation Shanghai Development Center of Computer Software Technology Shanghai China

In recent years, microservice architecture (MSA) has become popular. Emerging from the agile community, MSA implies a number of small, independently deployable microservices. They are characterized by low coupling, high cohesion, low complexity, and are more flexible and convenient in application, saving resource ***, there is limited research on quality models for MSA. Although MSA is a special form of service-oriented architecture, there are still some differences between the two that are hard to ignore, such as decentralization, smaller service size and encouraging technical heterogeneity. Therefore, it is difficult to directly apply the traditional quality model research of service-oriented architecture to MSA. Based on the above considerations, this paper proposes a quality model for MSA, which reflects the quality characteristics of microservices through 16 measures for each of the Functional Suitability, Flexibility, Interactivity, Performance Efficiency, Reliability and Security. At the same time, to address the shortage of theoretical validation of current research, this paper uses static analysis and dynamic analysis to validate the proposed measures and prove the rationality of its theory. © 2021 for this paper by its authors

关键词： Static analysis

来源：评论

学校读者我要写书评

暂无评论

An approach to generating test data for EFSM paths considering condition coverage

An approach to generating test data for EFSM paths consideri...

引用

作者： Lu, Gongzheng Miao, Huaikou School of Computer Engineering and Science Shanghai University Shanghai200072 China School of Computer Engineering Suzhou Vocational University Suzhou215104 China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai201114 China

Model-based test case generation has become a hotspot, and automatic generation of test data is difficult in this area. In this paper, system model is represented by extended finite state machine(EFSM), and genetic algorithm is used to generate test data for EFSM paths. When computing the fitness of an individual, the branch distance and the ratio of uncovered conditions of the individual are considered. In experiments, the proposed method is compared with the Kalaji's, and the results show that our method has a better effect and can get higher quality test data. © 2014 The Authors. Published by Elsevier B.V.

关键词： Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：