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

IEEE International Conference on High Performance Computing and Communications (HPCC)

作者： Jian Huang Shaoqing Qiao Haitao Yu Jinhui Qie Chunwei Liu School of Software Beihang University (BUAA) Beijing China School of Computer Science and Engineering Beihang University (BUAA) Beijing China Beijing Transportation Information Center Beijing China National Space Science Center (NSSC) Chinese Academy of Sciences(CAS) Beijing China

The procedure of matching vehicle location data onto road map is very essential for many ITS (Intelligent Transportation System) applications. However, with the boosting deployment of GPS devices in vehicles, the accumulation of huge amount of GPS data caused great challenge on the efficiency and scalability of traditional serial map matching algorithm. In this paper we address the challenge by presenting a novel parallel map matching algorithm to realize high-performance processing of GPS data. The main idea is to adapt the serial map matching algorithm for cloud computing environment by reforming its' data-intensive or I/O-intensive computing stages using MapReduce paradigm. We implemented the algorithm in Hadoop platform and tested its performance by a large GPS dataset exceeds 120 billion GPS records. Experimental results show that our approach is highly efficient and scalable for massive historical GPS data processing.

关键词： Global Positioning System Roads computers Vehicles Algorithm design and analysis Sorting

来源：评论

学校读者我要写书评

暂无评论

A multi-agent immunologically-inspired model for critical information infrastructure protection - An immunologically-inspired conceptual model for security on the power grid

A multi-agent immunologically-inspired model for critical in...

引用

11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom-2012

作者： Mavee, S.M.A. Ehlers, E.M. Academy of Computer Science and Software Engineering University of Johannesburg Johannesburg South Africa

ISBN: (纸本)9780769547459

Critical Infrastructure (CI) is the term used to describe assets that are of utmost importance, or in other words, essential in the functioning of an environment. Societies depend on their critical infrastructure in order to maintain and continuously improve on their standards of living. As these systems increasingly depend on cyber-technology, their security on networked environments become crucial. The modern smart grid has become part of CI through the enhancement it provides to regular electricity grid infrastructure. The application of biologically inspired systems to ensure security in aspects such as intrusion detection, access control, anomaly detection and others has become a widely researched field in when dealing with networked computing systems. This paper discusses the importance of CI, the application of artificial immune systems in the protection of CI information systems and proposes a new model for smart grid protection using biologically inspired concepts. © 2012 IEEE.

关键词： Critical infrastructures

来源：评论

学校读者我要写书评

暂无评论

Inflammation security: A decentralised immune model for resource distribution in networks

Inflammation security: A decentralised immune model for reso...

引用

11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom-2012

作者： Heydenrych, Mark Ehlers, Elizabeth Academy of Computer Science and Software Engineering University of Johannesburg Johannesburg South Africa

ISBN: (纸本)9780769547459

This paper will present a method for disseminating mobile agents throughout a network in order to protect that network. This method is based on the immune concept of inflammation, which provides greater blood flow to areas of the body in danger. It also presents a prototype implementation of the model, and analyses that prototype. © 2012 IEEE.

关键词： Network security

来源：评论

学校读者我要写书评

暂无评论

Predicting the Next Scenic Spot a User Will Browse on a Tourism Website Based on Markov Prediction Model

Predicting the Next Scenic Spot a User Will Browse on a Tour...

引用

International Conference on Tools for Artificial Intelligence (ICTAI)

作者： Yifan Shi Yimin Wen Zhigang Fan Yuqing Miao School of Computer Science and Engineering Guilin University of Electronic Technology Guilin China Guangxi Key Laboratory of Trusted Software Guilin University of Electronic Technology Guilin China Shanghai Advanced Research Institute Chinese Academy of Sciences Shanghai China

In order to handle the information overload on the tourism websites and understand user's travel preference, we propose to build a users' preference matrix to reflect the users' preference degree on a set of scenic spots, and then propose a method of combining user clustering with Markov chain to predict the next scenic spot a user will browse on a tourism website. The experimental results indicate that the preference matrix can catch the travel preference of users and the proposed method can be used for predicting the next browsing behaviors of users.

