检索结果-南通市图书馆

Theoretical research progress in new-generation Internet architecture

在线全文

学校读者我要写书评

暂无评论

Science in china(Series F) 2008年第11期51卷 1634-1660页

作者： WU JianPing1,2,3,LIU Ying2,3 & WU Qian2,3 1 department of Computer Science,tsinghua university,beij.ng 100084,china 2 Network Research Center,tsinghua university,beij.ng 100084,china 3 tsinghua National Laboratory for Information Science and Technology(TNList) ,beij.ng 100084,china 1. department of Computer Science 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

Internet has become the most important information infrastructure supporting modern socio-economic development, social progress and technological Innovation. Invented 30 years ago, today Internet is facing increasingly severe technical challenges. This paper introduces the progress of the major international newgeneration Internet research plans; analyzes its basic characteristics and the principal contradictions during the development; detsiledly introduces the research carried out by 973 Project ＂Research of Future Internet Architecture＂ on the key scientific issues of new-generation Internet architecture and its latest research results; and looks to the future of the research-focus faced with the new situations of the basic research of new-generation Internet architecture as well as the new demands of innovative applications on Internet architecture.

关键词： new-generation Internet network architecture multi-dimension scalability

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,beij.ng 100084,china 2 department of Computer Science and Technology,tsinghua university,beij.ng 100084,china 3 tsinghua National Laboratory for Information Science and Technology(TNList) ,beij.ng 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)

Classification of hypersurfaces with parallel Mobius second fundamental form in S^(n+1)

在线全文

学校读者我要写书评

暂无评论

Science china Mathematics 2004年第3期47卷 417-430页

作者： HU Zejun LI Haizhong department of Mathematics, Zhengzhou university Zhengzhou 450052, china department of Mathematical Sciences, tsinghua university, beij.ng 100084, china department of Mathematics Zhengzhou University Zhengzhou China department of Mathematical Sciences Tsinghua University Beijing China

Let Mn(n≥2) be an immersed umbilic-free hypersurface in the(n+1)-dimensional unit sphere Sn+1. Then Mn is associated witha so-called M(o)bius metric g, and a M(o)bius second fundamental form Bwhich are invariants of Mn under the M(o)bius transformation groupof Sn+*** this paper, we classify all umbilic-free hypersurfaces withparallel M(o)bius second fundamental form.

关键词： parallel Mobius second fundamental form,hypersurface, Mobius metric, Mobius equivalence.

Constraints on Cardassian universe from Gamma ray bursts

在线全文

学校读者我要写书评

暂无评论

Science china(physics,Mechanics & Astronomy) 2010年第9期53卷 1720-1725页

作者： WAng TaiShan1 & LIAng Nan2 1 department of physics & Center for Astrophysics,tsinghua university,beij.ng 100084,china 2 department of Astronomy,beij.ng Normal university,beij.ng 100875,china 1. department of physics & Center for Astrophysics Tsinghua University Beijing 100084 China2. Department of Astronomy Beijing Normal University Beijing 100875 China

Constraints on the original Cardassian model and the modified polytropic Cardassian model are examined from the recently derived 42 gamma-ray bursts(GRBs) data calibrated with the method that can avoid the circularity *** results show that GRBs can be an optional observation to constrain the Cardassian *** the GRBs data with the newly de-rived size of baryonic acoustic oscillation peak from the Sloan Digital Sky Survey(SDSS),and the position of the first acoustic peak of the Cosmic Microwave Background radiation(CMB) from Wilkinson Microwave Anisotropy Probe(WMAP),we find Ωm0=0.27+0.02-0.02,n=0.06+0.07-0.08(1σ) for the original Cardassian model,and Ωm0=0.27+0.23-0.02,n=-0.09+0.23-1.91,β=0.82+2.10-0.62(1σ) for the modified polytropic Cardassian model.

关键词： Cardassian Gamma ray burst Cosmic Microwave Background baryonic acoustic oscillation

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, beij.ng 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, beij.ng, 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.

