Representation and uniformization of algebraic transductions

This paper explores different means of representation for algebraic transductions, i.e., word relations realized by pushdown transducers. The relevance of this work lies more in its point of view rather than any particular result. We are aiming at giving specific techniques for obtaining, or perhaps explaining, decompositions of algebraic (and incidentally, rational) relations, relying solely on their “machine” definition rather than some complex algebraic apparatus. From this point of view, we are hoping to have demystified the heavy formalism employed in the present literature. Some of the novelties of our work are: the use of “stack languages” and “embeddings,” which eliminate the need of arbitrary context-free languages in our characterizations, the study of uniformizations for algebraic transductions and the use of the so-called stack transductions for exposing the anatomy of pushdown transducers.This work was supported by the Natural Science and Engineering Research Council of Canada grants R220259 and OGP0041630.     

宝鸡民营钛工业发展现状

介绍了宝鸡民营钛工业在新材料、新技术、新设备、新应用方面的进展,提供了市场需求与发展前景方面的相关信息,并对中小型钛加工企业的发展提出建议。     

浅谈高层医院自动消防系统和日常管理

从高层医院所应具备自动消防系统和在高层医院日常管理中 ,加强消防安全教育 ,建立管理制度 ,主动发挥“人”主观能动性的两个方面 ,具体阐述了高层医院的消防安全工作     

发展靠改革 改革求创新——访上海烟草工业印刷厂俞志康厂长

从中央对“十一五”规划的部署来看,我国的发展又进入了一个新的历史阶段。规划强调改变经济的增长方式,提高资源利用率,调整经济增长与资源环境制约之间的矛盾,继续实施产业结构的调整,对企业兼并改组的力度还将加强,钢铁、石油、石化、烟草等均在其列。占国家税收重头的烟草业,自2003年就迎来一次“地震”式的重组。2006年1月11日,国家烟草专卖局又宣布,正式启动“打造十大烟草航母集团”的计划,将对现有44家烟草企业进行整合,组建成以品牌为支撑的十大烟草航母集团。这对长期以来依靠烟草企业而生存发展的烟草印刷企业来说,如何面对这种改组,并规划好自身的发展,采取哪些应对策略与措施,也就成了那些不甘寂寞,且仍想稳操胜券的烟印企业领导们关注的焦点。其实,在钢铁、石油、石化以及其他大型企业集团长期庇护下的印刷企业又何止少数?这些企业的领导人也该从“手捧铁饭碗,稳坐太师椅”的状态中有所觉醒、有所思考吧?所以这次我们采访上海烟草印刷厂领导的目的,说白了,绝不仅仅是为了报道上海烟印自强不息的光辉篇章,而是通过这一报道,给面临行业整合改组的印企领导们奉上一道醒酒菜。毕竟在葡萄美酒前自我陶醉的好景不会太久了,还是尽快作好优胜劣汰的竞争准备吧。     

Ti/AlN陶瓷界面反应的热力学研究

对AlN陶瓷在室温和超高真空条件下蒸镀金属钛过程的界面反应进行了热力学研究，并用X光电子能谱（XPS）进行了验证，表明在金属钛沉积以前AlN陶瓷在空气中表面部分被氧化，当样品沉积了金属钛后，刚沉积上的钛是氧化状态，随着钛沉积厚度的增加，表面TiN和Al2O3的成分都增加。     

NUMERICAL SIMULATION OF PARTICLE SEPARATION IN AN OIL-SAND SEPARATOR

ＮＯＴＡＴＩＯＮＳＡ　Ａｒｅａｏｆｉｎｌｅｔ ,ｍ2ａ　Ｃｅｎｔｒｉｆｕｇａｌａｃｃｅｌｅｒａｔｉｏｎ ,ｍ2 /ｓｉ　Ｇｒｉｄｏｆａｘｉａｌｄｉｒｅｃｔｉｏｎｍｌ 　ＭａｘｉｍｕｍｇｒｉｄｎｕｍｂｅｒｏｆｒａｄｉａｌｄｉｒｅｃｔｉｏｎＱ　Ｆｌｕｉｄｍａｓｓｒａｔｅ ,ｍ3/ｓＲｃ 　Ｍａｘｉｍｕｍｒａｄｉｕｓｏｆｃｙｃｌｏｎｅ ,ｍＲｅ　Ｒｅｙｎｏｌｄｓｎｕｍｂｅｒｒ　Ｄｉｍｅｎｓｉｏｎｌｅｓｓｒａｄｉａｌｄｉｓｔａｎｃｅｔ　Ｄｉｍｅｎｓｉｏｎｌｅｓｓｔｉｍｅｕ　Ｄｉｍｅｎｓｉｏｎｌｅｓｓａｘｉａｌｖｅｌｏｃ…     

钢管对接环焊缝超声波检测对比试块改进的设想

讨论了石油、电力、机械等行业钢管对接环焊缝超声波检测对比试块数量太多给超声波检测带来的问题,针对这一问题设计了通用螺线型对比试块,即将大量常用规格的对比试块整合成少数几块螺线型试块,该试块具有连续的曲率,完全能在其适用范围内很好地与各种管径的管件相对应,成功地解决了对比试块数量多、单块适用范围小、携带不便等问题。     

全球电信业发展一览

介绍了世界主要国家和地区电信业的发展情况。     

Generating topological structures for surface models

Rapid prototyping has imposed new requirements on the processing of CAD models. To manufacture an object directly, the model must correspond to a real object and thus represent a closed volume. Its boundary must be continuous and closed, and no cracks or improper intersections are allowed. CAD models cannot always meet these requirements, especially when they are constructed by a surface modeler. The algorithm discussed analyzes surface models and generates a topological structure for them that meets rapid prototyping requirements for a closed volume with a continuous, closed boundary