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

5th International Seminar on Artificial Intelligence, Networking and Information Technology, AINIT 2024

作者： Wu, Jianhua Zhang, Xin Shanghai Development Center of Computer Software Technology Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai201112 China

ISBN: (纸本)9798350385557

As an important information system of intelligent and connected vehicles, most In-Vehicle Infotainment systems are set up and manage the vehicles through user interaction. This paper presents a Fuzzing method IVIFUZZER for vulnerability exploitation on the operation interface of the In-Vehicle Infotainment system. With the help of automated robotic arm and improved OCR technology, collecting system leakage information and directional detection of the identified input points, 6 zero day vulnerabilities were found. The experimental results show that the proposed IVIFUZZER method is effective. © 2024 IEEE.

关键词： Vehicles

来源：评论

学校读者我要写书评

暂无评论

ALQ: An Efficient Active Learning Recommendation Algorithm 6

ALQ: An Efficient Active Learning Recommendation Algorithm

引用

6th IEEE Advanced Information Management, Communicates, Electronic and Automation Control Conference, IMCEC 2024

作者： Song, Ao Lei, Zhou Chen, Shengbo Shanghai University College of Computer Engineering and Science Shanghai China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai China

ISBN: (纸本)9798350316520

With the rapid development of the Internet, the problem of information overload is becoming more and more serious, which makes it difficult for users to choose the content they are interested in from a large number of information. With the emergence of recommendation systems, the historical interaction information between users and information and items is used to provide users with topics of interest, which not only alleviates the problem of information overload, but also brings great satisfaction to users. However, training a model that can make accurate recommendations is not an easy task. In addition to an appropriate training strategy, it also requires a large amount of data support. Getting data, especially labeled data, takes a lot of time and money. Therefore, this paper proposes a new active learning algorithm. Firstly, the recommendation problem was transformed into a PU learning problem, and then the method was introduced in the positive sample learning process to achieve the purpose of increasing positive sample data, thereby reducing the cost of data labeling. Through experiments, the proposed method reduces the cost of data labeling in the recommendation task and further verifies the rationality of transforming the recommendation problem into a PU learning problem. © 2024 IEEE.

关键词： Recommender systems

来源：评论

学校读者我要写书评

暂无评论

PWMDS: A system supporting provenance-based matching and discovery of workflows in proteomics data analysis

PWMDS: A system supporting provenance-based matching and dis...

引用

2012 IEEE 16th International Conference on computer Supported Cooperative Work in Design, CSCWD 2012

作者： Zhai, Guangmeng Lu, Tun Huang, Xing Chen, Zhaocan Ding, Xianghua Gu, Ning School of Computer Science Fudan University Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China

ISBN: (纸本)9781467312127

Provenance plays a fundamental role in e-science to keep track of the data processing execution, evaluate the data quality, reproduce the analysis results, and especially share and re-use workflows. How to take full advantage of provenance to help scientists discover, match and select scientific workflows is a challenging work. Although some studies have been done to model, store, and query scientific workflows, little is done to build practical systems to support workflow matching and discovery. In this paper, we devise and implement a Provenance-Based Workflow Matching and Discovery System (PWMDS) for task-based pipelines in a proteomics data analysis platform called CoPExplorer to address the above challenge. With the proposed novel provenance model and workflow matching & discovery algorithms, PWMDS can provide scientists a ranked list of suitable service candidates for their specified workflows, and initial experiments demonstrate its effectiveness. © 2012 IEEE.

关键词： e-Science

来源：评论

学校读者我要写书评

暂无评论

Estimating Mechanical Vibration Period Using Smartphones

引用

Journal of Donghua University(English Edition) 2021年第4期38卷 323-332页

作者： WANG Jiacheng CHANG Shan School of Computer Science and Technology Donghua UniversityShanghai 201620China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 201112China

