超越离合器内星轮对数螺旋楔合面的设计

通过对采用平面楔合面内星轮的超越离合器的受力及磨损对其使用可靠性影响的分析，从而提出了用对数螺旋楔合而代替平面楔合面的设计方案，并对两种方案进行了比较。     

红外加热节能技术的现状与发展前景

本文综述了国内外节能的现状与发展趋势,论述了远红外电加热领域的发展前景,强调了加强基础理论研究的重要性,介绍了我国红外加热应用的领域和国外新开发的红外产品。     

Cognitive adaptation, psychological adjustment, and disease progression among angioplasty patents: 4 years later.

The long-term effects of the Cognitive Adaptation Theory Index (CATI) on psychological and physical health outcomes among men (n=199) and women (n=99) treated for coronary artery disease with percutaneous transluminal coronary angioplasty were examined. The CATI reflects a positive view of the self, a positive view of one's future, and a sense of personal control over daily life. This index was created from questionnaires administered during hospitalization for the initial angioplasty. Four years later, the CATI predicted positive adjustment to disease, even when initial adjustment was taken into consideration. In addition, the CATI predicted a reduced likelihood of sustaining a subsequent cardiac event over 4 yrs. This association was more robust for men. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

门式脚手架在已建高层建筑外装修中的应用

介绍门式脚手架在已建高层建筑外排栅中的整体搭设和应用实例。     

迎接挑战加速调整不断增强冶金矿山生存与发展的能力

回顾和总结了通钢矿业公司把市场经济的挑战作为创新发展的动力和机遇，加速自适应性调整，使矿山经济步入持续、稳定、健康发展的良性轨道。     

浅析当前环境下国有资产的现状和管理对策

改革开放使中国经济实现了持续高速的发展。然而,随着改革的不断深入,国有资产面临着在新经济环境下的角色转换,在此过程中由于各种原因每年有数百亿元的国有资产流失,所以,国有资产的保值增值成为现阶段乃至将来一段时间我国政府的重大经济课题。本文对国有资产的历史和现状进行了分析并从多角度提出了一些管理方面的看法。     

孔板—均速管组合法测量汽—水两相流双参数

利用孔板与均速管组合在线测量汽—水两相流双参数，解决了稠油热采中同时测量蒸汽流量与干度的难题。其工作程序用Mcs-51单片机汇编语言编制而成，主程序由初始化、数据采集处理，热物理参数生成、汽—水两相流量、干度、质量流量、热量计算以及累计运算等模块组成。通过在现场进行标定；干度用化验CI^-法进行标定，流量用锅炉入口的涡轮流量计标定。经胜利和新疆两油田进行的大量试验可知，该仪表测量水蒸汽流量和干度其均方差皆小于7%，满足了工业应用要求。     

化工企业环境因素的评价

化工企业环境因素评价是建立环境管理体系的核心任务，化工企业生产过程的特点决定了其环境因素数量多、环境影响大、识别评价难、控制难度大。本文介绍了化工企业环境因素评价的技术方法和过程，可以为提高环境因素评价的科学性、客观性和充分性提供参考。     

Experience with Applying Formal Methods to Protocol Specification and System Architecture

In the last three years or so we at Enterprise Platforms Group at Intel Corporation have been applying formal methods to various problems that arose during the process of defining platform architectures for Intel's processor families. In this paper we give an overview of some of the problems we have worked on, the results we have obtained, and the lessons we have learned. The last topic is addressed mainly from the perspective of platform architects.