咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 2 篇 期刊文献
  • 1 篇 学位论文
  • 1 篇 会议

馆藏范围

  • 4 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 4 篇 工学
    • 2 篇 计算机科学与技术...
    • 1 篇 测绘科学与技术
    • 1 篇 交通运输工程
    • 1 篇 城乡规划学
    • 1 篇 软件工程
    • 1 篇 网络空间安全
  • 1 篇 理学
    • 1 篇 地理学
  • 1 篇 农学
    • 1 篇 农业资源与环境
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 4 篇 时间标记法
  • 1 篇 时空数据结构
  • 1 篇 数据抽象
  • 1 篇 遗传算法
  • 1 篇 地籍信息系统
  • 1 篇 集覆盖模型
  • 1 篇 功能部件
  • 1 篇 浮点乘加部件
  • 1 篇 多媒体
  • 1 篇 树枚举
  • 1 篇 地籍图
  • 1 篇 动态管理
  • 1 篇 公共交通
  • 1 篇 数据库
  • 1 篇 宗地图
  • 1 篇 同步模型
  • 1 篇 驾驶员排班
  • 1 篇 模型检测
  • 1 篇 形式化验证

机构

  • 1 篇 北京交通大学
  • 1 篇 上海铁道大学
  • 1 篇 中国科学院计算机...

作者

  • 1 篇 陈博文
  • 1 篇 王森磊
  • 1 篇 沈旭升
  • 1 篇 郭崎
  • 1 篇 陶树平
  • 1 篇 崔卫军
  • 1 篇 沈海华

语言

  • 4 篇 中文
检索条件"主题词=时间标记法"
共 4 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
基于生成与选择模式的公交驾驶员排班问题研究
基于生成与选择模式的公交驾驶员排班问题研究
收藏
分享
引用
作者： 王森磊 北京交通大学
学位级别：硕士
本文主要研究了公交驾驶员排班问题,公交驾驶员排班问题是指构建合法班次集合满足行车计划的要求。求解目标是使班次数目和班次成本最低。本文基于“生成和选择”的模式对驾驶员排班问题进行求解。第一阶段：生成候选潜在合法班次集合... 详细信息
来源： 评论
多媒体数据库的同步机制及其实现
收藏
分享
引用
上海铁道大学学报 1998年 第8期19卷 92-95页
作者： 陶树平 沈旭升 上海铁道大学计算机科学与技术系
根据多媒体数据对时间相关性的要求，分析了描述多媒体同步关系的４种模型。
来源： 评论
多维地籍信息动态管理与系统实现技术
收藏
分享
引用
重庆国土房产 2004年 第5期 35-37页
作者： 崔卫军
地籍信息系统具有信息量大．数据更新频繁和数据时间特性明显的特点．时空数据结构的应用也就变得非常必要，为此在地籍信息系统中，必须进行时空数据结构的建立以及与时间有关的操作，为建立实用地籍信息系统服务。
来源： 评论
一种复杂功能部件的形式化验证方法
一种复杂功能部件的形式化验证方法
收藏
分享
引用
2010年中国计算机大会
作者： 陈博文 郭崎 沈海华 中国科学院计算机系统结构重点实验室 北京 100190 中国科学院计算技术研究所 北京 100190 中国科学院研究生院 北京 100049 北京龙芯中科技术服务中心有限公司 北京 100190 中国科学院计算机系统结构重点实验室 北京 100190 中国科学院计算机系统结构重点实验室 北京 100190 北京龙芯中科技术服务中心有限公司 北京 100190
文章给出一个通用的针对复杂功能部件的形式化验证方法.该方法基于寄存器传输级设计，利用设计中的结构信息将电路划分为控制部分和运算部分分别验证.文章给出了标识数据的时间标记法，针对控制部分中数据抽象的通用抽象规则，以及对运... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件