搜索筛选:
搜索耗时0.0927秒,为你在为你在102,285,761篇论文里面共找到 20 篇相符的论文内容
发布年度:
[学位论文] 作者：陆公正,,
来源：上海大学 年份：2014
信息技术的飞速发展，使软件产品应用到社会的各个领域，软件产品的质量自然成为人们共同关注的焦点。软件测试在整个软件开发的过程中占有重要的地位。传统的手工测试代价昂贵，迫......
[学位论文] 作者：陆公正,
来源：苏州大学 年份：2006
工作流是近年来计算机集成制造领域发展最为迅速的技术之一。目前已有多种产品应用于实际中,例如Metero、WIDE等。但由于大多数产品在产品建模过程中缺乏正确性验证或仅进行...
[期刊论文] 作者：陆公正,开金宇,
来源：苏州市职业大学学报 年份：2013
依据甲骨文语法及甲骨文词典对甲骨卜辞进行切分,是建立甲骨文语料库实现计算机辅助甲骨文考释的前提和基础.针对甲骨卜辞的切分,采用机械分词与特征扫描相结合的中文分词技...
[期刊论文] 作者：陆公正,缪淮扣,
来源：计算机学报 年份：2016
基于模型的测试是测试自动化的重要手段,通常采用模型检验技术从系统模型自动生成测试用例集,但生成的测试用例集往往存在冗余,这将影响测试用例执行的性能和成本.该文以扩展...
[会议论文] 作者：陆公正,张广泉,
来源：2006年全国理论计算机科学学术年会 年份：2006
本文从UML状态图自身出发,在其中加入数据流对象,定义UML状态图的语法,选择标记转换系统作为语义域,并通过结构化操作语义分两步定义了UML状态图的数据流语义,为工作流中数据流的正确性验证提供了理论基础.......
[期刊论文] 作者：陆公正,戎玫,张广泉,
来源：苏州大学学报(工科版) 年份：2005
模型检测是一种用于并发系统性质验证的算法技术.实际生活中广泛应用的是带有时间约束的并发系统即实时系统,现在模型检测技术越来越被广泛地应用到这类系统的性质验证当中....
[期刊论文] 作者：张苏 杨元峰 陆公正,
来源：电脑知识与技术 年份：2020
摘要：单元测试是软件测试过程中必不可少的一个环节。作为《软件测试工具应用》课程的一个教学单元，在单元测试教学设计中，分析了单元测试的教学定位、学情和教学目标。结合黑盒测试用例设计方法和白盒测试用例设计方法，通过设计不同的案例，讨论了JUnit单元测试、被......
[期刊论文] 作者：陆公正,戎玫,张广泉,
来源：计算机科学 年份：2006
工作流模型验证成为工作流的重要研究领域之一。控制结构的正确性是工作流过程所需达到的最基本要求，本文着重控制结构方面的验证。本文使用UML-Statecharts建立控制结构模型，...
[期刊论文] 作者：张广泉,陆公正,戎玫,
来源：计算机科学 年份：2006
工作流模型验证已经成为工作流的重要研究领域之一，工作流模型的时间正确性的验证也越来越受到关注。本文通过对于UML-Statecharts进行时间扩展，建立工作流的时间模型，再把该模...
[期刊论文] 作者：陆公正 牛丽 尚鲜连,
来源：现代职业教育·高职高专 年份：2018
[摘要]针对高职软件专业现有教学模式存在的问题，依据新工科建设中对“新工科”人才培养的要求，提出以软件工程为核心，对高职软件专业的多门课程进行整合的教学模式，提高学生的工程实践能力、创新能力，解决工程教育和职业岗位需求脱节的问题。 [关键词] 新工科;......
[期刊论文] 作者：陆公正,吴澜波,张广泉,
来源：计算机工程与应用 年份：2009
在传统的UML Statechart图中加入了数据流对象后,因为UML Statechart图缺乏精确的数据流语义,所以不适合应用UML Statechart图对工作流中的数据流进行建模并验证其正确性。为...
[期刊论文] 作者：李亚琴,周德富,陆公正,,
来源：苏州市职业大学学报 年份：2010
提出一种基于3DMAX三维软件的网格模型数字水印算法.在3DMAX中,将对象转换成网格模型,并对其子对象顶点和面进行分析.选择直角三角形中较小锐角所在的顶点作为水印的嵌入点,水印嵌入采用修改最不重要位的方法.实验结果表明,算法载荷小,时间复杂度低,水印具有很......
[期刊论文] 作者：陆公正 王勤宏 吴彩燕,
来源：职业·下旬 年份：2010
软件行业正处在飞速发展的阶段,产业化程度越来越高,岗位分工越来越专业化和细致化,竞争越来越激烈。为了适应这样的形势,高职院校除了培养学生掌握专业知识外,还应采取相应的途径对软件专业的学生进行职业素养的培养,以使他们能够顺利踏上工作岗位,在激烈的职......
[期刊论文] 作者：顾小晶 陈小英 陆公正,
来源：北京电力高等专科学校学报 年份：2010
《数据结构》是计算机专业的一门重要专业基础课,更是一门理论与工程实践密切相关的综合性课程,其研究思想和研究方法在计算机科学的许多深度研究领域具有广泛的应用。因此本课程为学生今后从事相关技术工作提供了坚实的理论基础,同时,通过算法设计和上机实践训......
[期刊论文] 作者：陆公正,秦思奇,张睿,施冬梅,
来源：镇江高专学报 年份：2020
“软件测试”传统教学模式在教学内容安排、教学质量反馈、实践能力培养等方面存在系统性、及时性、针对性、实用性不足的问题。基于众测平台的教学模式可以提升软件测试人才...
[期刊论文] 作者：陆公正,刘阅兵,周诗竣,程媛,
来源：福建电脑 年份：2022
为了培养高质量的软件测试技能型人才,本文以“赛证融通”为导向,结合全国职业院校技能大赛和Web应用“1+X”认证的相关内容和标准,对现有软件测试课程从教学内容、考核机制、评价体系三个方面进行改革,形成嵌入式的教学内容、递进式的考核机制、过程式的评价体......
[期刊论文] 作者：陆公正, 张广泉, 张冬华, 张育,
来源：苏州大学学报：自然科学版 年份：2005
通过对UML状态图进行时间扩展,建立工作流的时间模型,再把该模型转化为时间自动机,接着用时序逻辑公式定义时序约束,最后分别在建立阶段、实例化阶段和运行阶段使用模型检测...
[期刊论文] 作者：陆公正,吴澜波,于复生,张广泉,
来源：苏州市职业大学学报 年份：2009
由于UML Statechart图缺乏精确的数据流语义，因而难以对UML Statechart图建模的工作流的数据流进行正确性验证．首先，UML Statechart图是基于状态转换的，为此选择标记转换系统（LTS）...
[期刊论文] 作者：陆公正,吴澜波,顾小晶,张广泉,
来源：电脑知识与技术：学术交流 年份：2009
当并发执行工作流的多个实例时会导致数据流访问时语义的不一致。首先扩展了传统的UML状态图，用它进行工作流实例建模。然后把扩展的UML状态图建立的工作流模型转化为Biichi自...
[期刊论文] 作者：陆公正,刘阅兵,周诗竣,宋雅娟,杨玉婷,程媛,
来源：福建电脑 年份：2021
许多游客在国外旅游时,由于语言不通,加上对当地景点的文化不了解,容易产生了较差的旅游体验.为了提高出境旅游的游客对景点信息有较为全面和准确的了解,本文研制了一款景点智能识别语言翻译APP.这款APP依托Android平台,通过图像识别、自然语言处理、语音识别等......
相关搜索：
