您的位置： 专家智库 > >

蒋曹清

作品数：28 被引量：79H指数：6
供职机构：广西财经学院信息与统计学院更多>>
发文基金：国家自然科学基金广西壮族自治区自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术文化科学经济管理更多>>

合作作者

文献类型

  • 21篇期刊文章
  • 6篇会议论文
  • 1篇学位论文

领域

  • 23篇自动化与计算...
  • 2篇文化科学
  • 1篇经济管理

主题

  • 6篇异常处理
  • 6篇面向服务软件
  • 5篇信息检索
  • 5篇教学
  • 5篇查询
  • 5篇查询扩展
  • 4篇终止性
  • 4篇文本挖掘
  • 4篇JAVA
  • 3篇软件测试
  • 3篇可终止性
  • 3篇计算机
  • 3篇加权
  • 3篇JAVA程序
  • 2篇虚拟机
  • 2篇语言处理
  • 2篇体系结构
  • 2篇自然语言
  • 2篇自然语言处理
  • 2篇物流

机构

  • 22篇广西财经学院
  • 12篇武汉大学
  • 4篇中国人民解放...
  • 4篇武汉工业学院
  • 2篇湖南大学

作者

  • 28篇蒋曹清
  • 9篇应时
  • 7篇管华
  • 5篇文静
  • 5篇黄名选
  • 5篇贾向阳
  • 3篇肖芳雄
  • 3篇王一兵
  • 2篇夏国恩
  • 2篇廖明潮
  • 2篇高荣
  • 1篇卢守东
  • 1篇张作昌
  • 1篇张大方
  • 1篇同小军
  • 1篇缪力
  • 1篇何冬蕾
  • 1篇朱丽娜
  • 1篇倪友聪
  • 1篇吴青

传媒

  • 4篇计算机科学
  • 3篇小型微型计算...
  • 2篇电子学报
  • 2篇广西科学院学...
  • 1篇粮食流通技术
  • 1篇模式识别与人...
  • 1篇计算机工程与...
  • 1篇西安交通大学...
  • 1篇计算机应用研...
  • 1篇武汉工业学院...
  • 1篇广西财经学院...
  • 1篇计算机科学与...
  • 1篇科教导刊
  • 1篇数据分析与知...
  • 1篇2012年第...
  • 1篇第五届中国计...
  • 1篇全国高等院校...

年份

  • 1篇2021
  • 1篇2020
  • 2篇2019
  • 2篇2018
  • 3篇2015
  • 1篇2014
  • 3篇2013
  • 3篇2012
  • 3篇2011
  • 1篇2009
  • 1篇2008
  • 2篇2007
  • 3篇2006
  • 2篇2005
