潘静
- 作品数:8 被引量:22H指数:2
- 供职机构:北京科技大学东凌经济管理学院更多>>
- 发文基金:中央高校基本科研业务费专项资金中国博士后科学基金国家教育部博士点基金更多>>
- 相关领域:自动化与计算机技术经济管理文化科学更多>>
- 接续到直接的指称语义转换
- 2006年
- 接续和直接指称语义之间的转换的主要难点在于不保函数基调.基于Monad思想推导出的接续语义函数和直接语义函数之间的关系,给出了基于规约的从接续指称语义描述形式到直接指称语义描述形式的转换技术,分别考虑了接续函数在不同情形下的处理.最后给出了转换算法的Haskell实现系统,验证了转换的可行性.
- 吕江花马世龙潘静金成植
- 关键词:指称语义基调语义转换
- 单体自动化测试的实现被引量:2
- 2005年
- 本文分析了单体测试自动化的框架,并提出了一种单体测试自动化驱动器的实现方案。
- 潘静陈锡鹏王莹
- 关键词:软件测试软件测试自动化
- OA中基于群件的工作流管理被引量:2
- 2005年
- 本文根据工作流的基本思想,以Lotus群件模式为基础,对某劳动仲裁管理系统中的案件处理模块中的发文管理系统进行了设计和实现。
- 郝玫王莹潘静
- 关键词:群件办公自动化工作流
- 工作流应用系统在企业信息系统中的定位
- 工作流技术已经出现二十多年了,但其理念和企业定位还没有被广泛认识,本文对工作流概念进行了深入剖析,对比企业其他信息应用系统,给出工作流应用系统在企业信息系统中的定位。
- 王莹郝玫潘静高学东
- 关键词:工作流技术数据库技术
- 文献传递
- 分类属性数据的泛化中心聚类算法
- 2014年
- 针对采用经典划分思想的聚类算法以一个点来代表类的局限,提出一种基于泛化中心的分类属性数据聚类算法。该算法通过定义包含多个点的泛化中心来代表类,能够体现出类的数据分布特征,并进一步提出泛化中心距离及类间距离度量的新方法,给出泛化中心的确定方法及基于泛化中心进行对象到类分配的聚类策略,一般只需一次划分迭代就能得到最终聚类结果。将泛化中心算法应用到四个基准数据集,并与著名的划分聚类算法K-modes及其两种改进算法进行比较,结果表明泛化中心算法聚类正确率更高,迭代次数更少,是有效可行的。
- 武森张桂琼潘静全敏
- 关键词:聚类算法
- 基于数据挖掘的物流信息系统研究与设计被引量:16
- 2004年
- 首先,介绍了现代物流管理对信息技术的迫切需求,指出物流管理信息化是电子商务的必然要求;然后,阐述了数据挖掘技术用于物流管理的优势;最后,在论述基于数据挖掘物流信息系统结构和特点的基础上,分析了系统建设中相关的关键技术。
- 王道平潘静郝玫
- 关键词:数据挖掘物流信息系统信息化建设
- 职业活动导向的计算机网络实验教学改革研究被引量:2
- 2012年
- 针对社会对信息管理与信息系统(以下简称信管)专业人才的需求,以该专业学生毕业后所从事的职业活动应该具备的知识和技能为导向,以"应用驱动"的方式设计、更新和完善计算机网络实验教学内容和方式,从而加强学生创新能力与实践能力培养。
- 魏桂英高学东潘静
- 关键词:信息管理与信息系统计算机网络实验教学
- 流数据管理降载技术研究综述
- 2009年
- 流数据作为一种新的数据形态快速流行,但由于其连续快速不可预测的特点,当输入速率超过系统处理能力时,系统会产生过载。降载是解决该问题的有效途径。本文讨论了流数据管理降载的关键技术,分析了目前有代表性的流数据系统所采用的降载技术,同时给出了降载技术的研究趋势。
- 潘静于宏伟
- 关键词:流数据降载