区间值序信息系统中差别信息树的属性约简

属性约简是粗糙集领域的一个热门研究课题,而差别矩阵是获得属性约简的有效方法。然而,差别矩阵含有重复元素,增加了获得约简所需要的时间。差别信息树的提出解决了差别矩阵含有重复元素的问题,实现了对差别矩阵中非空元素的压缩存储。但是差别信息树是在等价关系下的差别矩阵的基础上提出的,并没有考虑序决策信息系统的情况。在区间值序信息系统的背景下提出了基于可分辨矩阵的差别信息树,解决了可分辨矩阵中存在冗余元素的问题,实现了对可分辨矩阵中非空元素的压缩存储。得到了该树的相关性质定理并对其进行了验证,并在此基础上给出区间值序信息系统的基于差别信息树的完备的属性约简方法。最后给出了实证分析,验证了该方法的可行性以及有效性。     

含不凝性气体蒸汽浸没射流冷凝压力振荡实验研究

实验研究了不凝性气体（空气）含量、水温和蒸汽质量流速对蒸汽浸没射流冷凝压力振荡特性的影响，实验工况横跨冷凝振荡（CO）区和稳定冷凝（SC）区。结果表明：对于纯蒸汽射流，压力振荡主频随水温的升高而降低，振荡强度随水温的升高而升高；在CO区，振荡主频和振荡强度均随蒸汽质量流速的升高而升高；在SC区，振荡主频随蒸汽质量流速的升高而降低，振荡强度基本上不随蒸汽质量流速的变化而发生改变；对于含空气射流，随空气质量分数的增加，振荡主频总体呈下降趋势，振荡强度先迅速下降后小幅上升，在空气质量分数为0.05～0.1区域内振荡主频和振荡强度均存在极小值。     

重力注水过程流动不稳定现象关键影响因素研究

重力驱动注水过程中由于流量较小以及蒸汽的积聚可能导致流动不稳定现象的发生，对核反应堆安全运行具有重要的影响。通过实验研究的方法，搭建了重力注水模拟实验装置，研究了不同蒸汽出口形阻、高位储水箱水位和加热棒初始温度下流动不稳定现象的变化规律。结果表明，重力驱动注水过程流动不稳定现象包含冷却水初次注入阶段、注入水逐出阶段和冷却水再注入阶段等。在一定冷却水初始温度、冷却水入口形阻以及系统压力下，蒸汽排出速度以及实验本体内筒顶部的聚集情况取决于蒸汽出口形阻，减小蒸汽出口形阻可加快蒸汽排放速度，压力峰峰值降低、振荡周期变长，有利于系统稳定；提高高位储水箱水位加快了冷却水注入速率，增加了加热棒被淹没率，降低了流动不稳定现象的发生次数和持续时间；随加热棒初始温度的升高，冷却水流量出现了波动向停滞的转变，流动不稳定现象发生的次数增加且持续时间加长。     

建筑材料供应中断对承包商成本的冲击研究——基于鲁棒模型分析

为了揭示供应商与承包商为主体的二级供应链中，两者间耦合作用条件下发生的供应中断对供应商最优决策及对承包商成本的影响机制，且剖析供应中断对承包商成本的冲击效应，以供应商存在高退出风险为研究对象，在仅知产量均值与方差条件下，运用Scarf提出的“极大极小值”鲁棒决策方法，通过设定不同决策情况下的供应链系统反馈，分析了不同退出标准情况下二级供应链的博弈过程。基于理论支撑下的鲁棒模型数值仿真结果得出：在退出标准α为100时，中间变量在290~350范围内，供应商存在最优决策，但承包商最优决策无法确定；与α为0时相比，在订货量达到一定状态，即α为140时，承包商成本增加了1.5%，表明承包商成本与供应商退出标准呈正相关，退出标准越高，对承包商成本造成的冲击效应越大。此研究结论为供应链初期不稳定且信息不完整条件下发生的供应中断影响机理提供了新的视角。     

高供氧压力下高马赫数氧枪数值模拟

  以北方某钢厂100 t转炉为原型，建立顶吹转炉炉内流场的三维数学模型，采用Fluent软件研究了不同高马赫数氧气射流与熔池钢液速度流场分布之间的依赖关系。研究发现，高马赫数氧枪在Ma（马赫数）为2.0～2.3时，曲线平稳，为最佳供氧压力。在提高供氧压力的同时，氧气射流的最大速度、熔池钢液面的冲击直径及冲击深度也随之增加。模拟结果显示，氧气射流在设计工况氧压小于1.0 MPa时，射流之间相互干扰作用最弱；氧气射流在设计工况氧压力大于1.0 MPa后，冲击直径与冲击深度增幅较小。基于上述研究，在实际生产中应用了高马赫数氧枪后，并结合变枪变压操作工艺，可以改善熔池底部钢液流动状况、稳定转炉吹炼过程、控制炉渣喷溅。     

建设工程项目构建BIM协同工作体系的思考与实践

某公路工程技术难度大,工况复杂,在准备、设计、施工和竣工交付等阶段应用BIM技术加强管理,保证各项目标实现。在总结经验教训的基础上提出应构建以业主为核心的BIM实施协同工作体系等观点。     

基于XML的信息物理融合系统组件建模与仿真

信息物理融合系统（CPS）涉及多种计算模型的集成和协同工作，针对CPS设计方法不统一、重塑性差、复杂度高、难以协同建模验证等问题，提出一种结构化、可描述行为的异元组件模型。首先，用统一组件建模方法进行建模，解决模型不开放问题；然后，用可扩展标记语言（XML）规范描述各类组件，解决不同计算模型描述语言不一致和不可扩展问题；最后，用多级开放组件模型的协同仿真验证方式进行仿真验证，解决验证的不可协同问题。通过通用组件建模方法、XML组件规范描述语言以及验证工具平台XModel对医用恒温箱进行了建模、描述和仿真。医用恒温箱的案例表明，这种模型驱动建立可重塑异元组件并确认其设计正确性的过程，支持信息物理协同设计和边构建边纠正，可避免在系统实现过程中发现问题时再进行反复修改。