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.     

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

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

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

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

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

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

早期儒家人道观之探讨

分析了早期儒家经典中对“人道”观的探索：人道的内涵是以仁义为主要内容；人道来源于天道；人通过“修道”来体现人道；人道的方法论原则是由内向外；人道中包含着形上之道的萌芽。     

SL(2,R)上的Hausdroff-Young不等式

通过在SL(2，R)的对偶空间中引入测度，给出了SL(2，R)上的两个类似于R上的Hausdroff-Young不等式．     

入世对我国行政职能运行的影响

行政权力的运行必须适应社会的转型要求,随着社会的发展及加入 WTO,行政权力的运行方式必然要发生深刻的变革,从行政权力主导型转交为社会(市场)主导型。行政职能法律化是一个历史规律。     

江南丘陵区土地利用/覆被分类

江南丘陵区土地利用/履被类型相对比较复杂，传统的基于光谱特征的计算机自动分类的精度难以达到实际应用的需求．为了提高分类精度，需要模仿目视解译过程，从遥感信息机理与地学规律的综合分析人手，综合其它辅助信息进行分类．在对绍兴试验区地学背景知识和遥感数据光谱特性充分分析的基础上，获取了试验区各类典型地物分类的知识，并以规则的形式表示这些知识，集成TM影像亮度值、亮度值关系和DEM、坡度和坡向地理辅助数据对试验区土地利用/履被进行分类．结果表明，该方法可以方便有效地综合多种辅助数据进行分类，得到令人满意的分类结果，本次试验的分类精度为86．66％。     

用事件-条件-动作规则表示模糊知识的方法

提出了模糊触发器的概念，采用模糊事件、模糊条件和模糊动作来对触发器进行模糊推理，为在主动数据库及其应用领域表达不精确的应用语义特性提供了可行的方法．通过一个“过热警报”的应用实例说明了模糊事件-条件一动作(ECA)触发器的建立及其实现方法．     

两类熵密度规划的对偶规划和最优性条件

基于广义的Fenchel对偶定理及其相应的Kuhn-Tucker条件，给出了带有二次约束和熵密度约束的二次规划问题和熵密度问题的对偶规划，强对偶定理以及Kuhn-Tucker条件。