Driven by a wide range of real-world applications,significant efforts have recently been made to explore facile vibration *** vibration inspection systems are normally sensed via accelerometers,laser displacement sensors or velocimeters,and most of them are neither non-intrusive nor *** paper presents a novel solution based on acoustic waves of commercial mobile phones to inspect mechanical *** core observation is that the Doppler effect occurs when acoustic waves pass through a vibrating *** study leverages this opportunity to build a bridge between the Doppler frequency excursion and the vibrating frequency of *** solution of difference operation of the reassignment vector is used to make time-frequency domain images more ***,by processing time-frequency images,the system further accomplishes two reconstruction approaches to find out the energy concentration of acoustic signals respectively based on ridges and *** and real-life applications are employed to show the effectiveness and practicability of the proposed *** prototype system can inspect the vibration period with a relative error of 0.08%.Furthermore,this paper studies two practical cases in life to associate our measurement solution with the requirements of daily life.

关键词： vibration sensing Doppler effect density clustering ridge extraction

来源：评论

学校读者我要写书评

暂无评论

SFPL: Improving CRS via Prompt Learning based Semantic Fusion Module 4

SFPL: Improving CRS via Prompt Learning based Semantic Fusio...

引用

4th IEEE International Conference on Information Technology, Big Data and Artificial Intelligence, ICIBA 2024

ISBN: (纸本)9798350363586

With the popularity of the Internet and the massive increase of content production, users are faced with massive information and content, and it is often difficult to accurately and efficiently find the content that meets their needs. This information overload motivates the emergence of recommendation systems that help users filter and recommend relevant content. Dialogue recommendation systems (CRS) aim to dynamically recommend high-quality items to users while eliciting user preferences by means of dialogue. CRS mainly consists of two parts, namely, the dialogue module and the recommendation module. An efficient CRS is to solve the problems existing in the two sub-tasks of dialogue and recommendation, namely, generating appropriate responses in dialogue and predicting user favorite items in recommendation. In addition, it is necessary to adopt a suitable method to integrate these two modules to ensure the accuracy of CRS recommendation. This paper proposes an efficient way of semantic fusion module to solve the integration problem of two modules, and proves the effectiveness of our method through experiments © 2024 IEEE.

关键词： Adversarial machine learning

来源：评论

学校读者我要写书评

暂无评论

Agent-based online quality measurement approach in cloud computing environment

Agent-based online quality measurement approach in cloud com...

引用

2010 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2010

作者： Liu, Zhenyu Liu, Tiejiang Lu, Tun Cai, Lizhi Yang, Genxing School of Computer Science Fudan University China Shanghai Key Laboratory Computer Software Evaluating and Testing China

ISBN: (纸本)9780769541914

This paper studies online quality measurement in cloud computing environment. The paper analyzes concentration measure evaluation method of the current software quality evaluation system. As is known to all, the existing evaluation technology uses concentrated evaluation before run-time. By testing and analyzing results, the quality is obtained. In this paper, by analyzing the features in cloud computing environment, we consider that service-oriented evaluation should be mainly based on runtime online measurement. The paper puts forward agent-based online measure infrastructure, which is evaluated by distributed assessment in service computing environment A quality model and corresponding online data collection strategy are described. In this approach, the previous quality evaluation, which is concentrated and simulating in a simulated environment, is substituted. Then, a novel measure method of quality data acquisition, which is based on distributed agent technology, is established. So, during online service operation, the obtained data can make measurement results to be accurate and credible. © 2010 IEEE.

关键词： Data acquisition

来源：评论

学校读者我要写书评

暂无评论

Modeling and analyzing reliable cyber-physical systems based on aspect orientation

引用

Journal of Applied Science and Engineering 2014年第1期17卷 101-110页

作者： Chen, Liqiong Liu, Yunxiang Fan, Guisheng Department of Computer Science and Information Engineering Shanghai Institute of Technology Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China Department of Computer Science and Engineering East China University of Science and Technology Shanghai China