关键词： Markov processes Predictive models Accuracy Association rules Data models Prefetching Educational institutions

来源：评论

学校读者我要写书评

暂无评论

The design of bus accessing timing to NAND flash array for high bandwidth

The design of bus accessing timing to NAND flash array for h...

引用

International SoC Design Conference, ISOCC

作者： Cheng Li-xin Yue Yang Liu Yun-yun J. K. Seon Ka Lok Man Suzhou Institute of Nano-Tech and Nano-Bionics (SINANO) Chinese Academy of Sciences Suzhou China Network Information Center Harbin Engineering University Harbin China LS Industrial Systems Korea Department of Computer Science and Software Engineering Xi'an Jiaotong-Liverpool University Suzhou China

To improve the reading and writing speed of NAND flash array with multi-channel and multi-way, and to obtain the highest available bandwidth, an approach is presented in this paper. One mechanism of high efficiency bus accessing timing scheme based on interleaving is introduced into the approach. In pursuance of this timing, flash controllers are able to make every plane in the flash array to be active in parallel. Therefore the transmission ability to and from the bus can be greatly improved. Utilizing this approach, the accessing efficiency to the NAND flash array will be pushed to a very high level. According to the testing results, as opposed to normal flash bus timing scheme, the data reading efficiency can be increased by 68.5%, and the data writing efficiency can be increased by 457%, with the flash bus timing scheme presented in this paper being used. The conclusion can be drawn that the flash bus timing scheme presented in this paper is effective, and the reading and writing at very high speed to the NAND flash array can be realized.

关键词： Timing Flash memories Arrays Bandwidth Solids Clocks Data communication

来源：评论

学校读者我要写书评

暂无评论

A path-oriented approach to generating executable test sequences for extended finite state machines

A path-oriented approach to generating executable test seque...

引用

IEEE 6th International Symposium on Theoretical Aspects of software engineering, TASE 2012

作者： Wu, Tianyong Yan, Jun Zhang, Jian Technology Center of Software Engineering Institute of Software Chinese Academy of Sciences China State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences China Graduate University Chinese Academy of Sciences China

ISBN: (纸本)9780769547510

The Extended Finite State Machine (EFSM) is a commonly used model for specifying software systems. A test sequence for an EFSM is a sequence composed of values of input variables, which can make the EFSM "execute" along a complete path from entry to exit. Traditional test sequence generation methods for EFSM almost imitate those FSM based approaches and focus on states identification. Most of them impose significant restrictions on the EFSM. This paper proposes a path-oriented approach to generating test cases for EFSM and presents a tool for test data generation. The experiments show that our tool can generate executable test sequences for EFSM models of software systems automatically in acceptable time. © 2012 IEEE.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

Polar differential power attacks and evaluation

引用

science China(Information sciences) 2012年第7期55卷 1588-1604页

作者： TANG Ming 1 ,QIU ZhenLong 1 ,GAO Si 1,2 ,YI Mu 3 ,LIU ShuBo 1 ,ZHANG HuanGuo 1 & JIN YingZhen 1 1 School of computer science,Wuhan University,Wuhan 430072,China 2 State Key Laboratory of Information Security,Institute of software,Chinese academy of sciences,Beijing 100190,China 3 Centre for computer and Information Security Research School of computer science and software engineering University of Wollongong,Wollongong,NSW 2522,Australia 1. School of Computer Science Wuhan University Wuhan 430072 China2. State Key Laboratory of Information Security Institute of Software Chinese Academy of Sciences Beijing 100190 China3. Centre for Computer and Information Security Research School of Computer Science and Software Engineering University of Wollongong Wollongong NSW 2522 Australia

