检索结果-南通市图书馆

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 Technology,tsinghua university,beijing 100084,china 3 tsinghua National Laboratory for Information Science and Technology(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)

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, beijing 100084, china 2 tsinghua National Laboratory for Information Science and Technology, tsinghua university, beijing 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

The age of synthesis:From cognitive science to converging technologies and hereafter

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Chinese Science Bulletin 2011年第6期56卷 465-475页

作者： CAI ShuShan1,2 1 department of Psychology, tsinghua university, beijing 10084, china 2 center for Psychology and Cognitive Science, tsinghua university, beijing 10084, china department of Psychology Tsinghua University center for Psychology and Cognitive Science Tsinghua University

This paper describes the development of two of the most important scientific disciplines in the last quarter of the 20th century, cognitive science, which emerged in 1975, and nano-bio-info-cogno (NBIC) converging technologies, which emerged in 2000. In this century, we will achieve cross-disciplinary integration, innovation in comprehensive knowledge and comprehensive devel opment in human resources. NBIC converging technologies will greatly expand human cognition and communication, improve human health, enhance social outcomes, strengthen national security and unify science and education. Cognitive science and converging technologies will have major effects on the future human development. I argue that the 21st century represents an age of synthesis, reflected in the continual reintegration between scientific disciplines in recent times. This new age of synthesis will require innovations in thought and methodology that differ from those underlying the age of analysis in the 20th century. I predict that these developments will allow every individual to realize comprehensive development. Accordingly, the education system will be transformed, and a comprehensive human resources system will be created.

关键词：认知科学融合技术化学合成教育系统人力资源人类健康生物信息综合知识

Electric-stimulus rate encoding algorithm of Mandarin tonal information in cochlear implant

在线全文

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2006年第12期16卷 1315-1321页

作者： GUAN Tian~1, GONG Qin~1 and YE Datian~2**(1. department of Biomedical Engineering, tsinghua university, beijing 100084, china 2. Research center of Biomedical Engineering, Graduate School at Shenzhen, tsinghua university, Shenzhen 518055, china) [a]department of Biomedical Engineering Tsinghua University Beijing China [b]Research center of Biomedical Engineering Graduate School at Shenzhen Tsinghua University Shenzhen China

The modern multi-channel cochlear implants usually extract and encode the temporal envelope cues. This kind of algorithms can hardly satisfy the users who speak tonal languages, such as Mandarin. Many studies have tried to enhance the recognition ability of Mandarin through encoding tonal information and made suggestions to frequency-modulate the fixed pulse-rate carrier with the extracted tonal information based on the rate-pitch theory in electric hearing. However, how to encode and deliver the tonal information such as F_0by changing electric-stimulus rate has not got further study in clinical electric-stimulus mode. The present paper focuses on this matter by piecewise calculating the appreciable electric-stimulus rates. Then an electric-stimulus encoding algorithm of Mandarin tone is brought forward and testified through acoustic simulations. Such conclusion can be drawn that this algorithm of electric-stimulus rate could convey tonal information well and help to enhance the Mandarin speech recognition ability.

关键词： cochlear implant tone fundamental frequency electric-stimulus rate.

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, beijing 100084, china 2tsinghua National Laboratory for Information Science and Technology, beijing 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

Cilia and ciliopathies:From Chlamydomonas and beyond

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(Life Sciences) 2008年第6期51卷 479-486页

作者： PAN JunMin department of Biological Sciences and Biotechnology, tsinghua university, beijing 100084, china 1. department of Biological Sciences and Biotechnology Tsinghua University Beijing 100084 China

The biological function of motile cilia/flagella has long been recognized. The non-motile primary cilium, once regarded as a vestigial organelle, however, has been found recently to play unexpected roles in mammalian physiology and development. Defects in cilia have profound impact on human health. Diseases related to cilia, collectively called ciliopathies include male infertility, primary cilia dyskinesia, renal cyst formation, blindness, polydactyly, obesity, hypertension, and even mental retardation. Our current understanding of cilia and ciliopathies has been fueled by basic research employing various model organisms including Chlamydomonas, a unicellular green alga. This review article provides a general introduction to the cell biology of cilia and an overview of various cilia-related diseases.

