摘要:传统协同过滤推荐算法存在数据稀疏性、冷启动、新用户等问题.随着社交网络和电子商务的迅猛发展，利用用户间的信任关系和用户兴趣提供个性化推荐成为研究的热点.本文提出一种结合用户信任和兴趣的概率矩阵分解（STUIPMF）推荐方法.该方法首先从用户评分角度挖掘用户间的隐性信任关系和潜在兴趣标签，然后利用概率矩阵分解模型对用户评分信息、用户信任关系、用户兴趣标签信息进行矩阵分解，进一步挖掘用户潜在特征，缓解数据稀疏性.在Epinions数据集上进行实验验证，结果表明，该方法能够在一定程度上提高推荐精度，缓解冷启动和新用户问题，同时具有较好的可扩展性.

摘要:生态位因子分析方法是一种基于生态位概念的多变量分析方法，然而该方法在计算相关性时所使用的协方差只考虑了变量间的线性关系，而大部分变量间的关系是非线性相关的.互信息可用于衡量两个变量间相互依赖的强弱程度，且不局限于线性相关.本文提出基于互信息的生态位因子分析方法，采用互信息计算变量间的相关性，分析斑头雁在青海湖地区的栖息地选择情况以及栖息地适宜性，与传统生态位因子分析方法相比，所提出的方法改变了特化向量，提高了栖息地适宜性预测的准确率.

摘要:相变存储器（PCM）由于其非易失性、高读取速度以及低静态功耗等优点，已成为主存研究领域的热点.然而，目前缺乏可用的PCM设备，这使得基于PCM的算法研究得不到有效验证.因此，本文提出了利用主存模拟器仿真并验证PCM算法的思路.本文首先介绍了现有主存模拟器的特点，并指出其并不能完全满足当前主存研究的实际需求，在此基础上提出并构建了一个基于DRAM和PCM的混合主存模拟器.与现有模拟器的实验比较结果表明，本文设计的混合主存模拟器能够有效地模拟DRAM和PCM混合存储架构，并能够支持不同形式的混合主存系统模拟，具有高可配置性.最后，论文通过一个使用示例说明了混合主存模拟器编程接口的易用性.

摘要:斑点是图像中的一种基本灰度形态，在图像分析中有着重要应用.本文提出了一种新的斑点形态滤波器（Blob Form Filter，以下简称BFF），用于图像中斑点形态的目标检测.BFF采用了序位滤波原理，所以它对噪声具有较好的鲁棒性.实验结果表明，BFF可以有效地从受噪声污染的二值图像、灰度图像中检测出指定大小的斑点区域，并且抽出的斑点形态非常接近于斑点原有的形态.

摘要:论文答辩分组是高校管理中的常见问题，为保证分组的公平性和科学性，须考虑老师和学生间的若干限制条件，存在两个相互矛盾的条件——互回避原则和均匀原则.寻求最优的分组方案使两个条件都能尽量满足，是本文要解决的核心问题.通过建立数学模型，使答辩分组问题可用矩阵编码表示，并将两个冲突的条件整合为一个目标函数.然后采用单目标优劣交叉的微分进化求解该问题，通过构造合适染色体、适应度函数，进行初始化种群、优劣交叉、变异修正等操作，逐代进化得到最优解.为验证该方法的优越性，与一般算法求解效果对比，结果表明标优劣交叉的微分算法能够得到更科学的分组方案、更多的可行方案.

摘要:魂芯DSP是一款采用VLIW和SIMD架构的针对高性能计算领域而设计的32bit静态标量数字信号处理器.为了满足数字高性能计算的性能要求，魂芯DSP提供了丰富的复数指令，而编译器不能直接利用这些复数指令来提升编译性能.因此针对魂芯DSP芯片提供了大量的复数类操作指令的特点，在传统开源编译器Open64的编译框架基础上进行研究，实现了复数作为编译器基础类型和复数运算操作的支持.同时，通过识别特定的复数类操作的模式利用魂芯DSP上的复数类指令对程序编译优化.实验结果表明，该实现方案在魂芯DSP编译器上对复数程序优化后能够取得平均5.28的加速比.

