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).     

TD-SCDMA系统定位算法研究与仿真

为了克服NLOS信号对移动无线电定位的影响,对TD-SCDMA系统中联合DOA与TOA实现移动 终端定位的方案进行了研究。基于NLOS信号识别的算法有效地解决了NLOS信号对实施定位的影响)提 出了一种对多基站时间加权定位算法.通过仿真实验证明了所采用算法的可行性,在NLOS情况下也可满 足FCC对E-911业务的要求。     

一种IP/DWDM光因特网中的路由选择机制

研究了一种资源约束最短路径优先 (RCSPF ,Resource ConstrainedShortestPathFirst)路由选择机制·这种机制可以用于扩展以通用多协议标记交换GMPLS为基础的IP/DWDM光因特网控制平面·借助光网络设备的可编程功能 ,在现有开放最短路径优先OSPF协议基础上 ,增加基于资源的路由约束条件 ,在一定程度上减少发生网络拥塞的可能性·另外 ,由于采用源路由以及在选路由过程中采用资源预分配机制 ,因此增强了对GMPLS信令系统的支持·同时 ,为了解决在资源不足情况下造成的信道分配失败问题进一步提出了相对路由的概念 ,使IP/DWDM光因特网在大幅增加带宽容量的同...     

青毒X5细胞固定化技术的比较研究

用不同的包埋栽体和方法，将青霉X5进行包埋固定，并作染料脱色实验，研究各种栽体的优缺点和不同方法固定菌体的活性，结果表明：使用4．5％海藻酸钠，7.5％活性炭粉和3％CaCl2的包埋方法较易操作，菌体的物理强度较好，菌体表现为较好活性，对50mg／L的蒽醌染料的脱色率可达94．31％。     

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

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

一阶拟线性椭圆型复方程的广义DC型边值问题

研究了一般的一阶拟线性椭圆型复方程的边界条件中含有斜微商的广义Carleman型边值问题。采用直接将广义DC型问题化为奇异积分方程的方法析出特征部分，然后通过对特征方程的研究得到了广义DC问题的可解条件和计算指标。     

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

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

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

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