摘要:RED图可以表示一个完整的时间自动机上的状态集，包括其连续时间部分和离散部分.在它基础上实现的模型检测工具RED，在时间自动机模型检测中表现出了优良的性能.另一方面，现有的概率时间自动机模型检测工具仍然使用不同的方法来分别表示概率时间自动机状态的连续时间和离散部分.我们在复用原始RED图的数据结构的基础上，对其做出了扩展，以令其支持概率状态的表达，同时保持其性能方面的优势.我们又为此实现了一个概率时间自动机可达性分析工具原型，并将其与两个概率模型检测工具（PRISM和Modest）就概率时间自动机可达性分析作实验对比，来评估该工具原型的性能.实验结果显示，我们的集成表示概率状态空间的方式，确实提高了概率时间自动机模型检测的时间效率和延展性.

摘要:StackExchange是目前最流行的问答社区集结地之一.本文利用StackExchange中具有美国地理信息的用户构建StackExchange问答社区在美国境内的知识传播图谱，对传播网络的统计特征进行了分析，提取出问答社区类网站的传播模式，获取得到网络用户的知识分享方式.我们发现StackExchange中的问答社区在分享知识过程中，传播源往往不止一个.同时，我们为问答社区构建了知识传播图谱，发现这些传播图谱具有相似的统计特征，这意味着不同的问答社区可能具有类似的知识传播模式.

摘要:攻击者获取某主体（actor）的长期私钥后，利用该私钥伪装成其他主体欺骗actor或获取保密信息的行为被称为AKC（Actor Key Compromise）攻击.除密钥交换协议外，AKC攻击在其他类型的协议研究中较少受关注.本文强调了AKC攻击问题的重要性，并对其攻击方式和应对策略进行系统研究.通过实验总结出4类AKC攻击方式，并对应提出3类抵制AKC攻击的协议模型和设计原则.在此基础上，给出了将一般协议转换为AKCS协议（在AKC攻击下保持安全性质的协议）的启发式算法.在实例分析中，将算法应用在Email、SET、Kerberos等协议上.实验表明，上述协议受AKC攻击，但在算法的转换下，协议不再受AKC攻击影响.

摘要:盲解调技术是获取非协作数字通信信号上携带有用信息的最关键技术之一.首先对现有数字通信信号盲解调进行了综述，然后在我们已发表论文的基础上，进一步完善非线性动力学系统噪声减缩的理论和算法，对负信噪比BPSK调制载频上的随机码流进行盲解调.试测试结果表明，信噪比在Eb/N0>7dB区间，噪声减缩的盲解调的误码率为0，信噪比在0 < Eb/N0 < 7dB区间，噪声减缩的盲解调的误码曲线低于现有非相干解调方法的误码曲线.噪声减缩的盲解调的误码率接近或重合或低于现有相干解调的理论误码曲线.可见，采用非线性动力学系统的噪声减缩的盲解调与现有非相干解调的处理能力比较，至少提高了7dB的处理能力.测试结果表明研究成果为电子侦察信号处理的盲解调提供了一种有效的方法.

摘要:凭借开源策略及精准的市场定位，Android系统占据了智能移动终端操作系统84.2%的市场份额.然而，其开放的权限机制带来更多使用者和开发者的同时，也带来了相应的安全问题.中国互联网络信息中心调查数据显示，仅有44.4%的用户在下载安装Android应用的过程中会仔细查看授权说明，而大部分人存在着盲目授权的行为.对于应用开发者来说，由于缺乏安全开发监管，缺乏权限申请相关代码规范，权限滥用问题在Android应用开发中普遍存在，严重影响了代码的规范和质量.其次，用户的盲目授权和软件开发者的权限申请滥用也是用户信息泄露的主要原因，存在严重的安全风险.针对以上问题，本文在现有的权限检测方案基础上，设计和实现了一套新的权限滥用检测系统PACS（Pemission Abuse Checking System）.PACS针对1077个应用进行分析，发现812个应用存在权限滥用问题，约占全部应用的75.4%，同时对实验结果进行抽样验证，证明了PACS的权限检测结果的准确性和有效性.