摘要:目前，海洋信息化建设已成为我国海洋强国战略的重要支撑，但建设过程中缺乏统一规划、同质化严重、信息孤岛、智慧度不够等问题日益明显.本文从一体化规划与建设的思路出发，借鉴人体各组成部分分工明确又协调合作的生理学原理，基于物联网、大数据、人工智能等现代信息技术，提出了基于人体理论的智慧海洋工程建设方案，从海洋环境立体监测体系构建、海洋大数据平台建设、海洋应用系统开发到信息化标准和规范等多方面进行了完整方案的设计.方案涵盖了海洋环保、防灾减灾、海域海岛、海洋执法、海洋经济、海洋渔业等多个业务范畴.研究成果在我国多个沿海省、市的智慧海洋建设中得到实践，对其他沿海省、市的智慧海洋建设具有较大的借鉴意义.

摘要:当前高校大数据应用面临数据集成困难、成果难以应用、知识难以管理等问题，急需加以解决.本文结合知识管理与软件工程方法，首先设计了基于CRISP-DM的高校大数据挖掘流程；在此基础上，设计了高校知识管理系统的总体架构和功能模型；然后对主要功能模型进行了详细设计，并对其关键技术——数据集成方法、大数据挖掘技术进行了分析和设计；最后给出了该系统的开发环境及测试情况.该系统设计方案对高校大数据应用提供了参考和借鉴.

摘要:海洋科学数据作为我国海洋科技创新发展的战略资源，是一个可持续发展的要素.然而海洋科学数据涉及学科众多、类型复杂、来源多样、格式迥异等特点，数据处理和可视化处理难度大.平台通过引入WebGIS技术，针对海洋科学数据特点，结合海洋科学数据业务，实现海洋数据的一体化管理、分析与可视化处理.

摘要:随着语义Web技术的不断发展，RDF数据量增长迅速，单机RDF查询系统已经难以满足现实需要，研究和构建分布式RDF查询系统已经成为学术界与工业界的研究热点之一.现有的RDF查询系统主要是基于Hadoop或通用分布式技术.前者磁盘I/O太高；后者则可扩展性较差.且两种系统在基本图模式查询时，效率都较低.针对上述问题，本文设计了基于Spark和Redis的分布式系统架构，并改进了查询计划生成算法，最后实现了原型系统RDF-SR.该系统使用Spark减少了磁盘I/O，借助Redis提高了数据映射速率，利用改进的算法减少了数据混洗次数.实验表明，相比于现有的其他系统，RDF-SR既保持了较高可扩展性，又在基本图模式查询时，具有更高的性能.

摘要:为了解决人手动示教提取曲面轨迹困难且操作繁琐的问题，采用Visual Studio对SolidWorks软件进行二次开发的方式进行机器人的曲面离线编程，并且以DLL插件的形式自动加载到SolidWorks中.系统通过将曲面进行UV参数化进而实现离线轨迹的快速提取和机器人控制代码的生成，再以DH参数表示机器人模型，最后通过遍历关节角的方式实现机器人的运动仿真.实践证明，该系统离线编程生成的控制代码能够直接下载到机器人控制器运行并达到了实际预期的效果.上述系统对工业场合的实际开发应用和国内中小型企业快速加工多种零件具有重要的意义.

摘要:香山文化的内涵包含多种元素，内容极其丰富，但是相关研究孤立分散主要原因在于缺乏系统性的信息组织.在概述知识图谱信息组织应用基础之上，提出基于知识图谱的香山文化信息组织思路.利用骨架法构建了基于本体的香山文化知识图谱，建立了香山文化分散研究要点之间的关联.基于知识图谱的香山文化检索系统通过可视化方式展现香山文化中复杂的知识点和知识关系，勾勒出香山文化总体轮廓.基于知识图谱的信息组织在处理领域复杂关系的分析与挖掘上有一定优势，知识图谱检索系统可视化模式丰富多彩、特色鲜明.

摘要:为解决学团管理工作中教师与学生信息交换效率低和反馈消息统计困难等问题，基于WebSocket协议设计实现了一个包括教师端和学生端的实时消息推送系统.并对系统设计实现中的关键模块和技术进行深入研究和分析.测试结果表明，该系统稳定可靠，满足消息推送软件效率和实时方面的需求.

