高静伟
- 作品数:19 被引量:13H指数:2
- 供职机构:河北师范大学更多>>
- 发文基金:国家自然科学基金河北省教育厅高等学校自然科学研究项目更多>>
- 相关领域:自动化与计算机技术理学更多>>
- 演化构件在形式化需求分析方法中的研究与应用
- 2008年
- 软件开发实践表明:用户需求是软件系统成功的关键,软件系统的成功极大地依赖软件需求工程的质量.在开发活动过程中,随着用户对目标系统认识的逐渐深入以及基础设施、配置环境等因素的变化,用户需求也在不断发生变化.对需求变化的控制历来都是软件开发者追求的目标.在详细介绍形式化需求分析方法、演化构件及构件贡献度的相关理论基础上,提出了基于演化构件的形式化需求分析建模方法,深入分析了建模过程及建模工具RE-Tracker,并用集中控水系统的需求分析具体实例分析了需求级构件变更的影响范围和波及效应.
- 高静伟赵建利宋雨孙召伟
- 关键词:贡献度形式化方法
- 基于数据仓库的易制毒化学品多维分析系统及实现方法
- 本发明公开了一种基于数据仓库的易制毒化学品多维分析系统及实现方法,属于化学品监管技术领域。本发明系统包括数据仓库模块、数据控制模块、数据模型模块和数据视图模块。本发明通过搭建与易制毒化学品监管业务相匹配的数据仓库,将分散...
- 高静伟郭瑞强胡欣光李腾高志国刘章铭张睿杰
- 文献传递
- 量子通讯中的九个组合数学问题被引量:1
- 2004年
- 解决了量子通讯中的九个组合数学问题.
- 高静伟
- 关键词:量子通讯
- 从数据库中交互发布图像
- 2002年
- 讨论了文件方式交互发布图像的一般方法 ,通过 ADO2 .0访问 SQL SERVER数据库 ,解析 GIF图像的二进制数据的方法以及通过 Active X打开和数据库的连接 ,把图像检索出来并存成临时文件 ,最后 ,介绍了通过 ASP页面完成 Active X交互发布图像文件的方法 .
- 董东高静伟王艳君
- 关键词:ASPACTIVEXWEB数据库图像文件
- 量子计算中的一个重要定理和算法
- 2004年
- 利用组合计数理论、数列和级数知识,采用构造证明的方法研究了量子计数中多色球非空分法数问题,得到了多色球非空分法数问题的两个计数公式,并得到了一个组合恒等式。
- 李建国高静伟高山珍
- 关键词:量子计算级数量子通讯
- 求方程的整数解的数学模型
- 2003年
- 从数学机械化角度给出了求一元二次方程和一元三次方程的整数解的数学模型,并给出了一元二次方程的正整数解的几何解释。
- 高山珍高静伟
- 关键词:整数解数学模型一元二次方程一元三次方程
- 基于亲属关系网络的特定家庭结构匹配方法研究被引量:1
- 2016年
- 随着数据规模的增大以及人与人之间关系复杂性的提高,在亲属关系网络中查询特定的家庭结构已经成为研究的难点之一。传统的关系型数据库并不擅长处理关系复杂、结构多变的数据。因此,本文基于图数据库构造了H省的亲属关系网络。针对亲属关系网络中数据庞大、结构复杂、难以批量匹配数据中的特定结构等问题,本文提出了基于亲属关系网络的特定家庭结构匹配方法。此外,本文还根据人口学中家庭结构的分类标准,对不同类型的家庭进行查询;实验结果表明,该方法简化了复杂数据的查询工作,提高了查询正确率,实现用户查询友好性提升。
- 张霞郭瑞强高静伟王国强薛少彤
- 量子信息论与量子计算中的四个组合数学问题被引量:2
- 2003年
- 解决了量子信息论与量子计算中的四个组合数学问题。
- 高山珍高静伟
- 广义马尔科夫方程解的存在性
- 2003年
- 证明了广义马尔科夫方程在k>n时无正整数解,给出了5维、6维、7维广义马尔科夫方程的部分最小解。
- 高山珍高静伟
- 关键词:最小解定理
- 面向SOA的个人信用管理平台研究
- 高静伟王丽郭瑞强董东赵明华赵建利
- 信用管理是对通过电子信息网络或现场调查手段收集到的相关对象的各种信息(包括其历史信用状况、财务经营状况、遵纪守法状况以及社会信誉情况等)进行综合处理并规范管理的行为。现行的在线信用管理系统还存在诸多弊端,特别是缺乏互联互...
- 关键词:
- 关键词:SO个人信用管理平台计算机网络