基于组织机构图的改进RBAC模型

针对电子政务工作流系统的特点,在基本RBAC模型的基础上,引入了组织机构图和额外授权的概念,提出了改进的RBAC模型,并给出模型各要素的形式化描述．模型根据组织机构图划分出原子权限,借助拓扑集合完成角色的设置．在实现用户-角色和角色-权限的指派过程中,考虑了角色的继承,并给出模型实现过程中应该注意的原则．模型具有实现快捷和管理方便的特点,可以加快工作流管理系统的开发进程．并通过开发的办公自动化系统实例加以证明．     

直径为2的有向图的彩虹连通

利用概率方法证明:直径为2的有向图D的彩虹数cr→(D)∈{2,3,4,5},直径为2的k-正则有向图D的强彩虹数scr→(D)≤[(e(4_(μ2)k-2_(μ2)+1))1/μ1],并且存在无穷多个满足cr→(D)=scr→(D)=2的有向强正则图.     

闭环回收供应链中牛鞭效应量化分析

环保和资源的问题关系到整个社会和环境,现代制造越来越注重资源的可持续化应用。将牛鞭效应的量化与控制引入闭环供应链的研究中,有效测量了有回收的供应链中的牛鞭效应。结合传统制造业的制造及分销渠道,运用运筹学及数学理论建立了一个由生产者、销售者及回收渠道组成的供应链模型,并进行数值实验计算和分析。结果表明:牛鞭效应仍存在于具有回收途径的供应链中,减少回收产品直接销售并重新加工能够降低整体供应链的牛鞭效应。     

图的坚韧度与图的Laplacian特征值的关系

利用简单无向图中的特殊顶点集与图的Laplacian谱的关系,得到了有关图的坚韧度与Laplacian 谱的一个有趣的关系式.     

湘西地区不同居群箭叶淫羊藿叶片的脂质过氧化

对湘西地区凤凰、永顺、龙山3个不同居群的箭叶淫羊藿叶片的超氧阴离子自由基（·O₂）的产生速率和丙二醛（MDA）的含量进行测定.结果表明：永顺的箭叶淫羊藿的超氧阴离子自由基的产生速率最大,为(0.059　1±0.003　3) μmol·min^-1·g^-1,而龙山的箭叶淫羊藿的超氧阴离子自由基的产生速率最小,为(0.053　0±0.000　9) μmol·min^-1·g^-1;在3个不同居群的箭叶淫羊藿叶片的MDA的含量中,永顺的箭叶淫羊藿的含量最高,为(0.014 9±0.001 4) nmol·g^-1,而龙山的箭叶淫羊藿的含量最低,为(0.007　5±0.001　4) nmol·g^-1.     

求解单圈多部图的匹配算法

给出了一个多部图及其匹配问题的定义,提出了求解单圈多部图匹配问题的一个算法。该算法提出多部图顶点间的可达性定义,并使用试探与缩小规模相结合的方法以及求二部图的最大匹配算法,求解单圈多部图的最大匹配问题。经过验证,算法的效率比较高。     

基于结点关系结构的三维拓扑数据模型

结点关系结构是一种可有效地简化三维空间实体间复杂关系的拓扑结构。通过二元性转换,将三维空间中实体及其间关系转换成点与边的简单二元关系,并将其所有的拓扑属性保留下来。首先介绍了结点关系结构的二元性、图论及层次数据结构,在此基础上详述了结点关系结构的两种数据模型,最后讨论了结点关系结构的应用。     

竞赛图的零因子半群

讨论了竞赛图的零因子半群.一个半群S的零因子图是一个有向图Γ(S),其顶点是S中非零的零因子,S中两个不同的元x,y有一条有向边x→y当且仅当xy=0.该文证明了如果S是一个没有非零幂零元的有限半群且图Γ(S)的顶点数大于1,那么图Γ(S)不是一个竞赛图.另外对于任意的正整数n,该文完全决定了顶点数为n蹬任一个竞赛图的所有零因子半群.     

MOS电流模逻辑标准单元设计方法

分析了一种基于二叉判定图算法的MCML标准单元的设计方法。仿真分析采用SMIC0.18 CMOS标准工艺对电路进行晶体管级仿真。     

广义Brandt半群的Cayley图

研究广义Brandt半群上的以Green等价类为连接集的Cayley图,通过对连接集为L-类,R-类和H-类等3类Green等价类的Cayley图间的同构条件的的讨论,分别刻画了这3类Cayley图的结构,揭示了广义Brandt半群是一个完全0-单的纯正半群的本质特征.