移动端垃圾分类软件设计与实现

垃圾分类的实施过程中存在配套设施不完善、居民的分类意识浅薄和分类的正确性较低的问题。为了提高垃圾分类的准确度,降低二次分拣成本,本文基于深度学习中的图像识别技术设计和实现了一款移动端垃圾分类软件。该软件分为前端与后端,前端向用户提供图像识别、垃圾检索、模型优化等服务,后端响应用户的请求并进行模型的训练。通过对60种垃圾图像的识别结果,识别准确度达54%,说明该软件可以帮助居民提高对生活垃圾分类的准确度。

抽象精化和可满足性结合的EFSM模型测试用例优化生成

基于模型的测试是测试自动化的重要手段,通常采用模型检验技术从系统模型自动生成测试用例集,但生成的测试用例集往往存在冗余,这将影响测试用例执行的性能和成本.该文以扩展有限状态机(Extended Finite Machine,EFSM)为建模工具,根据公式簇建立状态等价关系,构建抽象模型,采用模型检验技术生成抽象反例(测试用例);给出了判定生成的抽象反例是否为伪反例的方法;采用反例引导的方法精化抽象模型,删除伪反例;最后,使用我们之前提出的基于可满足性的测试用例生成方法在抽象模型上生成约简的测试用例集.实验表明:该方法的测试用例数目约简比例最高达76%(警报侦测组件EFSM),总长度约简比例最高达68%(ATM EFSM),同时不会影响测试用例集的迁移覆盖率和查错能力.

定义及验证UML Statechart图中的数据流语义

在传统的UML Statechart图中加入了数据流对象后,因为UML Statechart图缺乏精确的数据流语义,所以不适合应用UML Statechart图对工作流中的数据流进行建模并验证其正确性。为了解决这一问题,选择标记转换系统(LTS)作为语义域,并用结构化操作语义(SOS)分两步定义了UML Statechart图的数据流语义,为工作流中的数据流正确性验证奠定了基础。在此基础上,使用时序逻辑公式表示数据流所需满足的性质,在验证数据流的正确性之前,给出了将它的UML Statechart图模型转化为可达状态迁移图的算法,最后通过模型检测算法验证数据流的正确性。

基于稠密时间的实时系统模型检测的一个应用

模型检测是一种用于并发系统性质验证的算法技术。实际生活中广泛应用的是带有时间约束的并发系统即实时系统,现在模型检测技术越来越被广泛地应用到这类系统的性质验证当中。这类系统通常用时间自动机来表示,而它们的性质则用时序逻辑公式表示。本文简要介绍了时间自动机和时序逻辑TCTL,并着重说明了如何进行基于稠密时间的实时系统的模型检测,最后给出了一个应用实例。

使用机械分词与特征扫描实现对甲骨卜辞的切分

依据甲骨文语法及甲骨文词典对甲骨卜辞进行切分,是建立甲骨文语料库实现计算机辅助甲骨文考释的前提和基础.针对甲骨卜辞的切分,采用机械分词与特征扫描相结合的中文分词技术对200条比较完整的卜辞进行切分实验,将只使用机械分词和结合了特征扫描的两种方法进行比较.结果表明,采用机械分词与特征扫描相结合,实现甲骨卜辞的切分的正确率和效率都较高.

基于UML状态图的工作流时序约束一致性研究

通过对UML状态图进行时间扩展,建立工作流的时间模型,再把该模型转化为时间自动机,接着用时序逻辑公式定义时序约束,最后分别在建立阶段、实例化阶段和运行阶段使用模型检测技术对时序约束的一致性进行验证.

高职院校软件专业学生的职业素养培养探析

软件行业正处在飞速发展的阶段,产业化程度越来越高,岗位分工越来越专业化和细致化,竞争越来越激烈。为了适应这样的形势,高职院校除了培养学生掌握专业知识外,还应采取相应的途径对软件专业的学生进行职业素养的培养,以使他们能够顺利踏上工作岗位,在激烈的职场竞争中确立优势。

基于UML-Statecharts的工作流控制结构的验证

工作流模型验证成为工作流的重要研究领域之一。控制结构的正确性是工作流过程所需达到的最基本要求,本文着重控制结构方面的验证。本文使用 UML-Statecharts 建立控制结构模型,使用时序逻辑表示工作流控制结构需要满足的性质。给出了一个定理并进行了证明,基于定理给出了一个验证完全性的算法,对于工作流语义相关性质的验证给出了一模型检测算法。

