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

IEEE International Conference on Smart Grid Communications (SmartGridComm)

作者： Tian Liu Xiaoqi Tan Bo Sun Yuan Wu Xiaohong Guan Danny H. K. Tsang Department of Electronic and Computer Engineering The Hong Kong University of Science and Technology Hong Kong MOE Key Lab for Intelligent Networks and Network Security Xi'an Jiaotong University Xi'an China College of Information Engineering Zhejiang University of Technology Hangzhou China

To handle the mismatch problem between local demand and local generation in microgrids (MGs), the paradigm of peer-to-peer (P2P) energy sharing among neighboring MGs has been considered as a promising solution for improving the utilization of local distributed energy resources and saving the energy bills for all MGs. Existing works on cooperative MGs usually consider the high-level energy sharing and trading strategies but little about the physical constraints (e.g. voltage tolerance and power flow constraints) in the underlying distribution network. Hence, their solutions may not be applicable to practical power systems. This paper proposes an optimization problem that aims at minimizing the overall energy cost and the P2P energy sharing losses in a distribution network consisting of multiple MGs and explicitly incorporates the practical constraints (e.g., power balance and battery's operational constraints). The proposed optimization problem is difficult to solve directly due to the non-convex constraints. Nevertheless, motivated by the very recent result in radial distribution networks, the proposed non-convex optimization problem can be relaxed to a second-order cone programming (SOCP) problem without incurring any loss of optimality. We apply the proposed problem to a radial distribution network testbed and obtain the corresponding optimal energy management strategy, which exploits the diversified energy consumption profiles to dynamically coordinate multiple MGs and reduces the total energy bill of all MGs. Moreover, an interesting observation from the simulation results is that the cooperation scheme in the P2P sharing network is significantly affected by the MGs' relative locations in the distribution network.

关键词： Propagation losses Smart grids Microgrids Optimization Numerical models Renewable energy sources

来源：评论

学校读者我要写书评

暂无评论

Stability analysis of information spreading on SNS based on refined SEIR model

引用

China Communications 2014年第11期11卷 24-33页

作者： Wang, Chao Hu, Yuanping Liu, Chengyuan Liu, Zhihong Ma, Jianfeng School of Computer Science and Technology Xidian University Xi'an 710071 China Shaanxi Key Laboratory of Network and System Security Xidian University Xi'an 710071 China

Investigating the stability of information spreading over SNS helps to understand the principles inherent in the spreading behavior. This paper explores the mechanisms of information spreading including stifling mechanism, latent mechanism and forgetting mechanism, establishes a refined SEIR model, and builds the corresponding mean-field equations. The methods of the differential dynamics and the next generation matrix are used to calculate the equilibriums and the basic reproductive number, and the asymptotical stability of the network equilibriums are proved theoretically. Simulation experiments are carried out to analyze the effect of the spreading mechanisms on the information spreading process and the results support our conclusions. © 2013 IEEE.

关键词： asymptotical stability basic reproduction number information spreading model SNS

来源：评论

学校读者我要写书评

暂无评论

Novel way to research nonlinear feedback shift register

引用

Science China(Information Sciences) 2014年第9期57卷 161-174页

作者： ZHAO DaWei PENG HaiPeng LI LiXiang HUI SiLi YANG YiXian Information Security Center State Key Laboratory of Networking and Switching TechnologyBeijing University of Posts and Telecommunications Zhejiang Provincial Key Lab of Data Storage and Transmission Technology Hangzhou Dianzi University National Engineering Laboratory for Disaster Backup and Recovery Beijing University of Posts and Telecommunications Shandong Provincial Key Laboratory of Computer Network Shandong Computer Science Center

In this paper,we regard the nonlinear feedback shift register(NLFSR)as a special Boolean network,and use semi-tensor product of matrices and matrix expression of logic to convert the dynamic equations of NLFSR into an equivalent algebraic *** on them,we propose some novel and generalized techniques to study ***,a general method is presented to solve an open problem of how to obtain the properties(the number of fixed points and the cycles with different lengths)of the state sequences produced by a given NLFSR,i.e.,the analysis of a given *** then show how to construct all 22n-(l-n)/22n-lshortest n-stage feedback shift registers(nFSR)and at least 22n-(l-n)-1/22n-l-1shortest n-stage nonlinear feedback shift registers(nNLFSR)which can output a given nonperiodic/periodic sequence with length ***,we propose two novel cycles joining algorithms for the construction of full-length ***,two algorithms are presented to construct 22n-2-1different full-length nNLFSRs,respectively.

关键词： nonlinear feedback shift register semi-tensor product Boolean network full-length nNLFSR binary sequence

来源：评论

学校读者我要写书评

暂无评论

DBPD: A dynamic birthmark-based software plagiarism detection tool 26

DBPD: A dynamic birthmark-based software plagiarism detectio...

引用

26th International Conference on Software Engineering and Knowledge Engineering, SEKE 2014

作者： Tian, Zhenzhou Zheng, Qinghua Fan, Ming Zhuang, Eryue Wang, Haijun Liu, Ting Ministry of Education Key Lab For Intelligent Networks and Network Security Department of Computer Science and Technology Xi'an Jiaotong University Xi'an China

With the burst of open source software, software plagiarism has been a serious threat to the software industry. In this paper, we present the demo tool DBPD: Dynamic Birthmark-based Software Plagiarism Detection. Major features of DBPD could be summarized as: 1) dynamic birthmark. The execution process of software is captured to generate the birthmark reflecting intrinsic properties of software;2) high availability. It is available for crossplatform and binary executable's plagiarism detection;3) customizable. The birthmarks, similarity calculation metrics and detection criteria are configurable. The DBPD is implemented using C++ and Java, and currently can work under both Windows and Linux system. Three dynamic birthmarks are implemented in DBPD to identify the software according to its instruction, stack operation and system call. Copyright © 2014 by Knowledge Systems Institute Graduate School.