摘要:ETL （Extract-Transform-Load）系统是数控机床传感器数据分析中不可或缺的一个重要组成部分.针对近年来数据量越来越大和实时性要求越来越高的问题，本文对ETL系统中传统的变更数据捕获方案做了改进，设计了适用于该数据的实时数据抽取方案，并详述了整个分布式架构的设计.实验表明，该ETL系统在数控机床传感器数据的实时处理上，具有较高的效率.

摘要:在传统的java框架下开发的应用软件系统缺乏模块化、动态化的管理能力.在深入研究OSGI框架的基础上，本文在井下作业管理系统的开发过程中，采用OSGI规范与分层解耦思想结合的方法，设计了系统的总体架构，并解决了系统动态管理与服务层的问题.本文在井下作业管理系统的开发中，详细阐述了OSGI在系统中的应用，包括OSGI扩展点机制以及AOP思想等，提高了系统扩展能力与解决了数据同步更新的问题.软件测试结果表明，该模型提高系统的性能，降低了系统各模块之间的耦合性，实现了模块的动态管理，增加了各组件的重用性与可扩展性，也提高了系统的稳定性.

摘要:在基于活动的社交网络（EBSN）中，群组中聚集了具有相似兴趣的用户，并为用户组织并举办线下活动，在社区的发展中起到了至关重要的作用，因而理解用户加入群组的原因和群组形成的过程在社交网络的研究中是一个重要的议题.本文通过基于活动的社交网络中的一些相关内容信息，比如社交网络中的标签信息和地理位置信息，来辅助推荐系统更好地为用户预测对于群组的偏好.本文提出了SEGELER （pair-wiSE Geo-social Event-based LatEnt factoR）模型，并使用这些社交网络中的信息，来为用户的兴趣进行预测.通过在真实的EBSN数据集上进行实验与验证，本文的模型不仅可以有效提升对于用户偏好的预测，也可以缓解冷启动问题.

摘要:随着信息网络的高速发展，电子产品普及率日益提高，个人数据资源分散化的存储在各种不同的设备之中，设备间方便高效的数据共享成为亟待解决的问题.针对现有的数据共享方法不能满足个人以及协同工作组内数据高效便捷的共享需求，运用服务化技术实现数据资源共享方法.本方法采用端对端的数据共享方式，使局域网环境下参与共享的个人及协同工作组内设备对等的运行数据Web服务化，服务发布和服务发现三个基本模块，在各模块的配合下实现多设备间的数据资源共享.相比常用的数据共享方法，具有无需搭建额外的硬件环境，共享效率高，支持无需下载的在线访问，避免了三方数据泄露风险以及系统资源占用率低等优势.方法有效的解决了多设备间高效数据共享面临的数据动态变化，信息一致性维护，节点异构，代价可接受等挑战.

摘要:色偏检测广泛应用于机器视觉相关的各种领域.而传统色偏检测方法大多依赖于一定的假设条件或先验知识.本文基于图像色彩度和色彩自然度，改进了基于图像统计信息的色偏检测方法，提出了一种基于图像颜色特征分析的色偏检测算法.实验结果表明，该算法能够消除图像中主色调对色偏检测的影响，提高色偏检测准确率，同时检测结果与人眼视觉感知系统具有较高的吻合度，并具有较强的适应性.

摘要:为提高布谷鸟搜索算法的寻优能力，通过在经典布谷鸟搜索算法中引入量子计算机制，提出了一种量子衍生布谷鸟搜索算法.该算法采用量子比特编码个体，采用泡利矩阵确定旋转轴，采用Levy飞行原理确定旋转角度，采用量子比特在Bloch球面上的绕轴旋转实现个体更新.标准函数极值优化的实验结果表明，与传统布谷鸟搜索算法相比，该算法的搜索能力确有明显提升.

摘要:针对两信息系统间的互操作问题，提出了一种基于多色集合理论的系统互操作形式化研究的方法，给出了基于多色集合理论的两系统间的互操作研究步骤.首先，介绍多色集合理论并对其围道进行分割以体现研究对象的静态属性和动态性质，并给出单元素多色集合的概念及其聚合运算；其次，根据多色集合理论及其扩展，给出了两信息系统间的互操作研究步骤：分别对互操作的两系统进行单元素多色集合描述，然后再通过两系统的单元素多色集合的并运算来体现整体.最后，通过医疗领域的医疗信息系统HIS与检验信息系统LIS间的互操作为实例验证该形式化方法的有效性.

