浅谈微机电系统技术现状及应用趋势

针对国际微机电系统（MEMS）发展趋势和未来的产业化前景,结合我国社会经济发展的需要,本文介绍了MEMS国内外发展状况,并对MEMS市场及应用进行了分析与探讨,以期为开展MEMS的研究与开发提供参考。     

意大利龙头之乡：诺瓦拉

位于意大利北部的诺瓦拉省有两颗珍贵的兰宝石:马乔利Maggiore大湖和奥尔塔Orta大湖,它们以其天然的美景远近闻名。     

基于分离逻辑的并行程序性质验证方法

随着多核多线程并行执行方式的普及,并行程序形式化验证的需求日显突出.并行程序验证中执行流程的不确定性使验证的内容与目标的关系难以确定,且从并行程序直接进行性质验证会导致验证规模大.为此,提出一种基于分离逻辑的新的验证方法.该方法根据分离逻辑的程序语义描述兼有解释语义和公理语义的特点,从验证的性质出发,把要验证的性质式转换成并行语句序列的逻辑组合式,并进行整理和化简;然后,利用分离逻辑公理系统对语句序列进行验证,用验证了的断言集来求出性质的真值.实例进一步说明,此方法更有效,同时也简化了验证的规模.     

伊斯帕特公司将建新的镀锡和管材生产线

伊斯帕特公司计划投资 5 8亿美元 ,新建 1条镀锡线 ,重建 6号焦炉 ,对烧结车间进行现代化改造 ,还将建设新的轧钢生产线。新建轧钢生产线包括 1条年生产能力为 6万t的API级螺旋焊管 ,预计耗资 65 0 0万美元 ,将于 2 0 0 4年中期完工。其产品为Φ5 3 0～Φ14 2 0mm、壁厚可达14mm的焊管 ,主要应用于石油和气体管道运输。Karmet现在生产纵向焊管 ,年生产能力 8万t。此项目还将重建冷轧线、酸洗线、以及成品的包装设施。除了 1条已投入运营的镀锌线以外 ,第 2条最新的镀锌生产线也将于较短时间内建成 ,并且投入运营伊斯帕特公司将建新的镀锡…     

不同发酵法对油菜蜂花粉破壁的影响

采用自然发酵法、干性酵母直接发酵法、酵母发酵-酶解法对油菜蜂花粉进行破壁,比较3种破壁方法的破壁率、破壁花粉营养成分可溶性糖、游离氨基酸、总黄酮、维生素C及风味改善,从而筛选出最佳的破壁方法.结果表明,采用干性酵母直接发酵法、酵母发酵-酶解法得到的破壁率、营养成分及风味改善优于自然发酵法,从经济方面来考虑酵母发酵法为油菜蜂花粉的最佳破壁法.     

渭河洪水错峰调度决策支持系统的研究

渭河洪水错峰调度决策支持系统采用了先进的分布式组件对象模型（DCOM）技术，将地理信息系统开发平台MapX与开发工具Delphi相结合，实现了以渭河流域地图为背景的可视化信息查询。该系统设计先进，功能齐全实用，为防洪指挥决策人员和管理人员提供了雨、水、工情的全面信息支持以及洪水调度的决策支持。     

垂直花园城市世界金融磁场上海环球金融中心

利用其强大的磁引力，吸引全球的信息和人士，创造潮流、产生影响，并超越以往国际金融中心的概念。上海环球金融中心将成为亚洲首屈一指的新金融中心和文化传媒中心的象征，彰显出集商务、文化和观光功能于一体的繁华与魅力。这个“世界金融磁场”将在陆家嘴CBD屹立100年。     

建筑施工存在的质量隐患及预防措施

现浇混凝土结构的常见质量隐患有开裂、混凝土强度不足、混凝土塌落度差、柱模板移位等,本文分析了产生这些质量隐患的主要原因,并给出了相应的预防措施,为工程技术人员提供参考。     

油气输送管道工程用板材质量状况分析

统计分析了近年来国内大型油气输送长输管道工程用钢管质量状况,主要包括板材质量问题、不合格钢管原因分布和失效事故情况等。指出板材质量缺陷是造成管道失效事故的主要原因之一;与进口X80钢级直缝埋弧焊管相比,国产X80钢级直缝埋弧焊管的屈服强度标准方差高50%,距离国际先进水平还有一定差距。通过统计并分析管道用钢管的质量状况,以期为管道项目建设单位决策提供帮助。     

海底管线服役条件有限元应力分析

采用有限元方法模拟分析了带配重层海洋管准559 mm×28 mm SMYS 450在海底1 500 m和输送压力为25 MPa条件下服役时的应力状态,结果显示,在受配重层约束下的最大位移为0.046 4×10-3m,无配重约束位移为0.104×10-3m;第一主应力和Von mises等效应力的最大值都分布在管体材料和配重层之间的界面处附近,距离管体外表面约2 mm(壁厚28 mm),最大值分别为128 MPa和216 MPa。模拟结果表明,管线运行是安全的,也说明了采用Von mises等效应力准则作为管道问题验收极限是可行的。