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

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

作者： Wang, Chao Chen, Jingwei Ge, JianXin Wu, XueZhong Qu, QianQian Luo, Le Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai Development Center of Computer Software Technology Shanghai China Qudoor Technologies Inc. Hefei China Software Engineering of Computer and Information Engineering College Shanghai Polytechnic University Shanghai China Qudoor Technologies Inc. School of Physics and Astronomy Sun Yat-Sen University Zhuhai China

ISBN: (纸本)9798350345865

In recent years, the demand for arithmetic power from all walks of life is growing, especially the increasing popularity of AIGC, which makes people realize that huge technological progress cannot be made without the support of large arithmetic power. Quantum computing may bring a leap in computing power and become a 'trigger' and 'catalyst' to accelerate the development of science and technology innovation, and its technical development trend and application prospects have become a hot issue of concern, and quantum simulators are a very important part of the development process. The development of quantum simulators is a very important part of the process. However, due to the lack of systematic evaluation theories and methods, it is difficult to quantify and analyze the quality of the increasing number of simulators on the market, which may hinder researchers from practicing their quantum algorithms objectively or developing quantum technologies. For these reasons, this paper proposes a quality model for quantum simulator software, which reflects the quality characteristics of simulators in seven aspects, such as functionality and performance efficiency, and selects some simulators for experimental validation of the proposed model to prove its rationality. © 2023 IEEE.

关键词： Quality control

来源：评论

学校读者我要写书评

暂无评论

Ensemble kernel method：SVM classification based on game theory

引用

Journal of Systems Engineering and Electronics 2016年第1期27卷 251-259页

作者： Yufei Liu Dechang Pi Qiyou Cheng College of Computer Science and Technology Nanjing University of Aeronautics and Astronautics Nanjing 210016 China Department of Computer Science and Technology Tangshan College Tangshan 063000 China Collaborative Innovation Center of Novel Software Technology and Industrialization Nanjing 211106 China China Helicopter Research and Development Institute Jingdezhen 333001 China

With the development of the support vector machine（SVM）,the kernel function has become one of the cores of the research on *** a large extent,the kernel function determines the generalization ability of the classifier,but there is still no general theory to guide the choice and structure of the kernel *** ensemble kernel function model based on the game theory is proposed,which is used for the SVM classification *** model can effectively integrate the advantages of the local kernel and the global kernel to get a better classification result,and can provide a feasible way for structuring the kernel *** making experiments on some standard datasets,it is verified that the new method can significantly improve the accuracy of classification.

关键词： game theory classification radial basis kernel polynomial kernel.

来源：评论

学校读者我要写书评

暂无评论

Towards a simple and safe Objective Caml compiling framework for the synchronous language SIGNAL

引用

Frontiers of computer Science 2019年第4期13卷 715-734页

作者： Zhibin YANG Jean-Paul BODEVEIX Mamoun FILALI School of Computer Science and Technology Nanjing University of Aeronautics and Astronautics Nanjing 211106 China State Key Laboratory of Software Development Environment Beijing 100191 China Collaborative Innovation Center of Novel Software Technology and Industrialization Nanjing 211106 China IRIT-CNRS Universite de Toulouse Toulouse 31062 France

This paper presents a simple and safe compiler, called MinSIGNAL, from a subset of the synchronous dataflow language SIGNAL to C, as well as its existing en? hancements. The compiler follows a modular architecture, and can be seen as a sequence of source-to-source transformations applied to an intermediate representation which is named Synchronous Clocked Guarded Actions (S-CGA) and translation to sequential imperative code. Objective Caml (OCaml) is used for the implementation of MinSIGNAL. As a modem functional language, OCaml is adapted to symbolic computation and so, particularly suitable for compiler design and implementation of formal analysis tools. In particular, the safety of its type checking allows to skip some verification that would be mandatory with other languages. Additionally, this work is a basis for the formal verification of the compilation of SIGNAL with a theorem prover such as Coq.

关键词： synchronous languages SIGNAL Synchronous Clocked Guarded Actions (S-CGA) Objective Caml functional programming

来源：评论

学校读者我要写书评

暂无评论

Research on the cooperative decision of business application needs in IT governance

Research on the cooperative decision of business application...

引用

International Conference on computer Supported Cooperative Work in Design

作者： Shuang Yang Shaohua Zhang Lei Kong Shanghai Development Center of Computer Software Technology Shanghai China