Side channel attacks (SCAs) on security software and hardware have become major concerns on computer and system *** existing SCAs generally require the knowledge of the corresponding cryptographic algorithm and implementation adopted in the target; therefore,they are not fully suitable for practical *** this paper,we propose a novel SCA-polar differential power attack (polar DPA).We found that DPA peaks have different biases for different cryptographic algorithms and *** on these biases,we can successfully attack a block cipher,assuming that the cipher algorithm uses a secret key in its first round,without the knowledge of the cipher algorithm or *** rounds can be treated as a black *** present a detailed theoretical analysis and experiment to demonstrate the correctness and efficiency of our ***,our scheme has demonstrated an improvement over the leakage evaluation scheme due to Ichikawa et al.(CHES 2005).Our evaluation method can be used in electronic design automatic (EDA) flows and can help security circuit designers to understand the data leakage due to SCAs.

关键词： computer security differential power attack side channel attack

来源：评论

学校读者我要写书评

暂无评论

A particle-based method for granular flow simulation

引用

science China(Information sciences) 2012年第5期55卷 1062-1072页

作者： CHANG YuanZhang 1,BAO Kai 2,3,ZHU Jian 1 & WU EnHua 1,2 1 Department of computer and Information science,University of Macau,Macao,China 2 State Key Laboratory of computer science,Institute of software,Chinese academy of sciences,Beijing 100190,China 3 Division of Mathematical and computer sciences & engineering,KAUST,Thuwal,Saudi Arabia 1. Department of Computer and Information Science University of Macau Macao China2. State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing 100190 China3. Division of Mathematical and Computer Sciences & Engineering KAUST Thuwal Saudi Arabia

We present a new particle-based method for granular flow *** the method,a new elastic stress term,which is derived from a modified form of the Hooke's law,is included in the momentum governing equation to handle the friction of granular *** force is also added to simulate the dynamic friction for the purpose of smoothing the velocity field and further maintaining the simulation *** from the Lagrangian nature of the SPH method,large flow deformation can be well handled easily and *** addition,a signed distance field is also employed to enforce the solid boundary *** experimental results show that the proposed method is effective and efficient for handling the flow of granular materials,and different kinds of granular behaviors can be well simulated by adjusting just one parameter.

关键词： granular materials sand smoothed particle hydrodynamics SPH Hooke’s law animation simu-lation

来源：评论

学校读者我要写书评

暂无评论

A local algorithm for finding dense bipartite-like subgraphs

A local algorithm for finding dense bipartite-like subgraphs

引用

18th Annual International Computing and Combinatorics Conference, COCOON 2012

作者： Peng, Pan State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences China School of Information Science and Engineering Graduate University of China Academy of Sciences China

ISBN: (纸本)9783642322402

We give a local algorithm to extract dense bipartite-like subgraphs which characterize cyber-communities in the Web [13]. We use the bipartiteness ratio of a set as the quality measure that was introduced by Trevisan [20]. Our algorithm, denoted as FindDenseBipartite (v,s,θ), takes as input a starting vertex v, a volume target s and a bipartiteness ratio parameter θ and outputs an induced subgraph of G. It is guaranteed to have the following approximation performance: for any subgraph S with bipartiteness ratio θ, there exists a subset Sθ ⊆ S such that vol(S θ) ≥ vol(S)/9 and that if the starting vertex v ∈ Sθ and s ≥ vol(S), the algorithm FindDenseBipartite (v,s,θ) outputs a subgraph (X,Y) with bipartiteness ratio O(√θ). The running time of the algorithm is O(s2(Δ + logs)), where Δ is the maximum degree of G, independent of the size of G. © 2012 Springer-Verlag.

关键词： Approximation algorithms

来源：评论

学校读者我要写书评

暂无评论

Proving liveness property under strengthened compassion requirements

Proving liveness property under strengthened compassion requ...

引用

9th Annual Conference on Theory and Applications of Models of Computation, TAMC 2012

作者： Long, Teng Zhang, Wenhui State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China School of Information Science and Engineering Graduate University of China Academy of Sciences Beijing China

ISBN: (纸本)9783642299513

Deductive rules are useful for proving properties with fairness constraints and there have been many studies on such rules with justice and compassion constraints. This paper focuses on system specifications with strengthened compassion that impose constraints on transitions involving states and their successors. A deductive rule for proving liveness properties under strengthened compassion is presented, and proofs of the soundness and the relative completeness of the rule are also presented. © 2012 Springer-Verlag.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：