航天发射场厂房技改施工安全管理研究

针对航天发射场厂房技改施工风险性高、管理难度大等问题,全面梳理安全管理工作,建立安全管理指标体系,确定安全管理评分标准,划分安全管理等级,并根据评分结果提出相应的防控措施,旨在提升航天发射场厂房安全数据化管理水平,为航天发射场厂房技改施工项目管理提供参考.     

Word97中的图文框及其使用技巧

Word97中有许多特性,可以使你的页面看起来丰富多彩,比如配上边框、线条、栏目、图片等.而加国文框的功能使你的文档处理从传统的文字处理又向前跨进了一步,进入了页面处理的方式.给对象加图文框后,就可以在页面上任意移动这些对象,还可给图文框添加边线、边框和底纹以使页面更加引人入胜.可以加图文框的对象类型很多,例如文字、表格、图形、插入的图片、数学公式等等都可以利用Word97加上图文框.下面结合笔者的实际操作经验,谈谈图文框的使     

基于层次约束满足的产品选择算法

将产品的选择看作一种层次约束满足问题,从而提出一种基于层次约束满足的多属性决策算法HCSMDA,该算法基于约束逻辑编程,可解决实际的产品选择问题,使得用户得到所需的产品.     

缩放管内脉动流传热性能研究

分析研究了缩放管内脉动流的传热性能,利用Fluent数值模拟脉动振幅、脉动频率和扩缩比对缩放管传热和沿程阻力的影响。研究结果表明:缩放管内脉动流的传热性能要优于缩放管内流体稳态流动,与缩放管内流体流动为稳态时传热强化了11.4%左右;缩放管内脉动流强化传热同时也增大了沿程阻力;对综合评价指标数的分析得到脉动流条件下缩放管的传热性能显著增强。     

城市特殊生境绿化技术研究——以上海 20年的研究成果为例

城市里大量的不透水面引发绿地空间严重缩水、 热岛效应加剧、城市雨洪频发等一系列严重的城市环境问 题。解决人口密度大、绿化用地少与高质量实现扩绿增绿、 实现城市居民对美好生活向往的矛盾,成为城市生态建设和 环境提升的核心难题,开展路面、屋面、墙面及桥柱等城市 特殊生境绿化成为城市高质量发展和城市品质提升的关键抓 手。以上海为例,总结了近20年来城市特殊生境绿化的研 究进展,围绕植物、介质、模块和管护四要素,从生境的特 殊性、适生植物种质创新和定向筛选、生境重建、一体化技 术、低维护管理及功能评价等方面取得了系列理论积淀和技 术创新,实践了有限空间的持续生长理念,形成完整的特殊 生境绿化技术体系,为公园城市建设发挥重要支撑作用。     

深化改革 搞活经营 走向市场

<正> 改革开放使我国经济气象万千,我们厂也走进了姹紫嫣红的春天。1986～1991年五年中,我厂经济效益指标以年平均二位数的速度增长,1991年末固定资产增加到4500万元,年生产能力达43200吨。经济效益历年在全省大、中型企业100强评价中处于靠前的位置,1990年进入中国500家最佳经济效益工业企业之列,列湖南省第12位;1991年完成工业总产值1.41亿元,销售收入1.14亿元,实现利税2300万元,经济效益及经营规模(销售收入)均进入湖     

CSAMT法在南水北调中线采空区探测中的应用

南水北调中线工程,是采用明渠开挖自流引水方式,其沿线经过多个煤田地区,探明线路上的采空区尤为重要,本文以南水北调中线禹州采空区为例,阐述了可控源音频大地电磁法（CSAMT）的基本理论、野外工作措施,并结合该区地质概况,准确探明采空区的位置、深度。探测结果与煤田钻孔地质剖面图、采空区钻孔验证基本吻合。说明CSAMT法在复杂多个煤系地层探测采空区的有效性。     

人均节约200元 降耗更上一层楼

<正> 湖南造漆厂是一个拥有年产值七千万元,职工一千多人的国家二级企业。在湖南省内涂料行业中是一个占全省油漆总产量70～80％的举足轻重的大厂,年产油漆一万五千吨左右,全年消耗各种原材料近两万吨,是原材料消耗大户。近年来,涂料行业由于市场疲软,销售不畅,资金紧缺和原材料涨价,企业面临着生产和经济效益滑坡的严峻考验。如何消除这些不利因素,提高企业的经济效益,是摆     

碳纳米管蒸发特性及其对场发射性能的影响

为了探究场发射阴极电流的跌落机制,采用四极质谱仪分析的方法研究高温蒸发对阴极场发射性能的影响。实验结果表明：碳纳米管阴极在1173 K以上温度时开始蒸发出碳;在1373 K高温下连续蒸发100小时,碳纳米管阴极的开启场强增加21.7%,阈值场强增加31.7%,增强因子减小16.2%,功函数增加11.9%。扫描电镜（SEM）和能量色散X射线光谱仪（EDX）分析显示：增大的功函数和减小的场增强因子降低了阴极的场发射性能。阴极材料的蒸发是阴极电流跌落的重要原因。     

一种验证Web服务流程的新方法*

在实际的服务组合中,Web服务流程（process）的验证(verification)对于Web服务的组合实现和应用具有重要意义——通过验证可以证明一个组合服务的控制流满足某个重要或者期望的属性,如不包含死锁或不包含无限循环,诸如此类;而服务提供者可对Web服务流程进行验证,以确保所提供的Web服务是完全正确的。然而,针对这两种语言的验证方法较少被人们注意。提出一种验证Web服务流程的方法,该方法使用时序行为逻辑（TLA）建模服务流程,然后,利用模型检验（model checking）技术验证模型的某些属