多相聚合物体系相分离动力学的理论和模拟

本文提出了将自洽场理论与多相流格子Boltzmann方法相结合的模型，并从该模型出发推导出了描述动量守恒的Navier-Stokes方程和扩散方程，验证了模型理论上的正确性。应用此模型，对聚合物的相分离过程进行了模拟。 首先证实了本模型最终能够得到正确的热力学平衡结果。对于高分子共混物和嵌段共聚物相分离的动力学过程。在分相各个阶段，对高分子共混物和嵌段共聚物都进行了验证。 其次，应用所提出的格子Boltzmann模型，分别对二元聚合物共混物和二嵌段共聚物的相分离后期相区增长过程进行了研究。 最后，通过模型的进一步扩展，实现了对具有复杂结构的嵌段共聚物和复杂共混物的模拟。

Green's function of a two-dimensional interacting electron gas in a perpendicular magnetic field

It is rigorously proved that the Green's function of a uniform two-dimensional interacting electron gas in a perpendicular magnetic field is diagonal with respect to single-particle states in the Landau gauge. The implication of this theorem is briefly discussed.

Theoretical and experimental investigations of flexural wave propagation in periodic grid structures designed with the idea of phononic crystals

The propagation characteristics of fiexural waves in periodic grid structures designed with the idea of phononic crystals are investigated by combining the Bloch theorem with the finite element method. This combined analysis yields phase constant surfaces, which predict the location and the extension of band gaps, as well as the directions and the regions of wave propagation at assigned frequencies. The predictions are validated by computation and experimental analysis of the harmonic responses of a finite structure with 11 × 11 unit cells. The fiexural wave is localized at the point of excitation in band gaps, while the directional behaviour occurs at particular frequencies in pass bands. These studies provide guidelines to designing periodic structures for vibration attenuation.

基于Isabelle定理证明器算法程序的形式化验证

形式化验证对保证软件的正确性和可靠性具有十分重要的意义.定理机械证明是形式化验证的一个重要研究领域,Isabelle系统是一个被广泛运用的定理证明辅助工具.本文在分析Dijkstra最弱前置谓词理论的基础上,根据PAR方法开发的算法程序循环不变式,提出了一种使用Isabelle定理证明器对算法程序进行机械验证的方法.该方法既克服了传统手工验证过程的繁琐性和易错性等缺点,又达到"提高验证效率和保证算法程序高可信"的目标,具有很好的实用价值.

对LVDSMC方法的改进(英文)

最近,Homolle和Hadjiconstantinu提出了新的粒子模拟方法———LVDSMC方法[1],该方法采用了减少方差的思想从而提高了低速流动问题中的计算效率。本文针对LVDSMC方法提出两点改进:第一,除了方法中原来已采用的偏差粒子,在计算近自由分子流问题时建议额外地采用一些辅助粒子,从而可以约束计算过程中原始算法在生成偏差粒子时计算误差的累积效应;第二,提出一个可选的用于计算潜在Maxwell Boltzmann分布函数中的速度参数的增量,从而使得表面的应力及热流的计算变得简单。

Improvement of FEM's dynamic property

The discretization size is limited by the sampling theorem, and the limit is one half of the wavelength of the highest frequency of the problem. However, one half of the wavelength is an ideal value. In general, the discretization size that can ensure the accuracy of the simulation is much smaller than this value in the traditional finite element method. The possible reason of this phenomenon is analyzed in this paper, and an efficient method is given to improve the simulation accuracy.

Analysis for temperature and pressure fields in process of hydrate dissociation by depressurization

An improved axisymmetric mathematic modeling is proposed for the process of hydrate dissociation by depressurization around vertical well. To reckon in the effect of latent heat of gas hydrate at the decomposition front, the energy balance equation is employed. The semi-analytic solutions for temperature and pressure fields are obtained by using Boltzmann-transformation. The location of decomposition front is determined by solving initial value problem for system of ordinary differential equations. The distributions of pressure and temperature along horizontal radiate in the reservoir are calculated. The numeric results indicate that the moving speed of decomposition front is sensitively dependent on the well pressure and the sediment permeability. Copyright (C) 2010 John Wiley & Sons, Ltd.

丰质子核反应中轻带电粒子发射的同位旋效应

采用同位旋相关的Boltzmann-Langevin方程计算了核素12—15N和17—20Ne反应中轻带电粒子发射的同位旋效应。12—15N与28Si靶的反应结果显示轻带电粒子的产生截面有明显的同位旋效应,12N的轻带电粒子产生截面突然增大,与实验得出的结论相同,由此检验了所采用的计算方法的可行性。同时还计算了17—20Ne与9Be靶的反应,发现17Ne的轻带电粒子产生截面也是突然增大,并且其质子分布有较大的弥散,据此认为17Ne可能具有晕结构。

轻丰中子核反应中子集团产生截面的理论研究

采用Boltzmann-Langevin方程研究了能量为35MeV／u的14Be,8He,6He,11Li,17B,11Be,19C与 12C靶的反应,计算了产生中子集团的截面,发现14Be与12C靶反应产生4n的截面与实验值符合得很好．通过这几个入射核与12C靶形成中子集团截面的对比,发现核的晕中子越多产生中子集团的截面越大,晕中子数相同时,质量数越大产生中子集团的截面越大．中子集团可能主要来自晕核子．

~(40)Ca+~(58)Fe,~(58)Ni反应中的径向膨胀流研究

利用同位旋相关的Boltzmann Langevin方程研究了40 Ca + 5 8Fe和40 Ca +5 8Ni两个反应系统在 53 ,1 0 0 ,1 50和 2 0 0MeV/u入射能量下对心碰撞的径向膨胀流 .发现对于丰中子系统40 Ca + 5 8Fe的径向膨胀流系统性地小于稳定系统40 Ca+ 5 8Ni的径向膨胀流 .在假定轰击能量与反应体系的压缩密度呈抛物线关系时 ,能够解释入射能量和径向膨胀流之间呈现的直线关系 .提取了出现径向膨胀流的轰击能量阈值 ,发现对丰中子系统40 Ca + 5 8Fe得到的能量阈值小于稳定系统40 Ca+ 5 8Ni所得到的能量阈值

28.7MeV/u的~(14,16,18)O+~(7,9)Be反应中的同位素分布研究

用同位旋相关的Boltzmann Langevin方程研究了在入射能量为2 8 7MeV/u下 ,不同弹核 14O ,16 O和 18O轰击不同靶核 7Be和 9Be的反应 ,计算了生成碎片的产生截面 ,发现用丰中子 (缺中子 )炮弹或丰中子 (缺中子 )靶进行反应 ,所得到的产物均有丰中子 (缺中子 )的碎片出现 .同位素分布宽度和峰位与入射体系密切相关 ,产生碎片的电荷数越接近入射弹核的电荷数 ,则同位素分布的宽度越大 ,峰位偏离β稳定线值越远 ,其同位旋效应越明显 .