摘要:网络钓鱼是一种在线欺诈行为，它利用钓鱼网页仿冒正常合法的网页，窃取用户敏感信息从而达到非法目的.提出了基于集成学习的钓鱼网页深度检测方法，采用网页渲染来应对常见的页面伪装手段，提取渲染后网页的URL信息特征、链接信息特征以及页面文本特征，利用集成学习的方法，针对不同的特征信息构造并训练不同的基础分类器模型，最后利用分类集成策略综合多个基础分类器生成最终的结果.针对PhishTank钓鱼网页的检测实验表明，本文提出的检测方法具有较好的准确率与召回率.

摘要:虚拟化发展呈现出多样化的发展趋势，主要包括Hypervisor和Container两类.前者隔离型好，操作便捷；后者轻量级，供给快捷.随着IT技术的快速发展和应用深入，复杂应用需要协调两类虚拟化对外界提供服务.提出了一种两级资源管理方法，第一级调度用以解决物理资源监测、统计、分配决策和隔离，使得单一物理资源具有多种虚拟化资源抽象能力；第二级调度用于解决用户资源需求与底层物理资源的放置，以达到提高物理资源利用率的目的.同时第一级调度还考虑异构物理资源的差异性，引入加权DRF算法评价异构物理资源对应用性能的影响.基于CloudSuite测试基准显示，在保障QoS前提下，该系统整个资源利用率有效的提升了20%左右.

摘要:以云计算技术为基础，运用面向服务的架构（SOA）理念，从结构层次、开发运营及SaaS化应用三个维度构建了面向产业园区的智慧云服务平台，旨在解决工业化与信息化深度融合过程中智慧产业园区建设存在的信息化服务模式及成本的问题.本文为产业园区的智慧化提供了可借鉴的模式.

摘要:随着机器人技术的发展和硬件的普及，机器人的市场应用前景越来越广泛.但是，目前的机器人仍存在着许多局限，具体表现为可移植性弱，本地计算成本高，服务应用较少等.云机器人的提出，将机器人的计算能力从本地迁移到云端，不但提高了机器人的计算能力，降低了机器人硬件成本，而且能使资源的分配更为均衡，为解决机器人发展面临的困难提供了有效的解决途径.在云机器人的基础思想之上，提出一种基于ROS的云机器人服务框架.该服务框架使用开源的机器人操作系统ROS作为机器人运行的基础，增强了其对于不同硬件和软件环境的可移植性.同时，在框架的云端部分加入了机器人的服务管理系统和服务解析模块，能够方便快速地对机器人服务进行扩展和调用.在最后的实验部分，通过人脸识别服务模块对云机器人服务框架进行了实验验证.

摘要:在线考试相比传统考试方式有着很多的优点，例如在线考试的成本更低，在线考试试题的即时更新性，在线考试可以更快给出应试人员的答题情况的统计分析，还可以给不同的应试人员随机出题以防止抄袭等.本文系统的分析了在线考试系统的架构以及如何就系统性能方面进行优化，着重分析了基于Ajax的前端优化，分布式缓存机制等优化手段.

摘要:介绍了一种基于页面模型的引擎式快速页面构造服务，该服务在电力行业领域内具有先创性，其使得具有普通技术水平的开发人员，仅需要少量代码甚至不需要代码就可以构造出业务应用的页面及逻辑.本文重点阐述了页面构造服务中页面模型、页面设计器、运行引擎的原理及组成.该服务所支撑项目的实践结果表明，其可以有效提升开发效率、降低开发运维成本，并且具有良好的适应性和扩展性.

摘要:针对学校对助教管理工作信息化、流程化的需求，设计开发了基于Symfony2的助教管理系统.本文首先介绍所在学校助教管理工作的现状和改进方向，然后对基于Symfony2的助教管理系统的功能做了概述，最后着重论述了系统中数据库、提醒和工作考核模块的设计和实现.目前系统已经在学校稳定运行了两个学期，为学校提供了可靠的助教工作考核过程，节约了成本.

摘要:EAST装置结构复杂并且含有很多功能各异的子系统，虚拟EAST系统旨在建立一个EAST虚拟现实场景，用户在虚拟EAST场景中通过交互实现虚拟漫游和信息获取.虚拟EAST系统在预处理阶段会产生各种格式和类型的装置模型文件以方便不同系统的开发需要，因此需要高效的管理和使用这些模型.另外，与实验相关的参数信息、诊断信息和电磁测量的相关信息都统一存储在MySQL数据库中，虚拟EAST系统的开发成员共同使用和维护模型及数据信息，因此需要建立一个统一的入口方便查看和管理装置模型和数据，以促进虚拟EAST系统的开发人员之间的相互协作，避免因不规范操作造成的数据信息错误.

