检索结果-南通市图书馆

Effects of Si Content and the Addition Amount of Al-3B Master Alloy on the Solidification Structures of Hypoeutectic Al-Si Alloys

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Rare Metals 2001年第3期20卷 168-173页

作者： Donghui Wang,Jianguo Li, Yankang Zheng, Bingzhe Bai department of Materials science and Engineering, tsinghua university, beijing 100084, china 清华大学北京 100084

Effects of Si content and the addition amount of Al-3B master alloy on the solidification structures of hypoeutectic Al-Si alloys were studied. The addition amounts of the master alloy were 0.2%, 0.4%, 0.7% and 1% (mass fraction, so as the follows), respectively. The Si content of Al-Si binary alloys investigated varied from 1% to 11%. The observation of macrostructures of non-refined samples showed that 3% Si constitutes a transition point at which the minimum grain size can be obtained. It was also found that Al-3B master alloy can shift the transition point towards a higher Si value when its addition amount increases, making this point appear at 4%, 5% and 6% Si as its addition amount increases up to 0.4%, 0.7% and 1%, respectively.

关键词： Al-3B master alloy hypoeutectic Al-Si alloy grain refinement

An algebraic invariant for Jordan automorphisms on B(H):The set of idempotents

在线全文

学校读者我要写书评

暂无评论

science china Mathematics 2005年第12期48卷 1585-1596页

作者： CUI Jianlian & HOU Jinchuan department of Mathematical science, tsinghua university, beijing 100084, china department of Applied Mathematics, Taiyuan university of technology, Taiyuan 030024, china department of Mathematics, Shanxi Teachers university, Linfen 041004, china department of Mathematical science Tsinghua University Beijing 100084 China department of Applied Mathematics Taiyuan University of Technology Taiyuan 030024 China department of Mathematics Shanxi Teachers University Linfen 041004 China

Let H be an infinite dimensional complex Hilbert space. Denote by B(H) the algebra of all bounded linear operators on H, and by I(H) the set of all idempo-tents in B(H). Suppose that Φ is a surjective map from B(H) onto itself. If for every λ ∈ {-1,1,2,3,1/2,1/3} and A, B ∈ B(H), A - λB ∈ I(H) (?) Φ(A) - λΦ(B) ∈ I(H), then Φ is a Jordan ring automorphism, i.e. there exists a continuous invertible linear or conjugate linear operator T on H such that Φ(A) = TAT-1 for all A ∈ B(H), or Φ(A) = TA*T-1 for all A ∈ B(H); if, in addition, A-iB ∈ I(H) (?) Φ(A) -ιΦ(B) ∈ I(H), here ι is the imaginary unit, then Φ is either an automorphism or an anti-automorphism.

关键词： Hilbert space operators,Jordan automorphisms,idempotents.

HIGH TEMPERATURE OXIDATION AND STRUCTURE OF SCALE AND WHISKERS FOR Fe-Ni-Cr SEALING ALLOYS

在线全文

学校读者我要写书评

暂无评论

Acta Metallurgica Sinica(English Letters) 1993年第8期6卷 147-150页

作者： DONG Zhili MA Jusheng TANG Xiangyun YOU Liang tsinghua university,beijing,china lecturer department of Materials science and Engineering,tsinghua university,beijing 100084.china tsinghua Univ Beijing China

The oxidation rate,the growth,morphology and structure of oxide scale and whiskers for Fe-Ni-Cr sealing alloys in H_2-H_2O atmosphere at high temperatures have been studied. The growth rate of scale is controlled by *... 详细信息

关键词： oxidation oxide scale oxide whisker Fe-Ni-Cr sealing alloy

Extremal eigenvalues of measure differential equations with fixed variation

在线全文

学校读者我要写书评

暂无评论

science china Mathematics 2010年第10期53卷 2573-2588页

作者： ZHANG MeiRong 1,2 1 department of Mathematical sciences,tsinghua university,beijing 100084.china 2 Zhou Pei-Yuan Center for Applied Mathematics,tsinghua university,beijing 100084.china department of Mathematical sciences Tsinghua University Beijing China Zhou Pei-Yuan Center for Applied Mathematics Tsinghua University Beijing China

In this paper we will study eigenvalues of measure differential equations which are motivated by physical problems when physical quantities are not absolutely *** taking Neumann eigenvalues of measure differential equations as an example,we will show how the extremal problems can be completely solved by exploiting the continuity results of eigenvalues in weak* topology of measures and the Lagrange multiplier rule for nonsmooth *** results can give another explanation for extremal eigenvalues of SturmLiouville operators with integrable potentials.

关键词： measure differential equation eigenvalue extremal value weak* topology Frechét derivative sub-differential

To enhance the reproduction of Phanerochaete chrysosporium by adding natural lixiviums in liquid medium

在线全文

学校读者我要写书评

暂无评论

Journal of Environmental sciences 2003年第6期15卷 808-814页

