MP＊中的等值完全析取范式

讨论中介逻辑命题演算扩张系统ＭＰ＊中在等值意义下的完全析取范式的存在性和唯一性。引入ＭＰ＊中等值全板范式的概念，并用分步构造法证明这种范式在等值意义下是存在的，且是唯一的。     

线性调频半导体激光衍射光栅干涉仪

介绍一种以线性调频半导体激光为光源的衍射光栅干涉仪。激光与光栅上衍射的±１级衍射波会合，由于有光程差而发生光拍频，测量拍频信号的相位移则可测得光栅的位移。设计了一种克服激光波长漂移和空气折射率变化影响的对称差动光路，使这种方法达到实用化的程度，分辨力达到纳米级。此外，还介绍了应用于接触干涉仪的实验情况。     

Solar Sources of Heliospheric Energetic Electron Events—Shocks or Flares?

Electrons with near-relativistic (E≳30 keV, NrR) and relativistic (E≳0.3 MeV) energies are often observed as discrete events in the inner heliosphere following solar transient activity. Several acceleration mechanisms have been proposed for the production of those electrons. One candidate is acceleration at MHD shocks driven by coronal mass ejections (CMEs) with speeds ≳1000 km s⁻¹. Many NrR electron events are temporally associated only with flares while others are associated with flares as well as with CMEs or with radio type II shock waves. Since CME onsets and associated flares are roughly simultaneous, distinguishing the sources of electron events is a serious challenge. On a phenomenological basis two classes of solar electron events were known several decades ago, but recent observations have presented a more complex picture. We review early and recent observational results to deduce different electron event classes and their viable acceleration mechanisms, defined broadly as shocks versus flares. The NrR and relativistic electrons are treated separately. Topics covered are: solar electron injection delays from flare impulsive phases; comparisons of electron intensities and spectra with flares, CMEs and accompanying solar energetic proton (SEP) events; multiple spacecraft observations; two-phase electron events; coronal flares; shock-associated (SA) events; electron spectral invariance; and solar electron intensity size distributions. This evidence suggests that CME-driven shocks are statistically the dominant acceleration mechanism of relativistic events, but most NrR electron events result from flares. Determining the solar origin of a given NrR or relativistic electron event remains a difficult proposition, and suggestions for future work are given.     

Particle Acceleration Mechanisms

In this paper we review the possible mechanisms for production of non-thermal electrons which are responsible for the observed non-thermal radiation in clusters of galaxies. Our primary focus is on non-thermal Bremsstrahlung and inverse Compton scattering, that produce hard X-ray emission. We first give a brief review of acceleration mechanisms and point out that in most astrophysical situations, and in particular for the intracluster medium, shocks, turbulence and plasma waves play a crucial role. We also outline how the effects of the turbulence can be accounted for. Using a generic model for turbulence and acceleration, we then consider two scenarios for production of non-thermal radiation. The first is motivated by the possibility that hard X-ray emission is due to non-thermal Bremsstrahlung by nonrelativistic particles and attempts to produce non-thermal tails by accelerating the electrons from the background plasma with an initial Maxwellian distribution. For acceleration rates smaller than the Coulomb energy loss rate, the effect of energising the plasma is to primarily heat the plasma with little sign of a distinct non-thermal tail. Such tails are discernible only for acceleration rates comparable or larger than the Coulomb loss rate. However, these tails are accompanied by significant heating and they are present for a short time of <10⁶ years, which is also the time that the tail will be thermalised. A longer period of acceleration at such rates will result in a runaway situation with most particles being accelerated to very high energies. These more exact treatments confirm the difficulty with this model, first pointed out by Petrosian (Astrophys. J. 557:560, 2001). Such non-thermal tails, even if possible, can only explain the hard X-ray but not the radio emission which needs GeV or higher energy electrons. For these and for production of hard X-rays by the inverse Compton model, we need the second scenario where there is injection and subsequent acceleration of relativistic electrons. It is shown that a steady state situation, for example arising from secondary electrons produced from cosmic ray proton scattering by background protons, will most likely lead to flatter than required electron spectra or it requires a short escape time of the electrons from the cluster. An episodic injection of relativistic electrons, presumably from galaxies or AGN, and/or episodic generation of turbulence and shocks by mergers can result in an electron spectrum consistent with observations but for only a short period of less than one billion years.     

脉冲激光测距误差标定及不确定度分析CSCD

以脉冲激光测距机的测距误差标定为背景,通过对测距误差解析表达式的推导,给出了系统各不确定度分量对测距误差的影响,计算了信号延迟时间、探测器和激光二极管响应时间、晶振频率、大气折射率等不确定度分量。通过对某已标定激光测距机实验验证表明:该装置在500m^20 000m测距范围内,测量重复性引入的相对标准不确定度最大值为0.67m,满足该类激光测距机测量不确定度5m(k=2)的校准测试需求。因此,利用该解析表达式可以实现对脉冲激光测距误差的有效评估,这对于脉冲激光测距测试系统、脉冲激光测距机的设计具有重要的指导意义。     

现代远程教育的媒体素材构建方法

本文阐述了媒体素材的采集及处理方法 ,对现代远程教育工程建设可提供有效的帮助     

基于全报废模型的航空发动机叶片报废率预测方法

基于航空发动机叶片的全报废数据,建立了发动机叶片报废率威布尔分布模型,并运用中位秩的方法对威布尔模型的参数进行了求解。为验证所建立模型的有效性,运用某航空公司CFM56-7B航空发动机报废率数据对模型进行了验证,取得了较好的效果。所建立的报废率模型能够为航空发动机的送修目标确定、维修工作范围制定等提供理论的支持。     

一种用于液晶曝光中的激光检测系统

介绍了一种非接触式激光检测系统，可用于检测液晶曝光中液晶模板与基板之间的间隙，给出了该种系统的测量原理、硬件系统、信号处理方法、测量结果、分辨力和误差分析，并指出了这种测量系统的应用。     

基于工作过程的航空维修工程实习的改革*

在定位分析航空维修工程专业所面向的岗位、工作任务以及完成任务所要求具备的职业能力的基础上，研究运用基于工作过程的实践教学方法进行教学内容和方法设计的改革，构建并优化了案例库。实践表明，该教学改革可充分发挥学生的主体作用，提高了学生实践技能，增强了学生的工程意识。     

重复率电光调Q Nd3+:YAG激光器输出能量及激光器效率的测定

本文提出了一种在不同的泵浦电压下测量重复率电光调Q掺钕钇铝石榴石激光器输出能量的方法 ,实际测量了脉冲激光器静态输出和动态输出能量 ,并利用电光晶体激光调Q技术得到脉宽为亚毫微秒的激光脉冲 ,使得激光器动态输出功率达兆瓦量级