搜索筛选:
搜索耗时0.7574秒,为你在为你在102,267,441篇论文里面共找到 31 篇相符的论文内容
发布年度:
[学位论文] 作者：蒋曹清,,
来源：武汉大学 年份：2013
BPEL流程异常发生时采用了事件、中断机制,且异常处理过程中还可能重新抛出异常,这些特性往往导致异常处理不能正常终止,使得BPEL流程无法正常运行。因此验证异常处理的可终...
[期刊论文] 作者：蒋曹清,,
来源：科教导刊(中旬刊) 年份：2015
软件测试是计算机相关专业的一门重要课程,高校围绕该课程的教学作了大量尝试,并取得了一定的成绩。由于在教学内容、教学方式方法等方面还存在一些问题,导致目前软件测试课...
[期刊论文] 作者：蒋曹清,
来源：广西科学院学报 年份：2009
基于一种带有标签的Java程序描述（JavaSDG）,给出JavaSDG中的过程依赖图（PDG）的形式化定义,然后分析Java程序方法调用引起的参数之间的依赖关系。并比较基于SDG和基于JavaSDG两种...
[期刊论文] 作者：蒋曹清,
来源：广西计算机学会2006年年会 年份：2006
全面介绍Java安全体系结构的组成部分,并以一个实例来说明Java安全体系结构中各个组成部分为Java程序提供的安全性....
[期刊论文] 作者：蒋曹清,,
来源：广西财经学院学报 年份：2006
根据我院“计算机应用基础”教学的现状:学生差别大、学生动手实践能力不强、教学模式与方法缺乏创新等,提出若干建议。如创建良好的教学环境;实行分级教学机制;建立网络学习...
[会议论文] 作者：蒋曹清,
来源：全国高等院校计算机基础教育研究会2008年会 年份：2008
为了贯彻计算机基础教学面向应用的原则,本文分析了该课程教学改革的主要原因,并针对这些新问题及不足之处就如何培养学生计算机应用能力进行了富有有效的教学改革和探索。...
[会议论文] 作者：蒋曹清,
来源：全国高等院校计算机基础教育研究会2007年会暨全国高校计算机基础教育2007论坛 年份：2007
从理解面向应用是计算机基础教学的方向着手，结合计算机基础教育实际情况从从几个方面阐述了在对非计算机专业学生进行计算机教育时如何贯彻面向应用的原则和培养学生的计......
[会议论文] 作者：蒋曹清,
来源：全国高等院校计算机基础教育研究会2007年会暨全国高校计算机基础教育2007论坛 年份：2007
“软件工程”是高等学校计算机教学计划中的一门核心课程，是指导计算机软件开发和维护的工程学科。本文钟对“软件工程”课程教学存在的一些问题，探讨在教学中围练培养学生......
[期刊论文] 作者：黄名选,蒋曹清,
来源：电子学报 年份：2018
主题漂移和词不匹配是自然语言处理中一个难题,文本挖掘与信息检索的结合有助于解决该问题.鉴于此,本文提出一种基于完全加权正负关联模式挖掘的越-英跨语言查询译后扩展算法...
[期刊论文] 作者：黄名选,蒋曹清,
来源：电子学报 年份：2020
为了改善自然语言处理应用中长期存在的主题漂移和词不匹配问题,本文首先提出一种加权项集支持度计算方法和基于项权值排序的剪枝方法,给出面向查询扩展的基于项权值排序的加...
[期刊论文] 作者：蒋曹清,张大方,缪力,
来源：计算机工程与科学 年份：2005
测试和调试之间的关系是极端密切的.回归测试是软件测试和维护过程中的一个重要活动.在程序中找出错误是一个复杂的过程,它涉及到理解程序的用途、结构、语意和导致错误的测...
[期刊论文] 作者：管华, 廖明潮, 蒋曹清,,
来源：粮食流通技术 年份：2011
本文围绕粮食物流供应链,通过分析我国粮食物流信息化现状及存在的问题,提出了要基于粮食物流供应链,构建粮食物流服务信息集成平台,该平台包括粮食物流公共信息平台,粮食电...
[期刊论文] 作者：黄名选,蒋曹清,何冬蕾,
来源：模式识别与人工智能 年份：2018
首先提出矩阵加权项集支持度计算方法，给出面向跨语言查询扩展的矩阵加权关联模式挖掘算法．然后提出基于矩阵加权关联规则挖掘的跨语言查询译后扩展算法．借助机器翻译进行首次跨......
[期刊论文] 作者：蒋曹清,肖芳雄,应时,文静,,
来源：小型微型计算机系统 年份：2014
针对面向服务软件异常处理的可终止性难以验证问题,本文提出一种基于模型检测的验证方法.该方法首先基于已建立的异常处理模型和形式定义的异常处理可终止性,使用ASK-CTL(Com...
[期刊论文] 作者：黄名选,蒋曹清,卢守东,
来源：数据分析与知识发现 年份：2021
【目的】针对信息检索中词不匹配问题,提出一种词嵌入与扩展词交集融合的查询扩展模型。【方法】对初检文档集进行词嵌入学习训练和关联规则挖掘,分别得到词嵌入候选扩展词集和挖掘候选扩展词集,将这两种候选扩展词集进行交集融合得到最终扩展词集,实现查询扩展......
[期刊论文] 作者：黄名选, 夏国恩, 高荣, 蒋曹清,,
来源：小型微型计算机系统 年份：2004
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食Back to yield...
[期刊论文] 作者：蒋曹清, 应时, 文静, 贾向阳, 王一兵,,
来源：西安交通大学学报 年份：2013
针对面向服务软件中异常处理难以建模的问题,基于层次着色Petri网提出了一种面向服务软件中异常处理的形式化建模方法。该方法从异常的抛出、捕获、处理、返回或传播等方面入...
[期刊论文] 作者：蒋曹清,应时,文静,贾向阳,管华,
来源：计算机科学与探索 年份：2012
大规模面向服务软件运行环境的动态性和不确定性使其异常处理逻辑复杂度高,导致异常处理过程的可终止性验证异常困难。而异常处理过程的可终止性是确保其正确性的重要基础,如...
[期刊论文] 作者：蒋曹清,应时,倪友聪,管华,
来源：计算机科学 年份：2011
程序Chopping对于程序理解、分析、调试、测试等具有重要的意义。已有的Chopping方法主要基于相互连接的系统依赖图（SDG）,对于大程序这种SDG描述通常非常复杂,易导致程序Choppi...
[会议论文] 作者：蒋曹清,应时,文静,贾向阳,王一兵,
来源：2012年第三届中国计算机学会服务计算学术会议 年份：2012
异常处理的可终止性是确保其正确性的重要基础,而现有面向服务软件中异常处理逻辑复杂度高,导致难以为其构建支持可终止性分析的模型。本文基于着色Petri网构建了面向服...
相关搜索：
