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

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

人寿保险业绩指标的确定

本文通过相关分析和聚类分析的方法,对保险业绩指标的确定进行了分析.使确定的指标对业绩评价合理可信.     

聚丙烯酸长链酯的Huggins常数与其分子量的依赖性关系

聚丙烯酸高碳醇酯(PBA)及聚丙烯酸十八醇酯(POA)是具有长烷基侧链的梳状聚合物,在溶剂苯中的Huggins常数(k′)随其分子量(M)的变化而变化.在PBA-苯体系中发现,当M低于某一临界分子量(MLC)时,k′随分子量的降低显著增大;当M大于某临界分子量(MHC)时,k′随分子量的升高而增大;当M在MLC～MHC时,k′基本上保持不变.而在POA-苯体系中发现,当M低于某一临界分子量(MC)时,k′随分子量的降低显著增大;当M大于该临界分子量(MC)时,k′在0.33～0.43变化.文中同时给出了精确算法用来计算PBA-苯体系及POA-苯体系中PBA及POA的特性粘度.当k′＞0.758时,用稀释外推法计算;当0.758＞k′＞0.426时,用一点法公式[η]=ηsp/C(√)ηr计算;当0.426＞k′＞0.334时,用另一一点法公式[η]=(√)2(ηsp-lnηr)/C计算.     

改进的本征态展开方法求解含时薛定谔方程

本改进了原有的本征态展开方法。通过从能量E到q=（2E）的平方根的表象变换，不仅准确地计算了在此方法中起重要作用的低能电子布居，而且大幅度地减少了计算时间。利用这个高效的方法，我们计算了在强激光作用下一个模型原子的高次谐波发射谱。     

高压下某些导电高分子色散关系的研究

利用晶格动力学方法,研究在高压下几种导电高分子具有不同晶格链时的色散关系及其曲线的变化.链间耦合作用的减弱使横波与纵波的ω差值相应增大,且在BZ边界处拉开一个间隙,这是维度作用的结果.     

细胞凋亡诱导剂研究进展

细胞凋亡诱导剂作为癌症治疗药物日益受到重视,并已应用于临床研究,是一类非常有应用前景的药物.综述了近年来细胞凋亡诱导剂的研究状况及进展,重点介绍了它们的结构类型及作用特点.     

模余代数和Morita-Takeuchi关系

H是Hopf代数,C是H-模余代数。首先利用余积分的概念,诱导C的右H-余模结构,并构造了Smash余积余代数C×H,使C×H作为余代数同构于C H。然后,由C的右H-余模结构诱导C的左H0-模结构,令 C=C/KerεH0C,则C×H与 C有Morita-Takeuchi关系。     

三角形画出来，妙解亮出来

大家知道，三角形中的三角函数问题是三角函数中的一种重要题型，它在各级各类考试包括高考当中经常是“闪亮登场”．该题型旨在考察三角形背景下三角函数恒等变形的能力以及运算能力，它的知识内容往往涉及正弦定理、余弦定理和三角函数中各种常见基本关系、公式等．     

Hg1-xCdxTe/Cd1-zZnzTe的X射线反射率及半峰全宽的动力学研究

X射线衍射摇摆曲线的计算机模拟是一种获得材料晶体质量参量的有效方法，其中材料本征摇摆曲线的计算是计算机模拟的基础。用X射线动力学理论计算了Hg1-xCdxTe和Cd1-zZnzTe本征反射率曲线，并研究了组分、膜厚分别对本征反射率和半峰全宽的影响。结果表明Hg1-xCdxTe和Cd1-zZnzTe的本征反射率和半峰全宽与材料组分和厚度有明显的依赖关系，且该依赖关系取决于X射线在材料中的散射和吸收的相对强弱。薄膜的厚度也是直接影响本征摇摆曲线峰形、半峰全宽和反射率的重要因素，当薄膜厚度小于穿透深度时，表征本征反射率曲线的各个参量均与薄膜厚度有直接的关系。对于(333)衍射面，碲镉汞材料厚度大于7μm后，本征反射率和半峰全宽将不再发生明显变化。     

忽视点的多种位置关系致误一例

黑龙江省2002年初中升学考试中有这样一道试题:已知等边三角形ABC和点P,设点P到△ABC三边AB、AC、BC的距离分别为h1、h2、h3,△ABC的高为h.“若点P在一边BC上(如图1),此时h3=0,可得结论h1+h2+h3=h图1请直接应用上述信息解决下列问题:当点P在△ABC内(如图2),点P在△ABC外(如图3)这两种情况时,上述结论是否还成立?若成立,请给予证明;若不成立,h1、h2、h3与h又有怎样的关系,请写出你的猜想,不需证明.图2提供的参考答案如下:如图2,当点P在△ABC内时,结论h1+h2+h3=h成立.过点P作NQ∥BC分别交AB、AC、AM于N、Q、K.由题意得h1+h…