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

LOPE: A Low-Overhead Payment Verification Method for Blockchains

Chinese Journal of Electronics 2021年第2期30卷 349-358页

作者： ZHANG Ying HE Zhengyuan JIA Linpeng DING Donghui ZHANG Hanwen SUN Yi School of Software Engineering Tongji University Blockchain Lab Institute of Computing Technology Chinese Academy of Sciences School of Computer Science and Technology University of Chinese Academy of Sciences

With its characteristics of decentralization,security, data traceability, and tamper-resistance, the blockchain has been widely used in various *** the difference in the performance of the devices, the light client is proposed so that devices without the ability to store a full blockchain copy can also participate in the blockchain transactions. However,the light client has to communicate with full nodes and verify the authenticity of a transaction which brings in some extent of communication, computation, and storage overheads to the light client. These overheads cannot be ignored for some low-performance devices, such as embedded devices or Io T chips, and therefore the current light client scheme does not work in this situation. We propose LOPE(a Low-overhead payment v Erification method) for poor-capacity nodes in the blockchain *** LOPE, a grouping protocol is designed to partition full nodes into groups to serve the verification requests of the light client. In addition, Practical byzantine fault tolerance(PBFT) is used to ensure the light client to get a credible result in spite of a few dishonest nodes existing in the group. We conduct LOPE and evaluate it in a testbed. The experiment results show that LOPE reduces more than half of the communication overhead, degrades the computation overhead of the light client to a large extent, and avoids the storage overhead of the hash roots of block headers in the light client. We also conduct theoretical analysis to show the performance improvement and security issues of LOPE.

关键词： current light client scheme storage overhead blockchains Low-overhead payment vErification method peer-to-peer computing software fault tolerance electronic money data integrity LOPE low-performance devices cryptographic protocols fault tolerance blockchain transactions

来源：评论

学校读者我要写书评

暂无评论

A property-based testing framework for encryption programs

引用

Frontiers of computer science 2014年第3期8卷 478-489页

作者： Chang-ai SUN Zuoyi WANG Guan WANG School of Computer and Communication Engineering University of Science and Technology Beijing Beijing 100083 China State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing 100190 China

In recent years, a variety of encrypfion algorithms were proposed to enhance the security of software and systems. Validating whether encryption algorithms are correctly implemented is a challenging issue. software testing delivers an effective and practical solution, but it also faces the oracle problem （that is, under many practical situations, it is impossible or too computationally expensive to know whether the output for any given input is correct）. In this paper, we propose a property-based approach to testing encryption programs in the absence of oracles. Our approach makes use of the so-called metamorphic properties of encryption algorithms to generate test cases and verify test results. Two case studies were conducted to illustrate the proposed approach and validate its effectiveness. Experimental results show that even without oracles, the proposed approach can detect nearly 50% inserted faults with at most three metamorphic relations （MRs） and fifty test cases.

关键词： software testing encryption programs test oracles metamorphic testing (MT)

来源：评论

学校读者我要写书评

暂无评论

Algorithmic aspects for bi-objective hardware/software partitioning

引用

Journal of Computational Information Systems 2014年第3期10卷 1195-1202页

作者： Shi, Wenjun Duan, Xinming Wu, Jigang School of Computer Science and Software Engineering Tianjin Polytechnic University Tianjin 300387 China Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing 100190 China

Hardware-software (HW/SW) partitioning is one of the crucial steps in embedded system design. This paper focuses on the algorithmic aspects of the HW/SW partitioning with the objectives of minimizing both execution time and power consumption. An efficient heuristic algorithm running in O(n log n) is proposed. Also, an exact algorithm based on dynamic programming is proposed to calculate the optimal solution for small-sized problems. Simulation results show that the proposed heuristic algorithm yields very good approximate solutions while dramatically reducing the execution time. © 2014 Binary Information Press.

关键词： Heuristic algorithms

来源：评论

学校读者我要写书评

暂无评论

A shot boundary detection method based on context vector and Tabu-SVM

引用

Journal of Computational Information Systems 2012年第16期8卷 6817-6824页

