检索结果-南通市图书馆

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

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of university of science and technology beijing 2001年第2期8卷 145-151页

作者： Zhiguang Shan, Chuang Lin, Yang Yang, Yan Wang (information Engineering School, university of science and technology {4., {4. 100083, china) (Department of computer science and technology, tsinghua university, {4. 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

维普期刊数据库

The structural analysis of fuzzy measures

在线全文

学校读者我要写书评

暂无评论

science china(information sciences) 2011年第1期54卷 38-50页

作者： ZHANG Ling1,ZHANG Bo2 & ZHANG YanPing1 1 computer science college,Anhui university,Hefei 230039,{4. 2State Key Lab of Intelligent technology & Systems tsinghua National Lab for information science & technology information science & technology college,computer science & technology,{14.,beijing 100084.china 1. computer science college Anhui University Hefei 230039 China2. State Key Lab of Intelligent Technology & Systems tsinghua National Lab for information science & technology information science & technology college Computer Science & Technology Tsinghua University Beijing 100084 China

From quotient space based granular computing theory we explore the fuzzy measures of fuzzy sets. Based on the structural analysis of fuzzy sets,we present an"isotropism"*** this assumption we achieved the following insights:(1)the uniqueness of a fuzzy measure being isotropic on a finite complete semi-ordered set;(2)the necessary and suffcient condition of the isomorphism for fuzzy measure functions in fuzzy mathematics;(3)the necessary and suffcient condition that fuzzy measures have fuzzy and granular monotonicity;(4.under a certain assumption,the analytic expression for fuzzy *** results clarify the relationship between fuzzy measures and granular computing,reveal the essence of fuzzy measures,and provide a simple way of constructing fuzzy measures.

关键词： quotient space fuzzy set fuzzy measure rough set structural analysis

An introduction to tsinghua Cloud

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

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

作者： ZHENG WeiMin1,2 1Department of computer science and technology, tsinghua university, {4. 100084, china 2tsinghua National Laboratory for information science and technology, {4. 100084, china 1. Department of computer science and technology 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

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 technology, tsinghua university, {4. 100084, china) Department of computer science and technology 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(information sciences) 2011年第10期54卷 2013-2027页

作者： WANG ShengYuan & DONG Yuan Department of computer science and technology,tsinghua university,{4. 1. Department of computer science and technology 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

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

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

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

作者： ZHANG YouHui 1,2 , SU GeLin 1,2 & ZHENG WeiMin 1,2 1 Department of computer science and technology, tsinghua university, {4. 100084, china 2 tsinghua National Laboratory for information science and technology, tsinghua university, {4. 100084, china 1. Department of computer science and technology 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

RRM:An incentive reputation model for promoting good behaviors in distributed systems

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science in china(Series F) 2008年第11期51卷 1871-1882页

作者： ZHANG Hong1,2,DUAN HaiXin1,3 & LIU Wu1,3 1 tsinghua National Laboratory for information science and technology,{4.,beijing 100084.china 2 Department of computer science and technology,{4.,beijing 100084.china 3 Network Research Center,{4.,beijing 100084.china 1. tsinghua National Laboratory for information science and technology Tsinghua University Beijing 100084 China 2. Department of computer science and technology Tsinghua University Beijing 100084 China 3. Network Research Center Tsinghua University Beijing 100084 China

Reputation systems represent soft security mechanisms that complement traditional information security mechanisms. They are now widely used in online e-commerce markets and communities in order to stimulate good behaviors as well as to restrain adverse behaviors. This paper analyzes the limitations of the conversational reputation models and proposes an incentive reputation model called the resilient reputation model （RRM） for the distributed reputation systems. The objective of this reputation model is not only to encourage the users to provide good services and, therefore, to maximize the probability of good transaction outcomes, but also to punish those adverse users who are trying to manipulate the application systems. The simulation results indicate that the proposed reputation model （RRM） could effectively resist against the common adverse behaviors, while protecting the profits of sincere users from being blemished by those adversaries.

关键词： reputation model distributed system trust soft security

维普期刊数据库

CUDA-Zero:a framework for porting shared memory GPU applications to multi-GPUs

在线全文

学校读者我要写书评

暂无评论

science china(information sciences) 2012年第3期55卷 663-676页

作者： CHEN DeHao , CHEN WenGuang & ZHENG WeiMin Department of computer science and technology, tsinghua university, {4. 100084, china 1. Department of computer science and technology Tsinghua University Beijing 100084 China

As the prevalence of general purpose computations on GPU, shared memory programming models were proposed to ease the pain of GPU programming. However, with the demanding needs of more intensive workloads, it’s desirable to port GPU programs to more scalable distributed memory environment, such as multi-GPUs. To achieve this, programs need to be re-written with mixed programming models (e.g. CUDA and message passing). Programmers not only need to work carefully on workload distribution, but also on scheduling mechanisms to ensure the efficiency of the execution. In this paper, we studied the possibilities of automating the process of parallelization to multi-GPUs. Starting from a GPU program written in shared memory model, our framework analyzes the access patterns of arrays in kernel functions to derive the data partition schemes. To acquire the access pattern, we proposed a 3-tiers approach: static analysis, profile based analysis and user annotation. Experiments show that most access patterns can be derived correctly by the first two tiers, which means that zero efforts are needed to port an existing application to distributed memory environment. We use our framework to parallelize several applications, and show that for certain kinds of applications, CUDA-Zero can achieve efficient parallelization in multi-GPU environment.

关键词： CUDA parallelization data access pattern multi-GPU

A formal method to real-time protocol interoperability testing

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science in china(Series F) 2008年第11期51卷 1723-1744页

作者： WANG ZhiLiang1,3,YIN Xia2,3 & JING ChuanMing2,3 1 Network Research Center,tsinghua university,beijing 100084.china 2 Department of computer science and {4.,tsinghua university,beijing 100084.china 3 tsinghua National Laboratory for information science and {4.(TNList) ,beijing 100084.china 1. Network Research Center Tsinghua University Beijing 100084 China 3. tsinghua National Laboratory for information science and technology (TNList) Beijing 100084 China 2. Department of computer science and technology Tsinghua University Beijing 100084 China

Interoperability testing is an important technique to ensure the quality of implementations of network communication protocol. In the next generation Internet protocol, real-time applications should be supported effectively. However, time constraints were not considered in the related studies of protocol interoperability testing, so existing interoperability testing methods are difficult to be applied in real-time protocol interoperability testing. In this paper, a formal method to real-time protocol interoperability testing is proposed. Firstly, a formal model CMpTIOA （communicating multi-port timed input output automata） is defined to specify the system under test （SUT） in real-time protocol interoperability testing; based on this model, timed interoperability relation is then defined. In order to check this relation, a test generation method is presented to generate a parameterized test behavior tree from SUT model; a mechanism of executability pre-determination is also integrated in the test generation method to alleviate state space explosion problem to some extent. The proposed theory and method are then applied in interoperability testing of IPv6 neighbor discovery protocol to show the feasibility of this method.

关键词： protocol testing interoperability testing real-time testing test generation timed input output automata(TIOA)

维普期刊数据库