摘要:在容器虚拟化支撑平台中，多种应用竞争共享资源造成监测系统难以通过设定固定阈值的方式进行异常报警，同时固定的监测周期需要在监测及时性与监测开销之间权衡.针对这些问题，本文提出了一种基于PCA的在线异常检测方法，并根据异常程度动态调整监测周期以节省监测开销.首先通过非侵入方式收集每个容器的监测数据构成数据矩阵，然后利用主成分分析的方法计算矩阵的主方向，最后计算当前与上次主方向的余弦相似度，将其作为当前系统状态的异常程度.对于异常程度超过设定的用户容忍度的容器，发送告警信息，同时根据异常程度增大或者减小监测周期.实验结果表明，对于在分布式存储系统中注入的典型错误，本方法的监测准确性达到80%以上，告警延迟控制在5秒以内，监测开销低于固定监测周期的方法.

摘要:伴随移动互联技术的迅猛发展，为了让广大客户享受快速优质的运输服务、建立高效的沟通方式、提升可视化体验，构建了物流企业的微信化运营模式，并据此设计和实现了一个微信下单服务平台.微信前台基于HTML5、CSS3、JavaScript设计自适应网页；业务后台基于Struts2、Spring和Hibernate框架，前台页面则采用了Ext-JS.通过微信展示的企业人物、事件、服务创新等内容，能够让客户真正认识和理解物流的服务价值；通过发布的Web应用，为公司的运营机制搭建了重要平台，加强了服务体系建设，规范了业务流程；通过企业号的消息交互，使得消息内容更丰富，也降低了管理和运营成本.

摘要:现代高性能数字信号处理器大多数采用超长指令字体系结构，通过在同一时钟周期发射多条指令以便获得更高的运算性能来发掘目标机器指令级别并行性.介绍了BW104x目标体系特征，BWDSP104X是一款针对高性能计算领域设计的处理器，采用16发射、单指令流，多数据流架构.为了充分利用多簇及簇内硬件资源，基于open64编译基础设施提出了后端软流水优化，其中包括循环选择，资源依赖数据依赖计算，采用经典的模调度方法进行软流水调度，为解决不同迭代变量冲突引入模变量拓展模块.实验结果证明流水后性能相对流水前有了很好的提升.

摘要:随着智能终端的普及，涌现了多种多样的应用程序以满足用户需求.现有智能终端系统普遍使用基于LRU算法的Task killing机制管理后台应用程序，LRU算法只考虑了应用最近的使用情况，没有考虑用户使用习惯，可能导致后台应用程序被错误地终止，当用户切换回该应用程序时，会带来应用启动延迟增加、能耗增加、状态丢失等问题.本文设计并实现了一种基于贝叶斯网络的应用管理方法BNLP，并在Android移动终端上验证.该方法通过分析用户使用行为，预测后台应用程序即将被启动的概率，并据此进行应用管理.在LiveLab数据集上的实验表明，本文提出的BNLP模型相比于LRU算法应用程序重启率降低了17.2%，从而降低了延迟和能耗、提升了用户体验.

摘要:以线性时序逻辑LTL（Linear Temporal Logic）模型检测算法为研究对象，提出以状态子集为中心的并行模型检测算法.针对传统单机多核算法同步开销大的缺点，新算法充分利用状态子集的稠密特性动态调度任务，从而降低同步开销，提高算法并行度.本文基于轻量级单机图计算框架Ligra，结合检测过程中状态子集的特性，设计并实现新的在线（on-the-fly）模型检测算法.与现有算法相比，在模型检测的效率上可以提升20-30%，具有高扩展性特征.

摘要:随着网络的不断发展，电子邮件已成为人们生活中较为普及的通信手段，相应地垃圾邮件也成为了困扰E-mail用户的主要问题，因此研究如何更好的抑制垃圾邮件的滥发变得愈发紧迫.在基于朴素贝叶斯算法的基础上提出了带有损失因子k的最小风险贝叶斯算法，该算法通过调整k值，来改善正常邮件的误判问题，最大程度上减少用户的损失.最后实验结果表明，最小风险贝叶斯算法可以使垃圾邮件有着更好的过滤效果.