作者： Zhao, Long Sun, Xuemei Shang, Bingjian Wu, Jigang School of Computer Science and Software Engineering Tianjin Polytechnic University Tianjin 300387 China State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing 100190 China

Categorizing the consecutive video frames into shots is the first and prerequisite step for contentbased video indexing and retrieval. With a considerable amount of research focusing on the shot boundary detection, traditional classification for common shot transitions has achieved satisfactory results. However, most of the existing algorithms are susceptible to the effect from thresholds, and can't avoid missing the long gradual shot transitions hard to detect. To address the two problems, a novel method which uses context feature vector and Tabu-SVM is presented in the paper. The major advantages of the proposed algorithm are quite accurate detection performance and optimization towards the classification model. Experimental results show that our proposed method is effective and robust, especially the boundaries of long transitions are detected with minimal inaccuracy. © 2012 Binary Information Press.

关键词： Support vector machines

来源：评论

学校读者我要写书评

暂无评论

Lumiproxy:A Hybrid Representation of Image-Based Models

引用

Journal of computer science & Technology 2009年第3期24卷 578-587页

作者：盛斌朱鉴吴恩华张言辞 Department of Computer Science and Engineering The Chinese University of Hong Kong Faculty of Science and Technology University of Macao Institute of Software Chinese Academy of Sciences Department of Informatics University of Zurich

In this paper, we present a hybrid representation of image-based models combining the textured planes and the hierarchical points. Taking a set of depth images as input, our method starts from classifying input pixels into two categories, indicating the planar and non-planar surfaces respectively. For the planar surfaces, the geometric coefficients are reconstructed to form the uniformly sampled textures. For nearly planar surfaces, some textured planes, called lumiproxies, are constructed to represent the equivalent visual appearance. The Hough transform is used to find the positions of these textured planes, and optic flow measures are used to determine their textures. For remaining pixels corresponding to the non-planar geometries, the point primitive is applied, reorganized as the OBB-tree structure. Then, texture mapping and point splatting are employed together to render the novel views, with the hardware acceleration.

关键词： lumiproxy sampling surface fitting image-based rendering

来源：评论

学校读者我要写书评

暂无评论

Modelling and Verification of Real-Time Publish and Subscribe Protocol Using UPPAAL and Simulink/Stateflow

引用

Journal of computer science & Technology 2020年第6期35卷 1324-1342页

作者： Qian-Qian Lin Shu-Ling Wang Bo-Hua Zhan Bin Gu State Key Laboratory of Computer Science Institute of SoftwareChinese Academy of SciencesBeijing 100190China Beijing Institute of Control Engineering Beijing 100081China

Real-Time Publish and Subscribe (RTPS) protocol is a protocol for implementing message exchange over an unreliable transport in data distribution service (DDS). Formal modelling and verification of the protocol provide stronger guarantees of its correctness and efficiency than testing alone. In this paper, we build formal models for the RTPS protocol using UPPAAL and Simulink/Stateflow. Modelling using Simulink/Stateflow allows analyzing the protocol through simula-tion, as well as generate executable code. Modelling using UPPAAL allows us to verify properties of the model stated in TCTL (Timed Computation Tree Logic), as well as estimate its performance using statistical model checking. We further describe a procedure for translation from Stateflow to timed automata, where a subset of major features in Stateflow is supported, and prove the soundness statement that the Stateflow model is a refinement of the translated timed automata model. As a consequence, any property in a certain fragment of TCTL that we have verified for the timed automata model in UPPAAL is preserved for the original Stateflow model.

关键词： Real-Time Publish and Subscribe(RTPS) modelling verification UPPAAL Simulink/Stateflow

来源：评论

学校读者我要写书评

暂无评论

EXPERT DISCOVERY AND KNOWLEDGE MINING IN COMPLEX MULTI-AGENT SYSTEMS

引用

Journal of Systems science and Systems engineering 2007年第2期16卷 222-234页

作者： Minjie ZHANG Xijin TANG Quan BAI Jifa GU School of Computer Science and Software Engineering University of Wollongong Wollongong NSW 2522 Australia Instttute of System Sctence Chinese Academy of Sciences Beijing 100080 China

