齿轮减速器造型设计与模态分析

讨论复杂结构的建模方法,建立齿轮减速器三维实体模型并进一步建立了齿轮减速器的三维有限元模型,分析系统的固有特性,从而获得了设计所需的必要数据。     

软测量的工程化设计

将软测量应用到工业生产之前必须解决其工程化设计的问题.为此,在软测量技术理论研究和应用经验的基础上,对软测量工程化设计中应解决的关键问题和解决方法进行了研究.软测量的工程化设计包括机理分析、辅助变量选择、数据采集和预处理、建立软测量模型、设计校正模块等步骤.其关键技术在于软测量过程的数据处理、模型的建立和校正.并以杭州龙山化工厂碳酸化塔中C02浓度软测量的工程化设计为例,对工程化设计中的一些关键问题处理进行介绍.实践表明,软测量的工程化设计在实际工业生产中具有很好的应用性和指导性,但也有待更进一步的研究.     

Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.     

超稠油生产重交通道路石油沥青工艺探讨

超稠油的密度大、粘度高、轻油收率低、酸值高，沥青组成分布不合理，生产沥青困难。探索合适的超稠油生产沥青的加工工艺，不但可以解决超稠油加工困难问题，而且增加了生产道路沥青产品的原料资源。试验及生产证明，采用调和、预处理-蒸馏等工艺加工超稠油能够生产出合格的重交通道路石油沥青产品。     

Study on axiomatic rules for building up relationships between requirement and source programs

The purpose of our study is to build up relationships between requirement and source programs with our originally thought-out rules. When other rules to be derived from these original rules are applied to software development, even a single instruction in a programming language could be determined, and the program would satisfy the requirement. More specifically speaking, these rules will turn into a formula or a prototype of software programs. Hence, when the variables in the requirement are placed in the formula, we can get a required program in an automatic way.     

水浴法加温液氧泵

1　故障现象一次 ,我们用KL -1 5型制氧制氮车开机制氮 ,给一只容积为 40升、最高工作压力为1 4 7MPa的气瓶灌充氮气 ,当气瓶充气压力升高到一定值时不再上升。反复开泵 ,压力基本不变。液氧泵停止时 ,出口压力无明显下降。经分析判断导致气瓶压力升高到一定值时不再上升的原因是由于液氧泵被冻结所致。2　排除方法首先关闭液氧泵。拧开制冷机氢气放气阀 ,使压力下降到 1 0MPa。开大放气阀 ,使二级压力保持在 0 3 5MPa左右。调整正流空气调节阀 ,调节好中部温度。关闭液氮进液氧泵阀和气氮出液氧泵阀。戴棉布手套 ,拆开液氮进口接头、…     

TMN协议的攻击及其分类研究

对TMN协议的攻击进行分析，并从协议应该确保的安全日标，即保密性和认证性入手，结合采用的攻击方法对现有的攻击进行分类。     

SBR工艺发展应用综述

关于SBR工艺的书籍和文章很多。本文在这些资料的基础上整理总结 ,对经典SBR工艺的应用进行了综述 ,归纳了经典SBR工艺的特点 ,介绍了各种新型SBR工艺。     

Delamination Analysis for Laminated Composites. II: Numerical Verification

A validation of the delamination analysis models developed in a companion paper is provided through comparisons of predictions with finite‐element and elasticity solutions. The models are applied to the analysis of composite compression specimens reinforced with end tabs. An elasticity solution for the gage section of the specimens is developed. A comparison of the characteristic roots shows that the predictions of the models include the material and geometric parameters that control the behavior, and the roots corresponding to the basic stretching and bending modes are accurately predicted. The stress distribution at the interface between tabs and specimen is in good agreement with a finite‐element simulation. The interlaminar shear and peel stresses show an exponential increase with a maximum intensity at the free edges of the tabs. The behavior of previously tested specimens is explained; and practical guidelines for specimen design are provided to avoid unwanted extraneous modes of failure. The influence of the deformation modes associated with each model is investigated. An assessment of the accuracy and level of complexity is presented.