温度、酸度对大曲酒产、质量的影响

本文从温度、酸度对大曲酒产、质量的影响，揭示大曲酒夏季＂掉排＂的主要原因为高温、高酸环境抑制了酿酒酵母的发酵，降低了酿酒酵母的发酵力，从而影响了大曲酒的产、质量。     

大花水水电站首部枢纽布置设计

大花水水电站首部枢纽由碾压混凝土拦河大坝、泄洪建筑物和电站进水口组成。大坝采用河床拱坝 左岸重力坝的组合坝型,拱坝最大坝高134.50 m,重力坝最大坝高73 m。泄洪建筑物布置在拱坝坝身,为3个表孔 2个中孔的布置型形式。电站进水口布置于左岸重力坝坝身。首部枢纽布置紧凑,而且充分考虑了坝址区河谷狭窄、地形地貌及、存在的地质缺陷,以及泄洪流量大等工程特点。本文重点介绍首部枢纽的布置设计比选过程。     

溅渣护炉工艺探讨

从炉渣对炉衬和溅渣层的侵蚀机理入手,提出了兼顾冶金和溅渣双重效果的直接造渣工艺,探讨了终渣碱度、MgO、FeO含量等的调整范围,分析了溅渣操作中枪位、时间等的控制和炉底上涨的原因,以期更好地运用溅渣护炉技术。     

宣钢1260 m3高炉扩容大修改造设计

宣钢l260m^3高炉大修改造时将炉容扩大到l350m^3，对高炉本体系统设备及冷却系统、自动控制及检测系统进行了全面的改造更新，在炉腹、炉腰及炉身下部高热负荷区域采用铜冷却壁，取消炉身中上部铸铁冷却壁凸台，并采用薄内衬等先进、适用、可靠、成熟的技术。     

织构对铟凸点剪切强度的影响

制作了2种形式的铟凸点：即直接蒸发沉积的铟柱和将铟柱回流得到的铟球。同时对比了铟柱和铟球2种凸点的剪切强度，测试结果表明铟球剪切强度为5.6MPa，铟柱的剪切强度为1.9MPa，前者约为后者的2.9倍。对铟凸点微观结构的X光衍射分析发现：铟柱剪切强度低是织构弱化所致；铟球剪切强度高是由于回流破坏了铟柱的理想（101）丝织构模式，从而提高了铟球的剪切强度。     

掺杂InGaAs／InAlAs单量子阱中电子对称态和反对称态磁输运研究

利用变温Hall测量研究了重掺杂InGaAs／InAlAs单量子阱中二维电子气，发现在量子阱中由于存在电子对称态和反对称态导致纵向电阻出现拍频现象。通过分析拍频节点位置，得到电子对称态和反对称态之间的能级间距为4meV。此外，通过迁移率谱方法和多载流子拟合过程研究了不同迁移率电子的浓度和迁移率随温度的变化关系。     

NiTi形状记忆合金激光气体氮化层表面特征

为改善NiTi合金的表面性能，利用2kW连续波Nd：YAG对NiTi合金进行激光气体氮化处理。采用SEM、TEM、XRD、XPS和纳米压痕研究了氮化层的显微组织及表面特征．结果表明：激光气体氮化可以在NiTi合金表面制备连续、无裂纹、厚度为2μm的TiN表面层，该表面层中基本不合有Ni元素且具有很高的硬度，其纳米压痕硬度为29．28GPa．     

Job-shop Scheduling问题的研究

本文研究了Job-Shop类型矛性制造系统的调度问题，建立了数学模型，并用遗传算法进行求解。实践表明，该算法具有较好的实用性和可行性。     

Abstract Implementation of Algebraic Specifications in a Temporal Logic Language

A formal technique for incorporating two specification paradigms is presented,in which an algebraic specification is implemented by a set of abstract procedures specified in pre and post-condition style.The link between the two level specifications is provided via a translation from terms of algebraic specifications into temporal logic formulae representing abstract programs.In terms of translation,a criterion for an abstract implementation satisfying its specification is given,which allows one to check the consistency between the two levels of specifications.The abstract implementations can be refined into executable code by refining each abstract procedure in it.It is proved that the satisfication relation between a specification and its implementations is preserved by such refinement steps.     

混凝土预制板防渗渠道技术探讨

介绍了混凝土预制板防渗渠道施工过程及施工方法,并提出施工中应注意的问题。