800吨船坞龙门吊钢结构防腐方案优化

系统分析了800吨船坞龙门吊钢结构的防腐方案,从涂装体系选择、钢结构焊接工艺、表面处理、涂装工艺等各方面进行优化,并兼顾了经济性。     

一例BPJV1-2000(1400)/3.3矿用隔爆兼本质安全型高压变频器故障分析及处理

本文通过对BPJV1-2000(1400)/3.3矿用隔爆兼本质安全型高压变频器一例输出短路故障分析排查及处理过程的介绍,阐述了对现场设备故障处理的指导思想和合理方法。     

由相位谱重构离散信号的收敛性

研究由相位谱重构有限长离散信号，即幅度补偿问题的收敛性。文章独立地以归一化相关系数对经典迭代法的收敛性进行了证明。通过该证明，可体会到经典迭代法之所以可进行信号重构的机理。     

液态模锻在防爆工具中的应用

叙述了液态模锻的工艺实质、应用范围及工艺参数。防爆工具液态模锻是一种行之有效的新技术，也在优质、高产及改善劳动条件等方面创造了新的途径。     

SBS和APP树脂石油沥青防水卷材的研制

用ＳＢＢ或ＡＰＰ树脂改性的石油沥青所制成的防水卷材，具有良好的防水性能，抗高温变形能力和抗寒性能，正逐步替代ＰＶＣ煤焦油防水卷材。     

基于验证载荷的老龄平台结构可靠性更新分析

将老龄平台已服役期内承受的年极值波浪载荷视作验证载荷,同时考虑老龄平台构件的抗力衰减,并以动态时变可靠度理论作为理论依据,计算了老龄平台构件的动态可靠度,分析了验证载荷和已服役载荷2种作用对老龄平台结构可靠度的影响。结果发现,在对老龄结构进行可靠性评估时,若忽略验证载荷的验证作用,将使得评估结果偏于保守。充分利用老龄平台结构在已服役期内经受的历史载荷信息,考虑已服役载荷对老龄平台结构的验证作用,则有利于制定检修策略,从而有效延长老龄平台结构的使用寿命和经济寿命。     

On measuring quantitative interpretations of reasonable doubt.

Beyond reasonable doubt represents a probability value that acts as the criterion for conviction in criminal trials. I introduce the membership function (MF) method as a new tool for measuring quantitative interpretations of reasonable doubt. Experiment 1 demonstrated that three different methods (i.e., direct rating, decision theory based, and MF) provided significantly different and uncorrelated interpretations of reasonable doubt, although all methods predicted verdicts equally well, and showed inter-individual variability in interpretations. In Experiment 2 only the direct rating method demonstrated a significant effect of judicial instructions on reasonable doubt. In both experiments, the MF method showed intra-individual variability in interpretations of reasonable doubt. The methods may be capturing different aspects of the concept of reasonable doubt. These findings have implications for the validity of past research findings on reasonable doubt and for the utility of triangulation of methods in future research. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

耐硫变换催化剂载体抗水合性能的研究

模拟我国化肥工业耐硫变换新工艺条件，考察了以γ－Ａｌ２Ｏ３、ＭｇＡｌ２Ｏ４尖晶石为载体的耐硫变换催化剂的抗水合性，研究载体水合后对催化剂性能的影响，得出一些对化肥新工艺催化剂选型具有参考价值的结论。     

On connections and higher-order logic

This is an expository introduction to an approach to theorem proving in higher-order logic based on establishing appropriate connections between subformulas of an expanded form of the theorem to be proved. Expansion trees and expansion proofs play key roles.This is an extended version of a lecture presented to the 8th International Conference on Automated Deduction in Oxford, England on 27 July 1986. This material is based upon work supported by the National Science Foundation under grants DCR-8402532 and CCR-8702699.     

耐硫变换系统在中型氮肥厂的应用

介绍水煤气耐硫变换系统在实际生产中的应用情况，着重论述耐硫变换催化剂的使用情况，以及系统在生产过程中出现的问题及处理方法。