摘要:随着互联网的快速发展，只涉及用户和项目的传统个性化推荐已不能满足推荐要求的效率和准确率.因此，情景感知个性化推荐服务引起了广泛关注，成为新的研究热点.本文分析了情境的定义、情景感知个性化推荐模型，并提出了一种基于情境信息降低维度的关联规则推荐模型.最后，以视频网站的web日志为数据源，融合时间情境因素，实现了基于时间情境划分的关联规则推荐算法，并和传统推荐算法进行对比分析，实验证明，情境感知推荐算法具有更高的准确率和召回率.

摘要:计算机在处理多文件任务的时候，会出现同时读写文件的情况，文件将会出现数据读写不全或数据缺失.在Linux内核中，单处理器情况下，通过同步机制来进行任务的分配和处理，其中经典的有原子操作，信号量机制，互斥锁等实现方案.在多处理器系统中则是通过test-and-set原语操作来实现.本文通过设计一种多文件任务调度的算法，避免整个系统发生互斥访问.本文通过Matlab编程实现该算法，其结果表明本文提出的多文件调度算法能够有效的并行执行多文件任务.

摘要:搭配的正确使用是区分地道英语使用者和普通学习者的一个重要特征.通过分析中国英语学习者语料库（CLEC），可以发现动名词搭配错误是英语学习者易犯的错误.本文提出一种可用于纠正英语学习者动名词搭配错误的层次语言模型.该语言模型考虑到了句子内部词语之间的依赖关系，将句子处理为不同的层次的子句，同一个句子内部的单词高度相关，不同子句内的单词相关性弱.该语言模型对于句子成分的变化得到的结果更加稳定，而且搭配信息得到浓缩，得到的语言模型更加精确.本文将模型用于生成分类器特征和结果排序.这种层次语言模型应用到英语动名词搭配的检错纠错中，对比传统语言模型，会有更好的效果.

摘要:人类社会发展中的每次技术进步都会催生一系列新的产品和服务，但同时也导致资源和能源消耗的剧增.技术的进步虽然提高了资源和能源的利用效率，但这种人均能耗不断递增的发展模式不可持续.建筑节能除了关注供应侧的能效外，合理的引导需求侧用能是实现建筑节能的关键.要实现建筑节能模式由供应侧到需求侧的转变，就必须恰当描述特定室内环境下的用能特征，才能从需求侧评估建筑能耗的合理性，进而精确辨识能源浪费的原因.建筑物自动化系统和物联网技术的快速发展与普及，获取了大量特定室内环境下的用能特征数据，利用数据挖掘技术可以从这些低密度价值的建筑运维数据中萃取节能线索和策略.本文简述了数据挖掘技术，综述了各种挖掘方法在建筑节能中的应用，并展望了发展趋势.

摘要:本文在音乐情感分类中的两个重要的环节：特征选择和分类器上进行了探索.在特征选择方面基于传统算法中单一特征无法全面表达音乐情感的问题，本文提出了多特征融合的方法，具体操作方式是用音色特征与韵律特征相结合作为音乐情感的符号表达；在分类器选择中，本文采用了在音频检索领域表现较好的深度置信网络进行音乐情感训练和分类.实验结果表明，该算法对音乐情感分类的表现较好，高于单一特征的分类方法和SVM分类的方法.

摘要:基于WIFI位置指纹的定位系统能实现较高精度的室内定位，其中基于接收信号强度指示（RSSI）的近邻选择算法在进行室内定位时容易引入奇异点，导致定位精度降低.针对该问题，本文提出了一种基于相似度的K阶临近定位算法（SKNN）.该算法借鉴二部分网络中求解节点相似性的思想，建立位置指纹与AP之间的二部分网络，并提出一个相似度参数，用该参数去修正K阶临近定位算法.实验结果表明，本文提出的SKNN算法可以有效的降低奇异点对定位结果的影响，提高定位精度，80%的定位误差均在2 m以内，且在大场景中效果明显.

