Algebraic Operations and Generic Effects

Given a complete and cocomplete symmetric monoidal closed category V and a symmetric monoidal V-category C with cotensors and a strong V-monad T on C, we investigate axioms under which an Ob C-indexed family of operations of the form _x :(Tx) ^v (Tx) ^w provides semantics for algebraic operations on the computational -calculus. We recall a definition for which we have elsewhere given adequacy results, and we show that an enrichment of it is equivalent to a range of other possible natural definitions of algebraic operation. In particular, we define the notion of generic effect and show that to give a generic effect is equivalent to giving an algebraic operation. We further show how the usual monadic semantics of the computational -calculus extends uniformly to incorporate generic effects. We outline examples and non-examples and we show that our definition also enriches one for call-by-name languages with effects.     

On the general problem of stability for impulsive differential equations

Criteria for stability, asymptotical stability and instability of the nontrivial solutions of the impulsive system

     

Antiferromagnetism in double-layered perowskitic oxides SrLa2Fe2O7 and BaLa2Fe2O7

Il Nuovo Cimento D - Two double-layered perowskitic compounds have been investigated by XRD analysis and Mössbauer spectroscopy. The experimental data allow the conclusion that magnetization...     

离子束引起的在Al／Cr双层薄膜界面处的原子混合

用600keV的Kr~ 离子轰击Al/Cr双层薄膜样品进行界面原子反应及相互混合的研究。实验样品是在单晶硅上蒸镀约500nm厚的铝膜,相继再蒸上所需厚度的铬膜而制成的。轰击剂量为2.0×10~(15)-2.5×10~(16)Kr~ /cm~2。用2.0MeVa粒子对轰击前后的样品进行了卢瑟福背散射(RBS)分析,发现界面处有明显的原子混合存在;当轰击剂量≥1.0×10~(16)Kr~ /cm~2时,RBS谱出现有明显的坪台,经拟合计算和x射线衍射(XRD)测量证实确有化合物Al_(13)Cr_2存在;还分别得到了原子混合量及混合效率与轰击剂量的关系;最后对界面处的原子混合机制进行了讨论。     

用Talbot效应及云纹干涉法测试镜面反射体曲率和斜率的灵敏度分析

对用Talbot效应及云纹干涉法测试镜面反射体曲率和斜率的灵敏度进行了分析,同时给出了由于光栅稀密对测试的影响和相应的解释。这对从事这项工作或工程上利用此技术测试物体曲率和斜率提供了一个可行的方案。     

KNbO3：Fe晶体的时间微分效应及图像追踪

本文观察到了KNbO_3:Fe晶体的时间微分效应,并用这个微分效应进行了图像追踪的演示,为KNbO_3:Fe晶体在光折变器件领域的应用进行了有益的探索。     

改进的部分子演化模型及其对EMC效应和核Drell－Yan过程的解释

用解析方法证明了部分子演化模型可为双重Ｘ重新标度模型提供物理基础，进而利用修正的Ａｌｔｅｒａｌｌｉ－Ｐａｒｉｓｉ方程描述小ｘ区域的核遮蔽和反遮蔽效应，以改进部分子演化模型，使我们不必引入核遮蔽因子便可统一地描述ＥＭＣ效应、核遮蔽和反遮蔽效应．最后，利用改进的部分子演化模型相当好地解释了核Ｄｒｅｌｌ－Ｙａｎ过程的实验数据．     

激光棒位置对热不灵敏凹凸腔运转特性的影响

以典型商用凹凸谐振腔为例，系统地分析了激光棒位置对热不灵敏腔运转特性的影响，对有关结果进行了讨论．     

Yb原子高激发态的斯塔克光谱

采用ππ偏振激光，通过两步激发和光电离方法，在０－１５４Ｖ／ｃｍ电场范围内，测定了Ｙｂ原子ｎ－１８附近ｍ＝０的斯塔克光谱，首次把包含斯塔克效应的能量矩阵对角化方法推广到Ｙｂ原子，所获得的理论斯塔克图与实验结果基本符合，观察到低场中斯塔克簇随电场增加呈现线性结构以及＾１Ｐ１态与斯塔克簇在抗交叉过程中振子强度发生转移的现象，讨论了结构与量子亏损的关系。     

全同超形变带转动惯量的粒子数守恒计算

利用推转壳模型的粒子数守恒方法计算了超形变(SD)转动带¹⁹²Hg和¹⁹⁴Hg(1,2,3)的带首转动惯量.分析了带首附近的组态结构及带首转动惯量随对力强度的变化.带首转动惯量之差δJ₀对对力强度十分敏感,而对Nilsson能级参数K、μ及形变参数并不敏感.对力及堵塞效应是造成带首转动惯量差别的主要因素.但与正常形变核相比,对力强度似有较大程度减弱.