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

2015 6th IEEE International Conference on Software engineering and Service Science(ICSESS 2015)

作者： Shuai Yi Xueli Hu Hao Wu Information Engineering University State Key Laboratory of Mathematical Engineering and Advanced Computing

Automatic reassembly of log file fragments from a collection of mixed fragments is one of the most important process during log file carving. In this paper we propose a general process model and design an algorithm based on graph theory for automatic reassembly of log file fragments. Finally, an experiment is designed and explored and results demonstrated the validity of the proposed model and algorithm.

关键词： file carve log file reassembly file recovery graph theory

来源：评论

学校读者我要写书评

暂无评论

A new aggregate signature scheme in cryptographic currency

引用

International Journal of Performability engineering 2017年第5期13卷 754-762页

作者： Yuan, Chao Xu, Mixue Si, Xueming State Key Laboratory of Mathematical Engineering and Advanced Computing Information Engineering University Zhengzhou450001 China

With the rise of Bitcoin, cryptographic currencies have attracted more and more attention. Subsequently, other cryptographic currencies were gradually created, such as Zcash, Moreno, Dash and so on. In cryptographic currency, privacy preserving and expansion are two key technical points. In terms of privacy preserving, more effective solutions were proposed in Zcach, Moreno, Dash and other cryptographic currencies systems, in which ring signature, zero knowledge proof and other cryptographic techniques played important roles. But these schemes mainly considered protecting the addresses of both sides of the transaction. In terms of expansion, lightning network and other projects also give solutions. But most of these projects will bring other problems. In this paper, a signature scheme based on the aggregate signature and the elliptic curve algorithm is proposed to hide the transaction value of a single sender and receiver in the transactions which contain multiple inputs and outputs. This signature scheme achieves the purpose of privacy preserving from the transaction value. Further, the correctness proof and security analysis are given in this paper. In addition to that, another signature scheme that combines aggregation signature with bilinear ring signature is proposed. This aggregate ring signature scheme gives another attempt to solve the problem of expansion in the cryptographic currency system only using cryptographic technologies. At the same time, the sender's addresses can be hidden. Similarly, we also confirmed the correctness of this signature scheme.

关键词： Expansion

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of Variable Precision Algorithm for Transcendental Functions

Design and Implementation of Variable Precision Algorithm fo...

引用

作者： Hao Jiangwei Xu Jinchen Guo Shaozhong Xia Yuanyuan Liu Dan State Key Laboratory of Mathematical Engineering and Advanced Computing Information Engineering University

mathematical function is an essential part of numerical program, and it is also the key factor that affects the precision and performance of a program. In the design of mathematical functions, in order to satisfy most application scenarios, it is necessary to correctly round and cover the calculated interval as much as possible. But in certain applications, correct rounding and full coverage of definition domain may not be ***, mathematical functions can be customized according to application requirements to avoid precision waste as well as improve performance. However, manually implementing mathematical functions is a time-consuming and error-prone task. Tools like Metalibm is designed to automatically generate mathematical function code, which is difficult to take advantage of all the mathematical properties of a function and results in the generated code performing slowly than the corresponding mathematical library function. A method of generating variable precision code based on mathematical properties is proposed for the transcendental function in this work. Experiments showed the performance of the proposed method is comparable to Glibc mathematical function.

关键词： Taylor Design and Implementation of Variable Precision Algorithm for Transcendental Functions

来源：评论

学校读者我要写书评

暂无评论

UEFI Trusted computing Vulnerability Analysis Based on state Transition Graph

UEFI Trusted Computing Vulnerability Analysis Based on State...

引用

International Conference on Computer and Communications (ICCC)

作者： Yanyang Gu Ping Zhang Zhifeng Chen Fei Cao State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

ISBN: (数字)9781728186351

ISBN: (纸本)9781728186368

