位置：立项数据库 > 立项详情页
　信息服务的需求获取与建模
  • 项目名称：　信息服务的需求获取与建模
  • 批准号：2010CB328102
  • 项目来源：2010年度国家重点基础研究发展计划（973计划）项目
  • 研究期限：2010-01-
  • 项目负责人：段振华;刘少英;刘西洋;裴庆祺;杨利英
  • 依托单位：西安电子科技大学
  • 批准年度：2010
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 11
  • 0
  • 0
  • 0
  • 0
期刊论文
一种采用预排序策略的多核并行skyline算法
性能非对称多核处理器上的自适应调度
真并发等价性下的流程模型转换方法
基于命题投影时序逻辑的单调速率调度算法模型检测
有穷时间投影时序逻辑的完备公理系统
基于事件确定有限自动机的UML2．0序列图描述与验证
BPEL流程建模中的交叠模式分析与转换
PN2MSVL：工作流网到MSVL的转换
自由选择工作流网的可靠完备化简规则集
一个命题投影时序逻辑符号模型检测器
WISHBONE片上总线符号模型检测
段振华;刘少英;刘西洋;裴庆祺;杨利英的项目