相似理论在真空灭弧室研究和设计中的应用

本文应用相似理论得出,真空灭弧室中电弧运动速度与电流强度成线性关系的相似准则,和极限开断电流与触头直径、开距间的经验公式。认为用小电流模型来研究大电流真空灭弧室是可行的。     

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

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

基于CORBA和WEB的产品数据管理体系结构研究

 产品数据管理(product data management,PDM)作为产品信息管理集成框架,已成为当前研究开发型企业提高其核心竞争力的一种重要竞争策略.介绍了PDM技术的起源与发展,阐述了PDM的应用功能框架.结合当今软件技术的发展,分析了基于CORBA和WEB技术的PDM/CPC代表性产品Windchill平台的体系结构,指出了传统PDM过渡到CPC的必然发展趋势.     

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左右。调整正流空气调节阀 ,调节好中部温度。关闭液氮进液氧泵阀和气氮出液氧泵阀。戴棉布手套 ,拆开液氮进口接头、…     

SBR工艺发展应用综述

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

基于CORBA和多Agent的模具敏捷制造的工作流管理

介绍了CORBA的工作原理，分析了模具敏捷制造的特点，提出了基于CORBA的模具敏捷制造工作流管理模型，并且将多Agent技术应用到该模型之中，使其具有清晰的结构，良好的开放性、集成性和自适应性。     

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.     

The topographic normalization of hyperspectral data: implications for the selection of spectral end members and lithologic mapping

Compact Airborne Spectrographic Imager (CASI) hyperspectral data is used to investigate the effects of topography on the selection of spectral end members, and to assess whether the topographic correction improves the discrimination of rock units for lithologic mapping. A publicly available Digital Elevation Model (DEM), at a scale of 1:50,000, is used to model the radiance variation of the scene as a function of topography, assuming a Lambertian surface. Skylight is estimated and removed from the airborne data using a dark object correction. The CASI data is corrected on a pixel-by-pixel basis to normalize the scene to a uniform solar illumination and viewing geometry. The results show that topography has the effect of expanding end member clusters at times resulting in the overlap of clusters and that the correction process can effectively reduce the variation in detected radiance due to changes in local illumination. When topographic effects are embedded in the hyperspectral data, methods typically used for the selection of end members, such as the convex hull method, can miss end members or result in the selection of nonrepresentative pixels as end members. Thus, end members selected by some conventional methods are very likely “incomplete” or “nonrepresentative” if the topographic effect is embedded in the data. As shown in this study, the topographic correction can reveal hidden end members and achieve a better representation of end members via the statistical center of isolated clusters.