检索结果-南通市图书馆

A TTCN-3-based protocol testing system and its extension

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

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

作者： YIN Xia1,3,WANG ZhiLiang2,3,JING ChuanMing1,3 & SHI XinGang2,3 1 department of Computer science and Technology,tsinghua university,beijing 100084,china 2 Network Research Center,tsinghua university,beijing 100084,china 3 tsinghua National Laboratory for Information science and Technology(TNList) ,beijing 100084,china 1. department of Computer science and Technology Tsinghua University Beijing 100084 China 3. ]tsinghua National Laboratory for Information science and Technology (TNList) Beijing 100084 China 2. Network Research Center Tsinghua University Beijing 100084 China

The protocol testing technology used in the next generation Internet should satisfy some new challenges and requirements. This paper focuses on the test suite description and test implementation techniques. TTCN-3 is chosen as the test suite description language and extended in both syntax and semantics to satisfy the requirements of protocol robustness testing. PITSv3, a protocol integrated testing system based on TTCN-3, is developed, and the extensions for robustness testing are implemented. Finally, two practical test applications are presented.

关键词： protocol testing TTCN-3 PITSv3 robustness testing

Maximal regularity of second order delay equations in Banach spaces

在线全文

学校读者我要写书评

暂无评论

science china Mathematics 2010年第1期53卷 51-62页

作者： BU ShangQuan ? & FANG Yi department of Mathematical sciences, tsinghua university, beijing 100084, china department of Mathematical sciences, tsinghua university, beijing 100084, china 1. department of Mathematical sciences Tsinghua University Beijing 100084 China

We give necessary and sufficient conditions of Lp-maximal regularity(resp.B sp ,q-maximal regularity or F sp ,q-maximal regularity) for the second order delay equations:u″(t)=Au(t) + Gu't + F u t + f(t), t ∈ [0, 2π] with periodic boundary conditions u(0)=u(2π), u′(0)=u′(2π), where A is a closed operator in a Banach space X,F and G are delay operators on Lp([-2π, 0];X)(*** ,q([2π, 0];X) or Fsp,q([-2π, 0;X])).

关键词： maximal regularity second order delay equations Lebesgue-Bochner spaces Besov spaces Triebel-Lizorkin spaces

Full-angle optical imaging of near-infrared fluorescent probes implanted in small animals

在线全文

学校读者我要写书评

暂无评论

Progress in Natural science:materials International 2008年第6期18卷 707-711页

作者： Gang Hu,Junjie Yao,Jing Bai* department of Biomedical engineering,tsinghua university,beijing 100084,china department of Biomedical engineering Tsinghua University Beijing 100084 China

To provide a valuable experimental platform for in vivo biomedical research of small animal model with fluorescence mediated approach,we developed a whole-body near-infrared fluorescence molecular imaging system as described in this *** system is based on a sensitive CCD camera and has the ability to achieve 360°full-angle source illuminations and projections capture of the targets to obtain the dense sampling by performing rotational *** measurement accuracy is validated from cylinder phantom experiments by the comparison between the experimental data and theoretical ***,we also present typical in vivo images of fluores-cent tube implanted into the mouse *** results are promising and have proved the system imaging performance for macroscopic optical biomedical research.

关键词： Fluorescence molecular imaging Small animal imaging Fluorescent probe

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,beijing 100084,china 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 Time-saving Method for Assessing the Corrosion Inhibitor Efficiency

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of Wuhan university of Technology(materials science) 2010年第5期25卷 856-861页

作者：耿春雷翁端 Key Laboratory of Advanced materials Department of Materials Science and Engineering Tsinghua University

Corrosion inhibitor is one of the most important technologies to enhance the durability of steel reinforced concrete. A kind of time-saving method was developed to assess the inhibitor efficiency by using a 16 voltage electric field to accelerate the chloride ion diffusion in concrete and inducing corrosion. Both macrocell and microcell current measurements were used to confirm the corrosion initiation status of steel. The comprehensive efficiency of inhibitor shall be assessed in three aspects. The results clearly show the efficiency of different inhibitors, which indicate the reliability of this time-saving method.

关键词： inhibitors efficiency chloride ions diffusion steel reinforced concrete

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 Technology, beijing Normal university, beijing 100875, china department of Computer science and Technology, tsinghua university, beijing 100084, china) [a]department of computer science and Technology Beijing Normal University Beijing China [b]department of Computer science and Technology 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.

