刘道斌
- 作品数：12 被引量：91H指数：6
- 供职机构：江西理工大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术冶金工程电子电信理学更多>>
- 一种工作流安全策略分析方法被引量：6
- 2008年
- 工作流系统中经常会发生来自系统内部人员的欺骗活动,职责分离是一种有效地防止内部欺骗的安全机制.讨论了工作流执行时的安全策略问题,给出了工作流直观的Petri网模型描述,Petri网模型清晰地刻画了工作流系统中所包含的任务以及任务与角色的对应关系.采用Prolog语言描述了工作流执行时的动态职责分离安全规则,在此基础上,运用逻辑推理的方法分析职责分离安全规则,目的是找出所有满足安全规则的有效执行链.通过分析找出所有满足安全规则的有效执行链.
- 刘道斌郭莉白硕
- 关键词：工作流PETRI网死锁
- 基于BP网络逆映射的铝酸钠溶液软测量模型被引量：6
- 2008年
- 针对铝酸钠溶液成分浓度软测量模型的研究现状,为进一步提高软测量精度和命中率,提出多约束条件求解思想,建立基于BP神经网络的软测量数学模型。该模型以溶液温度和各成分浓度为网络输入变量,对应电导率为输出变量,运用BP网络误差反向传播、权数调整原理实现在多样本约束条件下的网络逆映射求解。实例验证结果表明,该模型能较好地反映铝酸钠溶液电导率与成分浓度、温度间的内在规律,泛化检验散点电导率平均相对误差为1.74%;在多约束条件下,各软测量浓度与实际浓度的相对误差≤2.5%,且浓度适应范围较宽。该研究为实现铝酸钠溶液在线检测奠定了良好的数模基础。
- 童长仁李明周吴金财刘道斌
- 关键词：铝酸钠溶液软测量模型
- ICP-AES法测定高纯氧化镧中稀土杂质的不确定度评定
- 2017年
- 以高纯氧化镧为示例,评定了GB/T18115.1—2006中ICP-AES法测定高纯氧化镧中稀土杂质的不确定度。分析并计算了测量重复性、校准曲线线性拟合、标准溶液配制、样品称量、试液定容及换算系数引入的不确定度分量。结果表明:各稀土杂质测量重复性分量所占权重为41.38~72.46%,校准曲线分量所占权重为26.88~58.29%,其余分量均小于1%;且扩展不确定度均在0.0002%~0.0003%之间。本文进行的不确定度评定符合实际,有较好的应用价值,也可为GB/T18115系列标准中其它高纯稀土产品中稀土杂质测定的不确定度评定提供参考。
- 吴希刘道斌李平蒋小岗
- 关键词：不确定度稀土杂质高纯氧化镧ICP-AES
- 基于元素势的多相平衡计算及在铜冶炼中的应用
- 针对冶金领域中多相反应体系的高效可靠计算问题,运用最小吉布斯函数原理和元素势概念,推导了基于元素势的多相平衡计算方程,分析讨论了其算法优点。以铜闪速熔炼生产过程为研究对象,采用实际生产数据,运用该算法进行了多相反应平衡计...
- 童长仁刘道斌杨凤丽吴金财
- 关键词：铜冶金闪速熔炼
- 文献传递
- 非乘积解随机Petri网的乘积形式近似求解被引量：4
- 2001年
- 讨论了非乘积解随机 Petri网的近似求解问题 .将 Marie方法引入到随机 Petri网的近似分析中 ,利用随机 Petri网中已有的结论将该方法中的分解原则推广到更一般的情形 ,使其应用范围更广 .利用运算分析法对这些分解原则作了形式化描述 ,在此基础上 ,给出了有关结论的数学证明 .最后 ,对这种近似方法作了误差分析 ,找出了产生误差的原因 。
- 刘道斌林闯陆维明
- 关键词：随机PETRI网乘积形式解
- 基于元素势的多相平衡计算及在铜冶炼中的应用被引量：3
- 2008年
- 针对冶金领域中多相反应体系的高效可靠计算问题,运用最小吉布斯函数原理和元素势概念,推导了基于元素势的多相平衡计算方程,分析讨论了其算法优点.以铜闪速熔炼生产过程为研究对象,采用实际生产数据,运用该算法进行了多相反应平衡计算分析,结果表明,求解过程迅速可靠,计算结果与生产实际较为吻合,对于熔炼过程三大控制目标中的铜锍品位和渣中铁硅比,计算相对误差分别为0.067%和1.05%,完全满足实际生产控制精度要求.
- 童长仁刘道斌杨凤丽吴金财
- 关键词：铜冶金闪速熔炼
- Windows平台基于IPSec的VPN系统的研究与实现被引量：7
- 2003年
- VPN技术应用日益广泛,IPSec已成为实现VPN的主流方式。Windows操作系统在国内广泛流行,掌握Win-dows平台的IPSec开发技术,对于促进国内VPN技术的发展有重要意义。该文介绍了在Windows平台下开发基于IPSec的VPN系统的关键技术。
- 王伟白硕刘道斌
- 关键词：虚拟专用网IPSEC
- 基于Petri网的安全协议形式化分析被引量：9
- 2004年
- 本文提出了一种基于Petri网的安全协议形式化描述和安全性验证的方法 .该方法的特点是 ,利用逆向状态分析判定协议运行过程中可能出现的不安全状态 ,利用Petri网的状态可达性分析判断这些不安全状态是否可达 .通过实例 ,我们证明了这种方法的有效性 .
- 刘道斌郭莉白硕
- 关键词：安全协议PETRI网可达性分析
- 基于工作流状态的动态访问控制被引量：34
- 2003年
- 访问控制是信息系统的一个重要安全保护机制 访问控制规定了主体对客体访问的限制 ,合法的用户可以访问数据项 ,非法的用户将被禁止 ,访问控制矩阵确定主体对客体的访问权利 主要讨论了工作流执行时的访问控制问题 ,提出了一种基于工作流状态的动态访问控制机制 同时还给出了工作流的Petri网描述 ,在此基础上 。
- 刘道斌白硕
- 关键词：访问控制工作流PETRI网
- 随机Petri网非乘积解系统的判定与界限求解被引量：5
- 2001年
- 本文基于随机Petri网 (SPN)提出了一种利用站平衡来判断非乘积解系统模型的方法 ,发现了可能导致站不平衡的三种Petri网结构 ,对这三种结构进行了分析 ,得出了产生非乘积解的系统原因 ,并给出了一种利用乘积解求解非乘积解系统模型性能界限的方法 ,这种方法可广泛应用于多种实际系统的性能界限求解 .
- 刘道斌林闯陆维明
- 关键词：随机PETRI网
