抗日战争是对中国各党派的一次大检阅--兼谈抗日战争胜利的伟大意义

抗日战争时期,中国共产党站在民族解放斗争的前沿,指引着全民族抗战胜利,为新民主主义革命的胜利奠定了坚实的基础.纵观整个抗日战争时期,国民党消极抗日,致使国家政治、经济更加腐败落后.中间党派代表民族资产阶级、上层小资产阶级的利益,成为抗战中的一支重要力量.伟大的抗日战争,对于中国各党派是一次大检阅.它检阅了哪些党派代表人民,代表进步,哪个党派将最终赢得人民,赢得胜利.     

山西的经济转型刻不容缓

回顾了20世纪初期山西的争矿运动，阐述了山西动力大省的地位与能源重化工基地的经济格局，探讨了山西省低附加值生产的原因，指出山西省的经济发展付出了环境污染与生命代价，循环经济与可持续发展是山西省今后发展经济的正确选择，山西的经济转型已刻不容缓。     

浅论10 kV供电系统的继电保护

介绍了10 kV供电系统在铁路电力系统中的重要作用和对继电保护装置的基本要求,分析了几种常用的电流保护,对铁路10 kV系统中继电保护进行了综合评价.     

物理学--科学的基石--纪念2005"国际物理年"

本文简要介绍了2005年“国际物理年”的由来，回顾了经典物理学的发展历程和20世纪划时代的物理学革命所带来的科技革命以及对社会生活的影响，评述了爱因斯坦1905年所发表的5篇具有划时代意义的论文在科学史上的重要性，以及爱因斯坦在近代物理学革命中的巨大作用．     

活性炭吸附法测量介质表面氡析出率的探讨

采用一种用活性炭吸附法测量介质表面氡析出率的方法，并就反扩散对氡析出率测定的影响进行了探讨，实验比较了孔隙度不同的介质反扩散对氡析出率测量值的影响，从而可为测量不同介质氡析出率时，适宜采样时间的选取提供参考依据。     

IMI及其微生物转化产物5-hydroxy IMI的HPLC分析

研究了烟碱类杀虫剂IMI及其微生物转化产物5-hydroxy IMI的反相高效液相色谱分析方法．采用Zorbox OSD反相柱，水和乙腈（75：25）（v／v）为流动相，流速为1mL／min，检测波长为269nm，IMI和5-hydroxy IMI得到较优分离．在0．5～50mg／L的浓度范围内，两种物质的色谱峰面积和浓度之间呈线性关系，IMI和5-hydroxy IMI的标准工作曲线分别为y=112．23x-1．7775和y=98．039x-17．508；相关系数为0．9999和0．9997．转化产物的样品中IMI和5-hydroxy IMI添加的回收率分别为99．3％和97．4％．     

论西藏经济环境特殊性与全面建设小康社会的联系

文章从跨越式发展和小康社会的内在联系入手，阐明了西藏在跨越式发展和全面建设小康社会的进程中，西藏经济环境的特殊性表现。剖析了西藏经济环境建设存在的诸多机遇与所取得的成就，从而阐述了我区在跨越式发展中全面建设小康社会的可行性。提出了在西藏实现跨越式发展，全面建设小康社会的市场环境建设的措施。     

Ni-P化学镀层相变过程研究

针对镍磷化学镀镀层相变过程中存在的问题,通过X射线衍射、差热分析和透射电镜等手段对含磷原子数分数12.15%的镍磷镀层的镀态组织和晶化过程进行了初步研究。结果表明,这种中磷含量的镍磷镀层镀态下组织为非晶态,晶化起始温度321℃;退火过程中,非晶组织中先形成镍纳米晶,然后纳米晶镍伴随晶化过程进行迅速长大,并在镍基体上析出亚稳过渡相Ni12P5和稳定的Ni3P相,400℃退火90min后的组织为晶粒尺寸为微米级的镍基体上分布着弥散的Ni3P相和少量的Ni12P5相。     

计算同杆双回输电线路潜供电流与恢复电压的二次模方法

提出了利用二次模变换计算同杆双回输电线路潜供电流与恢复电压稳态值的方法.该方法首先利用变换矩阵T进行相模变换,将相量转化为模量,在此基础上再利用变换矩阵H进行第二次模变换,将一次模量转化为二次模量,然后在二次模域中建立计算潜供电流与恢复电压的数学模型.该模型与一次模方程相比,方程和未知数的个数减少了一半, 使得计算量减少,且易于编程实现.对某实际线路进行了计算,其结果与EMTP计算结果一致,表明此方法为进行潜供电流和恢复电压稳态计算提供了另一种途径和选择.     

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.