“第二十七届中国国际表面处理展”报道

2014年12月3-5日,第二十七届中国国际表面处理展览会在广州琶洲广交会展馆举行,有来自17个国家和地区的279家企业参加了本次展览。《电镀与涂饰》杂志设立了独立展位(展位号13.2L11),免费派发了2014年第1~22期杂志,共计3 300余册,并协助广告客户免费派发了产品资料。杂志接待人员认真听取了来访观众对《电镀与涂饰》杂志的意见与建议,并拜访了参展的杂志广告客户。     

清水混凝土疏散平台板预制关键技术

北京地铁昌平线高架区间应急疏散平台板首次采用了清水混凝土防滑要求设计,8 000余块清水混凝土疏散平台板具有外形结构复杂、混凝土含钢量大以及尺寸多变化、施工工期短的预制技术特征.通过对疏散平台板预制过程重点和难点的认真分析和把握,采用组合式立模板+机组流水法预制工艺;活动插板、可更换不同宽度的钢模板设计,牢固可靠,操作便利;成功配制高性能混凝土;加强混凝土施工和养护控制、压面控制、成品保护和运输方法的改进;以及采用北京市最新的地方标准控制生产操作质量和验收产品质量;圆满地实现了清水混凝土疏散平台板既定的质量和工期目标.安装后的清水混凝土疏散平台板整体颜色均匀,板面中的防滑点分布均匀,自然流畅,清水效果和使用功能完全达到了设计要求,提升了地铁高架区间用混凝土疏散平台板预制质量和功用品质,取得了良好的社会经济效益.     

PTS瞬态流动与换热数值模拟研究

为了研究压水堆因“直接安注”冷水注入压力容器下降环腔而导致的承压热冲击（PTS）热工水力问题,基于1:10比例模型,应用计算流体力学软件FLUENT5.4进行了紊流流动换热的数值模拟分析,同时进行了常压瞬态传热实验研究。针对下降环腔折算流速0.5 m/s,安注流速10m/s的典型工况,研究了安注水开启后下降环腔内的瞬态流动换热特性,数值模拟与实验结果吻合良好。考察了压力容器安注接管出口区环形焊缝区及堆芯段筒体中子强辐照区所承受的热冲击状况,基于稳态流动研究了下降环腔内流体混合特性及流动机理,为热冲击分析提供参考。     

广义不可推断属性符号化算术验证的研究

多级安全系统中机密数据的泄漏本质上是信息的非法流动.广义不可推断属性刻画了不同安全级主体之间合法的信息流动.在系统应用之前,验证其满足广义不可推断属性,可以排除各种隐蔽数据泄漏,保护数据的机密性.传统的广义不可推断属性验证方法——"展开方法"——验证的仅仅是属性成立的一个充分非必要条件,因此是不完备的.基于证伪技术提出一种完备的广义不可推断属性验证方法,该方法通过逐步搜索长度递增的使广义不可推断属性失效的反例来完成验证过程.为确保搜索过程能正确终止,即方法的完备性,提出状态转换系统的双构造运算,并在此基础上基于图结构理论给出最短反例的上近似计算.进一步为提高验证方法的时间效率和降低对内存空间的需求,将反例搜索和上近似计算归约为量化布尔公式满足性求解问题,借助于高效的满足性求解程序完成属性的验证,实现了验证过程的符号化计算.最后通过一个磁臂隐通道的实例说明验证方法在实际的隐通道分析中的应用.     

推动合格评定与产品认证服务促进北斗卫星导航系统全球化应用

2013年9月，国务院发布了国家卫星导航产业中长期规划，其中在保障措施中提出：加大标准宣传力度，完善标准信息服务、认证、检测体系，做好标准实施的监督工作，推动合格评定与产品认证服务的发展及国际合作，促进北斗卫星导航系统全球化应用。在此背景下，本文对国内外全格评定与卫星导航产品认证情况进行了研究分析，就北斗卫星导航产品认证运行模式、内容范围和业务流程提出了实施建议，为我国推进北斗星导航产品认证服务提供参考。     

厚壁三通管件非等温横向射流的数值模拟研究

为了研究压水堆核电站冷却剂系统中厚壁三通管件的热应力问题，模拟了速度比分别为0.05和0．5条件下的非等温横向射流，并通过固体区域与流体区域的耦合传热计算，获得了厚壁管件的温度分布。计算基于有限容积法，采用κ－ε紊流模型，计算结果与实验吻合良好。通过研究流速比横向射流的流动和传热特性，从流动机理上考察了流动结构对构件温度分布及热应力的影响，指出在实际运行中可能对厚壁三通管件产生热冲击，从而引起构件热疲劳破坏的主要因素。定性地讨论了不同流速比下构件承受的热冲击状况，为运行参数及构件的优化设计提供了理论依据。     

统一扩频测控体制的初步探讨

分析了我国航天测控面临的新问题、新要求和现行航天测控体制的局限性，对新的统一伪码扩频测控体制进行了初步的描述和设计。     

带热套管的T型接管内流动换热的数值模拟和实验研究

为了分析核反应堆冷却剂系统中带热套管T型接管内由于注入非等横向射流导致的构件热冲击状况，本文应用计算流体力学商用软件FLUENT5．3进行了紊流流动换热的数值模拟，分析了主管及接管与热套间环腔内的流动换热特性，针对套管上开有通流小孔，并采用凸台支撑的热套管结构形式，模拟了射流与主流流速比为0．05及0．5两种典型工程，传热实验，研究了主管及接管内壁近壁区域的传热特性，并讨论了热套管尺寸变化对接管热冲击的影响，结果表明，数值模拟与实验数据吻合良好，热套管对构件的热保护程度与热套管结构形式及流速比密切相关，适当减小流速比有利于改善构件热应力状况。     

承压热冲击下压水堆压力容器壁面换热特性的数值模拟研究

为了研究压水堆因安注冷水直接注入反应堆压力容器下降环腔而导致的承压热冲击（PTS）热工水力问题，基于1∶10比例模型，应用计算流体力学商用软件FLUENT5．4进行了紊流流动换热的数值模拟分析，同时进行了常压传热实验研究。针对下降环腔折算流速0．5m/s，安注流速10m/s的典型工况，研究了压力容器下降环腔的壁面换热特性。通过分析下降环腔内的流动及混合特性，从流动机理上解释了压力容器内壁上准重接触点附近换热强烈的现象，并指出壁面换热强弱与近壁流体紊流脉动动能密切相关，为热冲击分析提供参考。     

面向无传递性安全策略的语法信息流分析方法

传统的语法信息流分析方法均基于实施机密性安全策略的信息流格模型,而格关系的传递特性使得该方法不能用来分析实施无传递性安全策略的系统的安全性。提出一种新的标识隐蔽信息流的语法信息流分析方法,该方法对实施具有传递性和无传递性安全策略的系统均适用。将信息流语义附加在每条语句之后,定义一种称为信息流时序图的图结构来刻画信息流发生的时序关系,给出了基于源程序的信息流时序图的构造方法,提出了一种基于时序图的隐蔽信息流的标识算法。另外,针对并发程序的并发特性,提出了一种简化信息流时序图的方法,在该方法下只要考虑并发进程之间特定的交互次序即可,而不需要考虑所有可能的交互方式。