关键词： Dynamic birthmark Software plagiarism detection

来源：评论

学校读者我要写书评

暂无评论

Design and Prototype Implementation of Social Value Evaluation System for Voluntary Service

Design and Prototype Implementation of Social Value Evaluati...

引用

2015 IEEE Advanced Information technology,Electronic and Automation Control Conference(IAEAC 2015)

作者： Min Liu Fan Wu Feng Tian Haiping Zhu Nazaraf Shah Qinghua Zheng Yan Chen Department of Computer Science and Technology Xi'an Jiaotong University Shaanxi Province Key Lab.of Satellite and Terrestrial Network Tech.R&D Systems Engineering Institute Xi'an Jiaotong University Shaanxi Province Key Lab.of Satellite and Terrestrial Network Tech.R&D Department of Computer Science and Technology Coventry University

ISBN: (纸本)9781479919819

Evaluating the social value of voluntary service(especially the quality of collaborative service) not only measures the degree of society civilization,but also provides the guidance or indicator of overall arrangement of voluntary service and utilization efficiency of voluntary *** with the informatization development of the network,the release,implementation and evaluation of voluntary service can be integrated into a management information ***,the current research seldom involves comprehensive evaluation system,especially one considering the indicator of *** paper proposes a Social Value Evaluation System for Voluntary Service(SVESVS) and also presents design and implementation of prototype of the evaluation *** on simulated data and data obtained from national volunteer service platform,the proposed evaluation system is tested,visualized and validated from different *** the help of this information management system,the process tracking,monitoring and the resource integration of volunteer service can be achieved effectively.

关键词： voluntary service management information system evaluation system collaboration indicator

来源：评论

学校读者我要写书评

暂无评论

One forward-secure signature scheme using bilinear maps and its applications

One forward-secure signature scheme using bilinear maps and ...

引用

作者： Yu, Jia Kong, Fanyu Cheng, Xiangguo Hao, Rong Li, Guowen College of Information Engineering Qingdao University 266071 Qingdao China Shandong Provincial Key Laboratory of Computer Network 250014 Jinan China Institute of Network Security Shandong University 250100 Jinan China Key Lab of Cryptographic Technology and Information Security Ministry of Education Jinan 250100 China School of Computer Science and Technology Shandong Jianzhu University 250100 Jinan China

Forward-secure signatures are proposed to deal with the key exposure problem. Compared to regular signatures, forward-secure signatures have a special update algorithm that can evolve the new private key in each time period. Therefore, it can protect the security of signatures previous to the time period of key exposure. The efficiency is an important issue of forward-secure signatures. In this paper, we construct a new forward-secure signature scheme using bilinear maps. In this scheme, all performance parameters have complexities of log magnitude in terms of the total time periods. In addition, our scheme needs very few (only triple) pairing operations in the verifying algorithm, which is very important because the pairing operation is very time-consuming. This scheme is proved to be forward secure in the random oracle model assuming the CDH problem is hard. Finally, we give some applications of this scheme including constructing an intrusion-resilient signature scheme and constructing a forward-secure threshold signature scheme. © 2014 Elsevier Inc. All rights reserved.

关键词： Authentication

来源：评论

学校读者我要写书评

暂无评论

ESYN: Efficient synchronization clustering algorithm based on dynamic synchronization model

引用

Tongxin Xuebao/Journal on Communications 2014年 35卷 86-93页

作者： Dong, Xue-Wen Yang, Chao Sheng, Li-Jie Ma, Jian-Feng Shaanxi Key Laboratory of Network and System Security Xidian University Xi'an710071 China School of Computer Science and Technology Xidian University Xi'an710071 China

