文丘里气液分布管的实验研究与数值模拟

依据文丘里管渐缩渐扩的特点,设计了文丘里气液分布管,在底面出口采用挡板来阻挡中心区流体,实现液体的均匀分布。在=27 cm的空塔中,通过冷模实验观察了单个分布管内喉管段直径以及气液流量对分散效果的影响,同时应用计算流体力学CFD软件对分布管进行数值模拟,并在=1 m的空塔中,考察了由多个文丘里分布管组合成分配塔盘的分配效果。结果表明:当分布管喉管段直径较小时,在喉管段气液两相流形成分散流,经过底面出口挡板的碎流作用后,液体分布均匀;多个分布管的组合能优化分散效果,改善分配性能。     

基于数据分组处理方法的聚类分析模型

与通常的聚类方法相比,客观聚类分析方法能自动、客观地确定聚类个数并找到最优聚类方案.通过算法步骤的剖析和算例分析,对客观聚类分析方法的核心构件,即一致性准则的不足进行了评价.利用偶极子给出了新的一致性准则,提出了数据分组处理(GMDH)聚类分析方法.从理论分析和实证比较两方面论证了新的一致性准则的优越性,指出了GMDH聚类分析方法是客观聚类分析方法的发展.     

关中地区木轮大车系驾构件制作技艺研究

关中木轮大车于2016年入选陕西省第五批非物质文化遗产代表性项目名录。鉴于前人对木轮大车系驾构件制作技艺的忽视,文章依据连接位置将系驾构件分为系马构件、驾马构件两类,并详细记录了系驾构件的结构和制作工艺流程,以及系驾构件与车辆的连接过程和马与车的装套卸载过程。对比其他地区的系驾法,构件在材料、形状和结构上虽有差异,但在与车的连接顺序和与马的装套脱车方式上基本相同。从古代系驾法的发展情况来看,关中地区木轮大车系驾构件制作技艺蕴含重要的民俗文化内涵,对研究中国古代系驾法具有重要的参考价值。     

基于构件检索的构件适配模式

针对传统的规约匹配可能出现的部分匹配问题,定义了输入适配、输出适配、串行适配、选择适配和递归组合模式等5种构件适配模式,并将其按照原子构件和复合构件的适配方式进行分类．通过研究原子构件适配模式所具有的清晰的前后置条件约束和逻辑关系,进一步从适配理论上分析了相应的复合构件适配算法的可行性．将切片思想引入需求规约的描述,得到分解的子规约,能较好地精化检索条件,从而提高构件检索的杏伞率和杏准率,并提高库中构件的可复用件．     

构件对软件构架可靠性作用的分析

通过使用基于构架的软件可靠性模型对软件构架的可靠性进行了估算和分析,探讨了在软件构架中如何快速判断哪个构件对整个软件构架的可靠性影响较大或较小.同时,给出了判断的一般思路,并提出了如何进一步提高判断准确度的若干可行方案.     

二维非定常4-Laplacian问题的多重网格规约时间并行解法器

未来计算性能的提升依赖的是更高的并发度,而不再是更快的时钟频率,这将致使传统的时间步进算法成为数值模拟非定常问题的一个瓶颈.该文实验性地探究求解二维非定常4-Laplacian问题的具有高并发度的并行解法器,其中全离散格式为向后Euler格式和双线性矩形元,时间并行策略为通信器和进程分组下基于完全近似格式的多重网格规约时间算法.数值对比实验表明:基于F-FCF松弛、细/粗时间网格层的粗化因子为16/4的MGRIT算法具有更高的并发度,相对文献[Falgout,et al.SIAM J Sci Comput,2017,39:S298-S322]中的最优MGRIT解法器,它可提速2.4倍.     

基于博弈论的开放环境下场景规约监控语义

在开放环境中,环境和系统本身行为的改变可能使得软件系统的实现不再满足原来规约,从而最终导致软件失效的发生.运行时监控是一种轻量级的形式化动态验证技术,已成为开放环境下检测软件失效的基本手段.针对基于场景的规约属性序列图,从博弈论的角度定义其多值监控语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控和违例.通过多值监控语义的定义,监控器能够根据当前轨迹尽可能早地检测到系统失效或异常,并提供足够信息为失效的预防和恢复服务.实例研究表明了属性序列图多值监控语义的实用价值,并显示了其广泛的应用前景.     

面向云-端融合的移动互联网应用运行平台

与传统的互联网应用相比,移动互联网应用尽管也运行于Web技术栈之上,但移动设备的便携性和多样性,带来了客户端设备计算能力相对有限、数据存储随需而变、显示屏幕大小不一、本地应用与Web应用和服务难以交互等技术挑战．为此,本文设计实现了一种面向云一端融合的移动互联网应用运行平台．首先,提出一种符合移动互联网应用体系结构的构件模型,将客户端应用划分为数据、计算、界面和服务四个部分;其次,设计了一种实现云一端资源融合的构件运行框架,支持应用数据的按需存储、计算任务的云端迁移、以及用户界面的动态切分;再次,设计了一种实现云一端服务融合的组装框架,支持客户端本地应用和传统Web应用的服务封装、和基于总线的服务即时组装;最后,基于Chrome浏览器实现了平台原型,支持基于HTML5和JavaScript的移动互联网应用,通过多个Web应用基准测试集和热点应用的实验,验证了平台的有效性和可行性．     

ID3算法在构件库中的应用

随着人们对数据挖掘理论知识的不断研究和探讨,数据挖掘技术和应用领域日趋成熟和广泛。在数据挖掘技术中,决策树方法是用于分类和预测的重要方法之一。本文对决策树构造方法中最为常用的ID3算法进行分析和研究,并将ID3算法在构件库中进行应用,证明了决策树分类方法在构件库领域中的应用前景。     

程序规约变换技术在程序设计中的应用

算法设计是程序设计的难点和关键。本文利用程序规约的变换技术得到了排序问题和最长升序问题的算法,并清晰地展示了程序设计的过程,为算法程序设计提供了一种有效的方法和途径。