In the face of increasingly serious firmware attacks, it is of great significance to analyze the vulnerability security of UEFI. This paper first introduces the commonly used trusted authentication mechanisms of UEFI. Then, aiming at the loopholes in the process of UEFI trust verification in the startup phase, combined with the state transition diagram, PageRank algorithm and Bayesian network theory, the analysis model of UEFI trust verification startup vulnerability is constructed. And according to the example to verify the analysis. Through the verification and analysis of the data obtained, the vulnerable attack paths and key vulnerable nodes are found. Finally, according to the analysis results, security enhancement measures for UEFI are proposed.

关键词： Analytical models Trusted computing Computational modeling Bayes methods Security Network theory (graphs) Microprogramming

来源：评论

学校读者我要写书评

暂无评论

Text clustering algorithm based on deep representation learning

Text clustering algorithm based on deep representation learn...

引用

作者： Wang, Binyu Liu, Wenfen Lin, Zijie Hu, Xuexian Wei, Jianghong Liu, Chun State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China Guangxi Key Laboratory of Cryptography and Information Security Guilin University of Electronic Technology Guilin541000 China

Text clustering is an important method for effectively organising, summarising, and navigating text information. However, in the absence of labels, the text data to be clustered cannot be used to train the text representation model based on deep learning. To address the problem, an algorithm of text clustering based on deep representation learning is proposed using the transfer learning domain adaptation and the parameters update during cluster iteration. First, source domain data is used to perform the pre-training of the deep learning classification model. This procedure acts as an initialisation of the model parameters. Then, the domain discriminator is added to the model, to domain-divide the input sample. If the discriminator cannot distinguish which domain the data belongs to, the common feature space of two domains is obtained, so the domain adaptation problem is solved. Finally, the text feature vectors obtained by the model are clustered with MCSKM++ algorithm. The algorithm not only resolves the model pre-training problem in unsupervised clustering, but also has a good clustering effect on the transfer problem caused by different numbers of domain labels. Experiments suggest that the clustering accuracy of the algorithm is superior to other similar algorithms. © 2018 Institution of engineering and Technology. All rights reserved.

关键词： Iterative methods

来源：评论

学校读者我要写书评

暂无评论

Memory Error Detection Based on Dynamic Binary Translation

Memory Error Detection Based on Dynamic Binary Translation

引用

International Conference on Communication Technology (ICCT)

作者： Hang Xu Wei Ren Zimian Liu Jiajun Chen Junhu Zhu State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

ISBN: (数字)9781728181417

ISBN: (纸本)9781728181424

Dynamic memory error detection technology is widely utilized in locating and mitigating memory-corruption vulnerabilities. High false negative in existing technologies impairs the effectiveness of detection, especially when the detector has no source code. We proposed a dynamic memory error detection method based on dynamic binary translation. It realized the detection by combining a call stack tracing method and an IR language level memory error detection method. Experiments show that the detection success rate of this method in the heap and stack memory destruction is more than 80%.

关键词： Software Instruments Memory management Runtime Static analysis Aerospace electronics Security

来源：评论

学校读者我要写书评

暂无评论

Research on Performance Optimization for Sparse Matrix-Vector Multiplication in Multi/Many-core Architecture

Research on Performance Optimization for Sparse Matrix-Vecto...

引用

Information Technology and Computer Application (ITCA), International Conference on

作者： Qihan Wang Mingliang Li Jianming Pang Di Zhu State Key Laboratory of Mathematical Engineering and Advanced Computing zhengzhou China

Sparse matrix vector multiplication is an important and commonly used computing kernel in scientific computing. Irregular arrangement of non zeros in sparse matrix leads to irregular memory access pattern, which in turn affects the running speed. In the past ten years, there have been many optimization methods of sparse matrix vector multiplication based on different ideas and techniques. In this paper, the commonly used performance optimization techniques of sparse matrix vector multiplication in multi/many-core architecture are comprehensively investigated. We classify technical methods according to their common characteristics, and discuss the problems encountered by researchers of various methods. In addition, We provide a typical large sparse matrix set for testing. This paper also provides a theoretical basis for our subsequent sparse matrix calculation in Sunway TaihuLight archiecture.

