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.     

在网络监控软件中利用钩子函数监控系统

以教学网络监控软件为例,介绍了网络监控软件设计中利用钩子函数监控系统或事件进程的编程方法和技巧.     

HCl中咪唑衍生物复配对碳钢的缓蚀作用研究

研制了一种咪唑衍生物(BBIM),利用失重法、动电位扫描极化法及SEM研究了BBIM与碘化钾和甲醛在质量分数5%HCl中按一定比例复配对碳钢的缓蚀效果,讨论了浓度、温度对缓蚀性能的影响,同时对缓蚀机理进行了探讨.结果表明两种复配缓蚀剂在5%HCl腐蚀环境中对碳钢均具有良好的缓蚀作用,是一种混合型缓蚀剂,缓蚀作用机理为协同机理.     

新型三腿并联机床的速度及加速度分析

东北大学在前期研究的基础上最近又开发了一种新型三腿并联机床 ,该机床可用于立式加工 ,将工作头旋转一定角度后又可实现卧式加工·介绍了该机床的结构型式和特点 ,并对机床的运动学问题进行了研究 ,在分析平行约束机构的基础上 ,推出了相应的位置、速度、加速度等运动学方程 ,并得出了雅可比矩阵的计算公式·理论分析表明 ,该机床的运动方程为显式 ,形式简单 ,计算量小 ,易于进行实时控制·此种机床可望在木制品加工、软金属制品及各种非金属制品加工领域获得较好的应用前景     

具有结构转换的GARCH模型及其在中国股市中的应用

引入具有结构转换(switching regime)的GARCH模型(简称SW—GARCH)，并利用上海股市收益进行实证研究，通过与GARCH模型下的结果相对比，表明SW—GARCH大大提高了对市场波动性的预测能力，为股价波动的变结构建模问题提出了一个新方法，从而解决GARCH及其他异方差模型的结构变化问题。     

基于3D-GM-BPM的平行定向耦合器模拟研究

提出了基于伽辽金法的三维光束传播法（3D－GM－BPM），可直接应用于三维波导光电子器件的光波传输模拟，并用它模拟分析了基于脊形光波导的平行定向耦合器遥光波传输特性。3D－GM－BPM最终归结为求角一阶常微分方程组，导出矩阵小，计算效率高。另外，平面映射边界条件使该方法无须引入人工边界条件，因而消除了非物理反射，有较高的计算精度。     

蒙药地锦草黄酮清除和抑制羟自由基的实验研究

为了解蒙药材地锦草对羟自由基的清除和抑制作用机理.采用维生素C硫酸盐和细胞色素C为羟自由基生成反应体系的方法.结果地锦草黄酮清除和抑制·OH的SC50=1.9069μg/ml(r=0.9801);IC50=1.8048μg/ml(r=0.9721).结论:地锦草黄酮能够计量依赖性地清除和抑制羟自由基.     

用AUTHORWARE开发多媒体教学软件

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

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

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

不同蜜环菌对天麻生物产量及天麻素含量的影响

将不同生物学类型的蜜环菌[Armillaria mellea(Vahl ex Fr．)Earst]接种到同一品种的天麻(Gastrodia elata Bl.)上进行栽培试验，测定天麻的生物产量和天麻素含量。发现不同蜜环菌——天麻组合对在天麻生物产量及天麻素含量上有显著性差异。