摘要：云计算环境下服务的动态性和易失效性是云应用的重要挑战,服务替换是其主要对策和关键研究问题。在类型论的支持下提出了一种新的云服务替换判定方法,该方法首先对会话类型论进行语义扩展以建模云服务行为,设计了典型云服务QoS类型实现服务质量判断,然后构造了语义会话类型和QoS类型的各子类型规则,最后以此完成了服务一致性和上下文兼容性命题判定与实施。通过应用判定实例展示和实验效果分析,表明该判定方法可行,并能为组合服务应用带来更高的执行成功率。

摘要：为有效解决网格计算环境中的负载平衡和容错问题,提出了面向传统和服务执行方式的分布式调度模型。在该模型中,采用冗余和智能代理技术,以解决网格服务级的负载平衡和容错,同时兼顾了任务级的运行情况。通过引入并定义信誉度的概念,简洁地表征网格资源和网格服务的可用性,同时将其作为调度决策和代理实施的重要工作参数。系统利用环境监测代理检测网格环境,设计平衡代理以辅助调度器来完成动态负载调整和容错。各代理之间利用代理通信语言来进行信息交换。进行相宜的模拟试验,结果表明此模型及其辅助机制能较好地适应网格环境。

摘要：为了改善无线传感网(WSN)的数据传输汇聚能力,提出了基于稀疏密集阵传输机制的WSN数据传输汇聚算法。引入核生成函数,设计了一种新的传输矩阵,将簇头节点与sink节点之间连通程度及负载程度进行量化,以提升簇头节点传输效果的评估能力;采用特征向量按列排序并结合卷积算法降低簇头节点传输值,以有效减少簇头节点负载;采用树分解模式搜寻可用哈密尔顿回路,构建了基于路径分解优化机制的汇聚稳定方法;通过使用哈密尔顿寻址来优化叶子节点与根节点之间的数据链路,以增强簇头节点覆盖能力与提高数据传输过程的稳定性能。仿真实验表明,与当前常用的基于阈值筛选模糊分簇的WSN数据稳定汇聚算法和面向医疗应用的无线传感器网络多径数据传输方法相比,所提算法具有更为集中的传输报文集中度,以及更高的传输链路抖动控制能力和网络汇聚带宽。

摘要：随着“互联网+教育”的发展,众多高校纷纷开始尝试“传统线下课堂+智慧线上课堂”相结合的混合式教学改革实践。为促进混合式教学效果的提升,对混合式教学全过程中的学情数据进行采集与分析,通过对学生在学习活跃度、学习资源偏好、学习掌握效果等特征维度的学情分析,为教师在预警高风险学生、实施分层分类教学、根据教学情境提取教学难点等方面提供精准的数据服务支持,从而辅助教师有效开展精准施教进而提升教学质量。研究结果表明,以数据为支撑的学情特征分析是实现个性化、精准化、情境化教学的强劲驱动力。

摘要：随着互联网时代的不断发展,人们沟通的工具除了即时通信工具外,各大论坛、博客技术也逐渐发展起来,实现多用户之间的交互,不同用户可以彼此访问对方的博客、评论、留言等。博客成为另一个具有影响力的自由媒体。博客网站是当今网络的热点,个人博客技术的出现使得每个人可以零成本、零维护地创建自己的网络媒体,Blog站点所形成的网状结构促成了不同于以往社区的Blog文化,Blog技术缔造了＂博客＂文化。该平台基于Spring MVC＋Mybatis＋Spring框架进行项目搭建,采用Java Config＋Maven及Mybatis实现一套高效,简洁和实用的博客系统。

摘要：直升机进气系统结冰将改变其空气动力学特性,可能会影响发动机正常工作,造成安全隐患。为了研究某型民用直升机进气系统在结冰条件下的工作状况,以适航规章为基础,开展了进气系统结冰风洞试验,重点分析了典型运行状态下进气防护网上的结冰情况以及进气道出口总压系数变化情况。试验结果表明,在所研究的试验条件下,进气防护网上均会出现不同程度的结冰情况,结冰表面呈光亮、透明、致密等特征;由于进气防护网上结冰程度的差异,进气道出口总压系数的变化也有所不同;1200m高度巡航飞行和最大速度飞行时,进气道出口总压系数降低较为明显,但仍在某型发动机允许范围内。

摘要：目的改进亚硫酸氢钠测序法,并检验改进后方法在甲基化检测中的可行性。方法提取人肝癌细胞株HepG2基因组DNA,亚硫酸氢钠化学修饰,针对修饰后Ras相关家族1A基因(RASSF1A)启动子序列设计特异引物并结合沉降PCR扩增,T-A载体克隆、测序。结果HepG2细胞RASSF1A基因启动子CpG岛的16个CpG位点均被甲基化。结论改进后亚硫酸氢钠测序法能明显减少非特异性扩增,提高PCR效率,更适于基因甲基化状态的检测。

摘要：一种全装配式的、以轻钢龙骨为框架，内填高效保温材料，外覆工业化生产薄板的外墙外保温体系。本文介绍其主要材料及要求、墙面设计、保温效果和工料分析等。

摘要：实时定位与环境的三维重构已经成为越来越活跃的研究课题。随着增强现实技术的快速发展,移动设备了解自身位置与周围环境的需求越来越重要。增强现实想要实现追踪、物体识别,实现虚拟数据与现实场景相结合,就必须得到精确而可靠的位姿估计和周围详细的三维场景。相对于其他诸如谷歌眼镜等专用于AR的设备,智能手机作为当前应用范围最广的设备,在智能手机上实现实时定位与制图就变得非常重要。本次研究针对这种情况,基于当前最先进的单目视觉SLAM算法之一ORB-SLAM上实现了智能手机平台上的实时定位与三维重构,并对ORB-SLAM算法进行针对于Android上的优化,使应用可以在近年的智能手机硬件上进行实时定位与三维重构的效果,并且在ORB-SLAM的基础上实现了半稠密的三维重建,可以获得周围环境的轮廓信息而不是地图上稀疏的散点。应用获得到的结果可以用于物体识别与导航以及更有意义并且更加丰富的AR应用。