Cyber-physical systems (CPS) consists of distributed computation interconnected by computer networks. Finding a common semantics among these diverse components that facilitate system modeling, synthesis, and verification is a significant challenge of CPS. Aspect oriented method is proposed to model and analyze reliable CPS, Petri nets are used to observe behaviors of basic component, such as device, computation and physical interaction, component and communication process. The reliability assurance strategy of CPS is proposed, aspect orientation is used to weave it into the base net. Based on this, the effectiveness and feasibility of proposed method are analyzed based on the operation semantics of Petri nets. A case study of material balancing system and experimental results demonstrate that the approach can contribute to the improvement of design quality in developing reliable CPS.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

An optimization approach for service deployment in service oriented clouds

An optimization approach for service deployment in service o...

引用

International Conference on computer Supported Cooperative Work in Design

作者： Liu, Tiejiang Lu, Tun Liu, Zhenyu School of Computer Science Fudan University Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China

ISBN: (纸本)9781424467631

In service oriented cloud, in order to meet the different users' service requirements, the cloud venders need to manage the service applications' deployment effectively first. During the deployment process, the deployment costs and the influence of service deployment to the cloud are very important issues to be paid attention to, which lacks in current research. In this paper, we design a novel optimization approach for service deployment to address above issues, which works in a service deployment framework. The approach can improve the deployment efficiency and reduce the deployment costs. Atom-services, the basic units of service application, are partitioned to different service families with its compatibility and installation policy. We present three algorithms to automatically standardize the installation expressions, simplify and optimize the installation expression series during the service deployment process respectively. An analysis about the service deployment result is given in the paper and the experiment data demonstrates the approach's efficiency. © 2010 IEEE.

关键词： cloud computing deployment optimization service deployment deployment Cloud Computing Experimental data

来源：评论

学校读者我要写书评

暂无评论

Modeling and verifying of grid computing based on FSM

引用

Journal of Convergence Information Technology 2011年第1期6卷 170-181页

作者： Gao, Honghao Wang, Shuoping School of Computer Engineering and Science Shanghai University 200072 shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing 201112 Shanghai China Computer Science School Zhejiang University City College 310015 Hangzhou China

Many applications of grid computing are appearing to solve a scientific or technical problem by shaping and coordinating computational services across the network. The dynamic and complex interaction of grid computing has been a big challenge in guaranteeing the reliability of services behaviors. This paper focuses on the behavioral correctness of grid computing. In order to unify the expression of grid computing behaviors, we introduce the BPMN (Business Process Modeling Notation) to formally describe the interactions in a visualization way with the basic business process concepts, which creates a standardized bridge for the gap between the business process logic design and implementation. Then we translate BPMN to an extended FSM (Finite-State Machine) automaton. Furthermore, the safety and liveness properties of behavioral requirements are expressed as LTL (Linear Temporal Logic) formulae according to coverage criterions. After that, LTL formulae are automatically verified in model checker tool SMV (Symbolic Model Checker). Finally, the experimental results are discussed. In conclusion, our method affords an underlying guideline for modeling and verifying grid computing.

关键词： Temporal logic

来源：评论

学校读者我要写书评

暂无评论

Test coverage for collaborative workflow application based on Petri Net

Test coverage for collaborative workflow application based o...

引用

International Conference on computer Supported Cooperative Work in Design

作者： Liu, Zhenyu Liu, Tiejiang Cai, Lizhi Yang, Genxing School of Computer Science Fudan University Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China

ISBN: (纸本)9781424467631

Lots of collaborative works are developed by workflow at present. The modeling of workflow is mainly by Petri Net. This paper studies the test coverage of collaborative workflow system to improve the system quality. By analyzing many Petri-Net models, the paper puts forward generic advance Petri Net model. And other workflow Petri Net models can be compatible with the generic Petri Net. Then test coverage strategy is considered and test case is designed according to the strategy. This method not only can meet the requirement of test coverage, but also can assist test case design and further execution of test case. Finally, a typical example is introduced to illustrate effectiveness of this method in collaborative workflow application. © 2010 IEEE.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：