基于神经网络基础上的两种系统安全综合评价方法

从工业企业生产发展的特点出发,在界定安全评价概念的基础上，从系统论的角度简要介绍了运用三层BP神经网络技术进行安全综合评价的方法和安全模糊综合评价方法。通过对这两种较为流行的安全评价方法进行分析，指出了传统评价方法的不合理性，辨证说明了这两种评价方法的优越性。     

烧结处理小矿山精矿的应用研究

研究小矿山精矿的性质，分析小矿山精矿对烧结过程的影响，提出了增加小矿山精矿配入量的途径及方法．     

�����������������������������ܿ��������о�

白马庙气田蓬莱镇气藏储层致密 ,孔隙结构复杂 ,非均质性强 ,单井产能低 ,研究储层特征和受控因素 ,加强储层改造方是气藏效益开发的出路。储层精细研究揭示 ,气井产能受沉积相和构造条件控制 ;高、中产井与大而厚、物性好的河口坝、河道砂坝沉积微相有关 ,纵向上具很强的层段性 ,主产层集中在Ⅳ～③、Ⅲ～③两套砂组 ,其钻探成功率分别达 82 %和 10 0 % ;平面上多分布于主体构造和东南鼻状突起 ,二者高、中产能井分别占 30 %和 70 %。在深入的地质研究和储层压裂评层选井的基础上 ,采用多层打开、分层压裂、多层合采的方法可提高气井产能 ,并形成了一套行之有效的压裂评层选井的综合配套技术。采用该技术优选出 19口井 ,已实施 5口井全获成功 ,气产量成倍或十几倍增加 ,其中白浅 4 5井气无阻流量高达 18× 10 4m3 /d ,白浅 38井投产 16 5d净增产值 10 0余万元     

Induction in the Timed Interval Calculus

The Timed Interval Calculus, a timed-trace formalism based on set theory, is introduced. It is extended with an induction law and a unit for concatenation, which facilitates the proof of properties over trace histories. The effectiveness of the extended Timed Interval Calculus is demonstrated via a benchmark case study, the mine pump. Specifically, a safety property relating to the operation of a mine shaft is proved, based on an implementation of the mine pump and assumptions about the environment of the mine.     

2003 Gold Medal Award for Life Achievement in the Science of Psychology.

Presents the 2003 American Psychological Foundation's Gold Medal Award for Life Achievement in the Science of Psychology, which was presented to Robert Rosenthal. A biography of Rosenthal is provided, along with a selected bibliography and the text of the award citation: "For outstanding scientific contributions that have had a profound influence on research methods, empirical investigations, theory, and applications. Robert Rosenthal's seminal research on interpersonal expectancy inspired hundreds of studies with applications within and beyond psychology. His amplification of experimenter- and subject-related artifacts and his insights about ethical issues have improved the way that research is conducted. His statistical contributions are classic and wide ranging, including his body of work on meta-analysis and contrast analysis and his formulation of valuable procedures, such as the binomial effect-size display and counternull statistics. An exceptional scientist, teacher, mentor, and author, Rosenthal, with his generous and brilliant touch, has shaped the lives and work of countless others." (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

金沙江防洪(库容)规划的探讨

在分析长江灾害洪水特征的基础上，全面深入地研究了全沙江水库的防洪库客、防洪目标、防洪特点和调度原则，并对防洪库容的作用进行了估算和分析。从多方面比较了虎跳峡高坝方案与低坝方案，结果表明：高坝方案的效益明显高于低坝方案，而两者所需付出的代价相差不大。     

Preparation of clean coal by flotation following ultra fine liberation

This paper reports the results of current fundamental research at the Department of Process Engineering, University of Miskolc on the processing of clean coal from Mecsek bituminous coal, Southern Hungary. The theoretical possibility of the separation of different petrographic components was proven experimentally and their liberation degree was determined based on the petrographic composition, flotation kinetic study of isolated components (groups of components), scanning electron microscopy and microprobe analyses. The mill with stirred ball media was chosen for the ultra-fine liberation of the coal components. It was revealed that along with the liberation of coal components, their surface oxidation and spontaneous agglomeration, entrapping the mineral impurities take place in ultra-fine grinding. This paper discusses the interfacial phenomena occurring in the ultra-fine grinding process and their influence on the flotation. The concept for the advanced preparation of clean coal was developed, tested and proved. The main steps of this concept are the ultra-fine liberation in the stirred-media mill, the de-agglomeration of flocs spontaneously formed during the ultra-fine grinding and the induced (hydrophobic) flocculation with the following two-step flotation in a flotation column.     

关于变压器二次额定电压的计算

推导了变压器二次负载电压的计算公式,建议由此公式代替以往原理书中惯用的近似公式。利用此公式绘制和分析了不同功率因数额定负载时的相量轨迹图。     

网上考试系统中指纹验证模块的研究与算法实现

网上考试中运用指纹认证方法,可以有效地杜绝代考现象的发生.文中探讨了网上指纹验证过程中的算法实现,综合运用图像处理和模式识别技术,研究了指纹识别的理论和技术,建立了一对一的指纹识别系统.整个系统框架采用浏览器/服务器(B/S)结构,用户在客户端提交指纹图像,而服务器端则完成指纹图像的预处理、匹配算法等,再将识别信息反馈给客户端.     

3G认证和密钥分配协议的形式化分析及改进

介绍了第三代移动通信系统所采用的认证和密钥分配(AKA)协议,网络归属位置寄存器/访问位置寄存器(HLR/VLR)对用户UE(用户设备)的认证过程和用户UE对网络HLR/VLR的认证过程分别采用了两种不同的认证方式,前者采用基于"询问-应答"式的认证过程,后者采用基于"知识证明"式的认证过程.使用BAN形式化逻辑分析方法分别对这两种认证过程进行了分析,指出在假定HLR与VLR之间系统安全的前提下,基于"知识证明"式的认证过程仍然存在安全漏洞.3GPP采取基于顺序号的补充措施;同时,文中指出了另一种改进方案.