国外工程承包的索赔取证探讨

索赔在国际工程承包业务中，是获取利润、规避损失的一个重要手段，这已是不争的事实。而索赔是一个综合、复杂的难题，更是人所共知。由于索赔牵涉到业主的利益和名誉方面的问题，其最后审定权在业主一方，如果缺乏充足的理由，没有周密的论证，要得到业主的认可和批准简直难于上青天。     

物联网海量数据的分布式存储算法

随着物联网技术的进一步发展以及应用规模的扩大,网络中的数据量呈几何级的疯狂增长,众多传感器终端的大量信源势必呈海量趋势.面对不断增长的数据,海量数据的存储不均匀的问题将成为限制物联网充分发展的＂瓶颈＂.本文结合分布式云存储系统的架构性优势,在其基础上针对物联网异类数据实时存取特点,在多个数据中心对海量数据进行边缘化存储处理.为此本文提出了一种点对点的分布式存储方案,在方案中物联网各数据中心间采用云架构分级式存储,通过存储信息的交互推动,使各数据中心协同工作,达到对物联网中原始数据流有序分散负载均衡.实验证明,本文提出的方案能够实现物联网中海量数据的边缘化存储和负载均衡.     

基于低功耗图像采集的蓝藻在线监测装置

本文实现了一种基于低功耗图像采集的蓝藻在线监测装置.通过使用低功耗采集控制器、实现摄像机供电及图像采集控制及合理的通信方式,监测装置实现了极低的功耗;通过设计的专用图像文件传输控制协议,监测装置实现了窄带信道中的图像文件快速可靠传输.     

面向跨域可信的泛中心化区块链DNS架构研究

DNS 系统是重要的互联网基础设施,采用中心化层级式结构,在根区存在中心化现象,导致单点故障风险、中心权利滥用风险等缺陷。设计新的泛中心化 DNS 架构将使域名系统从依赖中心的单一信任域,变为多个以顶级域名为根相互平行的信任域,存在跨域可信的研究挑战。围绕跨域可信架构的设计,在架构设计层面采用控制与解析分离的思想,提出双区块链 DNS 架构;在数据层面的跨域验证方面设计了基于单向累加器的验证方案,将传统验证过程 O(N)的时间复杂度降为接近 O(1);在关键技术的性能层面,结合DPoS机制与BFT算法提出CDBFT算法,平均吞吐量可以达到736 TPS（transaction per second）。并用理论推导和实验验证了架构在安全、性能及可扩展性方面具有优势。     

生态河流动力学研究的进展与挑战

水利工程的建设和运行将导致水沙发生变化、河床发生演变。这些变化还引起了河流中水、沙、营养盐之间的分配关系发生变化,从而导致床面生物膜、浮游动植物、底栖动物以及水生植物等相应随之改变。针对这些变化的系统研究,本文提出了生态河流动力学的概念及理论框架,梳理了生态河流动力学研究中涉及的多个方面的研究进展,包括水沙输移及微地形演变的物理过程、营养盐和污染物质随泥沙输移的化学过程、以及水体中及床面处各类生物过程对于水沙输移及微地形演变的响应等,探讨了水沙输移与河流生物化学过程之间的相互耦合关系,进而提出了生态河流动力学研究所面临的多学科交叉、多尺度耦合等方面的挑战。     

基于无纺布检测浓度的微流控装置

目前微流控器件主要由玻璃或聚合物材料制成,而无纺布具有成本低、易加工、一次性等优点,为微流体材料提供了一种新的选择。本研究把蜡印染在无纺布上制备微流控器件,可以形成有效的蜡印通道,控制流体在内部通道扩散和流动。并把不同浓度的红色水溶性染料滴到通道中,利用图像处理算法检测其灰度值做浓度比对,发现在特定浓度下,灰度值呈现近似线性规律,可将其推广到生物医学现场检测等领域。     

QAR数据的数据融合算法

分析了QAR数据中影响飞机性能衰减的主要因素,采用自适应加权数据融合算法和扩展卡尔曼滤波算法对相关性能参数进行了状态参量的估计,并验证了自适应加权融合算法在外界环境影响较小时的便捷性和外界环境影响过大时的局限性.引入扩展卡尔曼滤波算法,加入高斯噪声的计算,提高了状态估计值的精确度,为航空公司改善飞机运行提供了参考.     

自动向量化中基于数据依赖分析的循环分布算法

循环分布是开发向量化程序的一个有效的方法。但是由于程序中的数据相关性,当前的自动向量化编译器实现完全的循环分布非常困难。因此,当前的自动向量化编译器一般采用简单的循环分布方法。以数据依赖关系分析为基础,从有无依赖环的角度分析了程序中语句的向量化能力,提出了基于语句向量化识别的循环分布算法,并在自动向量化中加以实现。通过此方法,可以充分地分析语句或依赖环的向量化能力,最终采用循环分布,将可向量化的语句与不可向量化的语句分布在不同的循环中。该方法可以处理当前的自动向量化编译器无法向量化的循环,对一些语句间有依赖关系的循环可达到较好的效果。     

实时人数计数系统

描述一个实时在线人数计数系统,该系统采用检测加跟踪的方法来实现人数计数功能。在检测阶段,采用MBLBP（multi-scale block LBP）特征,从运动区域上检测出行人。该特征速度快,并且在归一化下,能够适应多尺度的应用;在跟踪阶段,通过一个概率模型,将对行人的跟踪转化为对特征点的跟踪,并且在将检测目标和跟踪目标进行一一对应时,进一步利用各个目标内的特征点来完成相应的操作。最后用实际中不同场景下的视频,对系统的性能进行测试,同时还在一段公开的视频上进行了测试,实验结果表明,该系统能够在不同场景下较准确地实现人数计数功能。     

浅析高职院校计算机机房的管理与维护

学校机房管理历来是一项专业性强也较为烦琐的工作,对于职业学校来讲,计算机机房大部分承担着多门专业课的教学任务,同时承担着学校计算机文化基础课程、计算机语言等教学任务以及学生的自由上机实践,为了保证这些任务的优质完成,公共机房的管理就显的尤为重要。如何发挥学校机房的作用,使学校机房管理更加科学、规范、高效益是许多机房专职管理人员迫切需要解决的问题。本文主要围绕机房管理中的几个重要方面展开详细论述。