软件导刊

近年来国家对矿山的安全生产工作日益重视,但矿山灾害事故仍时有发生。在矿山事故发生后,如何确定一条最佳避灾救援路线,指导受灾人员安全撤,从而将突发事故的影响和伤亡人数降到最低,成为目前矿山应急突发事故处理方法的重点研究方向。针对煤矿井下避灾救援路径的最优规划问题进行综述,首先从井下突发事故的静态最优路径规划算法和动态最优路径规划算法两方面揭示煤矿井下路径规划的基本方法,然后介绍复杂环境影响下的应急救援路径规划,最后总结煤矿井下应急逃生路径规划研究面临的问题与挑战。互联网技术发展为教育行业带来了巨大变革,在“互联网+教育”指导下,微学习资源受到越来越多研究者的关注。为了更好地了解我国微学习资源的研究现状,采用内容分析法,分析了2008—2017年发表在中国知网的微学习资源相关文献,从研究历程、文献来源、研究内容和研究趋势等方面进行探讨。得出微学习资源研究仍处于基础理论研究阶段,研究者主要来源于高校,目前的研究热点集中于基础研究和资源建设研究等。微学习资源相关技术研究可能会成为未来研究的重点。通过对2007-2016年国内自适应学习系统相关研究论文进行检索,将其分类整理,分析研究内容,反思自适应学习系统研究现状,提出未来研究方向。为了规范软件开发库管理,提高工作效率,提出了一种软件开发库策划方案。对重点部分基线策划提出了3种方案并进行对比分析,选取软件配置管理工具进行管理。使用该方案建立的开发库结构清晰、配置项变更可控制,产品一致性及软件问题追踪管理实施良好。根据汽车插片保险丝的形状特征,基于机器视觉与OpneCV开源视觉库设计汽车插片保险丝定位算法。通过对采集到的汽车插片保险丝图像进行处理,计算出汽车插片保险丝的位置与角度。算法核心为通过计算汽车插片保险丝轮廓的几何矩求取位置信息,并结合最小外接矩形与汽车插片保险丝的形状特征求取角度信息。试验结果表明,该算法能够准确检测出图像中汽车插片保险丝的位置及角度信息,具备一定的应用价值。在车载自组织网络(VANETS)中,高效的数据分发一直是研究热点之一。为通过关联网络编码的协作中继有效地进行数据转发,将网络编码技术通过对传输数据进行网络编码并即时解码的方式应用于车辆之间通信,以提高数据分发效率。该算法与传统的直接传输与中继传输方法相比,有效减少了数据分发延迟,提高了数据分发效率和无线传输中的信道利用率。知识融合是知识管理和知识工程的重要环节,从文本中获取专业知识是人们获取新知识的首选方式。对于多源文本知识,由于作者描述的角度和侧重点不同,往往导致文本知识描述的整体性、知识粒度和精度有所差异,从而引起知识的不一致问题。为得到粒度小、精度高且完备的文本知识,提出一种基于本体的多源文本知识融合算法。利用本体概念框架将文本知识结构化,并将概念框架进行融合。实验结果表明,该算法有效解决了文本知识的不一致问题,提高了知识融合效率。传统视频监控系统要求监控人员时刻紧盯画面,很容易造成监控人员视觉疲劳与疏忽,为克服该弊端,设计一种远程智能监控系统。通过客户端与服务器端的实现过程,重点阐述了智能监控系统的设计,通过对出现在监控场景中的运动物体进行检测,实现了对运动目标跟踪,使用感知哈希算法可以保证在光照变化时不丢失追踪目标,并开发了Android移动设备应用程序。用户在有网络的情况下可以查看监控场景,在应用程序退出后能够接受服务器传输过来的报警提醒。高校智慧校园建设目前尚未形成统一的解决方案,大部分高校都处在初级探索阶段,新兴、热门技术(如物联网、云计算、移动互联、大数据、社交网络等)还处在初级应用层次。智慧校园建设的核心是为教与学提供智慧应用、智慧服务、智慧生活、智慧管理,综合服务门户是智慧校园建设的基础。结合华东交通大学综合服务门户——智慧交大建设实际,阐释智慧交大建设思路,探讨架构模型及应用效果,为建设以服务为导向的智慧校园支撑平台提供参考。传统推荐系统存在不以用户关注度为导向、推荐信息分散、推荐效率低等弊端,针对该问题,通过深入挖掘用户的关注度特征及浏览行为特征,分析用户的潜在需求,以此为基础,综合基于类别关注度的信息推荐、基于主题词的长期关注度推荐以及基于协同过滤的个性化推荐算法,采用模块化的设计方法,提出一种基于用户关注度的个性化推荐系统。实践应用表明,该系统能够帮助用户从海量信息中快速、准确地找到自己关注的内容,对互联网个性化信息服务具有一定的应用价值。针对地方性本科院校的办学实际,分析目前“数据科学与大数据技术”专业建设中面临的培养方案制定、专业教材建设、师资力量培养、硬件设备补充等问题。研究培养方案中实践教学体系构建问题,使用理论加案例分析相结合的方法,以贵州师范大学为例,给出“数据科学与大数据技术”专业实践教学体系构建方案。该方案由课程实验、综合实验、学期实训、专业见习、专业实习、企业实习、毕业设计与课外素质拓展几部分组成。各院校在构建实践教学体系时应该结合本校办学实际,以提高学生综合应用能力与提升“数据科学与大数据技术”专业培养水平为宗旨,构建具有自身特点的实践教学体系。为提升消防管理部门对消防隐患举报、排查、跟踪、整改等全过程的信息化管理水平,增强全社会的消防预防意识和隐患处置能力,利用手机移动终端、网络服务平台设计并实现了消防隐患举报服务平台,以辅助各级消防管理部门对辖区内消防隐患的管理。举报人发现消防隐患后,可利用手机进行APP实时举报;消防管理部门在服务平台上接收到举报后进行核实,并将隐患整改建议推送到被举报单位消防责任人的手机APP上;消防责任人接收到整改建议后组织整改,并将整改结果通过手机APP上报服务平台。实际应用测试结果表明,该服务平台的引入为消防管理部门、社区、企事业单位、社会人员等全员参与消防预防行动提供了一个方便、快捷的信息处理平台。针对智能汽车行驶过程中障碍物检测问题,提出一种使用双目立体视觉的距离信息与障碍物纹理信息相结合的障碍物检测方法。首先,将双目相机的左图和右图校正后进行匹配得到视差图,根据相机内部参数和外部参数将视差图投影为具有距离信息的鸟瞰图,去除地面及高空背景目标,在鸟瞰图上将相近的点云聚类为一个目标,得到障碍物的粗略位置信息;然后,将得到的位置信息映射到原图,并形成多个候选区域,在候选区域查找障碍物边缘信息,得到障碍物具体位置。该算法结合了物体距离的三维信息和物体形状的二维信息,使障碍物的分割结果更加精准。针对典型交通场景进行了实验,结果表明,该算法能够有效弥补单独使用距离信息或者纹理信息带来的障碍物分割不准确的问题。数据缺失是临床试验中常见但又不可避免的问题之一。由于医疗设备欠缺或者病患忽略检测白蛋白,可能造成白蛋白指标缺失。随着机器学习的广泛应用,很多研究者将机器学习应用在缺失数据估计上。提出一种基于随机森林与聚类方法结合的算法——双随机森林回归法,并将该算法应用于估计白蛋白缺失值。在准确率和鲁棒性方面,双随机森林回归法相比于最近邻法、决策树与随机森林方法,均有不同程度提高。该算法为缺失值的有效处理提供了一种新思路,可以为其它的缺失值估计研究提供参考。为了在实际项目测试工作中更好地适应敏捷开发模式,探索一种新型软件测试模型。通过梳理传统的几种常用软件测试模型,比较分析各个模型的优缺点,吸取前人的优点并结合实际项目经验和现实需求,设计了一种以需求为驱动、以测试为核心的新型软件测试模型—“车轮”模型。该模型适用于目前最流行的敏捷开发模式,强调全过程测试,能有效提高软件质量和开发效率。分析飞行员在环试验对工模软硬件仿真度的技术要求,提出将适航条款中有关飞行品质的定性要求转化为可量化计算指标的思路,研究采用定性分析和定量分析对基于工程模拟器的民机飞行品质进行综合评估的方法,以便在民机设计过程中即可进行飞行品质的预测和评估,保证满足适航要求。以纵向操纵-速度恢复试验科目为例,详细介绍飞行品质评估试验的过程及采用定性分析和定量分析对飞行品质进行综合评估的方法,对飞行品质评估时需要注意的关键点进行总结分析,供相关工程设计人员参考。“十三五”是我国电子政务转型发展的关键时期,随着“互联网+”和云技术开始广泛应用于社会各个领域,为政务信息化带来了强有力的支撑。以云南省电子政务为例,在调研的基础上,根据“需求牵引、数据驱动、先进开放、安全可信”原则设计省级政务云平台。以主动防御可信计算技术构建政务云安全保障体系,通过“互联网+政务”模式推动政务云建设,从而提升政府政务工作效率和社会信息化水平。为了提升高校就业信息服务水平,促进行业人力资源优化配置,构建数据驱动的人才供需匹配信息服务平台意义重大。通过互联网数据抓取,获取国内行业体系与职位体系信息,并参考职业兴趣类型理论,构建人职匹配模型,基于云计算服务实现人才测评、人职匹配推荐和就业统计分析功能。该平台目前主要应用于高校电子商务和物流管理专业人才库构建,实现大学生职业规划指导和就业信息服务,效果良好。基于网络招聘数据采集和人才测评方法的结合,能有效提高人才供需匹配效率,平台未来将向智能化方向发展,实现行业发展及需求预测、热门技能挖掘等深度分析功能。为提高人口、房屋数据空间化精度,在甘肃省内随机抽取311个网格单元(1km×1km)的人口、房屋数据为样本,建立基于抽样数据的人口、房屋分布模型。将其应用到2013年岷县漳县Ms 6.6级地震灾害快速评估中,结果显示,用人口、房屋空间数据得到的快速评估结果具有较高的精度和可信度。基于抽样的人口、房屋数据空间化方法可以较好地反映甘肃省实际人口、房屋分布情况。为提高检测气体绝缘金属封闭开关设备(GIS)故障点的有效定位率,提出利用软硬阈值结合法对振动信号设定阈值,采用具有多分辨率特性的小波分析方法进行有效降噪;通过Matlab仿真和实际试验结果验证其准确性,对比分析表明,基于小波分析的去噪方法提高了信噪比和定位准确性,是一种提取有用信号的有效方法。常用的几种背景提取算法在车流量较大的情况下提取的背景效果较差。在某些目标检测区域较少的场景中,若将所有像素进行检测,会浪费许多时间。针对这些问题,提出一种新的背景提取算法。先将视频帧进行分割,再对分割出的检测带依次进行车辆存在检测,最终自动选取视频中没有车辆的车道块并将其拼接成完整背景帧,最后利用Lab空间色度与亮度相互独立的特性提取目标。该算法能够充分提取前景图像,不会丢失车辆目标。相比传统算法,该算法准确性较高。随着微波频谱波段的日益稀缺,毫米波波段通信因其有足够的带宽而受到广泛关注,同时也被认为是第五代移动通信网络的关键技术之一。与微波不同的是,毫米波适用于短距离通信,与D2D通信要求的通信场景非常契合。为了充分利用宽频带,并假设通信时无阻塞,提出一种短距离通信场景下无阻塞毫米波D2D通信模型。以随机几何作为理论工具,即基站、终端用户的分布服从泊松分布,这样更具有实际研究意义,推导出用闭合形式表达的通信系统模型覆盖概率与面积频谱效率并进行分析。仿真数值结果表明,与单独使用微波的通信模型相比,毫米波通信模型在中断概率、面积频谱效率以及小区覆盖率方面具有更好的性能。针对目前移动智能终端数据存储易泄露问题,提出一种移动端数据存储安全模型。考虑到移动终端计算能力局限性,提出一种改进的超轻量级加密算法,既能保证数据安全又可提高计算效率。将改进的基于时间戳的认证方案与透明加/解密技术相结合,使文件以密文形式上传到服务器,重新回到移动智能终端时才被解密成明文,实现对用户文件的全生命周期保护,保证数据传输安全性。以iOS客户端为例对方案进行了功能测试,实验表明,该系统能有效保障移动智能终端用户的数据安全性。云存储应用广泛,但云端节点的不可控特性使存储的数据安全性得不到保障,制约了云存储在敏感数据和关键数据存储中的推广。秘密共享技术通过将原始数据作为秘密拆分成若干秘密份额并规定访问门限,为云存储数据安全提供保障。虽然部分份额的损坏不会影响到数据恢复,但若超过一定限度将无法恢复原始数据。针对该问题,设计了一个基于分组的秘密共享修复模型,可以在不影响秘密共享安全保证的前提下修复丢失或受损的秘密份额,并且可以降低修复代价。该方案突破了以往份额修复的惯用方法,实现了安全修复和局部性统一,为份额修复提供了新思路,为后续研究打下了良好的基础。高校课堂教学对于高质量人才培养起着基础性作用。随着数字视频产业的高速发展,现有《电视原理》课程知识体系和教学方法已不能满足创新型人才培养需求。在教学实践中,依据知识路径原则,采用“以大见小,以小见大”方法革新教学内容、改进教学方法,将教学内容组织和教学方法实施完美融合,使学生系统掌握课程知识体系,形成对知识的“直觉”,灵活应用所学知识于工程实践,培养了学生的思维能力。教学实践表明,该教改措施效果显著。大数据时代,高等职业院校传统教育教学模式已不能完全满足社会对新型人才培养的需要,如何将大数据的自适应学习模式与高等职业教育充分融合是当前亟待解决的问题。从大数据自适应学习概念出发,在综述大数据自适应模型及工作流程的基础上,介绍了基于大数据的自适应学习实现过程,并与传统教学进行对比。利用大数据自适应学习,有利于学生对于知识点的掌握,提高学习成绩,并激发学生学习兴趣。机器学习处于人工智能的核心位置,对机器学习研究和人工智能发展具有非常重要的推动作用。由于机器学习涉及到太多数学背景而提高了学习者学习难度,并且学习者基础薄弱也制约了其学习深度。针对机器学习的学习现状及学习者面临的问题,提出分层次学习方法。该方法可让学习者对知识点的理解由浅入深、层层深入,并且让不同需求的学习者认清学习目标。实践证明,该方法提高了学习者积极性,能很好地使学习者入门、深入及精通,提高了学习效率。