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.     

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.     

代数应力模式的分析解及其在充分发展旋转管流中的应用

本文通过求解雷诺应力在代数应力模式中与平均速度梯度之间的分析关系，研究了代数应力模式在涡旋流动特别是在充分发展旋转管流中存在的内在缺陷，这些缺陷的主要表现为：（１）在不考虑固壁对湍流影响的代数应力模式中，分析解给出Ｗ∝ｒ和ｖｗ＝０的错误结论；（２）若在代数应力模式中考虑固壁对湍流影响，在对称轴上会有ｖ＾２不等于ｗ＾２的非物理解。与诺应力输运模式相比，代数应力模式的缺陷归限结底在于该模式的基本假设不     

计算机控制的SEESR实验系统的研制

SEESR(Simultaneous Electrochemical ESR)是研究电极过程中的自由基中间体行为的理想和方便的手段。在以前研制的ESR仪数据系统的基础上,我们应用IBM-PC/XT微机与JES-FE1XG型(JEOL产)ESR谱仪及HDV-7型恒电位仪研制了一套由计算机控制的SEESR实验装置。该系统可以完成包括循环伏安法、电流阶跃、电位阶跃及电位反转等多种电化学方法的SEESR实验。系统还具有包括数据平滑、曲线拟合等功能的多种数据处理软件,使用方便。我们应用模型化合物对该系统进行了实际测量,所得结果与文献报道一致。     

储层识别模式的研究

用数学方法建立气测井油气储层识别模式,以解决录井中实时软件在判别依据少的条件下,及时识别油气显示假异常的难题。该判别式经实用,正到率达90％。     

Analysis of culture fluorescence by a fiber-optic sensor inNicotiana tabacum plant cell culture

The on-line sensing of viable cell weight in plant cell culture process is applied to analysis and control of process. The fiber-optic fluorescence sensor was constructed to measure the NADH-dependent fluorescence inNicotiana tabacum plant cell culture and the analysis of fluorescence signal was done to be correlated with the viable cell weight. The structured kinetic model for cell growth was proposed to estimate the theoretical viable cell weight. The dimensional analysis was proposed for the interpretation of fluorescence signal, in which the path length, the inner filter effect and the hydrodynamic conditions were considered as the key factors on fluorescence signal. The dimensional analysis and empirical correlation of fluorescence signal to viable cell weight was applied to the interpretation of the detected fluorescence signal during cultivation. The proposed interpretation of fluorescence signal using dimensional analysis was well correlated with the viable cell weight estimated by the structured kinetic model as well as by empirical correlation.