具有Beddington-Deangelis类功能反应的时滞食物链系统全局吸引性研究

研究了具有Beddington-Deangelis类功能反应的时滞食物链捕食者-食饵系统模型,得到了与时滞有关的系统永久持续生存的充分条件,同时通过构造Lyapunov函数得到了与时滞有关的系统全局渐近稳定的充分条件,是对文献结果的进一步推广和改进.     

基于角色的C/S程序用户授权系统的设计与实现

比较现有C/S程序中用户授权系统常见的权限管理解决方法,介绍了采用基于角色的访问控制设计原理和访问控制技术来完成菜单授权和后台数据库授权的方法,并以采用Delphi开发江苏电力管理软件为例提供了一套用户授权系统解决方案.     

基于跟踪的角色访问控制

为了改进基于角色的访问控制的安全性和效率,在传统RBAC基础上引入了虚拟角色和历史授权信息的概念.用户通过激活虚拟角色,获得虚拟角色的权限后才能执行任务,此虚拟角色是根据各种条件生成的,其所拥有的权限为执行任务所必需的权限,从而更加符合最小特权原则.通过引入历史授权信息,使得动态授权可跟踪,并且提高了执行效率.通过理论分析和实验证明,基于跟踪的角色访问控制更符合最小特权原则,并且其执行效率较传统RBAC高,随着用户和角色数以及执行次数的增多,两者差距越明显.     

授权机制在工作流管理系统中的应用

访问控制是提高工作流系系统安全的重要机制。基于角色的访问控制(RBAC)被绝大多数工作流系统所采用,已成为工作流领域研究的热点。基于传统的RBAC模型,从工作流访问控制模型与流程模型分离的角度出发,提出了一种将基于角色的静态授权和任务的动态控制相结合的T-RBAC访问控制机制应用于工作流管理中,有效增强了访问控制的灵活性和系统的安全性。该访问控制模型已在企业项目解决方案中得以实施。     

带有两类顾客,反馈的M/G/1重试排队系统

主要研究了一类同时带有两类顾客,Bernoulli反馈的M/G/1重试排队系统.寻求服务的顾客分为两类:普通顾客和永久顾客.普通顾客服务完成后,可以反馈到重试组中继续寻求服务,也可以选择离开;永久顾客在服务完成以后,立刻回到重试组中继续寻求服务.首先,给出了系统稳态时的遍历条件,再利用补充变量法求解系统的稳态方程组,并且研究该系统的各项性能指标.     

协同环境下的委托授权模型架构及实现

对协同环境中委托授权的基本特性进行了分析和研究,建立了一些新的适用于委托授权的准则并给出了定义.提出了基于使用控制和信任管理的委托授权模型架构,该架构引入委托机制解决了分布式环境下的权限授予问题,并利用可信度来判断访问系统的用户权限,实现了此模型架构在协同环境下的应用.     

河南省国有资本授权经营体制改革研究——组建两类公司的实践探索与问题研究

十八届三中全会之后,国家提出"以管资本为主加强国有资产监管,改革国有资本授权经营体制",河南省在此政策导向下对国有资本授权经营体制也进行了初步研究和路径探索。其中有部分观点提出分行业设立两类公司的初步构想,这一构想目前还未形成任何政策性文件,只限于讨论商榷层面。本文针对这一思路,提出不同观点,认为分行业设立两类公司不利于发挥国有资本的集中优势和开放式经营,以及合理组合规避风险。同时,提出了在市场化改革方向中,拟构建的国有资本授权经营体制下,国资监管部门、两类公司与国有企业该如何重新定位的思考。     

实施专利战略提升区域技术创新能力

宁波市科技局自1999年9月以来，把实施“专利战略”作为技术创新的重要内容，在把利用专利技术、专利信息纳入科技跟踪、专项、研究开发、产业化等技术创新的全过程同时，还将其作为技术创新能力的主要评价指标和科技管理的主要成果指标。近四年来，宁波市专利授权量连续三年列全省第一，其中2001年专利授权量达2148件，名列全国城市第五位，累计授权量达7545件，是前14年专利授权量总和的2倍多，极大地推动了宁波科技创新体系的建设和高新技术产业的发展。     

基于角色的可信数字版权安全许可授权模型

为解决数字版权管理(DRM)仅支持静态的预先许可授权在许可控制方面无法确保被保护资源被非法使用问题,提出了基于角色的可信数字版权安全许可授权模型(rDRM),通过对DRM“主体客体条件约束权限”的定义,建立支持角色的许可授权机制,给出了版权安全许可授权、收权和迁移策略,以内容版权许可管理有限状态机实现许可状态的动态控制和许可状态管理。基于角色的rDRM许可授权模型具有很强的灵活性和易管理性,适用于具有较多用户且有着不同权限层次的授权管理,防止数字内容的非法复制和扩散。     

基于PSInSAR和GIS空间分析的南通市区地面沉降监测

为提高永久散射体雷达差分干涉测量(PS-InSAR)技术中大气延迟相位提取精度,在采用滤波方法从残余相位中提取大气延迟相位时,提出了基于结构函数的最佳滤波方法及滤波窗口大小的自动确定方法;并对PS(permanentscatterer)点的线性形变速率进行空间分析,了解其数据分布,探测离群值,然后进行Kriging插值,以获得高分辨率的沉降速率图.为验证方法的有效性,以江苏南通市区为试验区域,采用2006—2007年间15幅Envisat卫星SAR(synthetic aperture radar)图像进行地面沉降监测.结果表明,该方法有利于确保大气延迟相位的提取精度,获得了南通市区高分辨率的沉降速率图,发现南通市区存在多个沉降漏斗,但在2006—2007年间没有出现沉降速率特别大的沉降漏斗,大部分区域的沉降速率不超过11 mm.年-1.