关键词： Scientific computing Memory management Optimization methods Bandwidth Sparse matrices Kernel Information technology

来源：评论

学校读者我要写书评

暂无评论

A framework for test data generation of object-oriented programs based on complete testing chain

A framework for test data generation of object-oriented prog...

引用

ACIS International Conference on Software engineering, Artificial Intelligence, Networking, and Parallel/Distributed computing (SNPD)

作者： Gang Li Lei Yu Huihui Sun State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

Test data generation is always a hot topic in software testing since efficient test data generation method can significantly increase the efficiency of software testing and decrease the cost. Method call relation and parameter list are seldom considered in existing test data generation methods for object-oriented programs. In this paper, we present the concept of complete testing chain which stipulates the order of methods to be followed when generating test data for object-oriented programs to guarantee the correctness of test data generation. Basing on this, a framework for test data generation of object-oriented programs is proposed. We discuss encoding paradigm of test data, updating of test data and design of fitness function. For updating of test data, particle swarm optimization is introduced to realize the update of parameter list with genetic algorithm used for method sequence updating. Last but not least, a method to improve the initial population by using generated test data is presented for programs whose branch statements consist of method calls. The results show that the proposed methods can greatly increase the success rate and efficiency of test data generation for object-oriented programs.

关键词： Testing Sociology Statistics Sun

来源：评论

学校读者我要写书评

暂无评论

MC-RGCN: A Multi-Channel Recurrent Graph Convolutional Network to Learn High-Order Social Relations for Diffusion Prediction

MC-RGCN: A Multi-Channel Recurrent Graph Convolutional Netwo...

引用

IEEE International Conference on Data Mining (ICDM)

作者： Ningbo Huang Gang Zhou Mengli Zhang Meng Zhang State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

ISBN: (纸本)9781665423991

Information diffusion prediction aims to predict the tendency of information spreading in the network. Previous methods focus on extracting chronological features from diffusion paths and leverage relations in social graph as side information to facilitate diffusion prediction. However, abundant high-order social relations in information diffusion have not been sufficiently utilized, such as co-repose and co-following which can further mine potential user common preferences. In this paper, we construct a heterogeneous diffusion network (HDN) from the social graph and information cascades to model the high-order social relations in information diffusion. Then, we design a novel model named Multi-Channel Recurrent Graph Convolutional Network (MC-RGCN), which can extract high-order social relation semantics from the channels of HDN to promote prediction performance. In each channel, we depict a specific social relations from the views of global topology, pairwise strength, and local structure. Finally, we conduct extensive experiments on three real-world datasets, and the results show that our proposed method outperforms the state-of-the-art models on diffusion prediction.

关键词： Network topology Conferences Semantics Predictive models Feature extraction Data models Topology

来源：评论

学校读者我要写书评

暂无评论

Defense Strategy Selection Method for Stackelberg Security Game Based on Incomplete Information

Defense Strategy Selection Method for Stackelberg Security G...

引用

作者： Xiaoyue Ge Tianyang Zhou Yichao Zang State Key Laboratory of Mathematical Engineering and Advanced Computing Information & Engineering University

Network attack and defense confrontation is essentially a game process between unequal subjects on both sides of attack and *** are some defects in the prior hypothesis that the subject status of both sides of the attack and defense game is equal and the active defense ability is insufficient in the research of the existing network defense *** this paper,game theory unequal thought and defender active release incentive technology into network defense strategy generation model construction process,and a Stackelberg Security Game defense strategy generation method based on incomplete information is *** establishing the network model,the strong equilibrium strategy algorithm of Stackelberg Security Game with incomplete information is used to generate the optimal defense strategy of the *** defender can actively release the incentive strategy without reducing the accuracy of defense strategy *** experimental results provide a method for the selection of optimal defense strategy,and can strengthen the security of the system.

关键词： network attack and defense Stackelberg Security Game incentive strategy policy selection

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：