对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

中国轮藻新植物和新记录

本文报道了轮藻科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.

中国企业员工组织承诺研究

The research objectives were to investigate the psychological structure of employees' organizational commitments(OCs), and its antecedents, and to examine the relative effects of employees' OCs to their performances. In order to deeply uncover the nature of OCs, some standard methods, such as in-depth interview, focus-group, semi-open questionnaire, standard questionnaire etc., were employed. In data analysis, not only some common statistical methods, such as multivariate analysis of variance, cross-table analysis, factor analysis, but also some forefront ones, such as confirmatory factor analysis and path analysis of SEM, were used. The paper covers six chapters: 1) In the first chapter, Firstly some previous empirical studies, which examined structures, antecedents, correlates, and/or consequences of organizational commitment in China and Western countries, were summarized. This summary covers most of the respectable researchers' works of this field, such as H.S.Becker, B.Buchanan, L.W.Porter, G. Ritzer, H.M.Trice, J.A.Alutto, L.G.Hrebiniak, R.T.Mowday, J.P.Meyer, N.J.Allen, G.W.McGee, R.C.Ford, R.Eisenberger, etc. Then three theoretical hypothesis were put forward as following: ① In China, OCs should be multidimensional psychological structures, which means there should exist more than one type of OCs; ② There should be some different antecedents to different OCs; ③ Employees with different types of OC should perform differently in their works. Finally the theoretical and practical significance were discussed. 2) In the second chapter, great efforts were made to investigate the OC types. Firstly, in-depth interview with managers and employees, semi-open questionnaire, and some other methods were used in the pilot research to gather much qualitative material. Then OC questionnaire was designed to get quantitative data in about 20 enterprises, including state-owned, collective-owned, wholly foreign-funded, and joint-ventures. During revising of this questionnaire, there were about 5000 samples surveyed. after factor analysis, the data shows that there should be 5 types of OCs in China, which were respectively named as Affective Commitment, Normative commitment, Ideal Commitment, Economic Commitment, Choice Commitment. Thirdly, confirmatory factor analysis method was used to successfully confirm this 5-factor model. Finally, Cronbach a and test-retest correlate indicate that this questionnaire is reliable. Since factor analysis result has show its construct validity, a simple criterion-related validity research was conducted. 3) In order to investigate the correlation between different OC and employee performance and different antecedents of OC, 5 other questionnaires, such as Employee Satisfaction Questionnaire, Perceived Organizational Support Questionnaire, Social Exchange Questionnaire, Altruism Scale, and Leader Confidence Scale were revised in the third chapter. 4)In the fourth chapter, a lot of correlates, cross-table analysis were conducted to show the correlation between different OCs and 10 performances, which indicate employees with different OCs will show different performance in 10 variables, such as altruism, etc. 5) In the fifth chapter, correlate analysis, multivariate of analysis, and path analysis of SEM were used to investigate the antecedents of OC. A satisfactory model showing the correlation between OC and their antecedents was confirmed. 6) In the last chapter, all researches about OC, and its limitations were summarized.