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.     

基于自适应逆推设计的STATCOM非线性鲁棒控制

针对受内部及外部扰动影响的含STATCOM(StaticSynchronousCompensator)的单机无穷大系统 ,使用自适应逆推方法构造出系统的存贮函数 ,进而同时获得非线性L2 增益干扰抑制控制器及参数替换律·该控制器不仅能够抑制干扰对系统输出的影响 ,而且由于在内部扰动中重点考虑了阻尼系数的不确定性 ,因此该控制器对系统参数变化也具有很强的鲁棒性·同时 ,该方法的设计过程系统、简明 ,易为工程人员所接受·仿真结果表明自适应逆推方法设计的控制器拥有更优越的性能     

甘肃地区中强地震活动的时空特点

研究了甘肃地区中强地震的时空分布特征．结果表明，1980-2001年，甘肃地区5级以上地震主要分布在祁连山地震带，地震的频发时段集中在6-10月；中强地震活动的分区特征显著，表现为周期性及成组性．     

用AUTHORWARE开发多媒体教学软件

以一类常见的函数图像为例，用AUTHORWARE实现编程，使用设计窗口中的框架、交互、导航连接等图标以及超文本应用的来完成这类曲线的绘制及相关的课件(CAI)制作过程，同时使用自定义函数和引入外部函数来完善Authorware的图形类函数。     

界面裂纹奇异积分方程的极限法推导

采用Muskhelishivili复变函数的方法,将两相材料中倾斜裂纹应力场基本解,直接退化得到两相材料界面裂纹的应力场基本解,并尝试性地采用极限分析方法导出了两相材料界面裂纹的奇异积分方程。     

整体无阀机构太阳能冰箱的应用研究

在太阳能固体吸附循环制冷的基础上，采用无阀机构连接优化设计后的吸附床、冷凝器、蒸发器，构建成新型无阀机构的太阳能冰箱．将该太阳能冰箱分别在实验室内及实验室外进行静态实验及动态实验，得出了系统在一定辐射能量后的对外性能特性．所开展的研究工作为实用化的太阳能冰箱奠定了基础．     

南四湖流域环境地质问题及其治理对策

南四湖流域的各种环境地质问题较突出，如水体污染、矿山环境地质灾害、地下水环境异常、南四湖淤积、地方病等。对流域环境地质问题的治理应综合考虑各种影响因素，建立完善的环境管理体制，增大环境治理投资比例，加强环境治理力度。     

普通小麦面筋物理品质性状的双列分析

本研究对沉淀值、比沉淀值两个面筋物理品质性状利用Hayman方法进行的分析表明，两性状低值表现部分显性，高值与隐性效应相联系．加性方差和显性方差分量均达显著，基因的加性效应比显性效应更重要．     

约束Chebyshev逼近及在FIR滤波器设计中的应用

考虑了一类约束Chebyshev逼近问题 ,应用序列无约束优化技术证明了最佳逼近三角多项式具有的特征性质 ,并提出求解最佳逼近多项式的一种具有良好数字特性的实用算法 .作为约束Chebyshev逼近的应用 ,考虑了一类约束FIR滤波器的设计问题 ,设计例子表明了最佳逼近三角多项式求解算法的有效性 .     

Si含量和基片温度对Ti-Si-N纳米复合薄膜的影响

通过多靶磁控反应溅射方法沉积了Ti-Si-N系纳米复合薄膜。采用电子能谱仪（EDS）、X－射线衍射（SRD）、透射电子显微镜（TEM）、X－射线光电子能谱（XPS）和显微硬度仪分析Ti-Si-N系薄膜的微观结构和力学性能，以及基片温度对薄膜微结构和硬度的影响。结果表明，薄膜中的Si以非晶Si3N4形式抑制TiN晶粒的生长，使之形成纳米晶甚至非晶；薄膜硬度在a(Si)=4.14%时达到最大值（36GPa），继续增加Si的含量，薄膜硬度逐渐降低。基片温度的提高减弱了Si3N4对TiN晶粒长大的抑制作用，因而高的沉积温度使薄膜呈现出硬度峰值略低和硬度降幅减缓的特征。