检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

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 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

基于符号计数器抽象的并发布尔程序验证研究

基于符号计数器抽象的并发布尔程序验证研究

引用

作者：李敏桂林电子科技大学

学位级别：硕士

随着计算机技术的快速发展和应用需求，多线程并发程序成为现代程序设计的重要目标。由于线程之间的相互交错执行，可能会产生许多难以发现的微小错误，因此，并发软件验证成为备受关注的研究领域。然而，模型检测并发软件面临严重的状... 详细信息

随着计算机技术的快速发展和应用需求，多线程并发程序成为现代程序设计的重要目标。由于线程之间的相互交错执行，可能会产生许多难以发现的微小错误，因此，并发软件验证成为备受关注的研究领域。然而，模型检测并发软件面临严重的状态空间爆炸问题，即可达状态数随着并发线程的增加而呈指数增长，对并发软件直接采用模型检测方法进行验证的效率非常低，甚至无法在实际应用中实现。　　推动模型检测发展的一个有效方法是谓词抽象，对源程序实施谓词抽象技术产生布尔程序，布尔程序作为软件验证的常用模型，虽缩减了状态空间，但仍是谓词抽象精化技术的瓶颈。为解决状态空间爆炸问题，本文围绕并发布尔程序的线程状态的可达性问题进行分析，为其提出了一些算法，并以一组布尔程序基准测试集证明了算法的有效性。主要工作与贡献如下：　　（1）研究了带有有界线程创建的非递归并发布尔程序的可达性问题，结合on-the-fly技术提出了一种基于符号计数器抽象的判定方法。在计数器抽象方法中，计数器记录每个局部状态的执行线程数，由其构成的向量表示系统的全局状态。然而，在实际应用中，难以实现为每个局部状态引入一个计数器。本文的方法是仅为可达的局部状态引入计数器，同时在全局状态中保留局部状态至少有一个线程执行的计数器,去掉零值的计数器及其对应的局部状态，从而节省大量的存储空间。　　（2）研究了带有无界线程创建的非递归并发布尔程序的可达性问题，在上一个方法的基础上进行了扩展，提出了一种基于Karp-Miller可覆盖树的判定方法。由于由未知个线程执行的有限状态并发程序，在任何程序状态都允许动态创建线程，从而会使线程总数增加，由此可能产生无限的状态空间，此种程序的验证问题是不可判定的。本文的方法是为布尔程序直接构建Karp-Miller可覆盖树，将线程状态的可达性问题简化为状态向量加系统的可覆盖性问题，从而证明可达性问题的可判定性，其优点是避免布尔程序静态转化为状态向量加系统时面临的状态空间爆炸问题。

关键词：并发布尔程序符号计数器抽象判定线程状态可覆盖树

来源：评论

学校读者我要写书评

暂无评论

T-DMB系统接收机帧同步装置及方法

T-DMB系统接收机帧同步装置及方法

引用

作者：蒋朱成吴涛张帆冯晨晖周立丰 201203 上海市浦东新区龙东大道3000号张江集电港5号楼701B室

本发明公开了一种T-DMB系统接收机帧同步装置及方法，该装置包括：加法器一、延时器一、加法器二、延时器二、加法器三、一比较器、一符号计数器和一判决控制状态机，其中：加法器一、二，延时器一、二用于接受输入信号作隔点差分运算... 详细信息

标准号: CN101242539B

本发明公开了一种T-DMB系统接收机帧同步装置及方法，该装置包括：加法器一、延时器一、加法器二、延时器二、加法器三、一比较器、一符号计数器和一判决控制状态机，其中：加法器一、二，延时器一、二用于接受输入信号作隔点差分运算后送入加法器三；加法器三将处理结果送入比较器比较后送入符号计数器，符号计数器将计数值送入判决控制状态机并接受判决控制状态机反馈。该帧同步方法利用接受信号幅度与设定阈值的差的符号进行计数，进而判定null区间，该方法快速、高效；并且由于没有采用滤波器，仅仅用一些控制状态机和简单的加法单元就可以实现，能够减少硬件实现开销，有效地克服时域脉冲的干扰。

关键词：加法器状态机符号计数器延时器比较器帧同步判决滤波器系统接收机装置及方法加法单元输入信号信号幅度硬件实现计数值脉冲差分时域计数开销运算反馈干扰

来源：评论

学校读者我要写书评

暂无评论

时钟频率误差检测装置

时钟频率误差检测装置

引用

作者：多贺升古川达久日本东京都

时钟频率误差检测装置，具备：序列存储部，对基于多种帧同步信号之中的至少之一的同步序列进行存储，多种帧同步信号包含于接收信号之中，接收信号的1帧由规定的符号数量构成，接收信号的各帧中所含的帧同步信号包括使用规定的法则使... 详细信息