摘要:风险评估保证信息系统安全的一种重要技术，信息系统风险受到众多影响，具有动态性和时变性，为了提高信息系统风险评估的精度，提出一种层次分析法和支持向量机的信息系统风险评估模型（AHP-SVM）.首先对当前信息系统风险研究现状进行分析，并根据专家构建评估指标体系，然后利用层次分析法对评估指标权重进行估计，并根据支持向量机建立信息系统风险的评估模型，最后利用信息系统风险数据对对评估结果的可靠性进行测试.结果表明，本文模型可以合理确定评估指标的权重，可以描述信息系统风险因子与期望值间的变化关系，获得了理想的信息系统风险评估结果，具有一定的实际应用价值.

摘要:变异策略对差分进化算法（DE）算法的成功与否起到至关重要的作用.然而，方向信息在DE变异策略的设计当中并没有被充分地挖掘，且对于如何平衡进化速度和种群多样性这两者之间的矛盾也没有得到很好的解决方案.研究了个体在进化选择操作前后产生的差量信息在变异操作上的导向作用，提出了一种新的基于进化方向的变异策略“DE/current-to-pbest/1/Gvector”.同时，为了测试我们这种新的方向信息能否提高算法的优化能力，我们在自适应差分进化算法（JADE）的基础上提出了一种新的算法DVDE.对CEC2005常用的12个测试函数做了仿真实验，实验结果证明DVDE的算法性能平均优于其他5个目前来说性能最好的DE算法（JADE，SaDE，CoDE，jDE，EPSDE），特别是对于单峰函数，效果更为明显.实验结果也说明进化方向的加入对于提高算法的收敛速度以及保护种群的多样性避免算法过早陷入局部最优起到了较好的作用.

摘要:随着互联网以及Web服务技术的快速发展，相同功能的Web服务数量越来越多.在构建面向服务的应用时，服务质量（QoS）作为Web服务的非功能特性开始被越来越多的用户所重视.为了向用户推荐高质量的服务，首先我们需要对服务质量进行预测.现今有很多关于Web服务QoS预测的工作，这些研究大都关注在建模方法的优化上，忽视了辅助特征对于QoS预测的影响.着重分析辅助特征对于QoS预测的影响，例如服务类别和用户地理位置.为了实现此目标，基于因子分解机（Factorization Machines）设计并构建了一个统一的QoS预测架构，该架构可以灵活、方便地考虑进多个辅助特征.结合服务类别和用户地理位置这两类辅助特征，提出了一种QoS预测方法，并通过在真实数据上的实验证明了我们的方法的优越性.

摘要:随着我国大力推进电商行业的发展，越来越多的电商企业加入到线上的竞争之中.随着销量的增大，第三方电商企业所掌握的销售数据也越来越多，这些分类上零散的销售数据给数据处理预测带来了一定的难度，常常导致在预测过程中数据不完备或者预测结果存在非常大的偏差.为了改善这一问题，这里提出了一种基于销售数据的产品重分类预测模型，利用产品销售共性提取产品聚类簇，再使用时间序列模型得出预测结果并通过隐马尔科夫预测模型给出预测结果的概率分布.通过实验分析，利用以上模型的预测获得较好的预测结果，对电商企业制定营销策略具有一定的参考价值.

摘要:反馈信息不足导致VCP无法根据网络拥塞程度进行相应窗口调整，在网络突发业务流情况下存在慢收敛问题.针对高带宽延时网络特性，本文提出一种基于带宽预测的VCP拥塞控制改进算法VCP-BE.该算法结合端到端可用带宽预测和2位显式拥塞反馈信息提高拥塞反馈精度，为源端拥塞窗口调节提供更精细的拥塞控制信息.仿真结果表明，VCP-BE能够有效适应高带宽时延网络环境，具有比VCP及MLCP更快的公平收敛速度.

摘要:社交网络数据采集是开展社交网络分析的基础.针对当前面向主题的社交网络数据采集技术采集数据少、召回率低的问题，本文提出基于内置搜索引擎和基于通用搜索引擎相结合的主题消息采集方法，并将LDA（Latent Dirichlet Allocation，隐含狄利克雷分布）模型应用于主题关键词的迭代扩展，并提出了一种基于用户生存值的高效扩展策略.实验结果表明本文提出的方法可以使面向主题的社交网络数据采集系统在保证一定准确率的情况下进一步获取主题相关数据.

