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

International Symposium on Parallel and Distributed Processing with Applications, ISPA

作者： Wan Han Gao Xiaopeng Wang Zhiqiang Li Yi State Key Laboratory of Virtual Reality Technology and System School of Computer Science and Engineering Beijing Aeronautics and Astronautics University Beijing China

Caches play a major role in the performance of high speed computer systems. Trace driven simulator is the most widely used method to evaluate cache architectures. However, as the cache design moves to more complicated architectures, along with the size of the trace is becoming larger and larger. Traditional simulation methods are no longer practical due to their long simulation cycles. Several techniques have been proposed to reduce the simulation time of sequential trace driven simulation. This paper considers the use of generic GPU to accelerate cache simulation which exploits set partitioning as the main source of parallelism. We develop more efficient parallel simulation techniques by introducing more knowledge into the Compute Unified Device Architecture (CUDA) on the GPU. Our experimental result shows that the new algorithm gains 2.76 times performance improvement compared to traditional CPU based sequential algorithm.

关键词： Acceleration Computational modeling computer architecture Analytical models Concurrent computing computer simulation High performance computing Parallel processing Parallel algorithms Distributed processing

来源：评论

学校读者我要写书评

暂无评论

Conflict driven scan chain configuration for high transition fault coverage and low test power

Conflict driven scan chain configuration for high transition...

引用

Asia and South Pacific Design Automation Conference

作者： Zhen Chen Boxue Yin Dong Xiang Department of Computer Science and Technology Tsinghua University Beijing China School of software Key Laboratory of Information System Security Ministry of Education Tsinghua National Laboratory of Information Science and Technology Tsinghua University Beijing China School of software Key Laboratory of Information System Security Ministry of Education Tsinghua National Laboratory of Information Science and Technology Tsinghua University Beijing China

ISBN: (纸本)9781424427482

Two conflict-driven schemes and a new scan architecture based on them are presented to improve fault coverage of transition fault. They make full use of the advantages of broadside, skewed-load and enhanced scan testing, and eliminate the disadvantages of them, such as low coverage, fast global scan enable signal and hardware overhead. Test power is also a challenge for delay testing, so our method tries to reduce the test power at the same time. By the analysis of the functional dependency between test vectors in broadside testing and the shift dependency between vectors in the skewed-load testing, some scan cells are selected to operate in the enhanced scan and skewed-load scan mode, while others operate in traditional broadside mode. In the architecture, scan cells with common successors are divided into one chain. With the efficient conflict driven selection methods and partition of scan cells, fault coverage can be improved greatly and test power can be reduced, without sacrificing the test time and test data. Experimental results show that the fault coverage of the proposed method can reach the level of enhanced scan design.

关键词： Circuit faults Circuit testing Delay Automatic test pattern generation Educational technology Laboratories Fault detection Switches Multiplexing Software testing

来源：评论

学校读者我要写书评

暂无评论

With an application to workflow management based on Colored Petri net

With an application to workflow management based on Colored ...

引用

IEEE International Workshop on Anti-counterfeiting, Security, Identification, ASID

作者： Daoxun Xia Xiaoyao Xie Yang Xu Key Laboratory of Information and Computing Science of Guizhou Province Guizhou Normal University Guiyang China School of Computer Science and Technology Guizhou University Guiyang China

Workflow management promises a new solution to an ancient problem: monitoring, controlling and supporting business processes. What is new about workflow management is the explicit representation of the business process logic. Traditional workflow management models have obvious shortcomings in describing complex workflows. Such complexity is due not only to the complicated dependencies among tasks, but also to the hierarchical property of business process. In this paper, we apply colored Petri nets to model task interfaces and composite task versions. We investigates how to analyze colored Petri nets and modified when a transition fires. A CPN model of a Kerberos protocol is an executable model representing the states of the system and the transitions that can cause the Kerberos protocol to change state. Using CPN tools, it is possible to investigate the behavior of the modeled Kerberos protocol using simulation, to verify properties by means of state space methods and model checking, and to conduct simulation-based performance analysis.

关键词： Protocols Petri nets Application software Software tools Computational modeling Analytical models Power system management Workflow management software Engines Research and development

来源：评论

