Modal extension rule

Modal logics are good candidates for a formal theory of agents. The efficiency of reasoning method in modal logics is very important, because it determines whether or not the reasoning method can be widely used in systems based on agent. In this paper, we modify the extension rule theorem proving method we presented before, and then apply it to P-logic that is translated from modal logic by functional transformation. At last, we give the proof of its soundness and completeness.     

Genetic analysis of segregation distortion of mating-type factors in Lentinula edodes

Analyses of the mating-type ratio of protoplast monokaryons to spores in 28 strains of Lentinula edodes were performed through statistical methods. The results showed that the segregation distortion phenomenon commonly exists in both types of Lentinula edodes, 17 out of the 28 samples did not display the expected 1∶1 ratio of protoplast monokaryons; and among them 8 fruiting strains distorted 1∶1∶1∶1 segregation of spores. The degree of distortion in all tested wild strains was significantly lower than that of cultured strains. In fruiting test of positive-negative parent, predominant spores were those with the mating type identical to dikaryotic parent, indicating that the predominance of nuclei mainly depends on the mating type of dikaryotic parent. Data from di-mon mating test verified that monokaryons with acceptor nuclear type are present exclusively in a large amount after dedikaryotization, suggesting that the specificities among B factors and some other unknown factors in cytoplasm are probably responsible for the phenomenon of skewed segregation.     

黄嘴白鹭卵壳超微结构及组成元素的初步研究

以黄嘴白鹭(Egretta eulophotes)卵壳为材料,电镜下观察其超微结构,利用能谱分析其元素组成,并与其它鹭类进行比较,结果表明:黄嘴白鹭卵壳的基本结构与其它鹭科鸟类相似,包括壳膜、锥体层、柱状层和表层;但是,黄嘴白鹭卵壳的超微结构和组成元素与其它鹭科鸟类有所不同;黄嘴白鹭卵壳厚度为159.6μm±0.282 8(n=3),薄于池鹭(Ardeolabacchus),白鹭(Egretta garzetta)、牛背鹭(Bubulcus ibis)和夜鹭(Nyctycoraz nyctycoraz);黄嘴白鹭卵壳的主要元素由钙(17.49%±1.621)(n=3)、碳(21.95%±1.712)(n=3)、氧(60.81%士1.601)(n=3)组成;壳膜的主要组成元素包括钙(4.765%士0.261 6)(n=3)、氧(50.50%±0.487 9)(n=3)、碳(38.77%±0.459 6)(n=3)、硫(0.950 0%士0.056 6)(n=3)、镁(0.215%士0.212)(n=3).     

物种种性漂移的生物信息论基础

提出了生物信息论——以数字化技术研究和描述生物遗传信息的结构、变化、传递和表达成生物性状全过程的科学，建立了生物信息的结构、变化、传递和表达模型，定义了用于生物信息论研究的若干概念，分析了物种种性漂移的生物信息论之基础。     

最小二乘法在普通物理实验中的应用

用最小二乘法来处理普通物理实验数据和拟合曲线,此项工作涉及到大量的计算,若以手工计算会更加烦琐,但如果借助计算机编程计算,则处理的速度就会大大地加快,使得问题简单化.     

关于"具偏差变元的Liénard型方程的周期解"的注记

研究一类具偏差变元的中立型Lienard型方程的周期解存在性,给出了这类方程周期解存在性的若干充分条件.     

大跨度斜拉索输油管桥模型固有振动的实验研究

建立了大跨度斜拉索输油管桥模型实验的相似条件，并以某大跨度管桥为例，采用两种不同的边界条件，对某大跨度斜拉索输油管桥固有振动进行了模型实验，通过实验，测得到了管桥的前几阶自振频率并与有关计算结果进行了比较，比较结果验证了文中的实验方法的可靠性，提出的实验方法可以用于预报类似柔性结构体系的固有振动频率。     

半模范畴中Hom的左正合性

利用半模的差模定义了半模同态序列的正合，讨论了Hom函子的左正合性。     

浅论《等待戈多》的荒诞性

《等待戈多》是贝克特的代表作 ,他以独特的手法表现了人生存的荒诞和行为的无意义。剧中的人物形象 ,乏味的情节、破碎的语言、不确定的主题等反传统的戏剧形式 ,以及“直喻”的表达模式等几个方面 ,都表现出这部作品的荒诞性     

关于无限维线性系统的小时滞鲁棒稳定性

在一般Banach空间中，给出了线性系统小时滞鲁棒稳定性的一个新类型的充分条件。