摘要:波达方向（DOA）估计在无线传感器网络中得到了广泛的应用，本文针对DOA中加权子空间拟合（WSF）算法多维非线性优化计算量大的问题，提出一种限定遗传搜索空间的WSF求解算法.该方法将旋转不变子空间（ESPRIT）与无偏估计量的理论最小误差（TME）相结合来限定遗传算法的搜索空间，通过缩短遗传算法的基因长度来降低加权子空间拟合算法的求解复杂度.仿真结果表明，该算法的估计性能与WSF基本相同，与其它的一些智能优化算法相比，显著的降低了算法的计算量.

摘要:个人移动通讯设备和位置感知设备的广泛应用，使得运营商积累了大量的用户位置数据.目前对位置数据的研究大都关注于活动轨迹的挖掘，而少量对于个人驻留规律的研究也只停留在识别出驻留点，却缺乏进一步的挖掘.本文基于基站采集的位置数据进行研究，依据基站数据的特点，提出了一种简单的识别驻留点的方法.继而提出了两种挖掘驻留规律的方法.最后使用真实数据对算法效果进行了验证.

摘要:针对粘连颗粒检测中的中心点提取问题，提出了一种基于改进广义Hough变换的检测算法.该算法首先计算已知图形的覆盖圆环，然后将圆环模板遍历待测图像前景轮廓点进行覆盖区域累加，最后得到累加图的极大值.该算法产生的圆环具有旋转不变性，能够大大缩减检测时间.同时实验表明，这种圆环模板累加的算法能够得到更加准确的定位中心点，并且部分消除了伪中心.

摘要:针对突发灾害事件情景下交通路网容量限定的特点，引用BRP路阻函数求解各路段车辆行驶时间，建立救援路径最短和车辆行驶时间最短双目标车辆调度模型；设计改进离散的萤火虫算法，构建算例对模型求解，求解结果与遗传算法的求解结果进行对比，验证了该算法的可行性和能更好的满足应急救援车辆调度的需要.

摘要:通过对求解虚拟企业资源结盟博弈问题与求解经典SAT问题相似性的分析，提出了一种求解虚拟企业资源结盟博弈的启发式群智能优化算法.算法融合萤火虫优化算法与布谷鸟优化算法部分原理，并设计可行的交叉算子以及变异优化算子，能够修复不可行解并保持种群多样性.实验结果表明本文算法的迭代次数与搜索到的稳定联盟数成线性增长，较启发式遗传算法有着更好的爬山性能和搜索能力.

摘要:传统分类系统往往选择朴素贝叶斯算法作为分类算法，在研究过程中，发现朴素贝叶斯模型（NBC）具有以下前提条件：所有特征互不影响，并且特征属性的权重为1.研究后发现并非如此，在对数据进行分类时，有的特征可能对分类结果的影响较大，有的可能对结果影响较小.为了对算法进行优化，需要给不同的特征附上不同的权重值，才能更加客观的获得分类结果.本文研究了两种传统的基于属性权重的计算方法，同时考虑到手机取证数据的特点，提出两种适应于手机取证数据的改进权重计算方法，并对其改进原理进行研究，比较改进后的权重计算方法与传统的权重计算方法，在使用相同分类算法与相同数据的情况下，对分类结果的影响.

摘要:光线投射算法属于直接体绘制（DVR）中应用比较广泛的算法，其优点是绘制质量高，但是存在采样点计算量大，绘制速度慢的问题.针对这一问题，本文利用投射光线在物空间的传递性质，提出了一种改进的计算采样点位置的算法，加快采样点的获取速度，提高图像三维重建的效率.该算法在PC机平台上得到了实现，不仅在图像质量上得到保证而且绘制速度又有很大提高，为图像的三维重建提供了有效的手段.

摘要:本文通过Gabor变换进行人脸表情图像的特征提取，并利用局部线性嵌入（LLE）系列算法进行数据降维操作.LLE算法是一种非线性降维算法，它可以使得降维后的数据保持原有的拓扑结构，在人脸表情识别中有广泛的应用.因为LLE算法没有考虑样本的类别信息，因此有了监督的局部线性嵌入（SLLE）算法.但是SLLE算法仅仅考虑了样本的类别信息却没有考虑到各种表情之间的关系，因此本文提出一种改进的SLLE算法，该算法认为中性表情是其他各种表情的中心.在JAFFE库上进行人脸表情识别实验结果表明，相比LLE算法和SLLE算法，该算法获得了更好的人脸表情识别率，是一种有效算法.