关键词： Chlamydomonas cilia flagellla human disease ciliopathy

The General Machining Process Simulator GMPS

在线全文

学校读者我要写书评

暂无评论

Journal of Systems Engineering and Electronics 1994年第3期5卷 73-79页

作者： Xiao Tianyuan, Yang Gang & Li Xin (department of Automation, tsinghua university, beijing, china, 100084) department of Automation Tsinghua University Beijing China 100084

Automated manufacturing system is characterized by flexibility. It aims at producing a variety of products with virtually no time loses to change over from one part to the next. In this paper, the Machining Process Simulator GMPS is introduced, which can be used as a supported environment for machining process. It can be executed off-line or on-line in manufacturing systems in order to predict the collisions of tool with machined workpieces, fixtures or pallets. First, the functional model of GMPS is described, then adopted critical techniques in the simulator are introduced. Finally, an application of GMPS in CIMS ERC of china is presented.

关键词： Machining process simulator Modeling Front End DNC NC code translator 3D animation detecting collision.

Generalized gradient projection neural networks for nonsmooth optimization problems

在线全文

学校读者我要写书评

暂无评论

Science china(Information Sciences) 2010年第5期53卷 990-1005页

作者： LI GuoCheng 1 , SONG ShiJi 2 ? & WU Cheng 2 1 department of Mathematics, beijing Information Science and Technology university, beijing 100192, china 2.department of Automation, tsinghua university, beijing 100084, china 1. department of Mathematics Beijing Information Science and Technology University Beijing 100192 China2. Department of Automation Tsinghua University Beijing 100084 China

Generalized gradient projection neural network models are proposed to solve nonsmooth convex and nonconvex nonlinear programming problems over a closed convex subset of R n . By using Clarke’s generalized gradient, the neural network modeled by a differential inclusion is developed, and its dynamical behavior and optimization capabilities both for convex and nonconvex problems are rigorously analyzed in the framework of nonsmooth analysis and the differential inclusion theory. First for nonconvex optimization problems, the quasi convergence results similar to those achieved by previous work are proved. For convex optimization problems, the global convergence results are proved, i.e. any trajectory of the neural network converges to an asymptotically stable equilibrium point, which is an optimal solution of the primal problem whenever it exists. This result remains valid even if the initial condition is chosen outside the feasible set. In addition, an asymptotic control result involving a Tykhonov like regularization shows that any trajectory of the revised neural network can be forced to converge toward a particular optimal solution of the primal problem. Finally, two simulation optimization algorithms for solving the optimization and control problems are designed respectively, and three typical simulation experiments are illustrated to present the accuracy and efficiency of theoretical convergence results of this paper.

关键词： nonsmooth optimization problem generalized gradient projection networks differential inclu sions convergence

|m| Partial wave treatment for two-dimensional Coulomb-scattering and Regge pole

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2004年第6期47卷 676-684页

作者： WANG Jing & ZENG Jinyan department of Physics,tsinghua university,beijing 100084,china School of Physics,Peking university,beijing 100871,china department of Physics Tsinghua University Beijing 100084 China School of Physics Peking University Beijing 100871 China

The symmetry and |m| partial-wave analysis for two-dimensional (2D) Coulomb-scattering is investigated. As a function of energyE, the |m| partial-wave scattering amplitudef |m|(θ) is analytically continuated to the, negativeE (complexk) plane, and it is found that the bound state energy eigenvalues (E<0) are just located at the poles off |m|(θ) on the positive imaginaryk axis as is expected. In addition, as a function of |m|,f |m|(θ) is analytically continuated to the complex |m| plane, the bound state energy eigenvalues are just located at the poles off |m|(θ) on the positive real |m| axis.

关键词： two-dimensional Coulomb scattering, |m| partial-wave, Regge pole.