关于专家系统MYCIN中更新算法的可结合性

讨论了专家系统ＭＹＣＩＮ中不精确推理的更新算法，证明了文［３］中的更新算法只是部分地满足结合律，给出了更新算法与更新次序无关的条件     

硫酸头孢匹罗的合成工艺

六甲基二硅烷与碘反应生成三甲基碘硅烷.在三甲基碘硅烷作用下,头孢噻肟酸与2,3-环戊烯并吡啶反应生成硫酸头孢匹罗.采用盐酸直接结晶法制备中间体头孢匹罗氢碘酸盐,并选用新型离子交换树脂进行转盐反应获得硫酸头孢匹罗,其收率和质量明显提高,总收率约60.5%.     

卫星导航观测方程双曲面交会解

本文探索了卫星定位中观测方程的建立方法及求解算法,即探讨了若把卫星定位中的观测方程从求球面方程的交点变换成求双曲面方程的交点后的差异和对定位解的影响.文中结合转发式卫星定位系统的具体应用,提出和推导了转换求解的方法.并通过几何放大因子DOP和测站三维位置坐标单点解分布图的仿真分析,验证了双曲面交会解的可行性,也揭示了其长处和优势.最后,通过对中国区域定位系统CAPS（China Area Positioning System）定位解的实验,证实了观测方程双曲面解的实用性.     

河南省地质信息连续采集运行系统建设与应用研究

<正>河南省位于中国中东部、黄河中下游,矿产资源丰富,随着河南省地质矿产勘查现代化建设速度的加快,对地质信息采集的精度和速度的要求也越来越高,传统地质工具已远远不能满足地质勘查现代化的需要。为开辟地质工作服务新领域,拓展资源保障服务新途径,贯彻国家中部崛起战略方针,河南省地矿     

论人大审议预算中辩论制度的构建

在现行人大审议预算的过程中,并没有针对预算草案的辩论环节,对预算案的审议都是采用一次性表决的方式,这也使得持有不同意见的人大代表的审查意见在表决的过程当中很容易被忽视,导致审查流于形式。因此,在人大审议预算的过程中引入辩论程序极有必要性。笔者将讨论预算审议中建立辩论制度的必要性及其具体的制度规则。     

Methane Conversion to C2 Hydrocarbons in Solid State Oxide Electrolyte Membrane Reactor

Provskite-type catalysts, Ln0.6Sr0.4FexCo1-x O3 （Ln = Nd, Pr, Gd, Sm, La, 0〈x〈1） and Ln0.8Na0.2CoO3（Ln=La, Gd, Sm） were synthesized, their catalytic properties in the oxidative coupling of methane （OCM） were examined in a fixed-bed reactor. The former group presented higher activity in the OCM, but the main product was carbon dioxide. While the later group showed lower activity but much higher selectivity to C2 hydrocarbons compared with the former. Electrochemical measurements were conducted in a solid oxide membrane reactor with La0.8Na0.2 CoO3 as catalyst. The results showed that methane was oxidized to carbon dioxide and ethane by two parallel reactions. Ethane was oxidized to ethene and carbon dioxide. A fraction of ethene was oxidized deeply to carbon dioxide. The total selectivity to C2 hydrocarbons exceeded 70%. Based on the experimental results, a kinetic model was suggested to describe the reaction results.     

再论球团竖炉内最佳气流分布

在文献[6]中定义球团竖炉内“最佳”气流分布，界定其内涵，并提出了相应的实现途径，但途径的可行性和可控性不佳。基于此，在完善“最佳”气流分布定义和内涵的基础上，提出了一种新的理念：保证竖炉燃料热值，较大幅度地加大均热带高度，使焙烧风和冷却风各行其路，从而提高“最佳”气流分布的可行性和可控性．并提出了实施方法。     

微钻刃面图像边缘角点自适应提取方法

针对微型钻针刃面视觉检测过程中的边缘角点提取问题,提出了一种基于协方差矩阵的自适应角点提取方法.通过边缘追踪算子获得微钻刃面单像素宽封闭边缘,采用自适应算法选取支持域,利用协方差矩阵获得边缘角点.应用该方法对方位各异的不同微钻进行刃面边缘角点提取,以验证该方法对不同刃面边缘角点提取的可靠性和方位无关性.     

二维小波及相关技术

小波分析是当前数学科学中一个迅速发展的新领域，它是在傅里叶分析的基础上发展起来的一种新时频分析方法，和傅里叶分析相比它有着许多本质上的进步。当使用离散小波变换处理医学成像、流体动力学、形状识别、图像增强和目标跟踪中具有很大的优势。