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

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

复合广义齐次Poisson过程的多险种破产概率

本文推广了经典的复合泊松风险模型，建立了两类复合广义齐次poisson过程的多险种破产模型．对于新模型，我们得到了初始资本为u的破产概率φ(u)的精确表达式以及特殊情况下φ(0)的表达式，并且导出了调节系数方程和调节系数R的上下界．     

人寿保险业绩指标的确定

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

聚丙烯酸长链酯的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关系。     

CreditRisk+模型下商业银行经济资本配置研究

对金融资产风险的度量与经济资本的分配应该体现分散化效应,传统的V aR方式不能保证分散化效应的次可加性.本文讨论了基于T a ilV aR这一新的风险度量与经济资本分配标准,并在违约率均值不变情况下,对C red itR isk+模型下的商业银行经济资本分配进行了实证分析.     

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

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

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

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