公共入侵检测框架CIDF的研究

公共入侵检测框架CIDF提供了一种入侵检测系统的设计规范.本文研究CIDF的体系结构、规范语言、内部通讯和程序接口.     

换热器管板全位置自动化精密焊接工艺的研究

电力电站发电机组换热器中管板与换热管之间的角接接头环形焊缝质量是整台换热器制造质量的关键,须采用全位置自动化精密焊接工艺。本文在详细分析换热器管板自动焊接工艺特点的基础上,利用自行研发的全数字管板焊接系统进行了换热器管板全位置自动焊接工艺试验研究,探讨了换热器管板焊接主要工艺参数对焊接质量的影响规律,获得了换热器管板精密焊接的工艺规范,并在100万KW超临界发电机组换热器管板的焊接生产中进行了验证。     

凝汽器铜管腐蚀的原因分析及防治对策

大同热电有限责任公司循环冷却水补充水处理是采用离子交换工艺,降低了水的碱度、硬度后补入水塔,以提高循环水浓缩倍率,减少用水量、降低发电成本。介绍了循环水补充水处理系统的设备规格及工艺流程,分析了循环水pH值低的原因,提出了解决该问题的办法和措施,对具有同类型补水方式的发电机组有一定的指导意义。     

面向在机检测系统的IGES复杂型面再生及其虚拟仿真模型

为实现在机检测系统与通用实体建模软件的数据传输以及与虚拟仿真模型的实时交互,深入研究了基于初始图形交换规范（initial graphics exchange specification,IGES）的拓扑信息,提出了符合该文件格式中各种常用图形实体几何信息的存储结构．以Visual C＋＋为开发平台,设计出符合IGES规范的数据结构及其程序算法,为非均匀有理B样条（non—uniform rational B—spline,NURBS）曲线、直线和组合曲线等多种图元实体都定义了各自的结构体,并且以结构体为节点将其存储到各自的链表当中,最终以类的形式进行封装．借助于OpenGL图形库函数读取存储到链表中的实体数据,实现了IGES数据中基面的绘制以及对内外边界的裁剪,最终完成了对在机检测系统中复杂空间型面的再生以及与虚拟仿真模型的交互．程序成功读取了约1M大小的IGES数据文件,并实现了原模型的再生．     

参考文献页码著录规范的探讨

参考文献的页码著录是一个现实而又严肃的问题。目前各类规范规定不仅本身相互不一致,而且实践中各出版单位对页码著录的执行标准也不一致,这就造成了很大的混乱。因此,修订完善著录规范是非常必要的。参考文献页码著录的基本要求应以"实引实录"为原则,参考文献表的著录内容应以"文献"类别为参照,正文中参考处的页码著录应参酌"参考"类别并以著录"页码"为原则。     

基于Petri网的某型导弹单发任务完成概率仿真

任务成功概率是任务成功性的概率度量,指在规定的任务剖面内,产品能完成规定任务的概率。使用基于Petri网原理的ExSpect仿真软件,对单发导弹的任务流程进行了模拟,首先构建基本任务的仿真模型,在此基础上针对导弹整体任务流程构建了仿真模型,并计算其任务完成概率,最后通过应用实例验证模型的可行性。     

退火温度对TC4ELI钛合金大规格环材组织和力学性能的影响

采用光学显微镜、万能材料试验机和金属摆锤式冲击试验机研究了退火温度对TC4ELI钛合金大规格环材（Φ3 384 mm/Φ3 300 mm×1 950 mm）的显微组织和力学性能的影响。显微组织分析结果表明：退火温度在850 ℃以下时,TC4ELI钛合金大规格环材退火后的显微组织与热加工态的显微组织基本相同;900 ℃退火后,TC4ELI钛合金大规格环材中部分片层状或针状α相的尺寸增大,同时出现了尺寸微小的等轴α相。力学性能测试结果表明：随着退火温度的升高,TC4ELI钛合金大规格环材的强度和伸长率有所提高;850 ℃以下退火,TC4ELI钛合金大规格环材断面收缩率变化不大,850 ℃以上退火,其断面收缩率显著升高。冲击试验结果表明：随着退火温度的升高,TC4ELI钛合金大规格环材的冲击功逐渐增加。经800～900 ℃保温2 h空冷后,TC4ELI钛合金大规格环材抗拉强度、屈服强度、塑性与冲击功达到较好匹配。     

Application of capability indices and control charts in the analytical method control strategy

In this study, we assessed the usefulness of control charts in combination with the process capability indices, C _pm and C _pk, in the control strategy of an analytical method. The traditional X‐chart and moving range chart were used to monitor the analytical method over a 2‐year period. The results confirmed that the analytical method is in‐control and stable. Different criteria were used to establish the specifications limits (i.e. analyst requirements) for fixed method performance (i.e. method requirements). If the specification limits and control limits are equal in breadth, the method can be considered “capable” (C _pm = 1), but it does not satisfy the minimum method capability requirements proposed by Pearn and Shu (2003). Similar results were obtained using the C _pk index. The method capability was also assessed as a function of method performance for fixed analyst requirements. The results indicate that the method does not meet the requirements of the analytical target approach. A real‐example data of a SEC with light‐scattering detection method was used as a model whereas previously published data were used to illustrate the applicability of the proposed approach.     

基于PCL的改进型Helsinki协议的形式化分析

针对改进型的Helsinki协议安全性问题,利用协议组合逻辑PCL对协议进行形式化分析.首先使用基于"Cords演算"的程序描述语言对协议本身进行形式化描述,然后通过协议逻辑描述协议的安全属性,最后给出性质和定理,并通过逻辑推理证明改进型Helsinki协议满足其安全要求,该协议是安全的.