逻辑系统G_n中理论的真度概念及其应用

首次在命题逻辑系统中引入理论的真度概念,使得真度的概念由公式的真度推广为公式集的真度,从而简化了发散度的概念;在逻辑系统Gn中讨论了理论Γ1、Γ2和Γ1∪Γ2的真度、相容度和发散度之间的关系。

基于Gdel蕴涵算子的导出算子的n值逻辑系统

讨论剩余类蕴涵算子之一Gdel蕴涵算子的导出算子的三值系统G3和n值逻辑系统Gn(n>3).给出了G3的真值表,它是C2真值表的扩充,也保持MP规则和正则性.讨论了G3中的重言式(tautology)与IPC(intuitionistic propositional calculus)公理之间的关系以及G3的准重言式与C2的重言式之间的关系.考虑了Gn中的子代数及不同逻辑系统Gn中重言式的比较.

环境微生物多样性研究方法进展

本文对当前国内外环境微生物多样性研究的四种方法:传统微生物平板培养法、微生物标记物法(如PLFA法)、B IOLOG微平板法和微生物分子生物技术方法及其应用特点进行了简要的评述和分析。并指出在环境微生物多样性研究中,如果可能的话,需要将各种方法结合起来使用,从而获取关于环境微生物群落多样性的更多和更完整的信息和理解。相信传统的分析方法和现代分子生物学技术方法等多种方法相结合将是大力推动环境微生物多样性研究的有效方式。

某省移动苹果终端调查分析报告

随着智能手机的快速发展,市场上智能手机越来越多,而苹果终端凭借其优秀的用户体验获得大量的用户青睐。由于苹果终端目前型号较多,本文通过中创GN信令监测系统,对目前在某省移动的2/3G网络的苹果终端分布情况、业务流量、业务质量进行分析,以此来评估该省移动现网苹果终端的分布和使用质量情况,帮助维护、市场人员对移动数据网络进行更好的维护。