带有受限缩并规则的兰贝克演算中的照应算子

主要以贾戈尔(Jager)在类型逻辑框架下对照应现象的处理方法为依托展开研究。试图厘清几种从范畴角度出发处理照应现象的方法,从中筛选出简明高效的方法,即贾戈尔通过在带有受限缩并规则的兰贝克演算中引入照应算子|(anaphora slash)的处理方法。目的是为读者清晰地描绘出逻辑学家与语言学家们研究问题的思路历程,以提醒读者在研究的过程中不要纠缠于他们所提供的艰深知识,而要把研究重心转向对其思想方法的追寻,以期有更多斩获。     

马兰冰芯16S rDNA的多样性与影响冰芯中微生物的环境因素

以青藏高原中部的马兰冰川钻取的一支冰芯为对象, 通过对分布在不同层的样品中微生物总数和可培养微生物数的分析, 发现冰芯中的微生物数与冰芯中的尘埃量有一定的关系. 进一步分析后, 认为冰芯中的微生物分布主要由冰川发育过程中物质传输所决定. 利用16S rDNA克隆测序的方法, 分析了马兰冰川一个深层冰芯样品的微生物多样性, 样品中有很多序列与嗜冷微生物的序列很相似.     

鲤鱼体表出血感染症的病原菌检验

对鲤鱼体表出血感染症病例进行了病原细菌方面的检验,从４尾发病鱼的皮肤病变部位及１尾新鲜病死鱼的皮肤病变部位与肝脏均分离到了几乎纯一的同种细菌。从每尾鱼的分离菌各做纯培养２株共１０株进行了鉴定,结果初步表明为嗜水气单胞菌（Ａｅｒｏｍｏｎａｓｈｙｄｒｏｐｈｉｌａ）,经人工感染发病试验表明该菌为本例鲤鱼体表出血感染的病原菌。经测定对常用抗菌类药物的敏感性,结果分离菌株均对供试的链霉素等１１种高敏,对红霉素敏感,对青霉素等３种耐药     

基于层次分析法采场稳定性评价及 FL AC3D 模拟验证

影响采场稳定性的因素具有随机性、模糊性的特点,通过对各评价指标的定量分析,建立了采场稳定性综合评价模型,基于层次分析法（AHP）确定了采场指标权重,对采场稳定性进行了定量评价。运用FLAC3D对峄城区石膏矿采场受到开挖﹑流变﹑爆破扰动等因素影响的情况进行数值模拟,验证影响采场稳定性的因素所起作用的取值是否合理,经验证,基于层次分析法计算采场稳定性的指标权重合理可行。     

基于CFD的拖网渔船阻力计算及试验验证

拖网渔船在海洋渔船中占有很大份额,具有多工况、船型复杂的特点,是渔船节能专向研究的重点对象.文中将CFD技术应用于该船型的阻力计算,考虑自由水面效应,计算出相应航速下的阻力值,与模型试验结果吻合度较高,可以在进一步深入研究其影响因素的前提下部分取代模型试验的效果.     

三疣梭子蟹病原菌检测与分析

分离患病三疣梭子蟹样本中的病原菌,对分离菌株进行形态特征、理化特性和分子生物学鉴定。采用普通营养琼脂及zobell2216E海水营养琼脂分离患病样本中的病原菌。采用细菌常规生化鉴定方法,了解细菌的形态和生理生化特性。采用16SrRNA和gyrB基因序列同源性比对,进一步明确该病原菌的分类学地位。采用人工感染实验的方法,证明分离菌株是三疣梭子蟹致病病原菌。该菌革兰氏阴性,氧化酶阳性,葡萄糖发酵型,在低于10 g/L的NaCl胨水中不生长。16SrRNA和gyrB基因与需钠弧菌(Vibrio natriegen)同源序列具有99%的相似性。分离菌株对三疣梭子蟹有明显的致病性。需钠弧菌是引起江苏省连云港市赣榆县石桥镇九里村三疣梭子蟹严重死亡的病原菌。     

鲁氏耶尔森氏菌及鱼类相应感染症

记述了鲁氏耶尔森氏菌的分类、主要生物学特性及相应鱼类感染症的特点等内容,同时提出了当前在这些方面的一些主要研究重点.