在不同激光脉宽下的高次谐波

用数值计算方法计算了不同强激光脉冲宽度下高次谐波的产生.我们发现对于激光场强度不高,不能有效电离初态的激光场,长脉冲宽度可以更有效产生高次谐波;而对于高场强的激光场,由于它能够在几个光学周期之内把原子的初态全部电离,所以短脉冲的激光场能够更有效产生高次谐波.     

基于液晶光阀的全息照相控光仪

设计了通过液晶光阀自动调整全息照相物光和参考光辐照比至最佳状态,同时能实现曝光时间自动控制的控光仪.该仪器巧妙运用液晶光阀和硅光电池器件,使测量、调整、自控一体化,从而提高拍摄优质全息图的工作效率.     

基于FPGA并行处理的实时图像相关速度计

研究制作了一种采用高速线阵CCD的实时相关速度计,其测量数据的输出速率可达每秒一万次。针对以往光学相关测速方法的问题进行了讨论,探讨了适合FPGA并行处理的算法,制作了高速线阵CCD摄像机及其处理装置。通过实验验证了系统的可行性和可实现性。     

A finite model property for RMImin

It is proved that the variety of relevant disjunction lattices has the finite embeddability property. It follows that Avron's relevance logic RMI _min has a strong form of the finite model property, so it has a solvable deducibility problem. This strengthens Avron's result that RMI _min is decidable. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

两类方程亚纯解(n,1)级的上界估计

本文给出Riccati方程及另外一类具有代表性微分方程的亚纯解（n,1)级的上界估计，在一定条件下确立了文[2]中的猜测的正确性。     

K_(1,n)-free图具有给定性质的[a,b]-因子的一个充分条件

图G称为K1,n-free图,如果它不含K1,n作为其导出子图.对K1,n-free图具有给定性质的[a,b]-因子涉及到最小度条件进行了研究,得到一个充分条件.     

一阶形式系统K~*及其完备性

模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.     

[Na(18-C-6)]2[Cu(i-mnt)2]的合成与结构分析

研究了18-冠-6与Na2[Cu(i-mnt)2][i-mnt=异丁二腈烯二硫醇阴离子,S2CC(CN)2-2]的反应,得到的配合物[Na(18-C-6)]2[Cu(i-mnt)2](1)通过元素分析、红外光谱、X射线单晶衍射进行了结构分析.配合物为单斜晶系,空间群P2(1)/c.晶体学结构数据a=1.2819(11),b=1.1793(10),c=1.4928(13)nm,β=99.121(16)°,V=2.228(3)nm3,Z=2,Dcaled.=1.369g/cm3,F(000)=958,R1=0.0521,wR2=0.1003.1中的[Cu(i-mnt)2]基团通过配体i-mnt的氮原子与两个[Na(18-C-6)]基团中的钠原子成键,形成稳定的中性配合物.     

流体静高压下的锂离子导电性

本文改进实验方法,在0.0001—1.23GPa流体静高压下测量了整片非晶锂离子导体B₂O₃-0.7Li₂O-0.7LiCl-xAl₂O₃(x=0.05;0.15)及其粉末压片的离子电导率及激活体积。发现粉末压片电导率峰值是由非晶微粒间的接触电导及非晶微粒体电导两者叠加;对整片非晶电导率的压力效应用离子迁移通道的物理图象给出初步的微观解释。此外,还观测到氧化铝组分减少使电导率的压力转变点明显降低;测量出不同温度热处理以及300℃等温热处理4—20h后离子电导率-压力曲线的变化规律,仍可归因于非晶态相分离及两种非晶相的先后晶化。 关键词：     

X射线衍射研究N2+注入Si

本文首先给出了180keV的N₂⁺注入Si的X射线衍射(XRD)分布,然后用Levenberg-Marquardt最优化方法模拟实验曲线。根据XRD运动学理论,在我们给出的试探胁变函数和多层模型的基础上,用自编程序计算给出了晶格胁变随注入深度、剂量和退火温度的变化。最后我们对实验和计算结果进行了初步的分析讨论。 关键词：