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.     

含向列液晶交联剂的液晶弹性体液晶性能

把向列液晶交联剂 4 (ω 烯丙酰氧基己氧基 )苯甲酸 2 叔丁基 1,4 二酚酯和胆甾液晶单体 4 烯丙氧基苯甲酸胆甾醇酯接枝到含氢硅氧烷链上 ,交联剂的质量分数由 0至 12 %,得到系列液晶弹性体P1～P7·通过热分析、偏光显微分析等手段研究了向列液晶交联剂对弹性体液晶性能的影响·结果表明 ,P1～P7都有液晶性能 ,均为胆甾液晶织构 ,系列液晶弹性体的tg 随交联剂在链中浓度增加而降低 ,ti 变化不大 ,具有较宽的液晶区间 ,在 182℃以上·交联剂质量分数为 2 %时 ,即从P4 开始弹性增加 ,当交联剂的质量分数大于 8%时 ,液晶相存在至热分解温度 ,所有液晶弹性体的热稳...     

放牧强度递变规律及对草场的影响

用数学方法对放牧影响草场的因子进行了量化，定量地研究了放牧强度对草场的影响，在已知草场的基本情况下，建立草场退化程度与放牧强度之间的关系，用实例分析说明了牧畜超载对草场的破坏程度，对放牧强度R值的分析表明，只有调整放牧强度或减少牧畜头数，才能减缓放牧对草场的破坏和压力。     

Log Gabor小波性能分析及其在相位一致性中应用

对Gabor函数与log Gabor函数进行比较，构造了log Gabor小波，从人类视觉系统认知特性的角度分析了该小波的性能，并与Gabor小波进行了比较，最后将log Gabor小波应用在相位一致性的图像特征检测中，实验证明，使用log Gabor小波不但可以提高特征的定位精度，而且在检测效果相似的情况下，log Gabor小波比Gabor小波可以节约一半的计算量。     

NaTaO3电子结构的第一性原理研究

在广义梯度近似 (GGA)下 ,利用全电势线性缀加平面波法 (FLAPW)计算了钽酸钠 (NaTaO3)的电子结构 .为了进一步理解原子间的相互作用 ;计算了NaTaO3的态密度、能带结构、电子密度 .通过对态密度的分析 ,发现在钽原子 3d电子和氧原子 2p电子之间存在强烈的轨道杂化 .对电子密度和能带的分析也得出同样的结论 .NaTaO3晶体中有两种电子相互作用 ,一种是钽原子和氧原子之间存在的共价相互作用 ,另一种是钠 (Na)和氧化钽 (TaO3)基团之间的离子相互作用     

多重模糊推理情形下的CRIP法

该文对模糊专家系统，模糊决策支持系统和模糊控制系统中常用的Zadeh的模糊推理合成法则CRI进行了推广，基于V^λ算子，该文提出了多重模糊推理情形下的带参数的模糊推理合成法则（简称CRIP法），它克服了传统的CRI法则的若干不足之处，能在极弱条件下满足假言推理，拒取式推理，具有推理的逼近性，通过参数的调整，CRIP法具有推理的灵活性和准确性，该文给出了参数的具体取值方法。     

一种新型高速频率合成器的研究

基于PLL技术，研制了一种新型的频率合成器，实验表明它能使频率切换在低频段成功实现每秒超一万七千次的速率．     

基于虚拟仪器的电网信号相位差测量的研究

介绍了对电网信号相位差测量的过零检测法，提出了一种新的测量方法——相关法，最后利用虚拟仪器对这两种方法进行了仿真．通过仿真表明，当电网信号受到较大干扰或谐波含量较大时，相关法的测量精度比过零检测法高．     

一种关系数据库中基于云模型关联规则的提取

为了发现有效的关联规则，属性在比较高的水平被范化，允许相邻属性值或者语言项的重量．这种软划分可以映射人类的想法，同时使发现的知识鲁棒．利用云模型的理论与方法求解数量关联问题，给出了一种云关联规则的定义，并提出了基于云模型理论支持度和置信度的计算方法，最后提出了一种提取算法Cloud model A．这种方法较好地软化了数量属性论域的划分边界，从而使得挖掘出的云关联规则更容易被人理解。     

射流悬浮床气固两相流动的数值模拟

从多相流多流体模型、气相湍流k-ε模型与颗粒湍流k_p模型出发,对底部向上射流悬浮床内气固两相流动进行数值模拟,得到了不同入口气速下各截面的颗粒相速度场、颗粒相脉动速度场的分布,结果与实验定性一致。计算结果与实验值对比的结果表明,数值模拟对进一步的研究有指导意义。数值结果与实测值间存在的差异则有待于进行直接三维流动模拟、进一步考察更为合理的边界条件及应用更先进的模型来解决。