作者： LIN Gang, WEN Xiang-hua, QIAN Yi (department of Environmental science and Engineering, tsinghua university, beijing 100084, china. department of Environmental science and Engineering Tsinghua University 北京 100084

Great promotion to the reproduction of white rot fungus Phanerochaete chrysosporium by adding natural lixiviums such as from wood, maize core and potato in liquid medium was found in this research. Incubated in the liquid medium contained 10 mg/L glucose as carbon source with natural lixiviums for three days, the production of mycelium pellet reaches more than 80 g/L, which is 5 times more than that of without natural lixiviums. Incubated in the liquid medium contained 5 mg/L glucose as carbon source with natural lixiviums for three days, the production of mycelium pellet can reach 69.5 g/L, while the production in the medium without natural lixiviums is very low. When the liquid medium contained 1—20 g/L glucose as carbon source, the production of mycelium pellet in 3 d can only reach 12.5 g/L to 14.5 g/L. The fungus in the medium with potato lixiviums are easily contaminated by other microorganisms and in the medium with maize core lixiviums are easily bulking, while in the medium with wood lixiviums are neither easily contaminated nor bulking. Medium with wood lixiviums can produce more pellet than other medium, endure contamination and keep better sedimentation capacity. So that, wood lixivium is better additive to the culture of white rot fungi in liquid medium. Addition of the mixture of wood, maize core and potato lixiviums is of advantage to the production of mycelium pellet. The difference of the production in the medium with different amount of wood lixiviums showed little in the first 3 d, while it expanded after 3 d. Wood lixiviums stimulate the growth of P. chrysosporium instead of supply organics which fungi need.

关键词： white rot fungi medium additive

APPLICATION OF MOLECULAR ORBITAL THEORY TO ANALYSIS OF PHASE STABILITY FOR ALLOYS

在线全文

学校读者我要写书评

暂无评论

Acta Metallurgica Sinica(English Letters) 1993年第3期6卷 145-152页

作者： YIN Hong TAO Kun PAN Jinsheng LI Hengde tsinghua university,beijing,china professor.department of Materials science and Engineering,tsinghua university,beijing 100084.china tsinghua Univ Beijing China

The critical _d vahues ( _ ) of the γ/(γ+σ).γ/(γ+μ) and γ/(γ+γ') phase boundaries in some ternar alloy phase diagrams at various temperatures are calculated by averaging the _d values of sererai selected characteristic points at the phase *** equations for the temperature dependence of the critical _d of γ/(γ+σ).γ/(γ+μ) and γ/(γ+γ') phase boundaries are *** accuracy of the analysis is discussed in detail. It is found for the first time that the average value of the bond order _ at the phase boundaries ts also approximatelr a constant and therefore a critical average bond order _ like - can be introduced for the analysts of phase stability

关键词： molecular orbital theory allov phase stabilitv

Adaptive neural control based on HGO for hypersonic flight vehicles

在线全文

学校读者我要写书评

暂无评论

science china(Information sciences) 2011年第3期54卷 511-520页

作者： XU Bin 1,2 , GAO DaoXiang 3 & WANG ShiXing 1 1 department of computer science and technology, tsinghua university, beijing 100084, china 2 Autonomous System Lab, ETH Zurich Zurich 8092, Switzerland 3 School of technology, beijing Forestry university, beijing 100083, china department of computer science and technology Tsinghua University Beijing China Autonomous System Lab ETH Zurich Zurich Switzerland School of technology Beijing Forestry University Beijing China

This paper describes the design of adaptive neural controller for the longitudinal dynamics of a generic hypersonic flight vehicle (HFV) which are decomposed into two functional systems, namely the altitude subsystem and the velocity subsystem. For each subsystem, one adaptive neural controller is investigated based on the normal output-feedback formulation. For the altitude subsystem, the high gain observer (HGO) is taken to estimate the unknown newly defined states. Only one neural network (NN) is employed to approximate the lumped uncertain system nonlinearity during the controller design which is considerably simpler than the ones based on back-stepping scheme with the strict-feedback form. The Lyapunov stability of the NN weights and filtered tracking error are guaranteed in the semiglobal sense. Numerical simulation study of step response demonstrates the effectiveness of the proposed strategy in spite of system uncertainty.

关键词： adaptive neural control hypersonic flight vehicle high gain observer output-feedback

Competent predicate abstraction in model checking

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science china(Information sciences) 2011年第2期54卷 258-267页

作者： LI Li1,2,3, SONG XiaoYu4, GU Ming2,3 & LUO XiangYu2,3 1department of computer science & technology, tsinghua university, beijing 100084, china 2Key Laboratory for Information System Security, Ministry of Education of china, beijing 100084, china 3School of Software, tsinghua university, beijing 100084, china 4department of ECE, Portland State university, Portland, Oregon 97207, USA department of computer science & technology Tsinghua University Beijing China Key Laboratory for Information System Security Ministry of Education of China Beijing China School of Software Tsinghua University Beijing China department of ECE Portland State University Portland USA

The paper presents a new approach to computing the abstract state and a maximum weight heuristic method for finding the shortest counter-example in verification of imperative programs. The strategy is incorporated in a verification system based on the counterexample-guided abstraction refinement method. The proposed method slashes both the size of the abstract state space and the number of invokes of a decision procedure. A number of benchmarks are employed to evaluate the effectiveness of the approach.

关键词： program model checking predicate abstraction weight heuristic

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 department of Mathematical sciences Tsinghua University Beijing 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