工作流系统中一个基于双权角色的条件化RBAC访问控制模型

传统的RBAC访问控制模型已经不能表达复杂的工作流安全访问控制约束。基于传统的RBAC模型,提出了一个新的基于双权角色的条件化RBAC访问控制模型CRDWR(conditioned RBAC based on double—weighted roles)。阐述了基于动态角色分配的条件化RBAC策略,定义了基于双权角色的工作流系统访问授权新概念,并针对多个角色协同执行任务的序约束问题,给出了基于令牌的序约束算法。该模型能够表达复杂的工作流安全访问控制约束。     

面向对象代数Petri网

在软件方法学领域已有研究成果的基础上,提出了面向对象代数的Petri模型。该模型支持面向对象的概念,支持面向对象软件系统分析和建模,把代数理论、Petri理论以及面向对象方法和技术结合在一起,为形式化和智能化软件工程环境的建立提供了一种有效方法,提高了并发系统动态建模和复杂系统的高级建模的能力。     

偶联剂在包覆层中的应用研究

利用常规分析手段，研究了偶联剂对填料在包覆层中的分散均匀性、力学性能以及包覆层与推进剂的粘接性能的影响，取得了较好的结果，同时还对偶联剂在包覆层中的作用机理进行了探讨。     

湿法磷酸装置连续脱硫技术改造

为了降低饲料级磷酸氢钙生产中原料湿法磷酸的SO₄^2-含量，将间歇加入磷矿浆脱硫改为连续性加入磷矿浆脱硫，并进行了产业化应用。改造后，按将w(SO₄^2-)降低0.2个百分点的理论量加入磷矿浆时，澄清稀磷酸中w(SO₄^2-)降低0.17个百分点，饲料级磷酸中w(SO₄^2-)降低0.29个百分点，饲料级磷酸氢钙产品中w(游离酸)降低1.26个百分点，总磷相同情况下w(水溶磷)升高0.20个百分点；稀酸澄清槽、浓酸槽没有发生酸不沉降现象；磷酸浓缩、脱氟装置清理周期未发生变化，饲料级磷酸氢钙生产装置清理周期由20 d延长到24 d。     

组合优化调度问题求解方法

1.引言优化是指一个从一组解中选取出最优解或最适应解的过程。优化方法涉及的工程领域很广,问题种类与性质繁多。归纳而言,最优化问题可分为函数优化问题和组合优化问题。其中函数优化的对象是一定区间内的连续变量,而组合优化的对象则是解空间中的离散状态。函数优化问题通常可描述为:令S为R~n上的有界子集(即变量的定义域),f:S→R为n维     

溯因解释的度量及最优解的求解

溯因解释的度量及最优解的求解陈保平，孙吉贵（吉林大学计算机科学系长春１３００２３）ＭＥＡＳＵＲＥＭＥＮＴＡＮＤＣＯＭＰＵＴＡＴＩＯＮＯＦＴＨＥＢＥＳＴＡＢＤＵＣＴＩＶＥＥＸＰＬＡＮＡＴＩＯＮＳ￥ＣＨＥＮＢａｏｐｉｎｇ；ＳＵＮＪｉｇｕｉ（Ｄｅｐａｒｔｍ...     

基于BP神经网络的气囊点火算法模型

通过建立完整的车体-乘员-约束系统仿真分析模型,将BP神经网络模块嵌入到仿真分析流程中,在产品开发阶段实现了气囊点火算法的验证。本算法模型在对网络进行训练的基础上,以不同碰撞速度的正面刚性墙碰撞分析模型为研究对象,建立了车体加速度与乘员位移之间的数学模型,实现了随机输入车体加速度曲线即可获取乘员位移曲线,计算结果与仿真分析结果吻合,为进一步研究气囊点火优化算法奠定了基础。     

溯因问题求解方法

溯因推理(Abduction)是已知某一结果已经发生,去寻找这个结果的原因。具体地说,给定原因集