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

环境演算(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计算.     

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

利用晶格动力学方法,研究在高压下几种导电高分子具有不同晶格链时的色散关系及其曲线的变化.链间耦合作用的减弱使横波与纵波的ω差值相应增大,且在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关系。     

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

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

中国莲的定量染色体图

利用MetaMorph软件定量分析了中国莲(Nelumbo mucifera Gaertn.)每条前中期染色体上(从短臂到长臂)二脒基苯基吲哚(DAPI)荧光强度的变化，结合染色体的相对长度和臂比作为辅助参数，构建了中国莲前中期染色体的定量染色体图．该定量染色体图是实际的前中期染色体的一种直观模式，可识别中国莲基因组中每条染色体以及分析染色体上的异染色质分布，为莲的细胞遗传学研究提供了一种新的方法．     

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

黑龙江省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…     

工程项目施工状态诊断模型

文章提出了工程项目施工的投资状态函数、进度状态函数、质量状态函数和环境状态函数，并以状态函数为基础，建立了项目施工状态诊断模型。文章给出各层次中的状态函数，理出了施工状态量化诊断的思路，对各层次中状态诊断函数的描述作了探索。