摘要:当前，开发使用微云服务的交互感知应用时存在开发困难以及重复开发的问题.为解决这些问题，设计并实现了为交互感知应用提供微云服务的框架Bolt.Bolt服务框架以ZeroMQ消息处理队列为基础，分为三部分：Bolt Client Lib库、Bolt Service Lib库以及Bolt Broker代理，构成“Client-Broker-Service”的三级架构.Bolt Client Lib和Bolt Service Lib分别为移动端应用和微云端处理引擎分别提供API，使应用与处理引擎的开发得以分离，降低了开发难度并减少重复开发的情况.实验结果表明，与Gabriel等应用相比，Bolt服务框架使用的通信端口降低到2个，同时，将系统开销降低到1ms左右的时间.

摘要:人体检测是家庭服务机器人的一项基本功能.本文针对复杂家庭环境，倒地人体面临地上杂物的干扰、遮挡等情况下，提出一种结合三维点云分割和局部特征匹配的倒地人体检测方法.该方法对点云进行分割之后将每个物体横向切分成若干段，对每段点云采用局部特征匹配并分类，并根据匹配段数来判断是否为倒地人体.实验结果表明，该方法在0.3秒的检测时间内，实现平均误识别率低于10%的高检测率，满足服务机器人实时性要求的同时具有良好的鲁棒性，即使人体部分被遮挡，依然可以检测到各种倒地姿态的人.

摘要:针对传统计算机智能作曲客观评价不准、实现难度过大问题，本文对智能作曲进行探讨并给出一种遗传算法的智能作曲模型，并提出一种简化的模型.对该模型分别从算法设计和算法实现两方面进行了较深入的探讨，同时给出了程序实现.实验结果表明，模型对局部进行改善而不影响到其他部件，具有较高的可扩展性，算法的时间和空间复杂度较好，证明本文的算法是可行和有效的.

摘要:针对现在全球极端天气频发的现状，天气预报用来及时发现灾害天气的出现显得尤为重要.随着数据挖掘技术的迅速发展和广泛应用，采用了改进FP-growth算法挖掘出各种气象因子之间可能存在的关联，从而发现气象特点，对近期天气气象做出预报.经过仿真实验验证，改进后的算法在天气预报准确率有了明显的提高.

摘要:本研究提出了一种基于角点与直线联合特征的三阶段匹配算法，依次经过相关匹配、松弛迭代匹配和最小平方中值法匹配三个步骤，并与此同时加入限定图像匹配区域、添加手工匹配点对以及局部直线匹配三个人机交互环节，将局部坐标系中得到的数据点进行三维数据融合到一个坐标系中，能较好解决视差不连续区域和遮挡区域的误匹配问题.实验证明该算法具有良好的运行效率和稳定性，能够对非平面物体进行精确三维重建并实现多视角显示.

摘要:为了提高情感识别的准确性，该文以语音信号为研究对象，提出了一种新型的语音情感识别方法.将局部保持投影算法（LPP）的思想融入到主元分析（PCA）的目标函数中，使得在原始变量空间投影到低维空间的过程中，不仅实现了整体方差的最大化，而且保持了局部近邻结构不变，有利于全局和局部特征的全面提取，克服了传统PCA方法只关注全局结构特征而忽略局部特征的缺陷.对比实验结果验证了该方法的可行性和有效性，实现了对喜悦、愤怒、悲伤、恐惧和中性5种人类基本情感的识别，研究成果将为情感识别提供新的研究方法，促进人机交互系统进一步深入发展.

摘要:提出一种基于双GPS的振捣棒定位算法.该算法首先获得GPS精确定位的坐标数据，并将所得坐标数据反馈至单片机.然后在单片机中经过该算法的整合处理，最后得出振捣棒的位置坐标.该简洁，计算简单.实验结果证明，该算法运行高效，能满足准确性和实时性的双重要求.

摘要:在上下文无关的说话人识别应用中，针对传统MFCC特征参数在语音预处理方面不足以及三角滤波器组的缺陷，提出一种改进的MFCC特征参数提取方法.一方面在传统算法上加入端点检测，去除与说话人语音特征无关的静音段；另一方面用高斯滤波器组（Gaussian shaped filters GF）代替三角滤波器组进行频率到Mel频率的转换，提高识别准确率.说话人识别模型使用流行的高斯混合模型（GMM）.实验结果显示，高斯滤波器组的引入相比于传统三角滤波器组识别率有4.45%的提升，本文改进后的MFCC特征参数相比于传统方法识别率也提升了6.43%，能更好的代表说话人的语音特征.

