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.     

西部民族地区在大开发中所面临的生态环境问题与思考——以内蒙古自治区鄂托克旗为例

实施西部大开发战略，加快中西部地区发展，是党中央面向新世纪做出的战略决策。位于内蒙古自治区西部的鄂托克旗，是一个典型的蒙古族聚居地区，自然资源丰富、生态环境脆弱，具有我国西部民族地区的典型特征。鄂托克旗所面临的生态环境问题在我国西部民族地区具有较强的代表性，其形成原因及解决方法对于我国西部大开发中的西部民族地区具有普遍意义。     

复合求积公式与Romberg算法

首先导出复合梯形公式，复合Simpson公式和复合Cotes公式，然后指出它们的关系式，由此再导出Romberg算法，另外用Taylor公式导出复合Simpson公式，最后给出误差估计式和数值例子。     

H.263系统中FPGA控制及协处理的实现

分析了基于DSP实现H.263系统的构成,比较了几种用FPGA实现对DSP数据处理的协处理方案,并用vHDL代码实现了两组16位数据串行输入并行输出移位寄存器缓存与输出的优选方案.最后的仿真结果证明该方案是可行的.     

影响高职生英语听说能力的原因及对策

针对高职生英语听说能力的现状,分析其原因并提出相应的对策。     

沙尘暴发生的历史规律及其防治

近年来，我国沙尘暴天气无论是从出现频率、范围还是强度上，都呈上升趋势。沙尘暴的发生有其历史规律，它的兴衰既与气候波动有关，更与人类的经济活动破坏了生态环境平衡有关。最大限度地控制住人为破坏，同时针对自然情况采取对策，可控制住沙尘暴的肆虐。     

半刚性基层施工弯沉检测标准研究

根据重庆地区大量实测资料 ,对影响半刚性基层弯沉变异性的各主要因素进行了分析 ,并根据实际需要 ,对施工期实测弯沉的龄期与养生温度的影响进行了修正 ,得出可用于施工检测的弯沉控制标准     

运动初瞬时加速度瞬心的一种确定方法及应用

从刚体平面运动的速度瞬心轨迹出发,推导得到在刚体由静止开始运动的初瞬时加速度瞬心与速度瞬心重合,可用于解答运动初瞬时刚体平面运动的动力学问题.     

SO42-/ZrO2系列固体超强酸的制备与应用

本文对采用不同方法制备了两种SO4^2-/ZrO2系列的SO4^2-/ZrO2-TiO2和SO4^2-/ZrO2-Al2O3固体超强酸催化剂，并以顺丁烯二酸酐和正丁醇的酯化反应为探针反应，考察了Zr：A1，Zr：Ti的原于配比，焙烧温度，焙烧时间以及浸渍液硫酸的浓度对催化剂活性的影响。     

无线计算机通信(互联网络)技术研究

本文在分析无线通信网络协议标准、通信技术和网络结构的基础上，提出了无线通信既是一种可行的有线通信的替代手段的观点，同时指出该方法也有一定的缺点。