A class of fully third-order accurate projection methods for solving the incompressible Navier-Stokes equations

In this paper, a fully third-order accurate projection method for solving the incompressible Navier-Stokes equations is proposed. To construct the scheme, a continuous projection procedure is firstly presented. We then derive a sufficient condition for the continuous projection equations to be temporally third-order accurate approximations of the original Navier-Stokes equations by means of the local- truncation-error-analysis technique. The continuous projection equations are discretized temporally and spatially to third-order accuracy on the staggered grids, resulting in a fully third-order discrete projection scheme. The possibility to design higher-order projection methods is thus demonstrated in the present paper. A heuristic stability analysis is performed on this projection method showing the probability of its being stable. The stability of the present scheme is further verified through numerical tests. The third-order accuracy of the present projection method is validated by several numerical test cases.     

我们心目中的楷模

于敏先生是我国核科技事业的卓越指挥者，是为“两弹一星”研制做出突出贡献的科学家。我们认识他并在他指导下工作是在氢弹突破之后的20世纪60年代末，我跟着他参加过几个大项目的理论设计研究工作。在工作中，需要用计算机对设计方案进行物理验证，一个方案需经反复验证，多次修改才能方案定型．通常初步计算结果出来之后，搞物理的找出问题所在，迅速做出修改，并交由计算工作者修改程序，再上机，在理论设计比较成熟的基础上，通过冷实验加以验证，得出结果后再做物理分析，再上机计算，最终由热试验加以检验。这一过程有点像在涌浪波涛间行船，能够最终抵达彼岸需要经历许多困难和曲折。     

Nanosecond-time-resolved infrared spectroscopic study of fast relaxation kinetics of protein folding by means of laser-induced temperature-jump

Elucidating the initial kinetics of folding pathways is critical to the understanding of the protein folding mechanism. Transient infrared spectroscopy has proved a powerful tool to probe the folding kinetics. Herein we report the construction of a nanosecond laser-induced temperature-jump （T-jump） technique coupled to a nanosecond timeresolved transient mid-infrared （mid-IR） spectrometer system capable of investigating the protein folding kinetics with a temporal resolution of 50 ns after deconvolution of the instrumental response function. The mid-IR source is a liquid N2 cooled CO laser covering a spectral range of 5.0μm （2000 cm^-1）-6.5μm （1540 cm^-1）. The heating pulse was generated by a high pressure H2 Raman shifter at wavelength of 1.9μm. The maximum temperature-jump could reach as high as 26±1℃. The fast folding/unfolding dynamics of cytochrome C was investigated by the constructed system, providing an example.     

维也纳分析方法及其应用

介绍了软件开发方法中的一种形式化分析方法：Vienna Development Method(VDM)。阐述了形式化分析方法的特点，具体说明了维也纳分析方法规格说明的两种规范：模块化说明与非模块化说明，及程序证明性依据：基于函数与操作的形式化规格说明。然后通过一个应用实例来说明如何利用VDM技术进行软件开发，及利用函数与操作的形式化规格说明来证明程序是正确的。     

过电离等离子体复合升温和绝热膨胀

给出了类H—C离3d5/2-2p3/2跃迁复合机制产生X光激光的电子密度-电子温度增益目标区域，研究了电离转复合处等离子体特征、复合阶段电子密度变化规律及影响电子温度的两个主要因素：作功冷却与复合升温，并给出了这两个因素的近似表达式．     

载体对负载PdO催化剂的CO氧化活性的影响

由于催化燃烧比传统的热力燃烧法有反应温度低和能量消耗低的优点，因而广泛用于挥发性有机物和CO的消除．把和铂是最常用的催化剂，但是载体对催化性能的影响很大【‘’‘］．本文制备了系列负载把催化剂，发现载体的性质对催化剂的CO氧化活性影响很大．本文所用载体为CeO。，TIO。，SnO。，AI。O。，ZAI。，ZSM－5和SIO。催化剂制备采用浸渍法，把负载量为5％（质量分数）．催化剂经120C烘干后，于650’C空气气氛焙烧4h制成．在常压固定床流动反应装置上考察催化剂的CO氧化活性，反应气组成为CO2．4％，O。1．2％，N。96．4…     

Dehydroaromatization of Methane with a Small Amount of Ethane for Higher Yield of Benzene

The dehydroaromatization of methane was investigated with addition of a few ethane. A high benzene yield was achieved at a higher space velocity. The addition of CO2 could improve the stability.     

完善化学计量手段 确保量值传递

介绍了四O四厂第一分析室在化学计量方面现阶段做的工作 ,以及今后的打算与建议     

The Construction of Denumerable q-Processes in Random Environments-The Existence and Uniqueness

The concepts of Markov process in random environment, q-matrix in random environment, and q-process in random environment are introduced. The minimal q-process in random environment is constructed and the necessary and sufficient conditions for the uniqueness of q-process in random environment are given.     

Euler-Lagrange耦合计算的GEL方法

研究了一种Euler-Lagrange耦合数值方法——GEL（Ghost-fluid Euler-Lagrange）方法，编写了GEL二维计算程序。