The decision of business application needs is getting more and more attention because it is the only one to bring commercial value directly in five major decisions of IT governance. However, throughout the methods widely used currently for business application needs decision, some only reflect the wishes and ideas of individual managers and the other are so generalized that cannot provide either business or IT strategy guidance to business modeling. The paper develops a cooperation decision mechanism combining the cluster analysis of P/U matrix with critical success factors which puts forward a new idea for analyzing the business application needs in IT governance implementation. The feasibility of the proposed mechanism is then proved by the application in metro transportation project.

关键词： Silicon Tin Artificial intelligence Safety computer integrated manufacturing

来源：评论

学校读者我要写书评

暂无评论

A new data processing mechanism based on Co-DDM and Co-TS in cloud computing

A new data processing mechanism based on Co-DDM and Co-TS in...

引用

International Conference on Systems and Informatics (ICSAI)

作者： Jundian Song Bingrong Dai Shaohua Zhang Junling Qian Shanghai Development Center of Computer Software Technology Shanghai China

The issue that how to deal with the heterogeneous, distributed and dynamics data is one of the hot topics recently. In this paper, a new data processing mechanism is proposed based on the cooperation of distributed data management (Co-DDM) and the cooperation of task scheduling (Co-TS). The cooperative processing flow is also designed with the analysis of the member role, sharing object, cooperative activity and event. Finally, an experimental case is analyzed to illustrate the efficiency of the proposed method and the empirical results show that the mechanism is much more available for data processing in cloud computing.

关键词： Data processing Distributed databases Computational modeling Servers Cloud computing computer architecture Processor scheduling

来源：评论

学校读者我要写书评

暂无评论

Dynamic replica location service supporting data grid systems

Dynamic replica location service supporting data grid system...

引用

6th IEEE International Conference on computer and Information technology, CIT 2006

作者： Qiwei, Zhang Jiangming, Yang Ning, Gu Yuwei, Zong Zhigang, Ding Shaohua, Zhang Department of Computing and Information Technology Fudan University No.220 Handan Rd. Shanghai 200433 China Shanghai Development Center of Computer Software Technology No.1588 Lianhang Rd. Shanghai 201114 China

ISBN: (纸本)076952687X

Data grid is a kind of wide-area, distributed storage system. It can provide huge storage capacity. There are millions of files in data grid, distributed on hundreds of geographically dispersed storage resources. Given a unique logical identifier for desired content, replica location service can be used to determine the physical locations of one or more copies of this content. It is one of the most important components of data grid. Grid users are dynamic and widely distributed. To provide good performance to all the users, we proposed a design of dynamic replica location service. New replica location service providers can be easily constructed at any time and any location. Users that are away from any of the existing replica location service providers are allowed to construct their own replica location service providers. In this way, good performance can always be achieved. Such design can also enhance the stability of the data grid system and simplify the recovery from replica location service failure. © 2006 IEEE.

关键词： Grid computing

来源：评论

学校读者我要写书评

暂无评论

Assessing Diagnosis Approaches for Wireless Sensor Networks:Concepts and Analysis

引用

Journal of computer Science & technology 2014年第5期29卷 887-900页

作者：李瑞刘克彬李向阳何源惠维王志赵季中万猛 Institute of Software Engineering Xidian University School of Electronic and Information Engineering Xi’an Jiaotong University School of Software Tsinghua University Tsinghua National Laboratory for Information Science and Technology Tsinghua University Department of Computer Science Illinois Institute of Technology Chicago IL 60616 U.S.A. Center for Science and Technology Development Ministry of Education

Diagnosis is of great importance to wireless sensor networks due to the nature of error prone sensor nodes and unreliable wireless links. The state-of-the-art diagnostic tools focus on certain types of faults, and their performances are highly correlated with the networks they work with. The network administrators feel difficult in measuring the effectiveness of their diagnosis approaches and choosing appropriate tools so as to meet the reliability demand. In this work, we introduce the D-vector to characterize the property of a diagnosis approach. The D-vector has five dimensions, namely the degree of coupling, the granularity, the overhead, the tool reliability and the network reliability, quantifying and evaluating the effectiveness of current diagnostic tools in certain applications. We employ a skyline query algorithm to find out the most effective diagnosis approaches, i.e., skyline points（SPs）, from five dimensions of all potential D-vectors. The selected skyline D-vector points can further guide the design of various diagnosis approaches. In our trace-driven simulations, we design and select tailored diagnostic tools for GreenOrbs, achieving high performance with relatively low overhead.

关键词： diagnosis approach analysis and measurement wireless sensor network

来源：评论

学校读者我要写书评

暂无评论

Dynamic network embedding via incremental skip-gram with negative sampling

引用

