郭新峰
- 作品数:6 被引量:18H指数:2
- 供职机构:山西大学软件学院更多>>
- 发文基金:国家重点实验室开放基金国家自然科学基金更多>>
- 相关领域:自动化与计算机技术电气工程文化科学经济管理更多>>
- 扩展断言知识检验一致的需求建模方法被引量:2
- 2015年
- 保证需求完整一致是需求建模的关键,文中提出一种基于知识库推理检验一致性的需求建模方法,该方法在建模中引入本体以增强表达能力,并结合语义建立约束规则构建需求模型知识库,基于描述逻辑描述需求和检验需求一致性,将需求建模过程作为断言知识库的扩展过程,把需求完整性问题转化为需求一致性问题,并归结其为规则约束下的可满足问题。利用Tableau算法等实现需求一致性的检验,在整个建模活动中保证需求一致。应用实践中使用自行编制的ROB半自动建模软件进行需求建模与分析,验证了建模方法的需求一致性,并通过案例说明了扩展断言知识库检验一致的需求建模过程。
- 郭新峰马世龙吕江花李睿
- 关键词:多视点描述逻辑可满足性TABLEAU
- 新型考试系统的实现被引量:7
- 2005年
- 考试是督学督教的重要手段,选拔人才的主要方式,是教育各界和各人事部门必须采用的手段。为了能更加客观、公平公正的进行考试和分析考试结果,更加高效地开展考试工作,笔者详细地论述了考试系统在计算机中的实现和评价分析考试结果的合理算法。
- 郭新峰
- 关键词:考试系统随机数数据分析
- 新生注册管理系统的实现被引量:3
- 2004年
- 根据高校新生注册管理系统的特殊性及复杂性 ,应用数据库技术及信息安全等理论 ,提出了 1种完善的新生注册体系结构 ,并介绍了实现新生注册系统的关键问题和处理过程。
- 郭新峰齐晋杰焦杏绵
- 关键词:注册管理处理过程高校新生数据库技术
- 需求变更自动化管理模型与实现被引量:2
- 2015年
- 需求变更不可控,需求变更常对软件开发产生严重影响,需求变更管理是控制影响的直接途径.为易于理解沟通,基于资源、组织与业务的需求模型(简称ROB)用递归分解的方法分别从资源、组织与业务抽取需求,ROB全局统一的树形结构便于形式化定义需求对象以实现在计算机中存储和管理;在规范需求变更管理组织、流程基础上,建立数据模型,设计数据操纵语言定义操纵接口,通过编辑修改对象模拟需求发生变更,在完整性、一致性规则约束下,自动完成由需求变更引发的完整操作模块.实践中应用ROB需求管理软件进行需求变更管理验证这种方法的有效性、自动化智能化等特点.
- 郭新峰马世龙吕江花武俊生邵回祖
- 关键词:需求管理CMMI
- 电力抢修车监控系统总体设计被引量:2
- 2005年
- 基于GPS、GSM、GIS技术的卫星定位监控系统,虽已有较多应用,但在供电企业实际应用的范例还不太多。针对供电企业的特点和需要,本文给出了电力抢修车卫星定位监控系统的总体设计。包括:系统主要功能与性能、系统总体结构设计、显示方式设计、车载设备选择、应用功能设计、与电力其他系统的关系等。
- 焦杏绵郭新峰
- 关键词:GPS定位车辆监控
- VS.NET部署应用程序和报表分发的问题及解决被引量:2
- 2005年
- V S.NET技术是当前软件开发的最新技术手段,而报表在软件性能上占有关键地位。软件开发必须部署完善才能体现价值,报表分发是软件报表功能实现的直接途径。
- 郭新峰张彩霞
- 关键词:报表VS.NETNET