Complex problem solving requires diverse expertise and multiple techniques. In order to solve such problems, complex multi-agent systems that include both of human experts and autonomous agents are required in many application domains. Most complex multi-agent systems work in open domains and include various heterogeneous agents. Due to the heterogeneity of agents and dynamic features of working environments, expertise and capabilities of agents might not be well estimated and presented in these systems. Therefore, how to discover useful knowledge from human and autonomous experts, make more accurate estimation for experts＇ capabilities and find out suitable expert（s） to solve incoming problems （＂Expert Mining＂） are important research issues in the area of multi-agent system. In this paper, we introduce an ontology-based approach for knowledge and expert mining in hybrid multi-agent systems. In this research, ontologies are hired to describe knowledge of the system. Knowledge and expert mining processes are executed as the system handles incoming problems. In this approach, we embed more self-learning and self-adjusting abilities in multi-agent systems, so as to help in discovering knowledge of heterogeneous experts of multi-agent systems.

关键词： Knowledge discovery knowledge mining expert mining multi-agent system

来源：评论

学校读者我要写书评

暂无评论

Review:Image anti-aliasing techniques for Internet visual media processing: a review

引用

Journal of Zhejiang University-science C(computers and Electronics) 2014年第9期15卷 717-728页

作者： Xu-dong JIANG Bin SHENG Wei-yao LIN Wei LU Li-zhuang MA Department of Computer Science and Engineering Shanghai Jiao Tong University State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Department of Electronic Engineering Shanghai Jiao Tong University Autodesk Software (China) Co. Ltd. Shanghai Branch

Anti-aliasing is a well-established technique in computer graphics that reduces the blocky or stair-wise appearance of pixels. This paper provides a comprehensive overview of the anti-aliasing techniques used in computer graphics, which can be classified into two categories: post-filtering based anti-aliasing and pre-filtering based anti-aliasing. We discuss post-filtering based anti-aliasing algorithms through classifying them into hardware anti-aliasing techniques and post-process techniques for deferred rendering. Comparisons are made among different methods to illustrate the strengths and weaknesses of every category. We also review the utilization of anti-aliasing techniques from the first category in different graphic processing units, i.e., different NVIDIA and AMD series. This review provides a guide that should allow researchers to position their work in this important research area, and new research problems are identified.

关键词： Anti-aliasing Hardware Post-filtering Pre-filtefing Sampling

来源：评论

学校读者我要写书评

暂无评论

Sketch-based stroke generation in Chinese flower painting

引用

science China(Information sciences) 2016年第7期59卷 237-239页

作者： Lijie YANG Tianchen XU Jixiang DU Enhua WU College of Computer Science and Technology Huaqiao University Department of Computer Science and Engineering Hong Kong University of Science and Technology Faculty of Science and Technology University of Macau State Key Laboratory of Computer Science Institute of SoftwareChinese Academy of Sciences

Dear editor,Flower painting,which is one of the major categories of Chinese painting,represents the key artistic characteristics of oriental *** other words,its typical usages of stroke and ink color contribute to the unique appeal of Chinese painting,since the strokes may be straight or curved,hard or soft,thick or thin,pale or dark,and the ink colors may be dry or running,blending or ***,the complexity and variety of

关键词： In Sketch-based stroke generation in Chinese flower painting real work

来源：评论

学校读者我要写书评

暂无评论

An advanced operating environment for mathematics education resources

引用

science China(Information sciences) 2018年第9期61卷 270-281页

作者： Yongsheng RAO Jingzhong ZHANG Yu ZOU Yanchun SUN Xiangping CHEN Songhua XU School of Data and Computer Science Sun Yat-Sen University Academy for Intelligent Software Guangzhou University Institute of Mathematics and Computer Science Guizhou Normal College School of Electronics Engineering and Computer Science Peking University Key Laboratory of High Confidence Software Technologies Ministry of Education Beijing College of Computer Sciences New Jersey Institute of Technology

The potential of information technology(IT)in education modernization has been widely *** the broad efforts for advancing education IT,digital education resources continue to receive a high level of attention,with the... 详细信息

关键词： SSP OA An advanced operating environment for mathematics education resources OER Figure

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：