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

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

高功率微波脉冲压缩储能谐振腔的测量与调试

储能谐振腔是高功率微波脉冲压缩系统实验的核心部件，精确测量有关储能腔参数，修正谐振腔尺寸，调整实验系统的微波参数，使储能阶段H—T的泄漏最小、谐振腔的储能效率达到最大是非常关键和必要的。介绍了L波段高功率微波（HPM）脉冲压缩谐振腔的微波参数的测量，并根据微波参数测量的结果对谐振腔进行了调整，使谐振腔的储能效果明显改善；分析了不同气体成分及充气气压与本征频率之间的关系及其抗击穿性，作为工作介质，SF6含量为30％-50％，SF6-N2混合气体综合性能较好的。     

平面数控抛光工艺优化技术

为了满足“神光”-Ⅲ装置对大批量大口径光学元件的需求，解决加工精度以及加工效率等方面的问题，对计算机控制光学表面成型技术（CCOS）进行了多方面的研究。在对平面数控软件进行了深入的研究工作后，结合高精度干涉检测手段，对数控工艺软件进行了大幅的改进。     

卤代对苝醌类光敏剂光敏活性影响的量子化学研究

以一种新型的醌类光敏剂—菌生素 (HMB)为模型化合物 ,利用量子化学从头算HF/ 6 31G和含时密度泛函TD B3LYP/ 6 31G方法计算研究了卤代作用对醌类光敏剂分子性质和光敏活性的影响 .结果发现 ,卤代作用降低了HMB母体的HOMO和LUMO能级 (EHOMO和ELUMO)及其差值△E ,随卤族元素从上到下 ,EHOMO和ELUMO呈增大趋势 ,而△E呈减小趋势 ,使得分子激发光谱有不同程度的红移 ,在增加PQP三重态量子产率的同时降低了分子最低三重激发态的能量 ,两种作用相互抵消 ,使得卤代物的 1O2 量子产率与母体相似 ;增加了分子的绝热电子亲合势 ,使分子产生O2 -的能力下降 ;卤原子的引入 ,降低了HMB母体分子内氢键的强度 ,同时使顺式构型的分子内质子传递势垒增大 ,而使反式构型势垒减小 .     

平台框架部件刚度的简化计算

利用卡氏定理,对惯性平台框架部件的刚度进行简化计算。通过微机编程获得数据,为结构设计初期合理选取结构参数提供参考。     

一类非线性弹簧振子的周期性振动

本文用数值计算的方法讨论了一类非线性弹簧振子的周期性振动及其特点．     

100μmFIR-FEL摇摆器的改进

经过几年实验发现，摇摆器的磁场强度、峰值误差和好场区宽度对束波作用效率有很大影响。为了提高摇摆器性能对摇摆器如下改进：（1）提高磁场强度：永磁块材料采用北京钢研院的钕铁硼N39SH，其风达到11．6kOe（10e≈79．578A／m），B，达到12．3kGs（1Gs=10^-4T），（BH）max为36MGOe；摇摆器周期长度由30mm改为32mm，磁块与磁极宽度的比值由9：6改为11：5；（2）减小峰值误差和增加好场区宽度：改进永磁块、磁极的形状和固定方式，从机械上消除不规则磁块、磁极形状带来的负面影响。通过上述改进可以提高单电子小信号增益与理想增益的比率，即提高整个摇摆器品质。精密的磁场自动测量系统是摇摆器调试过程中所必须的装置，该系统经过改进，具有高精度、高稳定度、可同时监测x、y、z方向磁场值、操作方便等优点，为摇摆器的研制打下良好基础。     

二维多介质欧拉自适应网格方法研究

要对聚能和流场的剧烈变化进行模拟，欧拉方法具有明显的优势。而在这些方面的研究中，所涉及的流场十分复杂，为达到所需的计算精度，必须采用很密的网格才能以较好的分辨率去模拟流场的剧烈变化部分和介质的界面，特别是大空间尺度流场局部细节的数值模拟，有些问题如果用统一网格计算，即使最快的计算机也不能提供足够的分辨率。所以目前计算机的内存和速度限制了整个计算区域的网格细分程度，对计算区域作局部的网格自适应细分、用大的动态空间分辨率划分流场是必要的和迫切的。     

数学竞赛之窗

今天的联赛，计算相当多，我国著名数学家华罗庚先生曾经说过：“不要怕算”，可是目前我国中学生，运算能力大多不很强，或不够熟练，或不够简捷，或忙中出错，或不会检查．因此，增加一些计算对提高学生的运算能力是有益的．当然，计算过多，也有些“矫枉过正”，或许命题者认为“不过正则不能矫枉”吧．