韩强
- 作品数：18 被引量：29H指数：3
- 供职机构：北方民族大学计算机科学与工程学院更多>>
- 发文基金：国家自然科学基金宁夏回族自治区自然科学基金国家科技支撑计划更多>>
- 相关领域：自动化与计算机技术电子电信文化科学经济管理更多>>
- 动态数据上的高效用模式挖掘综述被引量：4
- 2022年
- 高效用模式挖掘(HUPM)考虑了项的购买数量及单位利润,提供了项更详细的信息,使用户能够做出更好的经济决策。针对大多数HUPM算法都应用在与不断产生数据的现实世界不符的静态数据集上的问题,近些年不断提出了动态数据上的HUPM算法。首先,对增量数据、数据流、动态删除和动态修改数据上的HUPM算法以及融合高效用模式(高效用序列模式、平均高效用模式、top-k高效用模式等)挖掘算法进行了总结;然后,对使用不同类型数据的算法进行了总结,包括动态利润数据、动态序列数据等数据类型;其次,从算法使用的数据结构、剪枝策略、窗口模型、优缺点等角度对HUPM算法进行分类总结;最后,针对目前研究的不足,提出了下一步动态数据上的HUPM算法研究方向。
- 单芝慧韩萌韩强
- 关键词：增量数据数据流动态数据
- 基于语义验证的可视化BPR建模工具
- 2012年
- 为满足业务流程重组领域的需求变化,重组业务流程需要可验证需求语义特征的建模方法与工具支持,从而为提高执行重组业务流程应用软件的系统支撑平台可信性奠定需求语义验证方面的关键技术基础。针对该问题,研究并提出一种BPR框架下可出具验证的可视化建模工具。该工具在具备基本的可视化业务流程建模功能基础上,可通过与随机Pe-tri Net性能计算工具协同计算,从可覆盖性等角度验证流程属性满足需求语义的合法性。实验结果证明,该工具可提高重组业务流程的正确性和开发效率。
- 韩强
- 关键词：业务流程重组语义验证可视化建模工具NET
- 基于SRGM的软件测试工作流标准化技术研究被引量：1
- 2022年
- 为了规范多种软件测试流程、提高测试效率,需要使用统一的标准引导测试工作。结合相关国际标准,借助开源工作流平台实现了一个可适应多种软件可靠性增长模型(SRGMs)的测试流程标准化管理系统,以此规范管控测试流程。以Jelinski-Moranda模型和超几何分布模型为主要研究对象,提出一种适用可靠性分析方法的标准化测试流程,以软件测试过程为主线,运用建模工具分析相应的可靠性测试流程,最终形成针对不同SRGM的软件测试过程管理。结合业务流程体系,利用jBPM技术框架设计了软件测试标准化过程管理平台,以实现标准化的管理模式并预测软件故障数。实验结果表明,引入标准化技术可以对软件可靠性程度进行更准确的预测,进一步优化测试流程,具有较好的实际应用价值。
- 栗楠韩强何雨刘聪毛子剑王义晨刘海德张璐
- 关键词：软件可靠性增长模型工作流软件测试软件质量
- 构件化业务流程重组应用服务器可信性度量方法研究被引量：1
- 2014年
- 针对面向业务流程重组的应用服务器(BPRAS,business process re-engineering oriented application server)的可信性度量方法形式化方面的不足,给出了BPRAS的业务流程建模与可信性度量协作框架,并在此框架基础上,提取组成应用服务器的构件属性和构件组合行为特征,通过进程代数等相关方法进行抽象,从构件之间的运算角度,定义BPRAS构件运算算子,从而建立BPRAS代数模型,并进一步对其支撑的业务流程应用软件可信性进行建模,提出多种可信范式,为可信BPRAS软件可信性度量方法提供理论支撑。最后介绍了一个应用实例。
- 韩强袁玉宇
- 关键词：业务流程重组应用服务器
- 增量数据上的闭合定量高效用项集挖掘算法被引量：1
- 2023年
- 高效用项集(HUI)挖掘能够提供数据集中高利润的项的组合信息,有利于在现实应用中制定有效的营销策略。然而,HUI仅提供项集及其总效用,不提供单个项的购买数量,而现实场景中项的数量能提供更精准的信息。因此,研究者提出定量高效用项集(HUQI)挖掘算法。针对当前的HUQI挖掘算法仅能处理静态数据且存在结果集冗余的问题,提出增量更新的定量效用列表结构来存储并更新数据集中项的效用信息,并基于该结构提出一种挖掘闭合定量高效用项集(CHUQI)的算法。将所提出的算法与FHUQI-Miner(Faster High Utility Quantitative Itemset Miner)算法在结果集数量、最小效用阈值、批次数目以及可扩展性上对比时间与内存消耗。实验结果表明,所提算法能够有效处理增量数据,挖掘出更有趣的项集。
- 单芝慧韩萌韩强
- 软件工程综合实践及生产实习研究与探索被引量：1
- 2009年
- 软件工程专业学科具有强调理论与实践紧密结合的特点。本文基于计算机科学理论和技术,结合软件工程专业自身知识结构体系,通过分析现有的软件工程专业学生实践中存在的问题,提出了一种软件工程专业综合实践的初步方法,并给出其与软件工程生产实习活动进行有机融合的具体方案。最后,本文给出了一个实例,证明了该方法的可行性。
- 彭运筹韩强马萍丁静杨朋
- 关键词：软件工程
- 网络工程专业实践必修课程协同教学模式被引量：1
- 2018年
- 为保证校内外教师对网络工程专业实践必修课程进行协同教学,本文采用基于大数据的结构化工作流网(SWF-net)技术,将教学过程按照具有严格语义规范的SWF-net进行设计,并建立协同教学模式,进而挖掘实际授课活动日志,构建可反映实际授课行为的工作流网(WFnet),通过比较两者之间的差异,提出改进措施。文章对我校"专业实训II"课程实施了上述教学方法,实际结果说明具有一定的有效性。
- 韩强陈德光李娟李强
- 关键词：网络工程专业协同教学模式
- 构件化业务流程重组应用服务器可信属性建模方法研究被引量：1
- 2012年
- 针对面向业务流程重组的应用服务器在可信属性建模方面的不足,基于组成应用服务器的构件属性和构件组合行为特征,利用进程代数等相关方法进行抽象,从构件之间的运算角度,定义BPRAS构件运算算子,从而建立BPRAS代数模型,并基于该代数模型,进一步对其支撑的业务流程应用软件可信属性建模,提出多种可信范式,为可信BPRAS软件设计提供理论模型支撑。最后介绍了一个应用实例。
- 韩强
- 关键词：业务流程重组应用服务器建模方法
- 高级加密标准工作模式的设计与特性分析被引量：1
- 2008年
- 高级加密标准工作模式主要分为并行模式和串行模式两类.对采用Rijndael算法的高级加密标准给出其工作模式的设计及实现方案,并从应用特点和统计性能测试的角度以正交分类方式对其运行效率进行了初步的比较和分析.
- 韩强冯翼丁静
- 关键词：高级加密标准RIJNDAEL有限域
- 一种双论域层次化软件建模框架与实践被引量：3
- 2021年
- 软件复杂性来源于业务域复杂性与软件过程中的人为性;前者导致软件本质复杂性,后者导致软件偶然复杂性。基于MDA模型及其转化理念,首先提出一种基于双论域的多层次软件建模框架,以解决软件复杂性问题;其次探索该框架实现机制并给出实践集;然后比较业务域建模与软件域建模;最后提出解决软件复杂性的框架机制。该框架可应用于软件工程实践与教学实践。
- 杨德仁王晓峰韩强刘建平周玉玺
- 关键词：层次化建模
