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.     

The fate of injectant coal in blast furnaces: The origin of extractable materials of high molecular mass in blast furnace carryover dusts

The aim of the work was to investigate the fate of injectant coal in blast furnaces and the origin of extractable materials in blast furnace carryover dusts. Two sets of samples including injectant coal and the corresponding carryover dusts from a full sized blast furnace and a pilot scale rig have been examined. The samples were extracted using 1-methyl-2-pyrrolidinone (NMP) solvent and the extracts studied by size exclusion chromatography (SEC). The blast furnace carryover dust extracts contained high molecular weight carbonaceous material, of apparent mass corresponding to 10⁷?10⁸ u, by polystyrene calibration. In contrast, the feed coke and char prepared in a wire mesh reactor under high temperature conditions did not give any extractable material. Meanwhile, controlled combustion experiments in a high-pressure wire mesh reactor suggest that the extent of combustion of injectant coal in the blast furnace tuyeres and raceways is limited by time of exposure and very low oxygen concentration. It is thus likely that the extractable, soot-like material in the blast furnace dust originated in tars is released by the injectant coal. Our results suggest that the unburned tars were thermally altered during the upward path within the furnace, giving rise to the formation of heavy molecular weight (soot-like) materials.     

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

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

0#柴油水溶性成分对僧帽牡蛎(Ostrea cucullata)谷胱甘肽硫转移酶活性的影响

在实验条件下,将僧帽牡蛎(Ostrea cucullata)分别置于含有低(0.5 mg/L)、中(2 mg/L)和高(5 mg/L)3种浓度0#柴油水溶性成分(water-soluble fraction,WSF)的海水中,在污染后1,4,7,11,15 d采样,15 d后转入清洁海水中进行6 d的恢复实验,采样.测定消化腺和鳃谷胱甘肽硫转移酶(GST)的活性.结果表明:正常生理条件下鳃GST活性高于消化腺;消化腺和鳃GST活性随污染时间的延长先被诱导后逐渐下降,并存在一定的剂量-效应关系,可作为监测海洋石油污染的生物标志物;解除污染后,GST活性恢复到对照组水平.     

蜂窝网络中基于遗传算法的信道分配

信道分配问题属于组合优化中的NP完备问题 ,为了更有效的利用频率资源 ,在遗传算法的基础上提出了一种新的信道分配方法·在信道分配中主要考虑三种限制 :同频限制、邻频限制和同位置限制·目标是得到一个用最少的信道数 ,满足话务需求和电磁兼容限制的信道分配方案·采用了最小间隔编码方案 ,利用固定遗传算子 (交叉和变异 ) ,在整个迭代过程中始终满足话务需求的要求·提出了几种遗传算子并进行了验证 ,比较结果表明选择性变异技术能得到很好的结果·对几个著名的benchmark问题进行仿真 ,结果表明 ,它对解决信道分配问题是一个非常有效的方法     

基于多纹理的合成孔径雷达图像相干斑抑制

相干斑抑制是合成孔径雷达 (syntheticapertureradar,SAR)图像后处理的首要问题。在多纹理假设下 ,采用最大似然方法来同时估计多个极化通道纹理参数。该方法保存了极化信息 ,消除了极化通道间的耦合 ,取得了较好的相干斑抑制效果 ;并与极化白化滤波 (polarimetricwhiteningfilter,PWF)和Lee的最优权值算法作了比较     

一种基于最小熵准则的SAR图像自聚焦算法

研究了一种新颖的SAR图像自聚焦算法。该方法从复图像域出发 ,利用最小熵准则盲解卷积原理 ,通过多维搜索完成相位误差校正。同相位梯度自聚焦算法相比 ,最小熵算法无需在图像域分离出强点目标 ,因而特别适用于无任何明显特征的图像。仿真及实测数据处理结果证明了该方法的有效性     

自动登录Novell网的技术及界面设计

根据网络卡编号的唯一性特点，利用软件设计方法和工作站变量P-STATION(传回工作站的地址)的功能，介绍了能完全自动登录Novell网的网络登录原稿的技术和启动界面菜单的方法。     

以联苯二胺和水为中心配体的三角三核钼原子簇合物的研究

以簇合物[Mo3O2(CH3COO)6(H2O)3]Br2·2H2O和联苯二胺为原料,在乙醇溶剂中通过置换反应合成出新的三角三核钼簇合物,经紫外光谱分析、红外光谱分析、核磁共振谱分析、元素分析确定该簇合物的组成为[Mo3O2(CH3COO)6(H2O)(NHC6H4C6H4NH2·2H+)2]Br4·10H2O,并确定了该簇合物的结构.     

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

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