Modified atmosphere packaging of a mixed prepared vegetable salad dish

The aim of this study was to design a modified atmosphere package for a mixed vegetable salad consisting of 75 g of cut carrot, 55 g of cut cucumber, 20 g of sliced garlic and 50 g of whole green pepper. Respiration data of all the components were combined with film permeability data to predict package atmospheres and design optimal packages for experimental testing for improved shelf-life of the produce. The optimal package avoided minimum O₂ and maximum CO₂ tolerance limits, and chilling injury temperatures for any component. A pouch form package made of 27 mm low density polyethylene developed a modified atmosphere of 2.0–2.1% O₂ and 5.5–5.7% CO₂, which was beneficial for all components and provided better quality retention than other test packages.     

缺血性糖尿病下肢病变的膝下动脉成形术

目的探讨膝下动脉的球囊成形术在治疗糖尿病缺血性下肢病变中的价值。方法对５３例糖尿病合并缺血性下肢病变患者６４侧缺血性下肢进行膝下动脉Deep球囊扩张成形术。对比患者手术前后临床症状的改变及足部溃疡的变化。结果５３例患者共１１９支动脉分支接受PTA治疗，５０例患者的１０１个分支成功地开通，技术成功率为８４．９％，所有５０例患者的临床症状均明显缓解，足部溃疡均变小，无需截肢。结论膝下动脉的球囊成形术是治疗缺血性糖尿病下肢病变安全有效的微创手段     

工业汽轮机的清洗

本文介绍了用饱和蒸汽对冷凝式汽轮机进行清洗除垢时主要参数的确定、操作要点及清洗方案，清洗后的汽轮机运行正常。     

二次型时频分析技术的开发与应用

基于二次型的时频分析是高分辨率时频分析技术的有效方法之一，该项技术能够有效反映时变信号的频谱特性，具有分辨率高、能量集中和跟踪瞬时频率的特点。从时变信号的特点出发，阐述了二次型时频分析技术的基本方法原理，采用正演模型分析验证了该方法的有效性，并在实际地震资料中应用于识别物源方向、划分沉积相带、预测储层结构以及相对厚度等诸多方面，均取得了较好的效果。     

等离子炉炭热法冶炼钼铁

等离子炉炭热法冶炼钼铁是利用炭在高温下的强还原性，以炭热和等离子热代替金属热．直接得到优质钼铁。     

高纯锗探测器的快定时性能及其应用

为了将高纯锗（ＨＰＧｅ）探测器用于快定时的物理实验中，本实验研究厂影响高纯锗探测器定时谱仪时间性能的各种因素，找出了获得谱仪最小时间分辨的各种最佳参数。并建立了分辨时间为４．１９ｎｓ，能量分辨率为２０ｋｅＶ，微分非线性好于±２．０％，计效率可承受１２０×１０￣３ｓ￣（－１）的时间微分扰动角关联谱仪。利用此谱仪，以￣（２０４）Ｂｉ为探针核，研究了Ｂｉ系高温超导的微观机理，取得了较好的结果。     

高质量的一级光栅1．55μmDFB激光器

本文详细叙述了ＤＦＢ激光器的设计要点和新的工艺。采用一级全息光栅和二步液相外延法批量研制出高稳定单纵模工作的１．５５μｍ分布反馈激光器（ＤＦＢ—ＬＤ）。外延片成品率＞４０％。器件特性：２５℃时阈值电流２０ｍＡ，单面光功率＞１０ｍｗ，主边模抑制比ＳＭＳＲ达４３ｄＢ（λ／４相移光栅），谱线宽度△ν－２０ｄＢ＝０．３ｎｍ，调制速率＞１．８ＧＨｚ。可靠性测试显示：高温监测光谱稳定，２５°Ｃ时阈值退化率△Ｉｔｈ／ｔ＜０．３ｍＡ／ｋｈ，对应器件预估寿命将超过１０万ｈ。     

On the monotonicity of (LDL) logic programs with set

LDL is one of the recently proposed logical query languages, which incorporate set, for data and knowledge base systems. Since LDL programs can simulate negation, they are not monotonic in general. On the other hand, there are monotonic LDL programs. This paper addresses the natural question of “When are the generally nonmonotonic LDL programs monotonic?” and investigates related topics such as useful applications for monotonicity. We discuss four kinds of monotonicity, and examine two of them in depth. The first of the two, called “ω-monotonicity”, is shown to be undecidable even when limited to single-stratum programs. The second, called “uniform monotonicity”, is shown to implyω-monotonicity. We characterize the uniform monotonicity of a program (i) by a relationship between its Bancilhon-Khoshafian semantics and its LDL semantics, and (ii) with a useful property called subset completion independence. Characterization (ii) implies that uniformly monotonie programs can be evaluated more efficiently by discarding dominated facts. Finally, we provide some necessary and/or sufficient, syntactic conditions for uniform monotonicity. The conditions pinpoint (a) enumerated set terms, (b) negations of membership and inclusion, and (c) sharing of set terms as the main source for nonuniform monotonicity.