摘要：设计与实现了自动孔板印刷机中印刷图像质量检测系统。该系统主要包括孔板印刷中多路印刷图像的获取、特征的提取和匹配以及质量监控处理等功能模块。在RG Chromaticity空间中采用模板匹配的方法设计了相关的算法,实现了对印刷图像的错位、漏印、渗溢以及颜色不均等质量因素的快速实时检测,并成功地应用于自动丝网印刷设备中。经过测试和运行取得了良好的质量监控效果和经济效益。

摘要：多源数据学习在大数据时代具有极其重要的意义.目前,多源数据学习算法研究远远超前于多源数据学习理论研究,经典的机器学习理论难以应用于多源数据学习,更难以提供多源数据学习算法在实际应用中的理论保障.从学习的最终目的是知识这一认知切入点出发,对人类学习的认知机理、机器学习的三大经典理论(计算学习理论、统计学习理论和概率图理论)以及多源数据学习算法设计这3个方面的研究进展进行总结,最后给出未来研究方向的思考.

摘要：随着软件互联网化和服务化的高度发展,持续性(continuity)成为现代软件系统的基本特性之一,覆盖从商业策划、软件开发、运维、演化的所有环节,使得软件系统在持续稳定提供功能和服务的同时,软件系统的边界和内部结构始终处于不断变化、持续更新和适应之中,持续软件工程(continuous software engineering)由此被提出并迅速得到广泛的实践应用.微服务(microservice)架构作为一种全新的去中心化分布式架构,在软件架构层面成为适应持续软件工程发展的必然趋势,而领域驱动设计(domain-driven design,简称DDD)伴随着微服务架构的兴起也重新获得了业界的广泛关注,二者共同关注服务自顶向下的合理设计和分解.微服务架构与领域驱动设计共同支持实现现代软件系统的持续性特征.为了反映中国学者和实践者在求解以微服务架构为代表的持续软件工程所面临的架构难题和挑战过程中取得的理论、技术或实验方面的创新性、突破性的高水平研究成果,特设立此专题.

摘要：针对云数据中心环境下的数据副本丢失问题,提出2种服务质量感知的数据副本恢复算法。基于数据副本的分布情况,在考虑数据副本安全规则的前提下,对数据安全等级进行划分,给出分阶段数据副本恢复算法。在此基础上,依据数据冷热程度,建立数据副本稀有度模型,设计稀有度感知的分阶段数据副本恢复算法。实验结果表明,与直接数据副本恢复算法相比,所提出的算法可有效提高云数据中心的应用服务质量及数据安全保障能力。

摘要：针对现有多属性数据隐私发布方法无法兼顾属性的敏感性差异和计算效率低的问题,提出了一种基于属性分割的差分隐私异构多属性数据发布方法HMPrivBayes.首先,设计了满足差分隐私的谱聚类算法分割原始数据集,其中相似矩阵的生成借助于属性最大信息系数.其次,借助属性信息,该方法使用满足差分隐私的改进贝叶斯网络构建算法分别为每个数据子集构建贝叶斯网络.最后,以属性归一化风险熵为权重分配隐私预算,对贝叶斯网络提取的属性联合分布添加异构噪声扰动,实现了异构多属性数据保护.实验结果表明,HMPrivBayes可以在减少注入合成数据集中噪声量的同时,提高合成数据计算效率.

摘要：SCADE同步语言是一种常用的嵌入式系统程序设计语言。在航空、航天、交通等安全关键领域的装备研发中,SCADE同步语言通常被用于实现实时嵌入式自动控制系统。SCADE语言是工业级的开发工具,它源于Lustre语言,并在其基础上增加了更多的语言结构来精简代码。目前,相比Lustre语言,SCADE程序模型检测的学术研究相对落后。为此,文中提出了一种对SCADE程序进行模型检测的方法并实现了一款SCADE模型检测工具,该方法的核心思想是基于程序转化,即把SCADE程序经过词法分析、语法分析、抽象语法树生成与化简等操作最终转化为等价的Lustre程序,然后用JKind与SMT求解器完成模型检测。此外,通过理论推导和大量实验证明了工具的模型检测的正确性。实验结果表明,功能相同的两个SCADE和Lustre测试用例模型的检测结果相同,但SCADE程序的模型检测效率相对较低。

摘要：为降低云平台视频监控系统视频传输时延、视频分析处理开销和存储成本,提出一种基于边缘计算的视频监控框架。根据边缘节点地理位置靠近视频源的特点,将监控视频流的分析预处理工作迁移到边缘节点完成;设计边缘节点帧过滤算法,通过对视频流的目标识别,筛选出有效视频帧进行上传;在此基础上,设计边缘节点任务调度算法,提高视频流实时性和资源利用率。实验结果表明,该框架能够有效降低视频传输开销和视频分析处理开销。

摘要：针对智能Agent运动中普遍存在的避障问题,结合强化学习具有的试错和环境交互获得在某状态下选择动作的策略以及无导师在线学习等特性。在介绍强化学习的原理、分类以及主要算法(TD(λ)、Q_learning、Dyna、Prioritized Sweeping、Sarsa)的基础上,对TD(λ)、Q_learning的算法进行分析,并将其应用到实验中。实验结果表明,强化学习中的、TD(λ)Q_learning等算法在不同情况下都能高效地解决避障等问题。

摘要：冲击地压对矿井安全生产危害十分大,而地音监测系统能够对冲击地压进行较为准确的预测。针对目前地音监测系统组网方式和实时性的不足,设计了基于LM3S9B96处理器的地音变送器。地音变送器的工作过程如下:首先将地震检波器采集到的地音信号放大和A/D转换,再采用lwIP协议把采样数据上传到上位机。地音变送器的这种数据传输方式不受距离的限制,从而解决了传输问题,同时该地音变送器具有较高的采样精度和良好的实时性。

摘要：随着网络教学的不断发展,越来越多的人开始意识到网络教学资源的重要性。本文将自组织理论引入网络教学资源的构建过程中,让参与网络学习的学生也能加入到教学资源的共建共享活动中,通过教学互动促进教学资源的自增长,从而为师生不断提供大量针对性强、形式和内容丰富的教学资源。同时,设计和实现了基于SNS的网络学习社区,在学习社区中实现教学资源的自组织构建。本文设计的网络教学资源自组织构建方法,在南京大学"数字化教学资源库"建设中得到了验证,对其他高校的教学资源建设也有很好的借鉴和指导意义。