基于类型理论的递归元程序设计

本提出在ＬＦ类型理论中定义一组相互递归类型的方法，并对递归类型赋予操作语义，递归类型不仅可以表示通常的递归通常的递归数据结构，还可描述一般的递归问题求解，递归证明构造和递归程序构造过程。     

无骨料粉煤灰轻质混凝土的研究

本文介绍了无骨料粉煤灰轻质混凝土的原材料及其配比,轮碾工艺、抑制收缩及提高强度的措施、养护制度等。     

混凝土的强度,骨料粒径,韧带高度与断裂能的关系

本文研究了混凝土的抗压强度，骨料最大粒径，韧带高度与断裂能的关系，分别给出了拟合公式在同样试件尺寸下，抗压强度高的混凝土，具有高的断裂能，混凝土的断裂能在所试验的粗骨料粒径范围内，随着粒径的增大而增大，测试的断裂能随韧带高度的增大而提高，最后给出综合公式：ＧＦ＝１７．６６．ｆ＾０．９２５ｃｍ．Ｄ＾０．２７９ｍａｘ．０．７７９４＾１００／Ｈ。拟合率达０．９９３，可很好地估算混凝土的断裂能。     

新型配方阳极糊的研制及在工业电解槽上的应用

本文介绍了新型配方阳极糊的配方研制、确定了生产工艺条件、批量生产了新配方阳极糊并在工业电解槽上进行了应用试验，新型配方阳极糊即大颗粒骨料、低沥青配比阳极糊，骨料最大粒度１０ｍｍ，沥青配比２６％，工业试验表明产品符合电解工艺要求，可降低糊单耗２２ｋｇ／ｔＡｌ，提高电流效率０．４％；可大大降低沥青烟害，是降低沥青烟害的有效方法，同时为进一步进行烟气治理提供了条件，经济效益社会效益显著．     

湘钢东安矿羊角寨矿区矿床勘探成果简评

羊角寨矿区位于湖南省东安县城北2.5km处,行政区划属白牙市镇管辖。矿区南距湘桂线东安站3.5km,有简易公路通矿区,交通方便。在1957～1964年期间,先后有三支地质队对该矿区进行过普查勘探,亦都提交了相应的报告。其共同特点是:均限于地表,工程控制差,矿体内部的矿石化学组分、结构、构造、夹层及岩溶发育情况等均不清