您的位置： 专家智库
>
资助详情>
国家自然科学基金(11071278)
国家自然科学基金(11071278)
- 作品数：5 被引量：6H指数：2
- 相关作者：艾玲梅刘木春姚若侠袁伟成丽美更多>>
- 相关机构：陕西师范大学陕西省交通规划设计研究院西安财经学院更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 基于三角模糊数的多准则工作流任务分配方案
- 2013年
- 针对当前工作流任务分配缺乏灵活性、任务处理质量较差、系统效率较低下和负载不均衡等问题,通过引入三角模糊数、投影、向量靠近度等概念更加真实地测度决策因子,在充分考虑任务自身要求、候选任务参与者能力以及兴趣度的基础上,提出了一种新的任务分配方案TFBMA。该方案通过计算任务和候选者之间在经验、兴趣、能力、负载等方面的综合匹配度,以匹配度大小作为分配依据进行任务分配。仿真结果显示,该方案消除了任务阻塞,降低了任务平均等待时间和人员负载,提高了任务平均完成质量和任务处理效率。并且,由于各决策因子权重可按需调节,因此该方案能够很好地解决工作流任务分配在灵活性、分配合理性、系统效率和负载均衡方面的问题,是一个科学高效灵活的任务分配方案。
- 艾玲梅刘木春
- 关键词：工作流三角模糊数多准则
- 群作用下子流形的微分不变量和Monge-Taylor形式
- 2016年
- 通过对等价活动标架方法及群作用下无穷小生成子的高阶延拓和微分不变量全局递推公式的研究,本文给出可自动获取无穷小生成子高阶延拓的定理,并基于符号计算及确定的规范化微分不变量基本集,给出可自动构造无穷多高阶规范化微分不变量的精确递推公式及描述高阶微分不变量之间关系的无穷多syzygies的系统化方法.最后,基于所获高阶微分不变量,构造了群作用下一般子流形的显式Monge-Taylor形式.
- 姚若侠王伟王伟
- 关键词：微分不变量SYZYGY
- 基于规范化工作流网建模的模型验证方法被引量：4
- 2014年
- 在比较分析已有工作流模型验证算法优缺点的基础上,提出一种新的工作流模型验证方法.该方法基于规范化工作流网,不仅可以检测死锁、孤立点等常规模型错误结构,而且能够检测隐蔽性很强的AND-split→OR-join(A→O)结构.为了成功检测A→O结构,详尽分析了不同A→O结构的特点,并找到它们之间的共同特征,进而通过探测该共同特征来检测是否存在A→O结构,从而克服已有算法无法验证A→O结构的缺陷.此外,还给出模型规范化规则,使得方法能够验证不规范的业务流程.通过实例分析,表明算法有效可靠.
- 刘木春艾玲梅魏清
- 关键词：工作流PETRI网
- 一种利用K-SVM的测谎新算法
- 2015年
- 文中将支持向量机(SVM)和K近邻算法(KNN)相结合,提出一种基于K-SVM分类器的心理意识真实性识别新方法,获得了满意的结果。对15名受试者分别进行两组测试:模拟犯罪组和自传信息组。提取多通道ERP的P300幅值、波形面积和峰峰值组成特征向量,利用K-SVM算法分类,获得平均识别率分别为92.11%和97.37%,两组实验中分类精度都比单纯的SVM分类算法有明显的提高。因此文中的新算法可以为心理意识真实性检测提供一定的参考。
- 荣凤娟艾玲梅
- 关键词：测谎事件相关电位P300
- 活动标架的构造及其在模式识别中的应用研究被引量：2
- 2013年
- 基于Mark Fels和Peter J.Olver的活动标架理论,给出了用经典算法和改进的递归算法来构造活动标架和微分不变量的代数构造算法,并以一个李变换群为例演示了两种方法的构造过程。结果证明递归构造方法与经典的MaurerCartan方法相比较,不仅能够系统地应用于任意的变换群作用,也不要求一个slice的存在,且对于多参数的变换群来说,其递归构造方式使得相应的活动标架和微分不变量的构造过程更便捷,也容易实现。重要的是,相应的Maurer-Cartan形也被一步步地构造获得。所获得结果不仅是新的,且为微分不变量在签名曲线中的应用研究提供了基础理论支撑。
- 成丽美袁伟姚若侠
- 关键词：递归算法微分不变量