基于众测平台的“软件测试”教学模式改革研究

“软件测试”传统教学模式在教学内容安排、教学质量反馈、实践能力培养等方面存在系统性、及时性、针对性、实用性不足的问题。基于众测平台的教学模式可以提升软件测试人才培养质量,满足新工科背景下对应用型人才的需求。

景点智能识别语音翻译APP 的设计与实现

许多游客在国外旅游时,由于语言不通,加上对当地景点的文化不了解,容易产生了较差的旅游体验。为了提高出境旅游的游客对景点信息有较为全面和准确的了解,本文研制了一款景点智能识别语言翻译APP。这款APP依托Android平台,通过图像识别、自然语言处理、语音识别等深度学习技术,实现了图像文字识别、地标识别、英汉互译、语言识别播放等功能。

UML Statechart图中数据流的语义及验证

由于UML Statechart图缺乏精确的数据流语义,因而难以对UML Statechart图建模的工作流的数据流进行正确性验证.首先,UML Statechart图是基于状态转换的,为此选择标记转换系统(LTS)作为语义域,并用结构化操作语义(SOS)分两步定义了UML Statechart图的数据流语义.然后,采用时序逻辑公式表示数据流所需满足的性质,同时给出了将UML Statechart图模型转化为可达状态迁移图的算法,最后通过模型检测算法验证数据流的正确性.

一种基于扩展UML状态图的并发工作流验证方法

当并发执行工作流的多个实例时会导致数据流访问时语义的不一致。首先扩展了传统的UML状态图，用它进行工作流实例建模。然后把扩展的UML状态图建立的工作流模型转化为Biichi自动机，并用Biichi自动机之间的积表示多个工作流实例的并发模型。接着给出了和证明了根据并发模型中标记的命题公式判定并发冲突的定理。最后，由于随着实例数目的增加，并发模型中的状态数也会按每个实例的状态数倍增加，为了解决这一问题，在检测并发冲突的算法中采用了on—the—fly技术.

以赛证融通为导向的软件测试课程改革研究

为了培养高质量的软件测试技能型人才,本文以“赛证融通”为导向,结合全国职业院校技能大赛和Web应用“1+X”认证的相关内容和标准,对现有软件测试课程从教学内容、考核机制、评价体系三个方面进行改革,形成嵌入式的教学内容、递进式的考核机制、过程式的评价体系,并在实践过程中取得了很好的效果。

时间UML-Statecharts建模的工作流时序约束的一致性验证

工作流模型验证已经成为工作流的重要研究领域之一,工作流模型的时间正确性的验证也越来越受到关注。本文通过对于UML-Statecharts进行时间扩展,建立工作流的时间模型,再把该模型转化为时间自动机,最后分别在建立阶段、实例化阶段和运行阶段使用模型检测技术对时序约束的一致性进行验证,检查是否存在相冲突的时序约束。

软件测试中单元测试案例教学实践

单元测试是软件测试过程中必不可少的一个环节。作为《软件测试工具应用》课程的一个教学单元,在单元测试教学设计中,分析了单元测试的教学定位、学情和教学目标。结合黑盒测试用例设计方法和白盒测试用例设计方法,通过设计不同的案例,讨论了JUnit单元测试、被测代码100%覆盖率以及JDBC GUI程序的单元测试的在教学中的实现。

混合教学模式下融入思政元素的数据库应用课程教学设计

近年来课程思政是教育改革的高频热点词汇,程序设计类课程作为一个理工科的课程,很难把课程思政加入课程中去。数据库应用课程作为一门专业基础课,在新的线上线下理论+实践的混合教学模式下,如何在教学过程中把思政元素融入课程中,需要教师深入研究。文章就这一问题进行了简单的教学设计。

基于3D MAX的三维网格模型数字水印应用研究

提出一种基于3DMAX三维软件的网格模型数字水印算法.在3DMAX中,将对象转换成网格模型,并对其子对象顶点和面进行分析.选择直角三角形中较小锐角所在的顶点作为水印的嵌入点,水印嵌入采用修改最不重要位的方法.实验结果表明,算法载荷小,时间复杂度低,水印具有很好的不可见性,且算法具有很高的实际应用价值,可以有效保护三维室内外设计作品的版权.