安全投资-效益的灰色关联分析

在明确安全投资和事故经济损失构成的基础上，运用灰色关联理论，建立了安全投资一效益灰色关联分析模型。利用该模型对某石化公司1994—2004年的安全分项投资及事故直接经济损失情况进行了案例分析，初步确定了该企业安全投资中各分项投资与效益的相关程度，找出安全投资结构中与效益关联度最大的因素，并优先将其作为安全投资方向，从而可以提高该企业安全投资的效益。     

山西的经济转型刻不容缓

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

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

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

产业关联分析的回归方法与投入产出方法比较--以河北省为例

本文运用线性回归方法分析产业部门之间的相关关系，并将之与投入产出方法相对照．通过分析，在河北经济中我们得出：建筑业虽然在经济中的比例最小，但是是拉动经济增长的最强力部门；运输邮电业近些年获得了高速发展，主要是受其他部门的推动作用；商业主要受其它部门的推动作用．其他服务业在河北经济中正处于上升期．研究结果显示，线性回归方法与投入产出方法具有高度的一致性．     

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％．     

地理信息系统在环境监测中的应用

地理信息系（Geographic Information System简称GIS）是一项以计算机为基础的新兴技术，是管理和研究空间数据的技术系统。在太原市环境保护局综合信息管理系统中，我们采用MapObjects建立太原市环境监测地理信息系统，主要介绍了太原市环境地理信息系统的功能及其实现过程中的几个关键技术。     

Al2O3陶瓷的动态响应特性及Hugoniot本构关系研究

利用VISAR系统测量技术和Lagrange测量技术,研究YB AD90陶瓷的动态响应特性,给出了该材料的Hugoniot弹性极限σHEL,动态屈服强度及各实验点的Hugoniot状态量。结果表明:YB AD90陶瓷的Hugoniot形变过程是一个典型的弹塑性形变过程;当冲击应力在σHEL为11.0GPa附近的范围内,此材料在塑性区的压缩特性表现出较明显的弥散行为。由实验结果拟合得到了材料的应力σ和比容V关系的拟合曲线及一个比较简单的应力σ和比容V的Hugoniot动态本构关系。     

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.