毕世飞

作品数:2被引量:2H指数:1
导出分析报告
供职机构:东北大学信息科学与工程学院更多>>
发文主题:CSP时间复杂度整数规划约束满足问题ISO9000更多>>
发文领域:自动化与计算机技术经济管理更多>>
发文期刊:《东北大学学报(自然科学版)》《东北大学学报(社会科学版)》更多>>
所获基金:辽宁省自然科学基金更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-2
视图:
排序:
软件开发质量管理体系实施阻力的根源与对策
《东北大学学报(社会科学版)》2004年第2期102-104,共3页郭志 毕世飞 李宝和 
对于某些复杂的事物,组成事物的各个部分之间的各种联系成为决定事物性质的关键因素。从这个基本点出发,对比一般工业品生产和软件产品生产的区别,分析了软件生产在构造流水线式生产的困难、开发过程中的信息传递不畅,以及信息结构日趋...
关键词:ISO9000 质量管理体系 软件开发 
一类约束满足问题及其算法被引量:2
《东北大学学报(自然科学版)》2003年第12期1169-1172,共4页蒋本铁 毕世飞 
辽宁省自然科学基金资助项目(9910701001)
针对具有解析约束形式、同一变量多赋值的约束满足问题,提出了一种新的约束满足问题定义·通过一种特殊约束满足问题的研究提出一套建立在这个定义基础之上的概念和三种算法:整数规划法、不等式组法和直接求解不定方程法,详细研究了其...
关键词:约束满足问题(CSP) 不定方程 整数规划 偏移方程 时间复杂度 
检索报告 对象比较 聚类工具 使用帮助 返回顶部