赵丹枫
- 作品数：17 被引量：25H指数：3
- 供职机构：燕山大学更多>>
- 发文基金：国家自然科学基金河北省自然科学基金教育部科学技术研究重点项目更多>>
- 相关领域：自动化与计算机技术自然科学总论理学更多>>
- 一种用于连续反最近邻查询的空间削减算法
- 2007年
- 动态环境中的反最近邻查询已成为空间查询的研究热点,有效的数据空间削减策略是此类查询的瓶颈。本文首先给出了连续反最近邻CRNN查询的定义,并且深入分析了问题的特点;其次,在综合分析已有削减策略的基础上给出了可用于CRNN查询的空间削减算法。该算法能在降低I/O操作的同时保证结果的精确性,并且不依赖于特定的索引结构和查询算法。实验表明,该算法能够有效削减掉不包含RNN的结点,能够提高CRNN查询效率。
- 高峰赵丹枫刘国华刘军生张奇张宇
- 关键词：反最近邻
- 视图发布过程中信息泄漏的测量与消除被引量：4
- 2007年
- 视图发布给数据交换带来了方便,但也带来了安全隐患,在视图发布过程中有可能造成信息的泄漏.因此,保证发布视图的安全成为数据库安全的一个新课题.理论上讲,防止视图发布过程中信息泄漏的方法可分为两种:一种是针对视图接受者,另一种是针对视图发布者.在实际应用中,第1种方法是很难实现的,因此,人们把研究重点都放在第2种方法上.到目前为止,人们提出了有关的评估算法和保护模型,但是它们都不能够从根本上解决问题.为了消除信息泄漏,提出了相对误差的信息泄漏测量方法,并给出了相应的算法,在此基础上,给出了一个基于关键元组的信息泄漏消除算法,并用实验证明该算法能够有效地消除信息泄漏,保证视图的安全.
- 刘国华宋金玲黄立明赵丹枫宋丽
- 关键词：数据库安全视图发布信息泄漏
- DAS模型下基于查询概率的密文索引技术被引量：2
- 2008年
- 数据库服务(Database-as-a-Service,DAS)模型是一种新的数据管理模型,它把用户的数据存放在第三方并通过网络提供数据库管理系统。DAS模型下,如何提高密文数据库的查询效率是当前面临的一个主要问题,而密文索引技术是提高数据库中密文查询效率的手段之一。针对现有的密文索引方法查询命中率低的问题,本文根据查询概率的实际分布情况,提出了一种适用于非等概率查询的桶划分策略,该策略以降低错检率为目的生成密文索引,提高了查询效率。最后给出了相应的算法,并通过实验对算法进行了分析和验证。
- 赵丹枫金顺福刘国华高峰王柠
- 关键词：DAS密文索引
- 云计算平台下以Artifact为中心的BPMS体系结构研究
- 经过十几年的发展，以Artifact为中心的业务流程管理(Bussine ProcessMananement，BPM)的研究重心正在由基础理论向系统实现方法转移，如何利用云计算平台实现灵活、高效率、低成本的业务流程管理是...
- 赵丹枫
- 关键词：业务流程管理ARTIFACT云计算体系结构
- A-Stein:以数据为中心的业务流程管理原型系统被引量：2
- 2011年
- 以数据为中心是业务流程管理领域的新趋势,典型的代表为IBM提出的artifact概念.名为A-Stein的BPMS的原型系统实现了从业务流程的设计、检查、优化到选择、组合Web服务并执行流程及对其实时监控的一体化和自动化.在模型管理部分提供了友好的图形界面,对流程提供多角度的检查和优化功能.提出了业务逻辑模型到BPEL的自动转换方法,实现了对Web服务的自动选择和调用.实现了对流程信息的实时监控.对系统框架、关键技术和主要演示过程进行了说明.
- 赵丹枫刘国华张大伟王颖刘海滨
- 关键词：业务流程管理ARTIFACTWEB服务业务流程执行语言
- 面向Artifact的业务过程模型被引量：1
- 2010年
- 提出一种面向Artifact的业务过程形式化模型。利用谓词/变迁Petri网建模的优势,根据Artifact的特点,用半结构化数据描述Artifact,以表示Artifact结构的文档类型定义作为静态谓词,通过一种操作XML的一阶逻辑语言描述变迁。实验表明,该模型能有效分析Artifact的可达性、持久性和唯一性等问题。
- 王颖刘国华赵丹枫赵威
- 关键词：业务过程管理半结构化数据
- 面向artifact的业务过程建模与分析
- 王颖刘国华张芳赵丹枫张大伟
- 1、任务来源：秦皇岛市科学技术研究与发展计划(201001A048)2、主要研究内容：该项目重点研究面向Artifact的业务流程建模和分析方法，主要研究内容有：1)Artifact信息结构的形式化描述方法及性质；2)面...
- 关键词：
- Artifact的有效性问题研究
- 为及时发现业务活动对数据的非法操作，将违规实例监测问题归结为Artifact有效性检查问题，基于时间Petri网提出Artifact业务要求模型，从属性赋值顺序的角度给出Artifact在生命周期中的状态变化及时间要求。...
- 王颖刘国华刘海滨赵丹枫
- 关键词：PETRI网自动控制
- ArtiFlow中artifact生命周期的可满足性问题被引量：5
- 2012年
- 以数据为中心是业务过程管理技术发展的一个新趋势.artifact是记录业务过程的数据实体,围绕artifact的业务过程管理正在成为业务过程管理研究的一个热点.生命周期是artifact的一个重要特征,业务过程能否满足对artifact生命周期的定义是业务过程设计中需要验证的一个重要特性.本文从artifact属性赋值顺序的角度,基于Petri网定义artifact的生命周期树.采用ArtiFlow建立业务过程模型,在ArtiFlow模型中根据业务规则提取artifact状态变化树,与artifact生命周期树进行路径比较,验证业务过程模型中artifact生命周期的可满足性.给出相应的算法并分析了算法的复杂度.
- 王颖刘国华高尚赵丹枫刘海滨
- 关键词：业务过程管理PETRI网可满足性
- Ar/T-Net：一种面向Artifact的业务过程概念模型
- 以数据为中心是业务过程管理发展的新趋势，面向Artifact的业务过程管理是一种具有代表性的以数据为中心的业务过程管理技术。概念模型设计是面向Artifact的业务过程设计的关键步骤，但目前还没有成型的建模和分析工具。利...
- 王颖刘国华赵丹枫赵威
- 关键词：业务过程管理数据库
- 文献传递
