对Allen的时间理论的某些改进

Ａｌｌｅｎ的时间理论因直观、易懂而倍受推崇，但它存在不能处理连续变化事件等缺欠。本文提出更为一般的时间理论框架，以扩展Ａｌｌｅｎ的理论，本框架的特点为：（ｌ）将Ａｌｌｅｎ的理论纳入其中；（２）可由时间点构造时区，并可处理时区和时间点；（３）以时间元素集的２Ｄ图形表示为基础的约束传播算法，既高效又可视化。

发菜类囊体膜的组成及其光合特性的研究

发菜（Nostoc flagelliforme Born. et Flah.）的细胞壁由纤维素、半纤维素、糖脂和蛋白质组成。未经破碎的细胞难以进行各种光合特性的研究。由于纯度较高的发菜类囊体膜制备比较困难，对它的光合机理的研究一直是停留在整体水平上进行。我们采用French Press低温下高压破碎细胞，建立了一种快速简便的制备方法。在提取液中加入一定浓度的Ca2+ （Ca2+既有助于维持类囊体膜的放氧活性又可以使类囊体膜在较低的离心速度下使类囊体膜得到凝集沉淀），从而在较短时间内、在高速离心的情况下得到了纯度较高并具有较高放氧活性的发菜类囊体膜。在此基础上，我们采用改进的Allen（1991）的温和绿胶系统，首次对陆生蓝藻发菜类囊体膜色素蛋白复合体进行了分离，共分离出了11条绿色的色素蛋白复合物条带和两条浅黄色的条带。7条绿色的色素蛋白复合物条带属于PSI组分，4条绿色的蛋白复合物条带属于PSII组分，其中一条浅黄色条带系未被报道过的新的色素蛋白复合物条带，经其光谱性质的分析初步鉴定为类胡萝卜素蛋白复合物，此复合物的分离有助于解释发菜独特的适应荒漠、半荒漠地带高光辐射的特性。 本文还对干燥状态、复水30分钟后和复水生长24小时后的野生发菜及人工培养的发菜藻丝体膜脂及其脂肪酸组成进行了分析。发菜的膜脂由MGDG、MGDG、SQDG和PG组成，其酯酰基部位连接有16:0、16:1、18:0、18:1、18:2和18:3六种脂肪酸。野生发菜中具有高含量的不饱和脂肪酸，其含量可达总脂的73%，其中16:1和18:3分别达到28.9mol%和34.3mol%，远远高于已报道的其它蓝藻，所以我们推测发菜具有极强的抗逆性和其膜脂不饱和程度密切相关。分析不同处理的发菜的膜脂和脂肪酸组成表明，复水对野生发菜的膜脂及其脂肪酸组成没有显著影响，说明发菜的膜脂和脂肪酸组成在干燥状态下能保持很高的稳定性。从野生发菜分离出的藻丝体在25 ℃条件下培养，其膜脂脂肪酸组成发生了显著变化，主要表现为脂肪酸的不饱和程度的大幅度降低，18:3从34.9mol%降低到8.6mol%，16:1从28.9mol%降低到13.9mol%。上述结果表明了发菜具有极强的通过改变其膜脂的脂肪酸组成而适应生存环境的能力。

保安湖扁担塘螺类生产力的研究 Ⅲ.长角涵螺的周年生产量

采用三种方法对扁担塘长角涵螺的周年生产量进行了测算 ,结果表明 ,三种方法得到的生产量及P/B系数吻合较好。生产量的带壳湿重和去壳干重分别是 :体长频率法 ,2 .0 88g·m 2 ·a 1 ,0 .1 0 3g·m 2 ·a 1 ;Allen曲线法 ,2 .1 2 2g·m 2 ·a 1 ,0 .1 0 6g·m 2 ·a 1 ;瞬时生长率法 ,2 .2 73g·m 2 ·a 1 ,0 .1 1 4g·m 2 ·a 1 。对应的P/B系数为 4.3 ,4.3 ,4.0。

扁担塘螺类生产力的研究Ⅱ.纹沼螺的周年生产量

采用四种方法对扁担塘纹沼螺的周年生产量进行了测算 ,结果表明 ,四种方法得到的生产量吻合极好。生产量的去壳干重和带壳湿重分别是 :体长频度法 ,1 78.0 7mg·m- 2 ·a- 1 ,4998.40mg·m- 2 ·a- 1 ;减员累计法 ,1 74.50mg·m- 2 ·a- 1 ,4898.2 0mg·m- 2 ·a- 1 ;Allen曲线法 ,1 74 50mg·m- 2 ·a- 1 ,4898.2 0m- 2 ·a- 1 ;瞬时生长率法 ,1 78.1 4mg·m- 2 ·a- 1 ,50

鳗鲡烂尾病病原菌的研究

鳗鲡烂尾病是鳗鲡养殖中的一种常见病,主要流行于夏季。在日本报道了由枉状屈桡杆菌引起的鳗鲡烂尾病。本文记述了用TYE培养基从广东潮安养鳗场病鳗中分离到的另外一种引起烂尾病的病原菌,并研究了该病原菌的致病作用,生物学和生理生化特性,鉴定为点状产气单胞杆菌(Aeromonas punctata)。该菌对青霉素、新生素、磺胺噻唑不敏感,而对呋唑唑酮、土霉素、氯霉素、合霉素和金霉素等敏感。

中国轮藻新植物和新记录

本文报道了轮藻科1新种、2新变种及4个中国新记录:不等丽藻 Nitella inaequabilis sP.nov,分叉丽藻齿网变种N.furcata var.dentireticulata var.nov.;普生轮藻等苞变种 Chara vulgaris var.aequibracteata var.nov.;裂顶丽藻 Nitella partita Nordst.;过渡丽藻N.transilis T.F.Allen;布洛丽藻 N.blowiana J.Grove;娇小丽藻 N.pulchella T.

An automata theoretic decision procedure for the propositional mu-calculus

The propositional mu-calculus is a propositional logic of programs which incorporates a least fixpoint operator and subsumes the propositional dynamic logic of Fischer and Ladner, the infinite looping construct of Streett, and the game logic of Parikh. We give an elementary time decision procedure, using a reduction to the emptiness problem for automata on infinite trees. A small model theorem is obtained as a corollary.

Chromosome segregation in fertilized eggs from triploid Pacific oysters, Crassostrea gigas (Thunberg), following inhibition of polar body 1

Chromosome segregation in fertilized eggs from triploid Pacific oysters, following inhibition of the first polar body (PB1), was studied with acetic orcein staining techniques. To block the release of PB1, fertilized eggs were treated with 0.5 mg/l of cytochalasin B (CB). Four types of segregation were observed, namely, ''tripolar segregation'' (54.5%), ''united bipolar segregation'' (12%), ''separated bipolar segregation'' (2.5%), and ''incomplete united bipolar segregation'' (4%). The remaining 23% could not be classified because of chromosome disorganization, but appeared to be variants of the above. It seemed clear that the predominant pattern that gave rise to tetraploids was united bipolar segregation, although certain separated bipolar segregations might also lead to the formation of tetraploids. The sequential events of meioses observed in CB-treated eggs are described. The asynchrony of meiotic events and possible mechanisms for the various types of chromosome segregation are discussed.