Science China(Information Sciences) 2020年第10期63卷 89-107页

作者： Hao PENG Jianxin LI Hao YAN Qiran GONG Senzhang WANG Lin LIU Lihong WANG Xiang REN Beijing Advanced Innovation Center for Big Data and Brain Computing Beihang University State Key Laboratory of Software Development Environment Beihang University Collage of Computer Science and Technology Nanjing University of Aeronautics and Astronautics National Computer Network Emergency Response Technical Team/Coordination Center of China Department of Computer Science University of Southern California

Network representation learning, as an approach to learn low dimensional representations of vertices, has attracted considerable research attention recently. It has been proven extremely useful in many machine learning tasks over large graph. Most existing methods focus on learning the structural representations of vertices in a static network, but cannot guarantee an accurate and efficient embedding in a dynamic network scenario. The fundamental problem of continuously capturing the dynamic properties in an efficient way for a dynamic network remains unsolved. To address this issue, we present an efficient incremental skip-gram algorithm with negative sampling for dynamic network embedding, and provide a set of theoretical analyses to characterize the performance guarantee. Specifically, we first partition a dynamic network into the updated, including addition/deletion of links and vertices, and the retained networks over time. Then we factorize the objective function of network embedding into the added, vanished and retained parts of the network. Next we provide a new stochastic gradient-based method, guided by the partitions of the network, to update the nodes and the parameter vectors. The proposed algorithm is proven to yield an objective function value with a bounded difference to that of the original objective function. The first order moment of the objective difference converges in order of O（1/n;）, and the second order moment of the objective difference can be stabilized in order of O（1）. Experimental results show that our proposal can significantly reduce the training time while preserving the comparable performance. We also demonstrate the correctness of the theoretical analysis and the practical usefulness of the dynamic network embedding. We perform extensive experiments on multiple real-world large network datasets over multi-label classification and link prediction tasks to evaluate the effectiveness and efficiency of the proposed framework, and up to

关键词： dynamic network embedding bound and convergence analysis multi-label classification link prediction

来源：评论

学校读者我要写书评

暂无评论

Towards Cost-Effective Cloud Downloading with Tencent Big Data

引用

Journal of computer Science & technology 2015年第6期30卷 1163-1174页

作者：李振华刘刚嵇智源 Roger Zimmermann School of Software Tsinghua University Beijing 100084 China Tsinghua National Laboratory for Information Science and Technology Beijing 100084 China QQXuanfeng System Group Tencent Co. Ltd Shanghai 200233 China High Technology Research and Development Center Ministry of Science and Technology Beijing 10004 China Department of Computer Science National University of Singapore Singapore 117417 Singapore

The cloud downloading scheme, first proposed by us in 2011, has effectively optimized hundreds of millions of users＇ downloading experiences. Also, people start to build a variety of useful Internet services on top of cloud downloading. In brief, by using cloud facilities to download （and cache） the requested file from the ＂best-effort＂ Internet on behalf of the user, cloud downloading ensures the data availability and remarkably enhances the data delivery speed. Although this scheme seems simple and straightforward, designing a real-world cloud downloading system involves complicated and subtle trade-offs （between deployment cost and user experience） when serving a large number of users： 1） how to plan the cloud cache capacity to achieve a high and affordable cache hit ratio, 2） how to accelerate the data delivery from the cloud to numerous users, 3） how to handle the dense user requests for highly popular files, and 4） how to judge a potential downloading failure of the cloud. This paper addresses these design trade-offs from a practical perspective, based on big data from a nationwide commercial cloud downloading system, i.e., Tencent QQXuanfeng. Its running traces help us find reasonable design strategies and parameters, and its real performances confirm the efficacy of our design. Our study provides solid experiences and valuable heuristics for the developers of similar and relevant systems.

关键词： cloud downloading cost-effective design trade-off big data

来源：评论

学校读者我要写书评

暂无评论

Parallel video transcoding using Hadoop MapReduce

Parallel video transcoding using Hadoop MapReduce

引用

作者： Mingang Chen Wenjie Chen Zhenyu Liu Lizhi Cai Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai Development Center of Computer Software Technology

Video transcoding has become a key technology for video content distribution network service. In this paper, we propose a novel MapReduce-based parallel video transcoding method. In our method, video files are stored on a shared file system to reduce the overhead of disks I/O and networks in the Hadoop MapReduce. FFmpeg is used to compute the splitting point of the video and the actual video transcoding. Experimental results show that our method can significantly reduce the time of transcoding.

关键词： video transcoding Hadoop Map Reduce FFmpeg parallel transcoding

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：