江西省自然科学基金(2008GZS0017)
- 作品数：10 被引量：9H指数：2
- 相关作者：张驰唐颖军褚楚陈升赵晓平更多>>
- 相关机构：江西财经大学更多>>
- 发文基金：江西省自然科学基金国家自然科学基金江西省教育厅科学技术研究项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于LDA图像场景分类方法的增量学习研究被引量：3
- 2013年
- 现有场景分类方法只能识别原训练学习的图像类,对于新增图像类的识别任务,需要将其与原训练类合并后重新训练模型.在LDA(Latent Dirichlet Allocation)的基础上提出一种改进方法来训练生成模型,用于实现自然图像场景分类.根据狄雷克里参数的伪计数作用,改进了LDA模型学习方法.以训练图像的通用主题先验参数作为各类场景主题分布预设先验参数,推导各类场景的类主题构成变化,同时改善了EM参数推导过程中的慢收敛问题,实现了模型增量学习,有效地提高了模型的泛化能力.通过模型计算复杂度比较和增量学习实验对本文方法进行了验证,实验证明本文方法能以较低的时间复杂度取得较高的分类平均正确率.
- 唐颖军
- 关键词：主题
- 图形系统的多核优化方法
- 2010年
- 近年来,多核平台越来越普及,充分利用多核硬件可以有效提高系统应用程序的性能。而现有大部分图形系统或其他类型的应用程序仍然使用单线程或者固定的线程数量,这就使得多核系统平台的性能并不能得到完全的利用。使用新的多线程架构方法对图形系统进行优化,充分利用了多核平台的优势,有效提高了系统的性能。最后,通过实验说明了方法的有效性。
- 赵晓平
- 关键词：多核系统线程库
- 软件组件组装行为兼容性检查研究被引量：1
- 2016年
- 在开放环境下,仅包含了语法层信息的组件接口不足以刻画组件交互的行为信息,从而不能对组装后的系统进行兼容性验证。提出了既包含组件接口调用方法又包含内部逻辑行为的组件视图,采用LTS表示组件行为协议,将组件交互过程表示为多个LTS之间的同步变迁;借助LTS操作语义,通过LTS同步积模拟组合系统交互的动态行为,以此为基础,检查同步积中是否出现死锁状态来进行兼容性判定,并设计了判定算法以实现兼容性的自动判定,通过一个典型的电子商务应用检验该方法的有效性。
- 张驰褚楚
- 关键词：接口
- 基于行为描述的软件构件组合兼容性检查被引量：1
- 2010年
- 定义构件的基调视图和行为视图,给出将构件行为转化为π演算进程表达的建模方法,并设计实现构件行为的π演算描述自动转换的算法。结合一个电子商务的实例,借助π演算的操作语义和形式化推理技术实现对软件构件组合时的兼容性进行检查。
- 张驰
- 关键词：接口Π演算兼容性
- 基于行为投影的Web服务组合行为兼容性研究
- 2016年
- Web服务兼容性是确保组合系统能够正常运行的前提。首先提出既包含服务接口调用方法又包含逻辑行为的服务视图,根据服务间的连接关系,将服务行为投影到不同的连接件上。其次根据在连接件上的消息收发关系,将两个服务在该连接上的交互过程表示为两个LTS投影间同步变迁,通过同步积模拟在该连接上的交互行为,检查同步积中是否出现死锁状态来进行行为兼容性判定,并设计了判定算法以实现兼容性的自动分析,最后通过一个电子商务应用示例说明该方法有效性。
- 张驰褚楚唐颖军陈升
- 关键词：WEB服务组合
- 基于行为描述的Web服务组合兼容性检查
- 2009年
- 定义了服务的基调视图和行为视图,设计了将Web服务行为转换为π演算进程表达的建模方法,并给出了实现服务视图向π演算进程自动转换的算法;最后借助π演算的操作语义和形式化推理技术实现了对Web服务组合时的兼容性进行检查。
- 张驰
- 关键词：WEB服务接口兼容性Π演算
- 基于LTS的软件构件组装行为适配研究被引量：2
- 2016年
- 在软件构件组装过程中,构件之间的兼容性是保证构件正确交互的前提,对于组装中的失配情况如何生成适配器使构件间正确协作是一个必须解决的重要问题.本文首先基于标签转换系统LTS对构件行为进行建模,将构件间交互动作映射关系表示为同步矢量,将矢量之间的时序关系定义为适配契约.然后分析了不同失配情况和适配对策.最后设计了适配算法,自动生成适配器规约,保证了在适配器的协调下不兼容的构件之间能够正确交互,并通过案例验证了方法的有效性.
- 张驰
- 关键词：LTS
- 基于LTS的Web服务组合行为兼容性分析
- 2016年
- Web服务描述语言仅包含语法层信息,不能刻画服务交互的行为信息,不能对组装后的系统进行兼容性验证,为此提出既包含服务接口调用方法又包含内部逻辑行为的服务视图,采用标签转换系统(LTS)表示服务行为协议。根据服务组合的消息收发关系,将组合交互过程表示为多个LTS之间动作的同步变迁,通过LTS同步积模拟组合系统交互的动态行为;通过检查同步积中是否存在死锁状态,进行行为兼容性判定,设计判定算法以实现兼容性的自动分析,通过一个典型的电子商务应用系统分析验证了该方法的有效性。
- 张驰
- 关键词：WEB服务
- 软件构件匹配技术研究被引量：2
- 2009年
- 基于构件的软件开发(CBSD)以软件体系结构为蓝图,通过可复用构件的组装构建高质量大规模应用系统,是软件开发走上工业化的必由之路.如何从构件库中找到适用的可复用构件是CBSD的关键环节.首先分析了基于软件体系结构的CBSD开发过程,接着研究了软件构件模型和接口结构,最后给出了基调匹配和基于此的构件匹配算法.
- 张驰
- 关键词：接口基调
- 基于π演算的Web Services接口扩展与描述
- 2009年
- 定义了服务的基调视图和行为视图,接着设计了将Web服务行为转化为π演算进程表达的建模方法,并给出了实现服务视图向π演算进程自动转换的算法,形成了基于π演算理论的Web服务组合推理的基础.
- 张驰
- 关键词：WEBSERVICES接口Π演算