摘要:近年来，卷积神经网络在行人检测领域取得了同其他方法相似甚至更好的检测成绩，然而缓慢的检测速度远不能满足现实需求.针对这一问题，本文提出一种实时的行人检测方法，将分散的检测过程整合成单一的深度网络模型，被检测图片通过模型的计算可以直接输出检测结果.使用扩充的ETH数据集进行训练测试，实验结果表明，在保证准确率的情况下，该方法检测速度极快，可以满足实时检测的目的.

摘要:本文提出了一种采用顺序修复的样本例图像修复算法，该方法在原Criminisi经典图像修复算法的基础上对修复顺序进行新的尝试.原Criminisi经典算法的修复顺序通过计算优先级得出，随着修复的深入优先级逐渐趋近于0，导致算法失去作用.为解决该问题，本文采用顺序修复的方法来代替优先级决定顺序，避免出现算法失去作用的情况；同时本文提出的“倒L”型样本模板来增强结构的传播能力、提高匹配的正确率.实验结果证明，本文的修复算法相对Criminisi算法具有优势并取得很好的修复结果.

摘要:软件制品间使用服务化的方法进行交互，能够将制品内部产生的事件和数据以服务的形式产出.工作流是一种常见的用于处理消息流和事件流的方式，使得制品产生的事件和数据能够在不同制品间流转.Gitlab作为开源的、被广泛使用的代码与文档管理工具，针对其在工作流环境中进行对外服务能力的研究是很有意义的.在研究中发现，Gitlab的服务化能力有灵活性差，拓展能力弱，服务粒度粗等问题.基于这样的问题，本文提出GITService服务化方法，重新定义了Gitlab的服务流程和服务标准，在服务实现中，使用消息队列和异步机制，设计实现了新的监听服务和执行服务方案，并针对该解决方案进行了实验分析.实验表明，在保证Gitlab运行时间几乎不受影响的情况下，GITService拥有灵活性好、扩展性强、细粒度的服务化能力.本文所提供的方法，能够为其他场景下的服务化设计和实现提供有益参考.

摘要:异常行为检测在自助银行智能监控系统领域中有广泛的应用前景.本文针对此应用领域，提出了基于区域光流特征的异常行为检测方法.首先利用混合高斯模型来表示背景像素的变化并自适应更新背景模型，用背景差法从视频序列中提取运动前景；采用lucas-kanade光流法计算出运动区域内的光流信息.采用基于幅值的加权方向直方图描述行为，计算区域内直方图的运动熵发现候选异常区域，再利用支持向量机进行分类.从实验结果可以看出，能够较好的识别出异常事件，并且实时性较好，能够满足实际应用需求.

摘要:软件定义网络（SDN）为网络虚拟化提供了新的解决方案，通过网络虚拟化技术可以将一套基础设施虚拟化为多个逻辑网络从而满足不同的网络需求.本文研究了SDN网络虚拟化时多个物理交换机虚拟为一个大虚拟交换机的过程中，虚拟网络规则与物理网络规则的映射问题.综合考虑链路负载、规则分布以及节点负载，提出了三段式规则映射优化算法.首先根据虚拟网络的规则请求生成组播源节点和目的节点集，采用MPH算法生成规则映射树；然后采用入节点最近原则，将虚拟网络规则请求的指令序列部署到规则映射树中的中间节点和叶子节点中；最后考虑节点负载，对规则部署进行微调，最终生成虚拟规则映射策略.通过仿真实验，与直接边缘节点部署相比，平均降低了网络节点规则总数量40%以上.

摘要:在OpenStack云平台中，一台物理服务器上可能同时运行着十几台虚拟机，这对于物理服务器的I/O性能要求是非常高的.因此，I/O虚拟化技术的效率对于整个OpenStack云平台的网络性能提升都有着至关重要的作用.为了提高系统整体的网络性能，在OpenStack云平台中引入SR-IOV技术成为了一种可选的方式.本文通过对比实验测试了SR-IOV技术对于OpenStack云平台上网络I/O性能的影响.最终对实验结果进行分析可知，在引入SR-IOV技术后，OpenStack云平台上的计算节点I/O虚拟化性能提升了大概50%.

