黑龙江省自然科学基金(F00-06)
- 作品数：37 被引量：84H指数：7
- 相关作者：郝忠孝熊中敏赵龄强姚春龙万静更多>>
- 相关机构：哈尔滨理工大学哈尔滨工业大学齐齐哈尔大学更多>>
- 发文基金：黑龙江省自然科学基金上海市科委重大科技攻关项目国家科技部专项基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于验证因子的实时多版本并发控制被引量：4
- 2006年
- 为了解决乐观并发控制方法的不必要重启与即将超过截止期事务的重启引发的负载问题,提出了验证因子的概念及基于验证因子的实时多版本并发控制方法(MVOCC-VF).通过对验证因子的检测,优先调度完成度较高的事务;同时结合多版本技术增强事务调度的并发度,避免了更多的不必要重启问题,尤其能有效保证即将超截止期事务的完成,并证明了协议的正确性.实验结果表明与已有的实时并发控制方法相比,MVOCC-VF降低了事务重启个数及超截止期百分率,提高了系统的总体性能.
- 郝忠孝韩启龙
- 关键词：实时数据库多版本并发控制
- 基于MBR的主方向关系运算
- 2007年
- 针对主方向关系推理中的合成与取反运算,利用矩形代数及区间代数理论,提出了基于MBR(Minimum Bounding Rectangles)主方向关系与矩形代数关系相结合的新模型,利用矩形代数理论实现了基于物体MBR主方向关系的表述问题,同时给出了主方向关系推理中的基本运算,并证明了理论的正确性.通过将物体方向关系和矩形代数的有机结合,利用矩形代数良好的计算性质可以为以后的主方向空间推理以及一致性检验提供更为简便快捷的算法.
- 刘永山郝忠孝
- 关键词：空间数据库主方向关系
- F有内部冲突满足P_2且无α环模式分解的研究被引量：1
- 2007年
- 在数据库模式的无α环分解中,当数据模式R〈W,F〉的FD集F有内部冲突时,无论F是否存在广义左、右部冲突均不存在满足保持FD、无损连接、BCNF和无α环的分解。在某些实际应用中的分解只满足部分条件就够了,在分析F有内部冲突时最小归并依赖集D的特性,给出了归并依赖集满足的条件∑1和∑2,在此基础上,讨论给出了满足P2(保持FD、BCNF)且无α环分解的充要条件和算法,对算法的正确性、可终止性进行了证明,并对算法的时间复杂度给出了分析。
- 赵龄强郝忠孝
- 关键词：无Α环
- 全序时态模块模式的TO_TBCNF分解问题研究被引量：1
- 2006年
- 时间粒度是所有时态数据所拥有的共同特点。在许多时态数据库应用中,都涉及多时间粒度约束,但是,具有多时间粒度的时态数据库的设计相当复杂,难以实现。而现实世界中的许多应用涉及到的时态类型集都能满足全序关系,由于具有全序时态类型集的全序时态模块模式有着良好的特性,文章提出了全序时态模块模式、时刻关系模式、全序时态模块投影和全序时态BC范式(TO_TBCNF)等概念,并给出了全序时态BC范式的分解算法,对其正确性、可终止性进行了证明,并对时间复杂度进行了分析。
- 万静郝忠孝
- 关键词：多时间粒度
- 多时间粒度下时态数据库设计中时态类型的处理被引量：2
- 2006年
- 在许多大型信息系统中需要存储大量的历史数据.为了有效地组织这些时间变化数据,可以使用时态函数依赖(TFDs)对时态数据库进行有效地设计.由于多时间粒度的使用,数据库设计算法需要在计算机上实现表示时态类型间的关系的逻辑结构和时态类型间的相关操作.为此提出了细于关系矩阵和封闭的时态类型集,并且对于给定的时态类型集及其细于关系矩阵,给出了一个自动生成它的一个封闭集及封闭集对应的细于关系矩阵的有效算法.通过提出的细于关系矩阵和封闭集算法,可以方便地在计算机上实现时态数据库设计算法需要的时态类型间的细于关系比较和glb操作.
- 姚春龙郝忠孝
- 关键词：数据库设计时态数据库
- 可检测用户解释冲突的对象模式规范化方法
- 2006年
- 若用户解释中存在冲突,现有的规范化处理过程将导致无法终止。文中提出了一种新的面向对象模式规范化方法,它在规范化过程中融进动态检测用户解释冲突的处理。
- 熊中敏郝忠孝
- 关键词：用户解释
- 基于活化路径同步关系的规则集可终止性判定
- 2006年
- 支持主动规则机制已经成为现代数据库系统的一个重要特征.主动规则集的可终止性判定是主动数据库中核心问题之一,利用触发图和活化图的方法来判定可终止性都存在一定的局限性.为此,根据规则与其活化路径的同步关系,介绍了一个新的判定主动规则集可终止性的方法.分析的结果表明文中提出的方法较现有方法可以发现更多的可终止性情形,最后给出了相应的算法及其可终止性、正确性证明。
- 熊中敏郝忠孝
- 关键词：主动数据库可终止性
- 基于路径函数依赖和键约束的复杂对象嵌套结构规范化
- 2006年
- 为了消除面向对象模型中复杂对象结构中的冗余,避免更新异常,基于路径函数依赖和键约束的概念,分析了嵌套结构中导致冗余和更新异常的原因并给出了3个不同级别的范式和一个规范化算法。而且,对算法的终止性、正确性及时间复杂性进行了证明和分析。
- 熊中敏郝忠孝
- 关键词：面向对象模型
- C++对象布局分析
- 2004年
- 本文分析了目前最为流行的面向对象的开发工具C ++的对象布局 。
- 张健沛闫锐杨静
- 关键词：面向对象程序设计语言C++虚拟函数
- 基于混合杂交的遗传算法求解旅行商问题被引量：8
- 2005年
- 通过混合使用多种杂交算子,提出了一种求解旅行商问题的新型遗传算法,并给出了实验验证。通过实验用该算法求解了城市数为50到100不等的旅行商问题,获得了比其它算法更精确或更接近最优的解,表明了算法的有效性。
- 郑立平郝忠孝
- 关键词：遗传算法旅行商问题
