压力流屋面雨水排水系统的计算方法

本文主要对压力流屋面雨水排水系统的工作机理、设计计算方法进行了阐述,并且结合工程实例,提出压力流雨水排水是工程应用的方向。     

合成类化学论文前言的审改原则及实例分析

针对合成类化学论文的前言撰写中常见的问题,以实例修改前后文对比和提出具体审改意见的形式,阐述了合成类化学论文前言的审改原则。     

论英语教学中应适当运用母语

本文从介绍我国英语学习者的学习特点出发，以国内外第二语言写作中的母语迁移理论为基础，结合相关研究结果，探讨了母语对英语教学的可能影响即母语的“迁移”作用。并结合教学实际，从输入和输出两方面探讨了合理利用汉语、使之促进英语学习效果的具体原则和方法。     

面向机构运动方案设计的CBR关键技术研究

简述了 CBR的基本原理。根据机构运动方案设计的基本原理 ,提出从功能的角度对机构运动方案进行分类 ,运用 CBR技术解决机构运动初始方案的选择问题。采用两级实例的描述模型 ,用框架作为机构运动方案实例的描述手段。比较详细的叙述了实例检索模型的建立及基于模糊优先比的相似实例检索过程。用基于框架的方案变换策略进行相似实例的改写     

基于全卷积神经网络迁移学习的乳腺肿块图像分割

针对乳腺X线摄片中肿块通常会被周围致密组织所掩盖,对比度低,且其形状不规则,肿块图像分割困难的问题,设计了一种基于全卷积神经网络迁移学习的乳腺肿块图像分割方法.该方法首先对乳腺肿块图像进行数据增强,然后利用迁移学习,对设计的全卷积神经网络模型载入参数并训练分割模型,最后在训练好的模型上对待分割图像进行处理.分割结果采用区域面积重叠率、Dice相似系数、Hausdorff距离等指标进行评价分析,在公开数据集的483幅图像上的实验结果表明:提出的方法的分割效果明显优于传统分割算法.     

地基基础加固及顶升纠偏工程实践

金川金属材料有限公司热力供应站,位于兰州市榆中县和平镇科技工业开发区金川金属材料有限公司园区,热力供应站烟风系统包括湿式除尘器、烟道、引风机。由于地下直埋给排水管道破裂及湿式除尘器漏水,地基土严重浸水,产生湿陷变形,导致湿式除尘器、烟道、引风机基础产生不均匀沉降,上部构筑物严重倾斜。其中,1#除尘塔基础最大沉降量105.1mm,最大倾斜39.47‰。1#烟道基础最大沉降量36.3mm,最大倾斜14.4‰。引风机基础大沉降量35.1mm,最大倾斜13.5‰。     

面向可扩展集群环境的快速虚拟机迁移方法

在集群环境下,为了提高虚拟机Xen的迁移效率,提出了一种面向可扩展集群环境的快速可靠的虚拟机迁移方法.通过在分布式文件系统GlusterFS中增加Heartbeat监测模块,实时监测集群环境中物理机节点的加入与退出,动态创建或修改GlusterFS文件系统的配置文件.为了使GlusterFS文件系统能够自动管理节点,设...     

线性时序逻辑转换Büchi自动机的按需即时算法

将线性时序逻辑公式转换成Büchi自动机是显式模型检测中的关键环节,Tableau规则是常用转换算法。该文提出了基于Tableau规则的改进算法,将线性时序逻辑公式转换成基于迁移的Büchi自动机。通过在状态和迁移中加入∪公式的满足信息,实现了用一个接受条件集合判断执行序列是否可接受,避免了使用多个接受条件集合进行判断。改进算法引入了按需即时(on-the-fly)去扩展化机制,算法展开状态节点的同时进行状态有效性检测,删除无效节点,合并等价状态和迁移,避免了后置化简。与其他转换工具进行比较实验表明,该算法具有执行速度快、生成自动机的状态数和迁移数少的特征。     

板几何中一类具连续能量的迁移算子的谱分析

本文研究了板几何中一类具各向异性、连续能量、均匀介质的迁移算子的谱,得出了该算子A在带域Pas（A）中无复本征值和由有限个具有限代数重数的实离散本征值组成等结果。     

基于通讯录的构件通信和动态迁移算法

可用资源动态性是因特网环境的重要特征之一.通过迁移应用构件可以调节这种动态性,但必须解决构件透明寻址和构件迁移前后的一致性问题.现有工作在构件迁移一致性方面存在不足.提出一种基于通讯录的构件迁移模型以及通信算法,它借助Home站点和组播通信机制解决了上述问题并且具有较好的系统可扩展性.