摘要：中铁十二局集团有限公司在广西防城港粮食码头及中转库5万t筒仓工程中施工的2组6联体直径14.5m的联体仓,是目前国内多联体中直径最大的筒仓群.该筒仓群采用我局自制的6联体滑模施工,施工中从模板设计、制作、组装、滑升到出模混凝土强度控制、混凝土配合比设计、出模混凝土随滑随抹工艺等都积累了丰富的经验,形成了一套完整的滑模施工技术.

摘要：随着芯片规模和设计复杂度的增加,传统的模拟验证方法学已经成为整个验证的瓶颈。为了解决这一瓶颈问题,验证方法学从模拟验证逐步演变成形式验证,先后经过了模拟晶体管模型仿真、门级仿真以及采用点线功能模型(BFM)的事务级仿真三个阶段。SV验证方法学是在模拟验证的基础上增加了形式验证的方法;它采用以覆盖率为导向的技术、受约束的随机技术和基于断言的技术来构建全面的验证环境。以覆盖率为导向可使验证迅速达到验证的出口条件,采用随机测试用例为主代替传统的直接测试为主可使验证迅速收敛,而通过在设计中插入断言可精确验证设计的内部时序问题。实践结果表明,采用这种验证方法极大的提高了验证的效率,缩短了验证周期。

摘要：本文简述了采用混合公比的要点,并利用传动特性式及下平上斜型结构网的对应式(本文称下平上斜结构式),依此分析导出了最末扩大组级比指数X_m值的计算公式.此公式可在机床设计中实际应用.本文的探讨方法可用于非对称型混合公比之研究.此外,还略述了P_0=2的理由.

摘要：调查格雷夫斯病（Ｇｒａｖｅｓ病）的发病率及其影响因素。方法研究人群为大庆地区不同职业，年龄为１５～７９岁的人群，共计１００１２３人。用统一设计、统一表格和统一标准化的国际通行的调查方法。结果经过２年的调查研究和定群随访，新诊断Ｇｒａｖｅｓ病３０１例，男性７４例（１．６‰），女性２２７例（４．１‰），总患病率为３．０‰。男女性别构成比１∶４。患病率在不同的性别和年龄中存在着明显差异。通过对有关Ｇｒａｖｅｓ病的１８种致病因素的调查，经Ｌｏｇｉｓｔｉｃ多元回归分析发现，Ｇｒａｖｅｓ病的主要致病危险因素有病毒感染，精神刺激，含碘食盐、食物、药物，家族史，文化层次和地区分布等。结论Ｇｒａｖｅｓ病并非少见疾病。本研究可为Ｇｒａｖｅｓ病的预防和治疗提供理论依据。