标准号: CN103138864B

时钟频率误差检测装置，具备：序列存储部，对基于多种帧同步信号之中的至少之一的同步序列进行存储，多种帧同步信号包含于接收信号之中，接收信号的1帧由规定的符号数量构成，接收信号的各帧中所含的帧同步信号包括使用规定的法则使其他帧的帧同步信号以符号为单位进行移位而得到的部分；模式匹配部；符号计数器，对符号周期的时钟进行升值计数并将计数值作为符号号码来输出；定时检测部，根据模式匹配部的模式匹配处理结果检测各帧的帧同步信号，并输出在检测定时的符号号码；及频率误差检测部，检测从定时检测部来的符号号码的变化，根据检测出的变化和规定的法则来检测符号周期的时钟的频率误差。

关键词：帧同步信号符号号码接收信号的定时检测模式匹配法则频率误差检测部模式匹配处理时钟频率误差符号计数器输出符号数量符号周期检测定时检测符号检测装置结果检测频率误差升值计数同步序列序列存储计数值检测移位存储变化进行包含构成

来源：评论

学校读者我要写书评

暂无评论

用于定时恢复系统的定时抖动频率检测器及其操作方法

用于定时恢复系统的定时抖动频率检测器及其操作方法

引用

作者：广司高取詹姆斯·利特尔斯科特·基乌美国加利福尼亚

一种频率检测器包括一限幅器，该限幅器用于接收一相位误差并比照该比较阈值对该相位误差进行限幅，并根据比照比较阈值被限幅的相位误差来产生一符号。如果产生的符号与上次符号相同，则一符号计数器使符号计数递增。当该符号与上次符... 详细信息

标准号: CN100342653C

一种频率检测器包括一限幅器，该限幅器用于接收一相位误差并比照该比较阈值对该相位误差进行限幅，并根据比照比较阈值被限幅的相位误差来产生一符号。如果产生的符号与上次符号相同，则一符号计数器使符号计数递增。当该符号与上次符号不同时，一逻辑电路将该符号计数与符号计数限值进行比较。如果该符号计数小于符号计数限值则该逻辑电路使高位计数器递增并使低位计数器清零。如果符号计数大于符号计数限值则该逻辑电路使低位计数器递增并使高位计数器清零。一组合逻辑电路根据符号计数、高位计数器和低位计数器中的至少一个，产生高频抖动真信号或高频抖动假信号。

关键词：计数限幅符号计数限值低位计数器高位计数器相位误差电路高频抖动假信号组合逻辑电路符号计数器频率检测器高频抖动小于大于

来源：评论

学校读者我要写书评

暂无评论

一种防止CT饱和时距离保护误动的系统及方法

一种防止CT饱和时距离保护误动的系统及方法

引用

作者：刘设计陆帅周群 210032 江苏省南京市高新技术开发区磐能路6号01栋2层

本发明公开了一种防止CT饱和时距离保护误动的系统及方法，系统包括差分滤波元件、波形鉴别元件、低压元件、延时元件和距离保护元件，差分滤波元件的输入端外接故障电流，用于将故障电流中的非周期分量和直流分量滤除；波形鉴别元件，... 详细信息

标准号: CN107086551A

本发明公开了一种防止CT饱和时距离保护误动的系统及方法，系统包括差分滤波元件、波形鉴别元件、低压元件、延时元件和距离保护元件，差分滤波元件的输入端外接故障电流，用于将故障电流中的非周期分量和直流分量滤除；波形鉴别元件，用于识别电流数据的电流波形是饱和电流波形或者正常电流波形；低压元件，输入端外接故障相电压，用于确认故障是否发生在CT近端处；延时元件的输入端，分别与波形鉴别元件、低压元件的输出端相连接，用于在同时满足电流波形为饱和电流波形和故障发生在CT近端处两个条件时，躲过超越距离保护的暂态过程，有效避免CT饱和导致的距离保护误动作，进而提升距离保护的可靠性，提升电网安全。

关键词：距离保护波形鉴别低压元件输入端饱和电流电流波形故障电流滤波元件延时元件近端外接非周期分量故障相电压电流数据电网安全故障发生提升距离暂态过程正常电流直流分量误动作滤除误动输出符号计数器故障电流电流数据采样点电流波形门槛判定饱和电流波形鉴别采样单元采样频率电力系统距离保护正常电流清零误动鉴别检查

来源：评论

学校读者我要写书评

暂无评论

时钟频率误差检测装置

时钟频率误差检测装置

引用

作者：多贺升古川达久日本东京都

标准号: CN103138864A

关键词：帧同步检测符号号码模式匹配符号周期频率误差存储法则时钟频率误差符号计数器检测装置同步序列计数值移位计数

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共1页 << < 1 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：