摘要:微粒群算法因其实现简单及优化效果较好而得到广泛应用，但也存在易早熟和局部收敛的缺点；结合Lévy飞行的特性，提出了一种新的带Lévy变异的微粒群算法，并对其收敛性进行分析，指出该算法依概率收敛于全局最优解.通过对8个标准测试函数的仿真实验，结果表明改进算法中的Lévy变异能够利用粒子的当前知识并增加群体的多样性，从而能够更有效地平衡局部搜索和全局搜索，使其具有更好的性能，最后对改进算法的各参数设置进行了探讨分析.

摘要:当前对并行空间连接查询的研究主要集中在算法设计上，缺少在并行关系数据库管理系统上的应用实现研究.通过分析并行空间连接算法流程，利用开源并行关系数据库集群项目PL/Proxy，提出了混合式计算迁移模式并扩展了对空间操作的支持，并在其上实现了可扩展的基于空间划分的并行空间连接算法.通过真实数据的实验表明：设计实现的并行空间连接算法在空间数据划分负载均衡的情况下，可实现近线性的加速比；而在空间划分产生数据倾斜严重的情况下，仍具有一定的加速比，同时具备针对空间划分方案改进的可扩展能力.算法的实现方式为进行并行空间数据管理研究提供了一种可行的解决方案.

摘要:为完善孩子兄弟树抽象数据类型中的基本操作，进而更好地服务于教学科研和日常应用，解决了在孩子兄弟树中查找双亲结点这一重要的、复杂的和缺少深度研究的操作.通过数学方法分析得知，该算法的时间复杂度和空间复杂度均为O（n）.同时，通过对该算法的应用潜力进行挖掘，发现其在地名查询系统中具有很好应用前景.

摘要:GUI应用在桌面环境中占据主流，在线迁移GUI应用能够提升用户体验.然而，当今广泛使用的X窗口系统所定义的协议十分复杂，不利于GUI进程的在线迁移.另外，如果两台机器的运行时环境不一致，将会导致迁移失败.因此至今未有实现GUI应用的在线迁移.近年来，Wayland作为新的图形接口协议面世，其中规定软件图形渲染由GUI客户端负责，这为迁移工作带来极大的便利.而当今热门的Docker容器技术则能把Wayland GUI应用及其运行时库打包，确保运行时环境的一致性.当迁移发生时，整个容器都会被迁移至目标机器继续运行.本文开发了相应的处理Wayland协议模块，并在CRIU工具的基础上实现了重建Wayland状态.通过实验证明，本文方案是可行的，容易推广到其他的GUI应用.

摘要:服务机器人在给人提供帮助，带来生活便利的同时，需要检测并跟踪行人.然而，环境复杂，多个行人之间存在遮挡等问题，给行人的检测与跟踪带来了挑战.在行人检测方面，本文提出了最近邻方法融合激光人腿检测和Kinect人体检测的结果，有效改善了行人检测的精度和完整性.针对多行人跟踪，本文提出了一种改进的粒子滤波算法对行人的位置和速度进行了估计，克服了传统粒子滤波算法计算量大，重采样阶段粒子贫化的缺点.最后，在实际场景中采用改造的turtlebot机器人进行了测试，并进行了计算机可视化，实验结果证明本文提出的方法具有很好的准确性，实时性和鲁棒性.

摘要:基于Z-Stack协议栈，以CC2530射频收发芯片和DHT22数字温湿度传感器为核心，采用ZigBee无线通信技术设计实现了无线温湿度采集监测系统，并在IAR环境下采用上位机软件以GUI的方式在终端直观地显示温湿度变化情况.主要阐述了系统结构设计、温湿度数据采集流程和图形化界面监测实现.实验表明，该系统实现温湿度数据的采集不但实时有效、可扩展性良好，而且具有极高的可靠性和卓越的稳定性.

摘要:顶点标记半图是用n个不同符号标记的半图G.通过分析得出只包含不相邻边的顶点标记半图的计数和包含两个相邻S边的顶点标记半图的数目的计算的多种结果.同时也计算了包含1到8个顶点的顶点标记半图的数目.

摘要:针对智能交通系统中车辆检测对处理实时性和使用环境的要求，提出了一种基于动物视觉的车流量检测算法，并将算法封装成组件应用于异构处理平台中.此算法通过判别相邻像素点的关联性，消除伪误差，提高了车辆识别的准确率.通过更新优化处理组件，快速更新车辆检测处理算法，有助于新算法快速应用到实际中去.实验证明，利用异构处理平台更新算法的方式，缩短了算法开发周期，提高了算法利用率，可有效快速的对处理流程进行更新.

