刘群
- 作品数：48 被引量：113H指数：7
- 供职机构：哈尔滨工程大学计算机科学与技术学院更多>>
- 发文基金：黑龙江省自然科学基金国防基础科研计划国防科技技术预先研究基金更多>>
- 相关领域：自动化与计算机技术理学一般工业技术经济管理更多>>
- 基于UPPAAL的数据关联时序有限自动机模型验证
- 2007年
- 对数据关联过程建立了时序有限自动机模型,时序有限自动机时钟变量只取整数值,从而减小数据关联过程生成的状态空间。在一定的时间约束下,使用模型检测工具UPPAAL对所建模型的关键性质——关联准确性进行了分析和验证。检测结果验证了利用UPPAAL进行数据关联准确性分析的可行性。
- 梁冰刘群
- 关键词：数据关联
- 用CORBA和WEB技术构建分布式控制系统被引量：1
- 2006年
- 提出并实现了一种基于CORBA和WEB技术的分布式控制系统构架。该构架采用WEB三层结构,便于各层的独立升级,通过对各种异构资源进行CORBA对象封装,实现了异构平台的互操作。在客户端通过WEB浏览器实现对目标资源的分布式控制和访问。
- 段静玄石朝明冯浩刘群
- 关键词：CORBAWEB分布式控制系统
- 基于构件技术的三维分子动力学仿真软件的开发被引量：3
- 2008年
- 根据分子动力学仿真应用开发环境的要求,提出了基于构件来设计分子动力学仿真软件的思想。然后,在VC++6.0编译环境下,使用CGLEnableView类构件开发了分子动力学仿真软件。此仿真软件严格遵守COM规范,可以作为构件为其它软件调用。此外,该仿真软件具有仿真过程中的实时三维显示功能,可实现旋转、缩放和平移等基本交互操作。并且还集成了数据输入、输出、图像存储和结果分析等功能。最后使用该软件对单晶铜的AFM针尖刻划实验进行了仿真。仿真结果表明,该基于构件的仿真软件可以稳定而可靠地解决分子动力学仿真方面的问题。
- 司加全刘群
- 关键词：分子动力学
- 电力生产系统OLAP与数据挖掘技术的实现被引量：7
- 2002年
- 联机分析处理和数据挖掘技术是近年来数据库领域和人工智能领域研究的热点 ,它通过对大量数据进行分析和处理 ,得到隐含在这些数据背后有用的信息和知识 .电力生产系统每天都积累了很多的生产销售数据 ,分析和挖掘出这些数据所隐含的深层次的知识对于企业来说是十分必要的 .本文对OLAP和DM作了详细的介绍 .针对企业的数据特点和应着重解决的问题 ,提出了适合电力生产企业的OLAP和DM任务 ,阐述了用于企业DM任务的粗糙集方法 ,最后 ,结合实例说明了粗糙集方法是如何应用到电力生产企业的数据分析和数据挖掘中的 ,并指出了OLAP和DM技术的实现给企业带来的效益 .
- 赵春凤刘群
- 关键词：OLAP数据挖掘粗糙集
- 基于自动机模型数据关联性能评估算法被引量：1
- 2008年
- 提出了一种基于自动机理论的性能评估方法,通过在有限自动机模型中增加描述观测的时间序列,来扩展其对数据关联过程的表达能力;使用时序有限自动机模型来描述关联处理算法的模型;使用带时间属性的字符串表示目标航迹。对数据关联的时序有限自动机模型进行一致性和可达性分析,并在此基础上给出了性能评估算法。实验结果证明该方法可以有效地评价关联算法的性能。
- 梁冰刘群
- 关键词：数据关联时间序列
- 一种集成式知识表示及相应推理方法被引量：3
- 1997年
- 针对工程应用中知识的特点，提出了一种新型的知识表示方法———集成式的知识表示，给出了这种知识表示的ＢＮＦ范式，并就如何应用这诸多类型的知识对正确、高效的推理进行了详细讨论。
- 刘群陈述刘杰
- 关键词：知识表示专家系统人工智能集成式
- 基于Petri网的主动数据库规则分析方法被引量：2
- 1997年
- 提出一种基于Ｐｅｔｒｉ网的主动数据库的规则分析方法．通过Ｐｅｔｒｉ分析可自动检测出循环触发规则集、冲突规则集、矛盾规则集，进而通知用户修改规则，以保证数据库中规则在有限时间内完成。
- 印桂生王莹刘群刘大昕
- 关键词：主动数据库数据库管理系统
- 约束网系统及其应用的研究
- 1997年
- 提出了约束网系统。
- 印桂生刘群刘杰刘大昕
- 关键词：主动数据库系统规则库PETRI网
- 数据融合系统的时序有限自动机模型及性能分析方法
- 2008年
- 数据融合系统的各种算法是当前研究的热点问题,但缺乏有效数学工具对数据融合系统进行描述和分析.本文提出了时序有限自动机,用它建立数据融合系统的形式化模型,并且给出了时序有限自动机模型的可达性分析方法,用于分析数据融合系统的性能和行为.同时,给出了建立时序有限自动机模型和数据融合系统的正确性和实时性分析算法.
- 梁冰刘群
- 关键词：数据融合建模方法性能分析
- 一种蓝牙分散网拓扑形成算法的设计与实现被引量：1
- 2006年
- 针对现有的蓝牙分散网拓扑形成算法的动态性和自愈性较差的问题,提出了一种新算法。该算法综合考虑了对分散网互连有显著影响的微微网的个数、负载均衡和结点移动性等因素,使最终得到的分散网拓扑是一个异构的、局部互连网状的结构,该结构具有较强自愈和容错能力。利用 BlueHoc 蓝牙扩展模块在 NS-2仿真器上对算法进行了模拟。结果显示,提出的算法可以有效地用于蓝牙分散网拓扑结构的创建。
- 赵国生刘群王慧强王健
- 关键词：蓝牙微微网分散网