摘要:本文讨论应用代码审计技术，分析OpenSSL源代码，进行脆弱性分析，并作出针对性修补建议.在进行源码级分析时，主要采用数据流分析技术，动态污点分析技术，定理证明等.各类代码审计技术由于都主要采用形式化手段分析软件构架的安全需求，通常都对某种特定场景有较好效果，但实用性较差.在审计linux，xen等大型成熟软件项目时，存在效率低下，误报率高等缺陷，甚至可能根本无法挖掘出有效漏洞.为此通过采用搭配使用各种不同代码审计技术，同时使用一种新的安全属性定义手法，从底层角度定义安全属性，以提升其对软件安全需求描述的准确度，避免其审计缺陷.在保留代码审计技术自动化程度高的优点同时提升其审计效率以及降低误报率，深层次发掘代码脆弱性.

摘要:目前计算机虚拟技术的应用成为各类技术专业领域的重要发展趋势之一.本文从搭建虚拟测量机的技术实现出发，分析了测量机虚拟技术的具体需求，分别对虚拟测量机实现涉及的三个关键技术，测量机的仿真、测量路径规划、虚拟测量数据处理进行了深入的论述，分析了各个技术的实现难点，给出了具体实现的思路和方法.最后按照功能需求划分了虚拟测量机的模块，并在HOOPS平台下利用文中的技术实现思路和方法，搭建了虚拟测量机的原型，验证了文中的思路和方法的可行性、有效性.

摘要:针对运用机械臂绘制的机器素描图像存在缺失真实感、艺术感，硬件设备复杂，难以普及的问题，提出基于图像层级的机器素描方法.该方法在运用灰度变换、滤波、二值化等图像预处理方法处理原始人物图像的基础上，分别提取出图像轮廓和图像内部填充区域两部分二值目标图像，通过简易路径规划遍历目标图像，根据遍历轨迹控制XY型简易机械臂绘制图像轮廓及按层级绘制模式填充图像内部区域，实现人物素描图像的绘制.实验结果表明，该系统可根据图像轮廓实现任意曲线的绘制，通过层级绘制模式包含环境因素达到了衬托素描图像使其更具层次感的目的.

摘要:微信高速发展已成为人际关系交流的一个重要平台，在社会网络信息传播中占据着独特的地位.以传染病模型为基础，建立基于微信信息传播模型，利用实验数据，在多情景下分析模型参数和信息源对微信信息传播范围及特征等的影响.通过对微信信息传播影响因素改变，其仿真结果与微信传播的特征具有很好的吻合度，对管控利用微信具有重要意义.

摘要:伴随软件国际化开发技术不断发展的同时，国际化测试的研究引起更多重视.本文针对国际化软件中的硬编码和过度翻译两个问题，研究并实现了自动化测试方案.通过分析硬编码和过度翻译问题的概念、分类和测试方法现状，本文总结现有人工测试的不足和Struts2国际化的技术特点，最后结合被测项目的实际情况，详细阐述了自动化测试方案.该方案已经应用于某公司的Web产品的国际化测试中，实践验证了对硬编码和过度翻译问题的自动测试的支持，并取得了良好的效果.

摘要:针对农业大棚中人工喷灌存在的效率低、劳动强度大等问题，为了提高农业大棚自动化水平，本文提出了一种基于STM32单片机为核心控制器的自动喷灌机器人.该机器人通过灰度传感器实现循线，以三轮差分转动方式控制机器人底盘前进与转弯.并基于栅格法提出了一种适用于农业大棚环境的路径规划算法.水箱中的水泵开关由继电器间接控制，并可通过蓝牙模块远程控制喷灌.温湿度传感器负责实时测量土壤湿度，并传回单片机进行处理.实验表明，本文以模块化思想设计的喷灌机器人功能齐备，有利于农业机器人的推广使用.

摘要:依托财经领域与知识工程专业研究人员的智慧，力求透过中国经济行业诸多市场要素，分析和总结市场经济大数据资讯信息的内在规律，构建财经本体库以及经济变动趋势预测本体推理规则库.利用本体推理技术将财经领域的专家学者的先验知识、经济发展客观规律制定成机器可识别与运算的本体推理规则，通过本体推理机进行经济趋势进行预测.