学校读者我要写书评

暂无评论

Web GIS server solutions using open-source software

Web GIS server solutions using open-source software

引用

IEEE International Workshop on Open-source Software for Scientific Computation (OSSC)

ISBN: (纸本)9781424444526;9781424444533

Web GIS has become an indispensable tool for managing, analyzing and decision making by seamlessly combining both spatial and non-spatial data. Open-source software has the advantages of low cost, high stability and security. So it has been chosen by the small and medium-sized Web GIS project. A complete stack for building Web GIS solutions can include a client-server application framework, a Web mapping engine supporting cartographic rendering functionality and basic GIS capabilities, data storage solutions, and additional tools extending or enhancing the basic GIS capabilities of the mapping engine. This paper puts forward an optimized Web GIS system. First, the article introduced the basic principle of Web GIS then it selected the open-source software: open-source Operating system Linux, open-source application software Apache, Geo Server, PostGIS/MySQL. After that, it constructed the Web GIS server with the chosen software and discussed the server's work flow. Finally, it introduced an application of Web GIS, the Web GIS data expression, database link, and the extension of the client side are implemented in this system.

关键词： Open source software Geographic Information systems Application software Engines Decision making Costs Stability Data security Memory Software systems

来源：评论

学校读者我要写书评

暂无评论

Research and design on LVS cluster system

Research and design on LVS cluster system

引用

IEEE International Workshop on Open-source Software for Scientific Computation (OSSC)

作者： Yang Xu Xiaoyao Xie Daoxun Xia Key Laboratory of Information and Computing Science of Guizhou Province Guizhou Normal University Guiyang China School of Computer Science and Technology Guizhou University Guiyang China

ISBN: (纸本)9781424444526;9781424444533

With the explosive growth of the network, the workload on the servers is increasing rapidly so that servers will be easily overloaded for a short time. Linux virtual server (LVS) project which is an open source project overcomes the overloading problem of the servers. The three implemented ways of the virtual server is introduced. A LVS cluster of Web servers based on VS/DR is presented for an online score system. And then a highly available LVS system using heartbeat is designed for more available of the online score system. The results of the applications show that the highly available LVS system is available and effective.

关键词： Network servers Web server Network address translation Linux Heart beat Tunneling Scalability Routing Explosives Costs

来源：评论

学校读者我要写书评

暂无评论

Model Checking Needham-Schroeder Security Protocol Based on Temporal Logic of Knowledge

Model Checking Needham-Schroeder Security Protocol Based on ...

引用

International Conference on Networks Security, Wireless Communications and Trusted computing, NSWCTC

作者： Xiangyu Luo Yan Chen Ming Gu Lijun Wu School of Software Key Laboratory of Security for Information System of Ministry of Education Tsinghua University Beijing China Department of Computer Science Guilin University of Electronic Technology Guilin China School of Computer Science and Engineering University of Electronic Science and Technology of China Chengdu China

ISBN: (纸本)9781424442232

Formal verification approaches can guarantee the correctness of security protocols. In this paper we take the well-known Needham-Schroeder public-key authentication protocol as an example, to show how we can apply the symbolic model checker for multiagent systems MCTK, which is developed by us, to the verification of security protocols. One temporal epistemic property is checked successfully both in the original version and the Lowe's revised version of the Needham-Schroeder protocol. The experimental result shows that our method is an effective way to the verification of security protocol.

关键词： Logic computer security Cryptographic protocols Communication system security Information security Electronic mail Authentication Multiagent systems Cryptography computer networks

来源：评论

学校读者我要写书评

暂无评论

A Security Model for VoIP Steganography

A Security Model for VoIP Steganography

引用

The First International Conference on Multimedia Information Networking and Security(第一届国际多媒体网络信息安全会议 MINES 2009)

作者： Zhiwei Yu Clark Thomborson Junning Fu Jianmin Wang Chaokun Wang Department of Computer Science and Technology Tsinghua University Department of Computer Science The University of Auckland New Zealand School of Software Tsinghua University Key Laboratory for Information System Security Ministry of