Clustering is an important research field in data mining. Based on dynamical synchronization model, an efficient synchronization clustering algorithm ESYN is proposed. Firstly, based on local structure information of a non-vector network, a new concept vertex similarity is brought up to describe the link density between vertices. Secondly, the network is vectoried by OPTICS algorithm and turned into one-dimensional coordination sequence. Finally, global coupling analysis is applied to generalized Kuramoto synchronization model, synchronization radius is increased and the optimal clustering result is automatically selected. The experimental results on a large number of synthetic and real-world networks show that proposed algorithm achieves high accuracy. ©, 2014, Editorial Board of Journal on Communications. All right reserved.

关键词： Clustering algorithms

来源：评论

学校读者我要写书评

暂无评论

An adaptively secure multi-authority ciphertext-policy ABE scheme on prime order groups

引用

Tien Tzu Hsueh Pao/Acta Electronica Sinica 2014年第4期42卷 696-702页

作者： Li, Qi Ma, Jian-Feng Xiong, Jin-Bo Liu, Xi-Meng Ma, Jun School of Computer Science and Technology Xidian University Xi'an Shaanxi 710071 China School of Telecommunication Engineering Xidian University Xi'an Shaanxi 710071 China Shaanxi Key Laboratory of Network and System Security Xidian University Xi'an Shaanxi 710071 China

Previous adaptively secure multi-authority attribute-based encryption (ABE) schemes suffered from superfluous computation overhead on composite order groups. To tackle this problem, an adaptively secure multi-authority ciphertext-policy ABE (MA-CP-ABE) scheme on prime order groups was proposed when a dual pairing vector space approach was employed. The proposed scheme supports any monotone access structure, and is proven adaptively secure from the decisional linear assumption in the standard model. Performance analysis indicates that our scheme is more efficient while achieving the adaptive security.

关键词： Vector spaces

来源：评论

学校读者我要写书评

暂无评论

Directed test suite augmentation via exploiting program dependency 6

Directed test suite augmentation via exploiting program depe...

引用

6th International Workshop on Constraints in Software Testing, Verification, and Analysis, CSTVA 2014

作者： Wang, Haijun Guan, Xiaohong Zheng, Qinghua Liu, Ting Shen, Chao Yang, Zijiang MOE Key Lab. for Intelligent Networks and Network Security Xi'an Jiaotong University Xi'an China College of Computer and Technology Xi'an University of Technology Xi'an China Western Michigan University KalamazooMI United States

ISBN: (纸本)9781450328470

Regression testing is a practice to discover faults introduced in the program modification. However, the existing test suite is usually designed at an early stage of software development and is therefore insensitive to subsequent program changes. Although symbolic execution such as JPF-SE is able to produce test cases for the modified program by exhaustively exploring program paths, it is not tailored for testing program changes and is not scalable. In this paper, we propose an efficient approach called Directed Test Suite Augmentation (DTSA) to automatically generate test cases that can reach the changed statements, produce different program states after executing the changed statements, and propagate the different states to the output of the program. The key insight of DTSA is to reorder the generated test cases tailored for testing program changes compared with JPF-SE. We implemented a prototype of our approach and the experiment results show that DTSA requires about 60.1% and 45.6% fewer Dynamic Symbolic Execution (DSE) runs to generate the desired test case than JPF-SE and another test suite augmentation tool eXpress, respectively.

关键词： Software testing

来源：评论

学校读者我要写书评

暂无评论

Reducing test cases with causality partitions 26

Reducing test cases with causality partitions

引用

26th International Conference on Software Engineering and Knowledge Engineering, SEKE 2014

作者： Wang, Haijun Guan, Xiaohong Zheng, Qinghua Liu, Ting Li, Xiangyang Yu, Lechen Yang, Zijiang MOE Key Lab. for Intelligent Networks and Network Security Xi'an Jiaotong University Xi'an China College of Computer and Technology Xi'an University of Technology Xi'an China Western Michigan University KalamazooMI United States

Automatic test case generation using symbolic execution suffers from the problem of path explosion: the number of paths to be explored may grow exponentially with the scale of a program. We believe that different paths may exhibit some similar program behaviors, thus it is unnecessary to explore all of the paths to generate test cases. In this paper, a novel model of program causality is proposed to extract all kinds of influences among statements of a program, which consists of four types of program dependencies. Then, a heuristic approach based on program causality is developed to selectively explore program paths in symbolic execution. We have implemented a prototype of our approach within the symbolic execution engine of Java Pathfinder. Experiments on six public benchmarks show that our approach can significantly reduce the number of explored paths and the symbolic execution time so that to improve the performance of test case generation. Copyright © 2014 by Knowledge Systems Institute Graduate School.

关键词： Causality partition Symbolic execution Test case generation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：