江苏省自然科学基金(BK2006073)
- 作品数:11 被引量:160H指数:5
- 相关作者:鞠时光陈伟鹤薛安荣刘志锋周从华更多>>
- 相关机构:江苏大学江苏财经职业技术学院东南大学更多>>
- 发文基金:江苏省自然科学基金国家自然科学基金江苏省高校自然科学研究项目更多>>
- 相关领域:自动化与计算机技术文化科学更多>>
- 带有空间特性角色约束被引量:7
- 2008年
- 空间数据库系统和基于移动用户位置的信息服务系统对访问控制模型具有特殊要求——用户地理位置的变化通常会引起用户权限的动态变化.提出一个支持空间特性的角色访问控制模型Spatial-RBAC,详细讨论了在空间环境下的空间区域约束、空间职责分离约束和空间角色激活基数约束.这些约束分别用来控制角色分配、角色状态改变、角色权限分配和角色激活等操作,给传统的基于角色的访问控制模型增加了空间安全描述能力.在安全空间数据库应用中,为了有效地标识用户地理位置的变化,避免不必要的计算,还给出了判断用户当前扮演的角色集的有效作用域的算法,提高了Spatial-RBAC模型的实用性.
- 鞠时光陈伟鹤顾怡
- 关键词:空间数据库基于位置服务
- 基于改进FP-tree的最大频繁项集挖掘算法被引量:14
- 2008年
- 现有的最大频繁项集挖掘算法在挖掘过程中需要进行超集检测,基于FP-tree的算法需要递归的建立条件频繁模式树,挖掘效率不高。提出了一种基于改进FP-tree高效挖掘最大频繁项集的算法(MMFI)。该算法修改了FP-tree结构并采用NBN策略,在挖掘过程中既不需要进行超集检测也不需要递归的建立条件频繁模式树。算法分析和实验结果表明,该算法是一种有效、快速的算法。
- 陈晨鞠时光
- 关键词:数据挖掘关联规则最大频繁项集频繁模式树
- 基于依赖图的信息流图构建方法被引量:6
- 2009年
- 信息流分析法是一种有效的隐通道搜索方法,用信息流图来描述系统中信息流的流动情况。直接基于系统源代码生成系统信息流图,由于信息流的传递关系,会引进大量系统中不存在的信息流路径。利用程序依赖图先处理系统信息流中的传递关系,然后再进行信息流图的生成,从而减少引入系统中不存在的信息流路径,减少信息流分析时的工作量。
- 曾建鞠时光宋香梅
- 关键词:程序依赖图信息流信息流图隐通道
- 基于Petri网的工作流模型简化被引量:15
- 2008年
- 计算状态空间可达图是验证工作流正确性的主要方法,状态空间爆炸是这类方法的主要困难。文章对线性时态逻辑LTL-X描述的正确性提出了一种基于Petri网图形化简的验证方法,证明了所提出化简规则的完备性,并以实例说明了所提方法的有效性。
- 周从华刘志锋
- 关键词:工作流网PETRI网线性时态逻辑
- 一种面向中医药领域的二维最大频繁项集挖掘算法被引量:2
- 2007年
- 在中医药领域挖掘药组频繁项集时发现,尽管有些项集的支持度比人们需要的频繁项集的支持度高很多,但这些项集并不是人们感兴趣的,即过分频繁反而变得平凡.本文引入支持度区间的概念,提出了适合中药数据挖掘的二维TCM-FP森林结构及其建树算法.在针对疾病症状的中药药组挖掘过程中,采用优化的搜索策略开发了基于支持度区间的TCMA维间最大频繁项集挖掘算法.这种算法既缩小了挖掘的范围又提高了规则的意义,并且具有较高的执行效率.
- 肖文鞠时光朱金伟辛燕刘志锋
- 关键词:数据挖掘中药最大频繁项集
- 带空间特性的角色继承规则
- 2009年
- 由于现有RBAC模型对继承规则的定义比较笼统,尤其是角色、权限间的冲突关系没有给出具体的解决方法,所以将原有的RBAC扩充到带有空间特性的RBAC模型,并在此基础上通过对利益冲突和角色层次图中互斥问题的分析,给出了6个规则、两个定义及两个引理,并提出用矩阵表来解决角色冲突问题,为带空间特性的RBAC模型中角色继承问题提供了通用方法。
- 虞俊鞠时光薛安荣
- 局部离群点挖掘算法研究被引量:110
- 2007年
- 离群点可分为全局离群点和局部离群点.在很多情况下,局部离群点的挖掘比全局离群点的挖掘更有意义.现有的基于局部离群度的离群点挖掘算法存在检测精度依赖于用户给定的参数、计算复杂度高等局限.文中提出将对象属性分为固有属性和环境属性,用环境属性确定对象邻域、固有属性计算离群度的方法克服上述局限;并以空间数据为例,将空间属性与非空间属性分开,用空间属性确定空间邻域,用非空间属性计算空间离群度,设计了空间离群点挖掘算法.实验结果表明,所提算法具有对用户依赖性少、检测精度高、可伸缩性强和运算效率高的优点.
- 薛安荣鞠时光何伟华陈伟鹤
- 关键词:离群点检测数据挖掘空间离群点
- 基于SAT的软件验证
- 2008年
- 线性时态逻辑SE-LTL是具有高表达力和基于状态、事件推理能力的并发系统规约语言.目前,SE-LTL的模型检测算法依然是显式的,状态空间爆炸是检测的主要困难.对SE-LTL引入一种有界模型检测技术,该技术将SE-LTL模型检测归约为命题公式的可满足性问题,避免了基于二叉图方法中状态空间的快速增长,加速了验证过程.对SE-LTL-X进一步在该技术中集成stuttering等价技术.实验结果表明该集成有效地降低了验证时间.
- 周从华陈振宇鞠时光
- 关键词:SAT形式化分析
- 基于时间维加权TimedWPR算法被引量:2
- 2008年
- PageRank算法对页面评价太过客观,对不同重要程度的网页被授予相同的权重,并且在排序时,一些旧的页面经常出现在Web检索结果的前面,而新加入的高质量页面用户很难找到。针对Pagerank算法存在的这些缺陷,引入时间维加权概念,开发出TimedWPR算法,同时保证了两种页面的排序优化。该算法采用服务器反馈回来的网页修改时间表示网页年龄,并在此基础上对网络的组织结构和链接质量以及时间序列进行挖掘,从而克服现有Web超链接分析中的不足。
- 王崝鞠时光
- 关键词:PAGERANK算法超链接
- 基于混合核函数的分布式信息检索结果融合被引量:3
- 2011年
- 为了提高分布式信息检索(DIR)的结果融合表现,基于改进的潜在语义核(LSK)和复合方差(ANOVA)核构建了新的复合(CLA)核,通过直接计算检索结果和提问之间相关度来对检索结果进行融合研究。实验结果表明:CLA核的融合精度和招回率分别仅略次于LSK和ANOVA核,但其综合评价指标F1优于其他核;其融合精度比Round-robin、ComMNZ、Bayesian、Borda、SDM、MEM和regression SVM等分别提高了16.79%、30.73%、20.37%、24.17%、14.25%、13.50%和7.53%。CLA核具有较好的融合表现,适用于DIR结果融合。
- 王秀红鞠时光
- 关键词:分布式信息检索复合核