A Standard Model-Theoretic Approach to Operational Semantics of Recursive Programs

In this paper we try to introduce a new approach to operational semantics of recursive programsby using ideas in the“priority method”which is a fundamental tool in Recursion Theory.In lieu ofmodelling partial functions by introducing undefined values in a traditional approach,we shall define apriority derivation tree for every term,and by respecting the rule“attacking the subterm of thehighest priority first”we define transition relations,computation sequences etc.directly based on astandard interpretation which includes no undefined value in its domain.Finally,we prove that ournew approach generates the same operational semantics as the traditional one.It is also pointed outthat we can use our strategy to refute a claim of Loeckx and Sieber that the opperational semanticsof recursive programs cannot be built based on predicate logic.     

Effet de la pression sur la transition ruisselant-pulsé dans les réacteurs catalytiques à lit fixe arrosé

The effect of pressure on transition displacement between trickle and pulsed regimes (TPR: trickle-pulsed transition) in catalytic trickle bed reactors (CTBR) is not properly predicted by existing theoretical models and empirical correlations. Based on high pressure TPR data available to date, a modified Charpentier diagram is proposed to quantify directly the effect of pressure in non-foaming systems.     

Precipitation behavior of σ phase in fusion zone of dissimilar stainless steel welds during multi-pass GTAW process

The purpose of this study is to investigate the precipitation characteristics of σ phase in the fusion zone of stainless steel welds at various welding passes during a tungsten are welding (GTAW) process. The morphology, quantity, and chemical composition of the δ-ferrite and σ phase were analyzed using optical microscopy (OM), a ferritscope (FS), a X-ray diffractometer (XRD), scanning electron microscopy (SEM), an electron probe micro-analyzer (EPMA), and a wavelength dispersive spectrometer (WDS), respectively. Massive δ-ferrite was observed in the fusion zone of the first pass welds during welding of dissimilar stainless steels. The σ phase precipitated at the inner δ-ferrite particles and decreased δ-ferrite content during the third pass welding. The σ and δ phases can be stabilized by Si element, which promoted the phase transformation of σ→ϱ+λ₂ in the fusion zone of the third pass welds. It was found that the σ phase was a Fe−Cr−Si intermetallic compound found in the fusion zone of the third pass welds during multi-pass welding.     

Influence of Drying Conditions on Ascorbic Acid during Convective Drying of Whole Persimmons

Degradation kinetics of food constituents may be related to the matrix molecular mobility by glass transition temperature. Our objective was to test this approach to describe ascorbic acid degradation during drying of persimmons in an automatically controlled tray dryer with temperatures (40 to 70°C) and air velocities (0.8 to 2.0 m/s) varying according a second order central composite design. The Williams-Landel-Ferry model was satisfactorily adjusted to degradation curves for both control strategies adopted—constant air temperature and temperature fixed inside the fruit. Degradation rates were higher at higher drying temperatures, independent of the necessary time to attain the desired moisture content.     

Thermal properties and crystalline structure of liquid crystalline poly(ethylene terephthalate‐co‐2(3)‐chloro‐1,4‐phenylene terephthalate)

Thermal properties and crystalline structure of liquid crystalline (LC) poly(ethylene terephthalate‐co‐2(3)‐chloro‐1,4‐phenylene terephthalate) [copoly(ET/CPT)] were investigated using differential scanning calorimetry (DSC), thermogravimetry (TGA), limiting oxygen index (LOI) measurement, electron dispersive X‐ray analysis (EDX), X‐ray diffractometry, and infrared spectrometry (IR). The thermal transition temperatures of copoly(ET/CPT) were changed with the composition. Copoly(ET/CPT) showed two thermal decomposition steps and the residues at 700°C and LOI values of copoly(ET/CPT) were almost proportional to its chlorine content. The activation energy of thermal decomposition of LC units was very low compared to that of poly(ethylene terephthalate)(PET) units. Crystal structure of copoly(ET/CPT) (20/80) was of triclinic system with the lattice constants of a = 9.98 A?, b = 8.78 A?, c = 12.93 A?, α = 97.4°, β = 96.1°, and γ = 90.8°, which is very close to that of poly(chloro‐p‐phenylene terephthlate) (PCPT) with the lattice constants of a = 9.51 A?, b = 8.61 A?, c = 12.73 A?, α = 96.8°, β = 95.4°, and γ = 90.8°. When copoly(ET/CPT)(50/50) was annealed at 220°C in vacuum, crystallization induced sequential reordering (CISR) was not observed but the heat of fusion was slightly increased due to the increase of the trans isomer content in PET units. © 2002 Wiley Periodicals, Inc. J Appl Polym Sci 84: 1286–1294, 2002; DOI 10.1002/app.10451     

矫直状态下钢管弹塑性变形区的研究

根据钢管矫直时的变形规律，通过对矫直中钢管的力学状态及矫直前后的状态参数分析，建立了一种适于现场应用的确定钢管弹、塑性变形区的新方法。     

东津水电站引水隧洞进口不良地质段施工

东津水电站引水隧洞进口段工程地质条件恶劣，施工干扰大，渡汛工期紧。采用喷锚支护洞脸边坡，洞口明挖３ｍ浇筑钢筋混凝土明拱和Ｌ形护坡墙；洞身段采用新奥法施工，先打通上导洞；进口４０ｍ分段开挖，分段衬砌；进水塔压板混凝土模板采用门字框架钢支撑；排除了施工干扰，防止了洞口滑塌，进口段塌方的恶性事故发生，保证了引水隧洞工程的顺利施工。     

全断面双护盾掘进机在引黄工程断层破碎带的卡机处理

万家寨引黄工程国际Ⅱ、Ⅲ标已查明的断层有34条，隐伏断层可能还有一些，除了利民堡区域性大断层（F32）外，较大的集中于7#洞北段59＋700—68＋820，主要有F65、F70、F90、F74。全断面双护盾掘进机适应于较复杂的地质条件，因此在通过断层破碎带时一般都较正常。但在通过引黄工程区域性大断层F65时，发生了卡机事故，处理用了3个月时间。该文对处理TBM卡机事故的施工进行了总结。     

标准型直燃机在严寒地区应用探讨

介绍了标准型直燃机的分类、原理及长庆至呼和浩特输气管道工程冷冻供热站的设计实例 ,重点论述了标准型直燃机在严寒地区使用的利弊     

渤海湾盆地复式油气聚集带高勘探程度区进一步挖潜的领域

渤海湾盆地复式油气聚集区经过了40年的勘探,目前已进入了高勘探程度区.油气聚集的复杂规律表明,渤海湾盆地仍具有巨大的资源潜力,进一步挖潜的领域非常广阔.以第三系为烃源岩的含油气层系的勘探精度仍有待于进一步提高,同时必须将以古生界、中生界和中上元古界为烃源岩的含油气层系作为今后挖潜的重要领域.渤海湾盆地任何层系都可能形成和聚集油气,因此仍有多种复杂的油气藏类型尚待进一步认识和发现.