CONSERVATION OF THREE-POINT COMPACT SCHEMES ON SIngLE AND MULTIBLOCK PATCHED GRIDS FOR HYPERBOLIC PROBLEMS

在线全文

学校读者我要写书评

暂无评论

Journal of Computational Mathematics 2003年第3期21卷 383-400页

作者： Zi-niu Wu (department of Engineering Mechanics, tsinghua university, beij.ng 100084, china) department of Engineering Mechanics Tsinghua University 北京 100084

For nonlinear hyperbolic problems, conservation of the numerical scheme is important for convergence to the correct weak solutions. In this paper the conservation of the well-known compact scheme up to fourth order of accuracy on a single and uniform grid is studied, and a conservative interface treatment is derived for compact schemes on patched grids. For a pure initial value problem, the compact scheme is shown to be equivalent to a scheme in the usual conservative form. For the case of a mixed initial boundary value problem, the compact scheme is conservative only if the rounding errors are small enough. For a patched grid interface, a conservative interface condition useful for mesh refinement and for parallel computation is derived and its order of local accuracy is analyzed.

关键词： Conservation Compact scheme Uniform grid Multiblock patched grid.

Expression of lignin peroxidase H2 from Phanerochaete chrysosporium by multi-copy recombinant Pichia strain

在线全文

学校读者我要写书评

暂无评论

Journal of Environmental Sciences 2009年第2期21卷 218-222页

作者： WAng Wei,WEN Xianghua department of Environmental Science and Engineering,tsinghua university,beij.ng 100084,china. department of Environmental Science and Engineering Tsinghua University Beijing 100084 China

The lipH2 gene, encoding the expression of lignin peroxidase, was cloned from Phanerochaete chrysosporium BKM-F-1767 and expressed in Pichia pastoris X-33, a yeast. The cDNA of LiPH2 was generated from total RNA extracted from P chrysosporium by PCR with primers that do not contain a P. chrysosporium lignin peroxidase secretion signal. The gene was then successfully inserted into the expression vector pPICZα, and resulted in the recombinant vector pPICZα-lipH2. The transformation was conducted in two ways. One was using the wild Pichia pastoris as the recipients, which results in the recombinant P. pastoris with single or low lipH2 gene copy. The second was using P. pastoris and single or low lipH2 gene copy as the recipients, which results in the recombinant P. pastoris with multi-copies of lipH2 genes. This study firstly expressed the gene lipH2 in P. pastoris and achieved the successful expression of the lipH2 depending upon the generation of a recombinant strain that contained multiple copies. The lignin peroxidase activity reached a maximum of 15 U/L after 12 h induction.

关键词： heterologous expression lignin peroxidase Pichia pastoris

An atlas-based fuzzy connectedness method for automatic tissue classification in brain MRI

在线全文

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2006年第10期16卷 1106-1110页

作者： ZHOU Yongxin and BAI Jing (department of Biomedical Engineering, tsinghua university, beij.ng 100084, china) [a]department of Biomedical Engineering Tsinghua University Beijing China

A framework incorporating a subject-registered atlas into the fuzzy connectedness (FC) method is proposed for the automatic tissue classification of 3D images of brain MRI. The pre-labeled atlas is first registered onto the subject to provide an initial approximate segmentation. The initial segmentation is used to estimate the intensity histograms of gray matter and white matter. Based on the estimated intensity histograms, multiple seed voxels are assigned to each tissue automatically. The normalized intensity histograms are utilized in the FC method as the intensity probability density function (PDF) directly. Relative fuzzy connectedness technique is adopted in the final classification of gray matter and white matter. Experimental results based on the 20 data sets from IBSR are included, as well as comparisons of the performance of our method with that of other published methods. This method is fully automatic and operator-independent. Therefore, it is expected to find wide applications, such as 3D visualization, radiation therapy planning, and medical database construction.

关键词： fuzzy connectedness atlas-based segmentation brain tissue classification MR1.