检索结果-南通市图书馆

An introduction to tsinghua Cloud

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science china({2. sciences) 2010年第7期53卷 1481-1486页

作者： ZHENG WeiMin1,2.1Department of computer science and {2., tsinghua University, beijing 100084, china 2.3} National Laboratory for information science and {2., beijing 100084, china 1. Department of computer science and {2. Tsinghua University Beijing 100084 China2. Tsinghua National Laboratory for Information Science and Technology Beijing 100084 China

Cloud computing has become a trend that draws attention from both academia and industry all over the world. This paper unveils details of tsinghua Cloud, a comprehensive solution for cloud computing developed by Tsing... 详细信息

关键词： cloud computing distributed file system virtual computing environment data sharing

Fuzzy tolerance quotient spaces and fuzzy subsets

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science china({2. sciences) 2010年第4期53卷 704-714页

作者： ZHANG Ling1 & ZHANG Bo2.3,4* 1computer science & technology college, Anhui University, Anhui 2.0039, {2. 2.tate Key Laboratory of Intelligent technology and Systems, beijing 100084, {2. 3tsinghua National Laboratory of information science & technology, beijing 100084, {2. 4{12., computer science & technology Department, tsinghua University, beijing 100084, {2. 1. computer science & technology college Anhui University Anhui 230039 China2. State Key Laboratory of Intelligent Technology and Systems Beijing 100084 China3. Tsinghua National Laboratory of Information Science & Technology Beijing 100084 China4. Information Science & Technology College Computer Science & Technology Department Tsinghua University Beijing 100084 China

The structure and characteristic of fuzzy subsets are discussed by using the concepts of granulation and hierarchy in quotient space theory. First, the equivalence relation based quotient space theory is extended to the fuzzy tolerance relation. Second, the isomorphism and its discriminant of fuzzy tolerance relations are discussed. Finally, by using the fuzzy tolerance relation to define the fuzzy subset, its properties are addressed. The main results are given below: (1) several equivalent statements of fuzzy tolerance relations; (2. the definition of isomorphism of fuzzy tolerance relations; (3) the isomorphic discriminant of fuzzy tolerance relations; (4) the definition and properties of fuzzy subsets based on the fuzzy tolerance relations; and (5) the necessary and sufficient condition of the isomorphism of fuzzy subsets. These results will help us further comprehend the concepts of fuzzy tolerance relations and fuzzy subsets.

关键词： Fuzzy tolerance relation quotient space isomorphism fuzzy subset

Performance Modeling and Approximate Analysis of Multiserver Multiqueue Systems with Poisson and Self-similar Arrivals

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of University of science and technology {2. 2001年第2期8卷 145-151页

作者： Zhiguang Shan, Chuang Lin, Yang Yang, Yan Wang (information Engineering School, University of science and {2. beijing, beijing 100083, china) (Department of computer science and {2., tsinghua University, beijing 100084, china) Univ Sci & Technol beijing Informat Engn Sch Beijing 100083 Peoples R China tsinghua Univ Dept Comp Sci & Technol Beijing 100084 Peoples R China

The problem of state space explosion is still ran outstanding challenge in Markovian performance analysis for multiserver multiqueue (MSMQ) systems. The system behavior of a MSMQ system is described using stochastic high-level Petri net (SHLPN) models, and an approximate performance analysis technique is proposed based on decomposition and refinement methods as well as iteration technique. A real MSMQ system, Web-server cluster, is investigated. The performance of an integrated scheme of request dispatching and scheduling is analyzed with both Poisson and self-similar request arrivals. The study shows that the approximate analysis technique significantly reduces the complexity of the model solution and is also efficient for accuracy of numerical results.

关键词： multiserver multiqueue (MSMQ) system Web-server cluster performance analysis stochastic high-level Petri net (SHLPN) request dispatching request scheduling

维普期刊数据库

A user-space file system for on-demand legacy desktop software

在线全文

学校读者我要写书评

暂无评论

science china({2. sciences) 2011年第6期54卷 1142-1150页

作者： ZHANG YouHui 1,2., SU GeLin 1,2.& ZHENG WeiMin 1,2.1 Department of computer science and {2., tsinghua University, beijing 100084, china 2.tsinghua National Laboratory for information science and {2., tsinghua University, beijing 100084, china 1. Department of computer science and {2. Tsinghua University Beijing 100084 China2. Tsinghua National Laboratory for Information Science and Technology Tsinghua University Beijing 100084 China

Some user-level virtualization technologies have been used to convert legacy software (like the existing Windows desktop applications) into the on-demand software without any modification. To give the client a friendly and compatible method to access on-demand legacy software across the Internet, this paper presents a clientend file system for this usage case. It is a Windows user-space file system based on the cloud storage (where the on-demand software is stored), which converts the local file system accesses into remote visits. Quite a few optimizations are adopted and adjusted to suit the file-access-pattern of on-demand software, including the local cache, metadata/data/software prefetch and content-addressable storage (CAS), to decrease the number of remote visits and/or to overlap IO (input/output) operations with software execution. Detailed access-pattern analyses are also presented. This file system has been implemented and tests show that it is practical for much daily-used software-a local cache of limited size can provide up to 80% hit ratio and the corresponding overhead of running-time is about 37%. Owing to this method, on any compatible and networked computer, a user can use his/her personalized software conveniently although it does not exist on the local host.

关键词： on-demand software software as a service user-space file system cloud storage

Compactness in fuzzy logic

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Chinese science Bulletin 1998年第14期43卷 1166-1171页

作者： YING Mingsheng Department of computer science and {2., tsinghua University, beijing 100084, china Department of computer science and {2. Tsinghua University Beijing China

Compactness in Pavelka’s fuzzy logic for some compact lattices of truth values is shown, and the concept of gradual compactness is introduced to establish some corresponding results in a more general setting.

关键词： fuzzy logic compactness gradual compactness.

维普期刊数据库

Fusion tracking in color and infrared images using joint sparse representation

在线全文

学校读者我要写书评

暂无评论

science china({2. sciences) 2012年第3期55卷 590-599页

作者： LIU HuaPing1,2.3 & SUN FuChun1,2.3 1Department of computer science and {2., tsinghua University, beijing 100084, china 2.tate Key Laboratory of Intelligent {2. and Systems, beijing 100084, china 3tsinghua National Laboratory for information science and {2., beijing 100084, china 1. Department of computer science and {2. Tsinghua University Beijing 100084 China2. State Key Laboratory of Intelligent Technology and Systems Beijing 100084 China3. Tsinghua National Laboratory for Information Science and Technology Beijing 100084 China

Currently sparse signal reconstruction gains considerable interest and is applied in many fields. In this paper, a similarity induced by joint sparse representation is designed to construct the likelihood function of particle filter tracker so that the color visual spectrum and thermal spectrum images can be fused for object tracking. The proposed fusion scheme performs joint sparse representation calculation on both modalities and the resultant tracking results are fused using min operation on the sparse representation coefficients. In addition, a co-learning approach is proposed to update the reference templates of both modality and enhance the tracking robustness. The proposed fusion scheme outperforms state-of-the-art approaches, and its effectiveness is verified using OTCBVS database.

关键词： joint sparse representation fusion tracking color image infrared image

A secure multi-party computation solution to intersection problems of sets and rectangles

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Progress in Natural science:Materials International 2006年第5期16卷 538-545页

作者： LI Shundong, DAI Yiqi, WANG Daoshun and LUO Ping (Department of computer science and {2., beijing Normal University, beijing 100875, china Department of computer science and {2., tsinghua University, beijing 100084, china) [a]Department of computer science and {2. Beijing Normal University Beijing China [b]Department of computer science and {2. Tsinghua University Beijing China

Secure multi-party computation (SMC) is a research focus in international cryptographic community. At present, there is no SMC solution to the intersection problem of sets. In this paper, we first propose a SMC solution to this problem. Applying Cantor encoding method to computational geometry problems, and based on the solution to set-intersection problem, we further propose solutions to points inclusion problem and intersection problem of rectangles and further prove their privacy-preserving property with widely accepted simulation paradigm. Compared with the known solutions, these new solutions are of less computational complexity and less communication complexity, and have obvious superiority in computational and communication complexity.

关键词： Cantor encoding secure multi-party computation set-intersection rectangle-intersection computational complexity.

Secure multi-party computation solution to Yao's millionaires' problem based on set-inclusion

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Progress in Natural science:Materials International 2005年第9期15卷 851-856页

作者： LI Shundong**, DAI Yiqi and YOU Qiyou(Department of computer science and {2., tsinghua University, beijing 100084, china) Department of computer science and {2. Tsinghua University Beijing 100084 China

Secure multi-party computation is a focus of international cryptography in recent years. Protocols for Yao’s millionaires’ problem have become an important building block of many secure multi-party computation protocols. Their efficiency are crucial to the efficiency of many secure multi-party computation protocols. Unfortunately, known protocols for Yao’s millionaires’ problem have high computational complexity or communication complexity. In this study, based on the 1-out-of-m oblivious transfer and set-inclusion problem, we propose a new protocol to solve this problem. This new protocol is very efficient in terms of both computational and communication complexities. Its privacy-preserving property is also proved by simulation paradigm which is generally accepted in the study of secure multi-party computation. We also compare the information leakage of our new protocol and the known protocols.

关键词： secure multi-party computation Yao’s millionaires’ problem 1-out-of-m oblivious transfer set-inclusion problem.

A verifiable low-level concurrent programming model based on colored Petri nets

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science china({2. sciences) 2011年第10期54卷 2013-2027页

作者： WANG ShengYuan & DONG Yuan Department of computer science and {2.,tsinghua University,beijing 100084,china 1. Department of computer science and {2. Tsinghua University Beijing 100084 China

Concurrent programs written in a machine-level language are being used in many areas,but the verification of such programs brings various new challenges to the programming language *** of existing contributions on verifying the safety properties of concurrent programs are for high-level languages,specifications,or calculi in the *** to the lack of abstraction at a low level,additional work is needed to extend these methods to machine-level *** paper describes an approach to integrate Petri nets into low-level concurrent programs to form a new programming model (abstract machine).A program in the programming model is a restricted version of colored Petri net,with transitions colored by assembly codes for machine-level threads,and places colored by shared data consisting of memory locations or *** analysis and verification approaches for usual Petri nets can be applied indirectly for such a low-level concurrent program.

关键词： low-level concurrent programs colored Petri nets abstract machine verification