共 28 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于SOA的农产品物流信息服务集成平台研究被引量：2
2012年
针对现有的农产品物流基础设施薄弱,缺乏有效物流信息服务平台的问题,通过面向服务技术集成现有的农产品物流应用,整合现有农产品物流企业的信息资源,构建一个虚拟物流管理的农产品物流信息集成与个性化定制平台,以支持虚拟物流企业的重组和个性化的农产品物流服务定制,最后阐述了该平台的组成框架和技术实现的细节。
管华廖明潮同小军蒋曹清
关键词：农产品物流信息服务面向服务架构
基于完全加权正负关联模式挖掘的越-英跨语言查询译后扩展被引量：11
2018年
主题漂移和词不匹配是自然语言处理中一个难题,文本挖掘与信息检索的结合有助于解决该问题.鉴于此,本文提出一种基于完全加权正负关联模式挖掘的越-英跨语言查询译后扩展算法.该算法采用新的完全加权正负项集支持度和关联度计算方法以及模式评价框架,对初检用户相关反馈文档集挖掘与原查询词相关的正负关联模式,从模式中提取扩展词实现跨语言查询译后扩展.与现有基于伪相关反馈、加权关联模式挖掘的跨语言扩展算法比较,本文算法能有效地减少查询主题漂移和词不匹配问题,提高跨语言信息检索性能;本文模式挖掘方法可用于推荐系统,提高其准确性.
黄名选蒋曹清
关键词：自然语言处理信息检索文本挖掘查询扩展推荐系统
粮食物流服务信息集成平台研究被引量：5
2011年
本文围绕粮食物流供应链,通过分析我国粮食物流信息化现状及存在的问题,提出了要基于粮食物流供应链,构建粮食物流服务信息集成平台,该平台包括粮食物流公共信息平台,粮食电子交易平台,粮食物流信息资源集成与数据采集平台3个部分,实现粮食质量检测信息收集及追溯,物流管理、服务与监控等多种功能集成的粮食物流信息处理平台。实现粮食质量快速检测信息收集,可信流通及监控,粮食物流信息管理及服务机制构建。
管华廖明潮蒋曹清
关键词：粮食物流信息集成平台物流公共信息平台
软件测试课程的思考与建议被引量：1
2015年
软件测试是计算机相关专业的一门重要课程,高校围绕该课程的教学作了大量尝试,并取得了一定的成绩。由于在教学内容、教学方式方法等方面还存在一些问题,导致目前软件测试课程教学无法与社会需求无缝接轨。围绕这些问题,笔者根据多年软件测试课程教学实践经验,给出了自己的建议。
蒋曹清
关键词：软件测试教学模式
一种基于CPN的BPEL异常处理逻辑的开发方法被引量：3
2013年
针对WS-BPEL在面向服务软件异常处理方面不够完善的问题,提出了一种基于着色Petri网描述的BPEL异常处理逻辑开发方法。该方法利用着色Petri网(CPN)形式化地描述BPEL的异常处理机制,建立BPEL的异常处理CPN模型,指导对BPEL的异常处理逻辑开发,并依据此建模思想,提出了一个BPEL的异常处理CPN模型的转换工具,用以实现将异常处理的BPEL着色Petri网模型转换成对应的带异常处理的BPEL代码。该工具可在输入的原始的没有异常处理功能的BPEL代码基础上,通过动态地添加BPEL的异常处理语言成份,形成带有异常处理功能的BPEL流程。最后通过引入供应商流程案例,阐述了该方法的具体使用过程。
管华应时贾向阳蒋曹清王一兵
关键词：着色PETRI网EXECUTION
一种回归测试后的错误定位方法被引量：8
2005年
测试和调试之间的关系是极端密切的。回归测试是软件测试和维护过程中的一个重要活动。在程序中找出错误是一个复杂的过程,它涉及到理解程序的用途、结构、语意和导致错误的测试的相关特征。本文提出了一种基于Chopping技术进行错误定位的方法。这种方法反复利用调试信息和回归测试结果,通过从程序中抽取出与特定的语句有关的、相对原来的程序小得多的语句集,实现准确、快速的错误定位。
蒋曹清张大方缪力
关键词：软件测试软件开发
基于抽象解释的服务间消息的数据约减被引量：1
2015年
面向服务软件中服务间消息的变量值可能存在无穷域的情况,从而导致模型检测时产生状态空间爆炸问题。为了使终止性验证在实践上可行,需要约减模型状态空间的大小,使得计算时间和空间需求合理。为此,基于抽象解释的区间抽象理论扩展了经典区间抽象域方法,并在统一的区间抽象域方法上借助异常控制流图对变量进行区间分析,在此基础上逆向分析得到服务间消息的变量区间集。变量区间上任意值相对于终止性验证是等价性,因此从每一个变量区间集中选取一个代表值,可组成服务间消息变量的约减值,从而为异常处理的终止性验证提供了约减的初始配置,有效避免了状态空间爆炸。
蒋曹清肖芳雄高荣应时文静
基于模型检测的面向服务软件异常处理可终止性的验证方法
2015年
针对面向服务软件异常处理的可终止性难以验证问题,提出一种基于模型检测的验证方法.该方法首先基于已建立的异常处理模型和形式定义的异常处理可终止性,使用ASK-CTL(Computation Tree Logic)刻画异常处理的可终止性,然后基于本文提出的异常处理可终止性的模型检测算法,可获得异常处理可终止性验证结果.最后,结合实例从可行性和有效性角度对验证方法进行实证和评估,结果表明,本方法能有效验证异常处理的可终止性,且具有较好的性能,为进一步分析异常处理的正确性提供支持.
蒋曹清肖芳雄应时文静
关键词：面向服务软件异常处理
Java安全体系结构研究
全面介绍Java安全体系结构的组成部分,并以一个实例来说明Java安全体系结构中各个组成部分为 Java程序提供的安全性。
蒋曹清
关键词：JAVA体系结构JAVA虚拟机
文献传递
面向应用的'计算机应用基础'教学改革初探
为了贯彻计算机基础教学面向应用的原则，本文分析了该课程教学改革的主要原因，并针对这些新问题及不足之处就如何培养学生计算机应用能力进行了富有有效的教学改革和探索。
蒋曹清
关键词：应用能力培养
全选 清除 导出
共3页<123>
聚类工具0