Level set and geodesic active contours based measurement of material removal between serial sections

The measurement of the thickness of material removed between serial sections is a crucial step of three-dimension reconstruction. Geodesic active contours is an efficient method for contour detection of objects on an image. The indents on the SiC/Al composite micrographs are segmented by using level set and geodesic active contours. After getting the contours of the indents, we calculate the distance from the uppermost pixel to the lowermost pixel to get the vertical diagonal length, and calculate the distance from the leftmost pixel to the rightmost pixel to get the horizontal diagonal length of each contour. Then the final length of each diagonal is acquired by averaging the vertical diagonal length and the horizontal diagonal length, respectively. The Vickers’ indenter is made by a square pyramidal-shaped diamond with opposite faces at an angle of 136°, so the thickness of material removed between two serial sections and the length difference of the diagonals on the two serial sections has a definite geometrical relation. Thus the thickness of material removed between two serial sections is acquired using the geometrical relation.     

机械合金化过程中Fe70B30粉末晶粒尺寸和微观应变的研究

用Ｘ射线和电镜研究了Ｆｅ＿（７０）Ｂ＿（３０）粉末经不同时间高能球磨后晶粒尺寸和微观应力的变化。在机械合金化过程中，粉末的Ｘ射线衍射谱的宽度随球磨时间的增加逐渐加宽，这是晶粒细化和内部微观应力共同作用的结果。Ｘ射线衍射结果表明：随着机械合金化的进行，粉末的晶粒尺寸逐渐减小，球磨初期晶粒尺寸下降较快，经１５ｈ球磨，晶粒尺寸为２５ｎｍ，机械合金化进行到一定时间后晶粒尺寸下降缓慢，８０ｈ球磨后晶粒尺寸可达５ｎｍ。在机械合金化过程中球磨所造成的微观应变不大，球磨初期粉末的内应力随球磨时间增加而增加，当粉末粒子尺寸很小时，随球磨的进行粉末中的微观应变显著下降。     

混酸PEG酯的合成及性能研究

用从大豆油脚水解制得的脂肪酸合成混酸聚乙二醇酯，通过测定酸值的方法确定了最佳反应时间为16h。与油酸聚乙二醇酯相比，混酸聚乙二醇酯具有更优良的乳化性、润湿性，可以替代油酸聚乙二醇酯用于纺织、农药和化妆品工业中。     

O—O数据模型中实体联系的表达方法

具有对实体和实体间联系的描述能力，是数据库的基本，吼是对数据库进逻辑设计的基本出发点。Ｏ－Ｏ数据模型不具备显式描术这实体联系的手段。且优于关系模型。     

地震数据采集系统中频谱均衡滤波器的理论设计

地层的高频吸收衰减效应是导致地震勘探分辨率不高的主要原因，在高分辨率野外地震数据系统中，频谱均衡滤波器所设置的重要部件。文章以频谱均衡滤波器的原理和地层吸收衰减特性为基础，用计算机模拟的方法研究地层吸收衰减使分辨率降低的程度和频谱均衡滤波器对分辨率的补偿效果，给出了较好的频谱均衡滤波器的设计方案。     

激光热源形成过程的定量描述

研究了热传导方程的通解，进而提出激光热源形成的微观机理和热源形成过程的三个理论计算式。对激光热效应的应用具有指导意义。     

The TDCPR Management Mode of Engineering Equipment

The Three Gorges Project is a very large project,and its structure is very complex.Interna-tional advanced engineering equipment is broadly used.The state of equipment running directly influ-ences project building qualities and limited time.According to the factud conditions of the Three Gor-ges Project,the characteristics of engineering equipment are analyzed.At the same time ,some theories about equipment management are induced ,and the TDCPR management mode of engineering equip-ment of the Three Gorges Project is put forwared in order to gain the aim of managing and using equip-ment well and speeding up the project construction.     

抗氧剂于有机PTC热敏导电材料性能的稳定作用研究

探讨了抗氧剂在聚乙烯 乙烯 醋酸乙烯酯共聚物 炭黑 (PE EVA CB)体系中的作用。结果表明 ,在体系中加入抗氧剂可以提高材料体系的结构稳定性 ,从而可以在一定程度上改善材料的热电稳定性。当在体系中加入 2 .0 %(w)的抗氧剂时可收到良好效果。     

On Deciding Readiness and Failure Equivalences for Processes

In this paper, we study the complexity of deciding readiness and failure equivalences for finite state processes and recursively defined processes specified by normed context-free grammars (CFGs) in Greibach normal form (GNF). The results are as follows: (1) Readiness and failure equivalences for processes specified by normed GNF CFGs are both undecidable. For this class of processes, the regularity problem with respect to failure or readiness equivalence is also undecidable. Moreover, all these undecidability results hold even for locally unary processes. In the unary case, these problems become decidable. In fact, they are Π^p₂-complete, We also show that with respect to bisimulation equivalence, the regularity for processes specified by normed GNF CFGs is NL-complete. (2) Readiness and failure equivalences for finite state processes are PSPACE-complete. This holds even for locally unary finite state processes. These two equivalences are co-NP-complete for unary finite state processes. Further, for acyclic finite state processes, readiness and failure equivalences are co-NP-complete and they are NL-complete in the unary case. (3) For finite tree processes, we show that finite trace, readiness, and failure equivalences are all L-complete. Further, the results remain true for the unary case. Our results provide a complete characterization of the computational complexity of deciding readiness and failure equivalences for several important classes of processes.     

令牌多环网性能—可靠性综合评价

网络的性能与可靠性已分别得到广泛的研究,然而,怎样分析具有容错机制的环网的性能仍属有待开拓的研究领域,本文提出了一种分析具有自修复机制的多环网络系统的方法,并给出了报文传输时间分布的拉氏变换式,平均等待时间及平均队列长度公式,分析结果可用于评估故障与修复过程对实时令牌环网的实时响应特性的影响,对基于LAN的分布式实时系统设计具有指导意义。