Ultralight X-type lattice sandwich structure (Ⅱ):Micromechanics modeling and finite element analysis

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science china(Technological sciences) 2009年第9期52卷 2670-2680页

作者： ZHANG QianCheng1,CHEN AiPing 2,CHEN ChangQing2,3 & LU TianJian2 1 State Key Laboratory for Mechanical Behavior of materials,School of Material science and engineering,Xi’an Jiaotong university,Xi’an 710049,china 2 MOE Key Laboratory for Strength and Vibration,School of Aerospace,Xi’an Jiaotong university,Xi’an 710049,china 3 department of engineering Mechanics,AML,tsinghua university,beijing 100084,china State Key Laboratory for Mechanical Behavior of materials School of Material Science and Engineering Xi’an Jiaotong University Xi’an China MOE Key Laboratory for Strength and Vibration School of Aerospace Xi’an Jiaotong University Xi’an China department of engineering Mechanics AML Tsinghua University Beijing China

The methods of homogenization and finite elements are employed to predict the effective elastic constants and stress-strain responses of a new type of lattice structure,the X-structure proposed by the authors in a companion paper. It is shown that in most cases the predictions by the equivalent homogenization theory agree well with the experimental and 3-dimensional finite element calculated results. The theoretical and numerical study supports the argument that the X-structure is superior to the pyramid lattice structure in terms of mechanical strength.

关键词： sandwich panel lattice structure equivalent homogenization finite element model

RECOGNITION AND CLASSIFICATION FOR O(n)-EQUIVARIANT BIFURCATIONS WITH O(n)-CODIMENSION LESS THAN 5

在线全文

学校读者我要写书评

暂无评论

Chinese Annals of Mathematics,Series B 1998年第4期19卷 391-400页

作者： WANG XIAOFENG (department of Applied Mathematics, tsinghua university, beijing 100084, china.)TANG YUN (department of Applied Mathematics, tsinghua university, beijing 100084, china.)WANG DUO (School of Mathematical science, Peking universityl Beliing 10 Tsing Hua Univ Dept Appl Math Beijing 100084 Peoples R China Peking Univ Sch Math Sci Beijing 100080 Peoples R China

Bifurcation problems equivariant under the standard action of the orthogonal group O(n) up to O(n)-codimension 4 are classified into 19 classes. For each class the normal form and one universal unfolding are calculate... 详细信息

关键词： O(n)-equivariant bifurcation Normal form Universal unfolding Recognition problem

Implementation of a multiple round quantum dense coding using nuclear magnetic resonance

在线全文

学校读者我要写书评

暂无评论

science china(Physics,Mechanics & Astronomy) 2005年第6期48卷 706-715页

作者： ZHANG Jingfu1, XIE Jingyi2, WANG Chuan1, DENG Zhiwei3, LU Zhiheng4, & LONG Guilu1,5 1. Key Laboratory For Quantum Information and Measurements of MOE, department of Physics, tsinghua university, beijing 100084,china 2. department of materials science and engineering, beijing Normal university, beijing 100875, china 3. Testing and Analytical Center, beijing Normal university, beijing 100875,china 4. department of Physics, beijing Normal university, beijing 100875, china 5. Key Laboratory For atomic and Molecular Nanosciences, tsinghua university, beijing 100084,china 1. Key Laboratory For Quantum Information and Measurements of MOE Department of Physics Tsinghua University 100084 Beijing China 2. department of materials science and engineering Beijing Normal University 100875 Beijing China 3. Testing and Analytical Center Beijing Normal University 100875 Beijing China 4. department of Physics Beijing Normal University 100875 Beijing China 5. Key Laboratory For Atomic and Molecular Nanosciences Tsinghua University 100084 Beijing China

A multiple round quantum dense coding scheme based on the quantum phase estimation algorithm is proposed and implemented in a three qubit nuclear magnetic resonance (NMR) quantum computer. Using an m + 1 qubit system, Bob can transmit one of 2m+1 messages to Alice, through manipulating only one qubit and exchanging it between Alice and Bob for m rounds. The information capacity is enhanced to m + 1 bits as compared to m bits in a classical scheme. The scheme has been demonstrated in NMR system, and the experimental results show a good agreement between theory and experiment.

关键词： quantum dense coding, multiple round, nuclear magnetic resorance