二部图的(g,f)匹配

本文证明了二部图存在(g,f)匹配和f 因子的充要条件以及有关的几个结果,并且给出了求二部图的最大(g,f)匹配、最小(g,f)匹配和最小权最大f 匹配、最小权(g,f)匹配、最大权(g,f)匹配的算法。     

关于Tu-Deng函数的一个注记

2009年,Tu和Deng在一个组合猜想成立的基础上,构造了同时具有最优代数免疫性、最优代数次数和高非线性度的一类偶数元布尔函数.这类函数被称为Tu-Deng函数.基于同一猜想,Tu和Deng又构造了同时具有次最优代数免疫性、最优代数次数和较高非线性度的一类偶数元的l -阶弹性函数.通过研究由Tu-Deng函数导出的两个布尔函数的级联的密码学性质,在Tu-Deng猜想成立的基础上,给出一类奇数元的1 -阶弹性布尔函数.这类函数同时具有次最优代数免疫性、最优代数次数和较高非线性度.     

环状两相流空泡份额新析

对圆管内环状两相流的空泡份额进行了分析.首先推导出气相摩擦乘子的一般表达式,然后求得空泡份额与滑速比的解析式,并进行了分析讨论.与有关文献结果的比较表明:在一定的压力范围内文中所得的解是正确、可信的.     

扩展弧超音速等离子喷涂系统及其陶瓷涂层特点

本文介绍了八十年代末出现的超音速等离子喷涂系统,分析了稳定集聚的高热焓、超高速的超音速等离子焰流的形成机理及其对喷涂颗粒的作用,比较了超音速等离子喷涂与常规的大气等离子喷涂的陶瓷涂层的质量,指出超音速等离子喷涂是一项用于获得高质量的陶瓷涂层的新技术.     

非均一系动态过滤问题电路模拟解

本文根据从管道流体系统中导出的电路模拟元件,分析了层流状态下过滤单元的造型,指出了动态固、液分离的可行性,给出了网络模型,讨论了有关设计中的问题。     

逻辑程序设计与关系数据库集成的一种基于预编译的解释方法

本文在研究逻辑程序设计与关系数据库的两种集成方法(解释和编译)的基础上,提出了一种新的基于预编译的解释方法,该方法保持了前两种方法的优点,克服了它们的不足。基于此方法,文中介绍了一个相应的集成系统的原型及主要实现技术,其中包括物理级的耦合连接,逻辑级的语言合成,源程序级的部分计算和静态优化,以及动态执行过程中的事实调度和版本管理等。目前,该原型作为知识库管理系统GKBMS 的内核,已投入实际应用。     

巨型计算机的前端工作站的设计(软件部分)

巨型计算机的前端工作站是巨型计算机系统的重要组成部分,它实现了主处理机与前端处理机的互联。文章从功能与结构两个方面阐述了前端工作站的设计,并且简要地介绍了通讯协议。前端工作站已研制成功并正式投入了使用。     

潜射导弹出水过程空化流数值计算

运用Zwart-Gerber-Belamri空化模型,采用动网格和复合网格技术,提出复杂外形潜射导弹出水过程中空化流数值计算方法。对头肩部、舵面及突起物的空化生成、演化及影响因素进行分析。仿真结果表明:出水过程初期空化数降低使附体空泡迅速扩大,随后对空泡脱落与振荡的影响将更为显著;肩部以15 m/s的速度出水时产生空化并随速度上升而迅速增长,5°~10°攻角时肩空化非对称性显现;舵面空化受出水速度影响较小,攻角小于等于5°时空化面积小于全舵面积的10%,但攻角大于5°后空化面积迅速增长至50%以上;减小突起物尺寸有利于避免空化产生,突起物空化受攻角影响较小,但在高速下可诱导临近弹体产生空化。     

流编程模型下的存储一致性模型

在流编程模型下建立了一个新的存储一致性模型--流一致性模型,它比传统的释放一致性模型更加松弛.讨论了流一致性模型对程序设计和系统设计的要求,给出了一个正确的系统实现,并且指出流一致性模型的编程和实现并不比现有的一致性模型复杂.     

集中控制混合网络中基于流的资源分配算法

集中控制混合网络中,异构化网络内部的流量具有一定的规律和特性,如果使用原有的单一的离散式最大极值和无状态的网络资源调度算法,忽略了异构网络规律,会造成网络利用率较低、易震荡、部分网络流延迟等问题。通过分析由集中控制网络和普通网络组成的混合网络的拓扑结构,对混合网络结构中常见问题如流闪现、不能估计的流、路径堵塞或连接震荡场景进行分析,并提出基于期望和状态的流量评价资源规划算法POS和POS-FME。算法考虑混合网络的运行状态,对系统可用资源进行评估,为系统中各种流匹配对应可用资源,并具有一定的预测作用,从而避免混合网络出现运行效率低下的场景。通过实验,POS算法和POS-FME算法相对传统算法,利用率提高了10%～30%,并降低了震荡和平均延迟。