检索结果-南通市图书馆

Study on the two and three-parameter working stability regions of 3.-TZP suspension

Science china(Technological Sciences) 2006年第5期49卷 547-568页

作者： CHEN Youqiang1, 2, ZHANG Xinni3. CHEN Sha’ou3.& QI Ping3.1. department of chemistry, Qingdao university, Qingdao 266071, {3. 2. department of chemistry, tsinghua university, Beijing 100084, {3. 3. department of Physics, Qingdao university, Qingdao 266071, {3. 1. department of chemistry Qingdao University Qingdao 266071 China 2. department of chemistry Tsinghua University Beijing 100084 China 3. department of Physics Qingdao University Qingdao 266071 China

We determined the variation tendency of viscosity (η) at various solids load- ing (α) for 3.-TZP suspension as a function of dispersant concentration (Cw) using vis- cosity measurement, measured the diameter of particles as a function of Cw in very dilute suspension using light scattering method, and obtained the surface features of the sedi- ment of suspension with different Cw using SEM. We also discussed the influence of the microstructure of adsorbed polymer layers on particles and their interactions in the dis- persing medium on the stability of suspension. Then two different stable states and two different unstable states for 3.-TZP suspension were given. Accordingly, the (Cw, η), (Cw, α), and (α, η) two-parameter, and (Cw, α, η) three-parameter stability maps were con- structed. Based on the DLVO theory calculations, the dispersant concentration, particle distance (r), and interparticle potential energy (VT) maps with various solids loading for 3.-TZP aqueous suspension were also constructed. In (Cw, r) two-parameter coordinate system, the stable motion region map for particles was established. The Cw, α, and VT,max (the highest potential energy) surface of the potential barrier map was obtained through calculation and simulation on the basis of the surfaces of Cw, r, VT maps introduced above. The (Cw, α) two-parameter stability map was then obtained from the Cw, α, VT,max map. The results showed that this theoretical map can qualitatively prove the experimentally obtained results—the existence of different dispersed states of particles in suspension system and the variation tendency of suspension stability with changing each parame- ter—were reasonable.

关键词： 3.-TZP, suspension, stability, DLVO theory, interparticle potential energy.

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

A MESSAGE-DRIVING FORMALISM FOR MODELING AND SIMULATION OF MULTI-AGENT SUPPLY CHAIN SYSTEMS

引用

Journal of Systems Science and Systems Engineering 2011年第4期20卷 385-399页

作者： Wenzhe TAN1 Yueting CHAI2 Yi LIU3.1department of Automation, tsinghua university, Beijing, 100084, {3. 2department of Automation, tsinghua university, Beijing, 100084, {3. 3.0} of Automation, tsinghua university, Beijing, 100084, {3. department of Automation Tsinghua University Beijing China

To acquire a competitive advantage in the expanding market, manufacturing enterprises should be able to manage their supply chains as effectively as possible. It is now becoming popular to model supply chains as multi-agent systems and use discrete event simulation to learn more about their behaviors or investigate the implications of alternative configurations. In order to enhance the computational efficiency and keep the simulation credibility, this paper proposes a message-driving formalism for the simulation of multi-agent supply chain systems. Through the message-driving formalism, the problem of shared variables is addressed and the parallel operation of agents is implemented. Simulation experiments with a prototype implementation show that the message-driving formalism is able to provide credible results in significantly less simulation time.

关键词： Supply chain multi-agent system modeling and simulation parallel discrete event simulation message-driving formalism

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Closed and endoreversible chemical oscillation

引用

Chinese Journal of chemistry 1994年第3期12卷 199-205页

作者： LI, Ru-Shengdepartment of chemistry, tsinghua university, Beijing {3., china department of chemistry Tsinghua University Beijing 100084 China

Based on a simple nonideal chemical reaction model, the closed system with reversible nonideal reactions and illumination is shown to be able to exhibit sustained oscillation. The essential points in the occurrence of such oscillations are the nonideality of reacting media, which gives rise to multiple chemical equilibria, and the energy flow through illumination and heat conduction, which gives rise to spontaneous transitions repeatedly between the multiple equilibrium states. During the oscillation, reacting media undergo only reversible chemical transformation and all irreversibilities are restricted to the coupling of the system to external world. This oscillation provides an example of the so-called endoreversible machine and a possible way to convert radiation energy of the light directly into mechanical energy.

关键词： Chemical oscillation closed system nonideality endoreversible machine illumination.

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

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, {3. 2Key Laboratory for Information System Security, Ministry of Education of {3., Beijing 100084, {3. 3.chool of Software, tsinghua university, Beijing 100084, {3. 4department of ECE, Portland State university, Portland, Oregon 97207, USA 1. department of Computer Science & Technology Tsinghua University Beijing 100084 China2. Key Laboratory for Information System Security Ministry of Education of China Beijing 100084 China3. School of Software Tsinghua University Beijing 100084 China4. Department of ECE Portland State University Portland Oregon 97207 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

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

SOME PROPERTIES OF LSQR FOR LARGE SPARSE LINEAR LEAST SQUARES PROBLEMS

引用

Journal of Systems Science & Complexity 2010年第4期23卷 815-821页

作者： Zhongxiao JIA department of Mathematical Sciences,tsinghua university,Beijing 100084,{3.. department of Mathematical Sciences Tsinghua University

It is well-known that many Krylov solvers for linear systems,eigenvalue problems,andsingular value decomposition problems have very simple and elegant formulas for residual *** not only allow us to further understand the methods theoretically but also can be usedas cheap stopping criteria without forming approximate solutions and residuals at each step beforeconvergence takes *** for large sparse linear least squares problems is based on the Lanczosbidiagonalization process and is a Krylov ***,there has not yet been an analogouslyelegant formula for residual *** paper derives such kind of *** addition,the authorgets some other properties of LSQR and its mathematically equivalent CGLS.

关键词： CGLS krylov subspace lanczos bidiagonalization least squares lsqr normal equations.

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Surface effects of monolayer-protected gold nanoparticles on the redox reactions between ferricyanide and thiosulfate

引用

Science china chemistry 2005年第5期48卷 424-430页

作者： LI Di1, SUN Chunyan1, HUANG Yunjie1, LI Jinghong1,2 & CHEN Shaowei3.1. State Key Laboratory of Electroanalytical chemistry, Changchun Institute of Applied chemistry, Chinese Academy of Sciences, Changchun 13.022, china 2. {3. of chemistry, tsinghua university, Beijing 100084, china 3. {3. of chemistry, university of California, Santa Cruz, Santa Cruz, CA 95064, USA 1. State Key Laboratory of Electroanalytical chemistry Changchun Institute of Applied chemistry Chinese Academy of Sciences 130022 Changchun China 2. department of chemistry Tsinghua University 100084 Beijing China 3. department of chemistry University of California 95064 Santa Cruz Santa Cruz CA USA

Electron transfer through the self-assembled monolayers (SAMs) on gold nanopar-ticles is investigated by using the monolayer protected gold nanoclusters (MPCs) as elec-tron-transfer mediators. 3.Mercaptopropionic acid (MPA) and 11-meraptoundecanoic acid (MUA) MPCs were employed to catalyze the redox reaction between potassium ferricyanide and sodium thiosulfate. The catalytic mechanism was proposed that the MPCs act as diffusing elec-tron-mediators and electron transfers to and from the MPCs surface. Therefore the electron transfer rate through the capping layers would be proportional to the MPCs catalyzed reaction rate, which was monitored by the UV absorbance of ferricyanide. The calculated apparent rate constant was orders of magnitude smaller than that of the maximum of tunneling current, which was attributed to the splited energy level of the nanoscale particles.

关键词： electron transfer, three-dimensional self-assembled monolayers, redox reaction, electron transfer mediator, surface effect.

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

THE EXISTENCE OF J-HOLOMORPHIC CURVES AND APPLICATIONS TO THE WEINSTEIN CONJECTURE

引用

Chinese Annals of Mathematics,Series B 1999年第4期20卷 425-434页

作者： MA RENYI(department of Applied Mathmatics, tsinghua university, Beijing 100084, {3.) tsinghua Univ Dept Appl Math Beijing 100084 Peoples R China

The author first proves the existences of J-holomorphic curves in the symplectizations of Legendre fibrations and then as an application confirms the Weinstein conjectures on contact manifolds of Legendre fibrations. As a corollary a new proof on the theorem due to Hofer,Viterbo, Gluck, Ziller, Weinstein and Ljusternik-Fet Theorem is provided, which is quite different from their original proofs.

关键词： Symplectic geometry J-holomorphic curves Periodic orbit

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

SYNTHESIS OF NOVEL SOLUBLE AROMATIC POLYPYROMELLITIMIDE CONTAINING ORDERED 1,2,4-TRIAZINE IN THE MAIN CHAIN

引用

Chinese Journal of Polymer Science 2002年第3期20卷 219-224页

作者： Xiao-bing Yi Guo-shi Wu Feng-cai Lu department of chemistry tsinghua university, Beijing {3. china Institute of chemistry Chinese Academy of Sciences, Beijing 100080, china Tsing Hua Univ Dept Chem Beijing 100084 Peoples R China Chinese Acad Sci Inst Chem Beijing 100080 Peoples R China

A new heat-resistant, soluble polymer, poly(phenyl-1,2,4-triazine imide), has been prepared via a two-step method of polycondensation of N,N'-bis(4-benzil)pyromellitimide and terephthalamidrazone in cresol, followed by curing at higher temperature. The rigid 1,2,4-triazine group increases the solubility of the polyimide so that the polymer is soluble in cresol, N-methyl-2-pyrrolidone (NMP), trifluoroacetic acid and concentrated sulfuric acid, etc. Thermogravimetric analysis (TGA) indicates that this novel polyimide has good thermal stability with a high decomposition temperature of 447degreesC in air and of 423.degreesC in N-2, It has a tensile strength of 107.4 MI'a with an elongation at break of around 7.6%.

关键词： polyimides N,N '-bis(4-benzil)pyromellitimide rigid-rod group 1,2,4-triazine

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

DIMENSIONS OF SELF-AFFINE SETS WITH OVERLAPS

引用

Chinese Annals of Mathematics,Series B 2003年第3期24卷 275-284页

作者： HUA Su department of Mathematics, tsinghua university, Beijing 100084, {3.. Tsing Hua Univ Dept Math Beijing 100084 Peoples R China

The authora develop an algorithm to show that a class of self-affine sets with overlaps can be viewed as sofic affine-invariant sets without overlaps,thus by using the results of [11] and [10],the hausdorff and minkow... 详细信息

关键词： self-affine set overlap hausdorff dimension minkowski dimension

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Development of SOM combustion model for Reynolds-averaged and large-eddy simulation of turbulent combustion and its validation by DNS

引用

Science china(Technological Sciences) 2008年第8期51卷 1073-1086页

作者： ZHOU LiXing department of Engineering Mechanics, tsinghua university, Beijing 100084, {3. department of Engineering Mechanics Tsinghua University Beijing 100084 China

The derivation and closure methods of the second-order moment (SOM) combus- tion model are proposed. The application of this model to Reynolds averaged (RANS) and large-eddy simulation (LES) of turbulent swirling diffusion combustion, jet diffusion combustion, and bluff-body stabilized premixed combustion is sum- marized. It is indicated that the SOM model is much better than the eddy-beak-up (EBU) and presumed PDF models widely used in commercial software and engi- neering. The SOM modeling results are close to those obtained using the most accurate but much more complex PDF equation model. Moreover, it can save much more computation time than the PDF equation model. Finally, the SOM model is validated by the direct numerical simulation (DNS) of turbulent reacting channel flows.

关键词： turbulent combustion second-order moment model Reynolds averaged simulation large-eddy simulation

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：