摘要:针对传统IT运维服务平台事件全文检索准确度不高及大量历史事件单再利用率低的特点，提出一种基于事件文本向量化处理方法的事中处置参考模型.通过建立生产运维特征词库，将事件工单文本表示成特征向量，并选择合适的算法对不同事件文本特征向量进行相似度计算，最终通过匹配找到平台历史事件或者知识库中与现有事件相似度高的事件或知识，供故障处置人员参考.将此方法应用到企业级服务台事件处置流程中，能帮助运维人员快速准确地找到类似的历史事件或者相关的知识，形成事中处置参考，加快事件处置效率，同时也进一步提高了运维工具的智能化水平.

摘要:移动互联网和健康大数据正在引发医疗健康管理产业发生颠覆性变革，各级厂商着力构建形成一套基于“互联网+物联网+医疗服务”技术的以O2O商业模式为主的云端健康管理系统平台.“中科慧康”云健康平台主要为健康机构以及用户提供健康管理的平台.本文从平台架构设计和系统优化入手，从负载均衡，分布式缓存，数据库优化，socket转发服务器等方面设计了良好的云平台以支撑业务发展.实验结果表明，该系统架构可以满足百万级别的数据转发和用户访问，应用实践表明了该方案的可行性.

摘要:针对港口监控摄像机与船舶目标距离远，船舶目标成像小，海面噪声干扰大等特点，采用一种基于多结构元素形态学滤波的背景抑制算法.根据船舶的几何特征，采用多组结构元素的加权形态学滤波，将船舶目标与海面背景分离，然后利用基于邻域的自适应快速中值滤波滤除脉冲噪声，最后根据海面杂波在帧间运动不连续且面积较小等特点，利用连通域计算建立船舶的形态特征模型，来排除海面杂波对船舶检测的干扰.实验结果证明，该检测方法在实际港口获取的视频中，可以有效的抑制背景噪声和海面杂波，快速的检测出船舶目标.

摘要:针对信息时代背景下，老人、儿童易受丢失与信息诈骗等问题，通过搭建Eclipse+ADT+SDK的Android开发环境，采用Java语言设计了一个基于Android平台的防丢失与防诈骗的短信监控系统.该系统包括来去电监控、短信监控、定位监控和解锁监控等模块.运行结果表明，该系统简洁易用且稳定可靠.

摘要:为了能够准确的测量信号的参数，设计了一种宽带交直流信号检测系统，该系统的控制芯片采用的是STC12C5A32S2单片机.首先，信号采集电路采集到的信号经交直流测量电路进行处理；然后，通过分压和自动增益放大电路等处理后，在频率和相位检测电路中测量信号的频率和相位；最后，在液晶显示器上显示待测信号的幅度、相位和频率等信息.在实验中，测量了频率为0-20KHz的不同幅度信号，实验结果表明，在低频情况下测量误差可以忽略，在高频信号测量时的测量误差小于1%.

摘要:经济活动分析是企业加强经营管理、提高运营效率的一种重要手段.本文针对传统经济活动分析工作开展及分析系统中存在的一些专业性较强、易用性不足、面向特定分析主体等问题，设计了一种集多维分析、数据缓存、数据压缩、多线程等功能于一体的经济活动分析系统，该系统在实现传统系统的数据采集、数据处理、统计分析功能外，还具有多种自定义功能、多维度分析展现.该平台在实践应用中，服务于企业经营管控，提高工作效率和质量，验证了本研究成果的有效性.

摘要:主要介绍以国产安全操作系统为运行环境的集中存储管控系统的研究与设计，系统通过运用“沙箱”、多因素增强身份认证、数据集中加密存储、负载均衡等核心技术，实现对用户文档的安全加密、数据集中存储、终端安全管理、外设封控管理及日志全面审计功能，以达到针对特殊目标用户数据灵活、安全、高效的集中存储管控策略控制.

摘要:在传统的K-means算法中，聚类结果很大程度依赖于随机选择的初始聚类中心点以及人工指定的k值.为了提高聚类精度，本文提出了利用最小距离与平均聚集度来对初始聚类中心点进行选取，将层次聚类CURE算法得到的聚簇数作为k值，从而使聚类精度得到提高.最后，将改进后的K-means算法应用到微博话题发现中，通过对实验结果分析，证明该算法提高了聚类结果精度.