In 2005, an extensive taxonomy of threats for VoIP was published by a prominent industry group. Strangely, this taxonomy does not identify stegocommunication as a threat, even though many steganographic channels have been identified in VoIP protocols. To avoid such security gaps in the future, we argue that stegocommunication should be added to the traditional list of network threats: interruption, interception, modification, fabrication. The stegocommunication threat arises when the communication channel is purchased, provided, or supervised by anyone other than the communicating parties. We illustrate a stegocommunication threat to a business owner Charles. If Charles purchases a VoIP service for business-related communications by an employee Alice, then he faces the risk that Alice may undetectably communicate a business secret to an outside party Bob. In this insider-threat scenario, Charles can mitigate his security risk by installing a stegodetector.

关键词： VoIP Steganography Security Model

来源：评论

学校读者我要写书评

暂无评论

Voltage control scheme in distribution network with double feed induction generator wind farm

引用

WSEAS Transactions on Circuits and systems 2009年第8期8卷 709-718页

作者： Zhao, Jingjing Li, Xin Hao, Jutao State Key Laboratory of Power Transmission Equipment and System Security and New Technology Chongqing University 400044 Chongqing China School of Optical-Electrical and Computer Engineering University of Shanghai for Science and Technology 200093 Shanghai China

This paper presents the particle swarm optimization (PSO) for reactive power and voltage control (Volt/Var Control) in distribution system considering DFIG wind farm. In this paper, the reactive power output of DFIG wind farm has been considered as the control variables in the Volt/Var Control scheme by considering the reactive power compensation capability of DFIG. The minimization of total system real power loss and voltage deviation are utilized as an objective and the PSO is used to determine the reactive power output of DFIG wind farm, tap positions of load tap changer transformers (LTC) and numbers of the capacitor banks. Finally, the proposed scheme is applied to the 33-node distribution system. The results indicate that the proposed Volt/Var control scheme can improve the voltage profiles of distribution networks on a large scale.

关键词： Wind turbines

来源：评论

学校读者我要写书评

暂无评论

The construction of urban and rural integrative cadastral management information system

The construction of urban and rural integrative cadastral ma...

引用

2009 International Workshop on Intelligent systems and Applications, ISA 2009

作者： Zhong, Mei Xu, De-Jun Du, Qing-Yun Ye, Zhiwei School of Resource and Environment Science Wuhan University 129 Luoyu Road Wuhan 430079 China Key Laboratory Geographic Information System Ministry of Education Wuhan University 129 Luoyu Road Wuhan 430079 China Bureau of Land Resource of Linhai 299 Renming Road Zhejiang Linhai 31700 China School of Computer Science Hubei University of Technology Wuhan 430070 China

ISBN: (纸本)9781424438945

Based on the present condition and developing trend of cadastral management of Linhai, The paper explores on the construction status of the Cadastral Management Information system on Integration of Urban and Rural area of Linhai, Zhejiang. For a long time, urban and rural areas are managed separately, and their databases are established individually, so it's very hard to update data synchronously. These problems can't be solved until cadastral management information system is established, which also makes cadastral product accord with new land classification system of urban and rural integration. Several issues are discussed: the objective, idea, principle of system design, the hardware and software environment, overall framework design, cadastral database structure design and function design, and so on. © 2009 IEEE.

关键词： Information management

来源：评论

学校读者我要写书评

暂无评论

The discovery of the basic terrain features based on integration technology between GIS and spatial data mining

The discovery of the basic terrain features based on integra...

引用

2009 International Workshop on Intelligent systems and Applications, ISA 2009

ISBN: (纸本)9781424438945

The computer discovery technology of terrain features in topographic map is a new research project in the world. In this paper the author uses CD-TIN which is constructed on the basis of contour lines to discover and extract terrain features. The author uses improved convex algorithm to construct nonconstrained D-TIN, and then puts forward impactedregion-diagonals-change local adjusting algorithm, and the new algorithm is used to embed contour lines into D-TIN as constrained segments and ultimately construct CD-TIN. We can discover flats and mountanious regions inside topographic map by means of computed normal vector and gradient. In the discovered mountanious regions, terrain features such as the neks, mountain peaks and valleys can be also discovered through the established CD-TIN's data structure and topology relationships. © 2009 IEEE.

关键词： Contour measurement

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：