基于集群的轻量可扩展TCP容错方法

针对现有TCP容错方案在高可用性方面的不足,提出了一个新的容错方案——轻量拷贝的传输控制协议ER-TCP.该方案采用日志管理配合主动复制的方法,可降低通信转发结点的负载;采用高效的同步算法可以减轻多个备份服务器的同步对通信造成的性能损失．与其他TCP容错方案进行性能测试的结果比较表明,ER-TCP对通信造成的性能损失小,在多个备份服务器的情况下ER-TCP仍可保持较高的通信效率．     

儿童计算思维发展的个体差异表现及其产生机制

计算思维是一种解决问题的思维方式,在信息时代具有重要意义.在计算思维的培养过程中,认识和尊重个体差异至关重要.为探讨儿童在计算思维方面的个体差异及其产生机制,文章首先从年龄、性别和社会文化背景3个方面剖析计算思维个体差异的表现,在此基础上,借助生态系统理论,从微观系统、中间系统、外围系统、宏观系统和时间系统等层次阐释个体差异的产生机制,并系统思考上述分析对计算思维理论及教育实践的启示,以期为促进我国计算思维教育的进步和发展提供参考.     

杂货船装运木材的稳性核算

货物的重量和体积只有参考数据或者没有数据,是杂货船装运木材经常遇到的问题,给货物配载和稳性计算带来了相当的不便.根据某船多年的装船经验,探讨了一种在装货过程中,对货物重量,尤其是甲板货的重量进行测算以及核算船舶初稳性高度的方法,为船舶驾驶人员在运输木材时正确装船提供了依据.     

基于nested-loop的大数据集快速离群点检测算法

针对已有的多数离群点检测算法存在扩展性差,不能有效应用于大数据集的问题,在已有的基于距离的离群点检测算法的基础上,设计模信息表存储结构,利用向量内积不等式关系以及合理的存储分配和调度策略,提出一种高效离群点检测算法DBoda.该算法通过在预处理中存储每个点的模信息,减少点间距离的计算量,并对嵌套循环方法进行优化,进一步减少I/O的开销.理论分析和试验结果表明,所提算法具有时间消耗小和适用于处理大数据集的特点,可以有效地解决离群点检测中的算法时间复杂性和算法扩展性问题.     

模板技术在量子逻辑电路优化中的应用

为了提高量子逻辑电路的优化技术,减小量子逻辑电路的代价,对现有的模板技术进行了研究与分析,发现Maslov等人的模板并不完整,体现在模板控制线的寻找不完全.通过引入模板控制线库的概念,重构了模板,重构后的模板并不实现恒等的函数功能,但通过模板生成法则,可以动态生成更多的有效模板.同时给出了利用该方法优化量子逻辑电路的算法.数值实验结果表明,应用重构后的模板优化所有的3×3可逆电路,电路门数量均值减小到6.22.该方法在利用模板优化量子逻辑电路方面具有更高的效率和匹配成功率.     

基于多边形最优一致逼近形式的上限有限元法

传统的上限有限元法采用外切多边形来逼近摩尔库伦屈服圆,该方法只有当多边形边数足够多时计算结果才比较精确,这往往导致线性规划规模过大,收敛速度较慢,给工程应用造成一定的影响。针对此问题,放松任意一点均须从上方严格收敛的上限性质,采用多边形最优一致逼近的形式构造线性化屈服函数和塑性流动方程。算例证明该方法求解规模更小,收敛速度大大提高。     

粉末微波滤波器的制备和特性

利用通电导线的电磁感应和铜粉的趋肤效应,试制了在超导量子计算实验系统中使用的粉末微波滤波器.滤波器的频率响应随频率升高而平缓下降,在1GHz左右衰减至-80dB.我们分析了滤波器的原理,并通过改变参数对滤波器性能的变化进行了详细的研究.     

喷淋蒸发翅管式冷凝器传热传质研究

采用蒸发式冷凝器可以降低制冷装置不可逆传热损失,提高机组效率。该文提出在制冷装置中采用喷淋蒸发翅管式冷凝器,分析了喷淋蒸发翅管式冷凝器的传热过程,建立其传热传质数学模型和设计计算方法,简要分析了环境温湿度、管翅结构、风速、淋水量等一些主要因素对传热传质性能的影响,为该种冷凝器的设计和应用提供理论参考。     

高温超导带材交流损耗的数值计算与分析

高温超导带材在许多领域得到越来越广泛的应用。交流损耗计算对于高温超导带材具有重要意义。该文介绍了两种交流损耗的数值计算模型,并以其中一种模型为例,对带材的交流损耗进行计算,与Norris公式计算结果作了比较,证明结果有效。最后提出了交流损耗数值计算中存在的问题。     

二元共聚物组成曲线变化率临界点的计算及应用

二元共聚物组成曲线的研究在实际生产上和理论上都具有重要的意义,相关研究较多。但是有关曲线上变化率临界点的研究并未见诸文献报道。本文计算了在理想共聚和非理想共聚条件下该临界点的具体位置,并分析了它的可能应用。