咨询与建议

限定检索结果

文献类型

  • 5 篇 专利
  • 1 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 1 篇 并发布尔程序
  • 1 篇 符号计数器
  • 1 篇 线程状态
  • 1 篇 抽象判定
  • 1 篇 可覆盖树

机构

  • 2 篇 株式会社东芝
  • 1 篇 桂林电子科技大学
  • 1 篇 南京磐能新能源技...
  • 1 篇 英特尔公司
  • 1 篇 卓胜微电子有限公...

作者

  • 2 篇 多贺升
  • 2 篇 古川达久
  • 1 篇 周立丰
  • 1 篇 刘设计
  • 1 篇 詹姆斯·利特尔
  • 1 篇 周群
  • 1 篇 广司高取
  • 1 篇 张帆
  • 1 篇 斯科特·基乌
  • 1 篇 冯晨晖
  • 1 篇 李敏
  • 1 篇 陆帅
  • 1 篇 吴涛
  • 1 篇 蒋朱成

语言

  • 6 篇 中文
检索条件"主题词=符号计数器"
6 条 记 录,以下是1-10 订阅
排序:
基于符号计数器抽象的并发布尔程序验证研究
基于符号计数器抽象的并发布尔程序验证研究
收藏 引用
作者: 李敏 桂林电子科技大学
学位级别:硕士
随着计算机技术的快速发展和应用需求,多线程并发程序成为现代程序设计的重要目标。由于线程之间的相互交错执行,可能会产生许多难以发现的微小错误,因此,并发软件验证成为备受关注的研究领域。然而,模型检测并发软件面临严重的状... 详细信息
来源: 评论
一种防止CT饱和时距离保护误动的系统及方法
一种防止CT饱和时距离保护误动的系统及方法
收藏 引用
作者: 刘设计 陆帅 周群 210032 江苏省南京市高新技术开发区磐能路6号01栋2层
本发明公开了一种防止CT饱和时距离保护误动的系统及方法,系统包括差分滤波元件、波形鉴别元件、低压元件、延时元件和距离保护元件,差分滤波元件的输入端外接故障电流,用于将故障电流中的非周期分量和直流分量滤除;波形鉴别元件,... 详细信息
来源: 评论
时钟频率误差检测装置
时钟频率误差检测装置
收藏 引用
作者: 多贺升 古川达久 日本东京都
时钟频率误差检测装置,具备:序列存储部,对基于多种帧同步信号之中的至少之一的同步序列进行存储,多种帧同步信号包含于接收信号之中,接收信号的1帧由规定的符号数量构成,接收信号的各帧中所含的帧同步信号包括使用规定的法则使... 详细信息
来源: 评论
时钟频率误差检测装置
时钟频率误差检测装置
收藏 引用
作者: 多贺升 古川达久 日本东京都
时钟频率误差检测装置,具备:序列存储部,对基于多种帧同步信号之中的至少之一的同步序列进行存储,多种帧同步信号包含于接收信号之中,接收信号的1帧由规定的符号数量构成,接收信号的各帧中所含的帧同步信号包括使用规定的法则使... 详细信息
来源: 评论
T-DMB系统接收机帧同步装置及方法
T-DMB系统接收机帧同步装置及方法
收藏 引用
作者: 蒋朱成 吴涛 张帆 冯晨晖 周立丰 201203 上海市浦东新区龙东大道3000号张江集电港5号楼701B室
本发明公开了一种T-DMB系统接收机帧同步装置及方法,该装置包括:加法一、延时一、加法二、延时二、加法三、一比较、一符号计数器和一判决控制状态机,其中:加法一、二,延时一、二用于接受输入信号作隔点差分运算... 详细信息
来源: 评论
用于定时恢复系统的定时抖动频率检测及其操作方法
用于定时恢复系统的定时抖动频率检测器及其操作方法
收藏 引用
作者: 广司高取 詹姆斯·利特尔 斯科特·基乌 美国加利福尼亚
一种频率检测包括一限幅,该限幅用于接收一相位误差并比照该比较阈值对该相位误差进行限幅,并根据比照比较阈值被限幅的相位误差来产生一符号。如果产生的符号与上次符号相同,则一符号计数器使符号计数递增。当该符号与上次符... 详细信息
来源: 评论