脉冲激光偏振方向对氮分子高次谐波的影响——基于含时密度泛函理论的模拟

采用含时密度泛函方法,结合赝势模型和电子交换相关作用的广义梯度近似,模拟了氮分子在超强飞秒激光脉冲作用下的高次谐波产生现象,并研究了激光脉冲偏振方向对氮分子高次谐波的影响.结果表明氮分子的高次谐波谱具有典型原子谐波谱的特征;谐波谱强度随着θ(激光偏振方向与分子轴向夹角)的增大而减小.这与J.Itatanl在Nature上报道的实验结果基本一致.     

Preparation and Mechanical Properties of Fe3Al Nanostructured Intermetallics

Nanostructured Fe₃Al intermetallic compounds were produced by using hydrogen arc plasma method. The transmission electron microscopy experiments showed that the average particle size of the as-synthesized was about 40-nm. The change in hardness of Fe₃Al nanostructured intermetallic compounds with annealing temperatures was observed and evaluated.     

s波超导体绝缘层dx2-y2波超导体结的直流Josephson电流

在s波超导体绝缘层dx2-y2波超导体结(sId)中,考虑到结界面粗糙散射,运用BogoliubovdeGennes(BdG)方程和FurusakiTsukada(FT)电流公式,计算超导结中的准粒子传输系数和直流Josephson电流.结果表明:sId超导结的直流Josephson电流随温度以及结两侧的相位差变化的关系曲线强烈地依赖于d波超导体的晶轴方位;结界面的粗糙散射对Josephson电流有抑制作用 关键词： s/I/d超导结 dx2-y2波超导体 直流Josephson电流     

Searching for a counterfeit coin with b-balance

We consider the classical problem of searching for a heavier coin in a set of n coins, n-1 of which have the same weight. The weighing device is b-balance which is the generalization of two-arms balance. The minimum numbers of weighings are determined exactly for worst-case sequential algorithm, average-case sequential algorithm, worst-case predetermined algorithm, average-case predetermined algorithm.We also investigate the above search model with additional constraint: each weighing is only allowed to use the coins that are still in doubt. We present a worst-case optimal sequential algorithm and an average-case optimal sequential algorithm requiring the minimum numbers of weighings.     

NEW ALTERNATING DIRECTION FINITE ELEMENT SCHEME FOR NONLINEAR PARABOLIC EQUATION

A new alternating direction (AD) finite element (FE) scheme for 3-dimensional nonlinear parabolic equation and parabolic integro-differential equation is studied. By using AD, the 3-dimensional problem is reduced to a family of single space variable problems, calculation work is simplified; by using FE, high accuracy is kept; by using various techniques for priori estimate for differential equations such as inductive hypothesis reasoning, the difficulty arising from the nonlinearity is treated. For both FE and ADFE schemes, the convergence properties are rigorously demonstrated, the optimal H1-and L2-norm space estimates and the 0((△t)2) estimate for time variable are obtained.     

Rheological and diffusion properties of a dextran-con A polymer in the presence of Insulin and Magnesium

Previous work carried out in our laboratories has focused on the formation and investigation of a dextran and concanavalin A (con A) based gel, which has the ability to alter its conformational structure in the presence and absence of free and terminal glucoses such that a gel–sol phase transition occurs. Here we report the diffusion and rheological investigations in to the effects of the addition of insulin and varyingconcentrations of magnesium chloride hexahydrate (Mg₂Cl₂6H₂O) at 20 and 37 °C. Rheological examination of glucose-sensitive (dextran-con A) gels were conducted using a cone and plate viscometer used in continual rotation and oscillatory modes. The results are interpreted in terms of the structure of the gel network and suggest rheological assessment provides an effective method of assessing the properties of gel systems. The subsequent testing of such formulations in in-vitro diffusion experiments revealed a reduction in the rate of diffusivity in the insulin marker, poly R-478 dye. The performance of this self-regulating drug delivery system has been examined and the addition of insulin and magnesium chloride may alter the way in which the gel operates as a drug delivery device and in the delivery of insulin. This may have implications for other ligands.     

复制受限的环境演算中模态逻辑的内涵性

环境演算(MA)的模态逻辑AL进行了研究．在考虑了复制操作和限制操作的情况下，提出了逻辑等价的协归纳操作描述，并利用协归纳关系与进程结构同余关系进行比较，证明了若对MA加上约束条件得到子集MAIF^syn，此时逻辑等价(=L)与结构同余关系是等价的，即AL在MAIF^syn中是内涵的．同时发现由于复制操作的存在，AL的内涵性受到了影响，使得AL的区分能力被削弱，但通过对复制公式的构造验证了AL的表达能力．     

多元χ演算运行时错误的不可判定性

针对多元χ演算运行时刻通信安全的判定性问题进行了研究．通过从Lazyλ项到χ项的编码，将判定一个Lazyλ项是否有范式的问题归约为进程是否有通信错误的问题．证明了在多元χ演算中，通讯错误也是不可判定的．结论说明不存在算法直接来检测进程的通信安全性，而只有通过其他间接的手段(如构造类型系统)才能部分达到预防运行时错误的目的．     

校准电表的一种方法

利用电位差计的高精度，设计出合理的实验电路对C31型电表进行校准，使得电表的准确度等级得以提高。     

变In组分沟道的MM-HEMT材料电子输运特性研究

在变缓冲层高迁移率晶体管（MM_HEMT）器件中，二维电子气的输运性质对器件性能起着决定作用.通过低温下二维电子气横向电阻的量子振荡现象，结合变温度的Hall测量，系统研究了不同In组分沟道MM_HEMT器件中子带电子迁移率和浓度随温度的变化关系.结果表明，沟道中In组分为0.65的样品，材料电学性能最好，In组分高于0.65的样品，严重的晶格失配将产生位错，引起迁移率下降，大大影响材料和器件的性能. 关键词： 变缓冲层高迁移率晶体管 Shubnikov_de Hass 振荡