某些风险序关系及其k阶停止损失序的表示

讨论了保险精算理论中常见的几种风险序之间的关系，得到了聚合风险中期望剩余寿命风险序的一个性质，利用κ阶停止损失风险序及κ阶失效率风险序间的关系，对本文中所讨论的几种风险序之间的关系给出了一个统一描述。     

用PB开发三层分布式医院信息系统

在分析三层分布式原理的基础上，讨论用Powerbuilder开发三层分布式医院信息系统的方法。     

纵横图趣谈

纵横图的研究由来已久,首先介绍n阶纵横图问题和n阶不全四角问题及其它们的解法,然后从一道竞赛题得出启示,推广n阶不全四角问题.     

一类pq2阶群的自同构群

得到了如下定理:设p,q是奇素数,且q相似文献   

单生过程首中时的各阶矩

给出了单生过程首中时多项式阶矩和指数阶矩的显式表达，讨论了4个判别准则的概率意义，并得到了单生过程指数遍历的一个显式判别准则．     

面向传值进程的一阶模态逻辑的可判定性与模型检测

对于面向传值进程的Hennessy-Milner逻辑的一阶扩充HML(FO), 给出了基于带赋值的符号迁移图的语义解释. 证明了HML(FO)的子逻辑HML(FO²)是满足性可判定的, 并且讨论了判定的复杂性. 最后给出传值进程关于HML(FO²)的模型检测的可判定性结果.     

一类四阶两点边值问题多个正解的存在性

通过研究四阶Lidstone边值问题多个正解的存在性,利用Krasnose'skii不动点理论及相应线性问题Green函数性质的研究,可得到多个正解存在性的结果     

基于抽象语法描述的中间表示技术

中间表示技术是高质量可重定目标编译器开发中的关键技术。针对嵌入式软件危机 ,提出了一种基于抽象语法描述的中间表示技术 AIR。AIR以代数数据类型为主体 ,并用面向对象特征对其进行扩展。在这种中间表示技术中 ,通过使用不受限制的高级中间表示 ,可充分利用现有的前端。通过这种语法能对现有中间表示提供自然编码的抽象中间表示 ,提高了编译成份的可复用性和互操作性 ,简化了编译基础设施的建构 ,进一步实现了高质量编译器的快速开发     

红平红球菌LSSE8-1脱硫代谢及其相关脱硫基因的比较

红平红球菌(Rhodococcus erythropolis) LSSE8-1是从我国贵州赤水气田中筛选分离的一株专一性脱硫菌. 该菌能选择性地氧化二苯并噻吩(DBT)生成2-羟基联苯(HBP). 利用DBTO₂(dibenzothiophene 5,5-dioxide)作底物既生成HBP又生成DBT, 表明从DBT到DBTO₂这一步反应在细胞水平是可逆的. 同时以DBT为对照, 0.01~0.4 mmol/L DBTO₂均对细胞的生长表现出毒害作用, 这就解释了脱硫反应中DBTO₂不积累的问题. 在溶菌酶处理的基础上, 用碱液裂解法提取LSSE8-1质粒作模板, 选择Rhodococcus erythropolis IGTS8脱硫基因的保守区设计引物, 用PCR的方法扩增分别得到1.3, 1.0和1.2 kb三段脱硫基因片段. 选用pGEM-T easy载体, E. coli. DH5α为受体菌, 克隆这三段基因后, 测序结果表明这三段脱硫基因高度保守. 与IGTS8的相关脱硫基因相比较, dszA和dszB的同源性都是100%, dszC的同源性是99%.     

樟树(Cinnamomum camphora)对钉螺过氧化物酶影响的研究

分别用新鲜樟树的根皮、茎皮、叶的水浸液处理钉螺，结果表明：樟树各部分的水浸液均有很好的灭螺效果；灭螺效果的顺序依次为：根皮、茎皮、叶；樟树各部水浸液对钉螺的过氧化物酶有明显影响，经处理1—3天样品的酶活高于对照组，处理4天的酶活最强，而处理5天的酶活则大大减弱。在这一处理过程中，有时出现新的酶带，有时又有酶带消失。