期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
4
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
量子计算与量子计算机
被引量:
19
1
作者
吴楠
宋方敏
《计算机科学与探索》
CSCD
2007年第1期1-16,共16页
量子计算是一种依照量子力学理论进行的新型计算,量子计算的基础和原理以及重要量子算法为在计算速度上超越图灵机模型提供了可能。在发展与完善量子计算理论的同时,量子计算机的物理实现方案也被不断提出。光子量子计算机,基于核磁共...
量子计算是一种依照量子力学理论进行的新型计算,量子计算的基础和原理以及重要量子算法为在计算速度上超越图灵机模型提供了可能。在发展与完善量子计算理论的同时,量子计算机的物理实现方案也被不断提出。光子量子计算机,基于核磁共振、离子阱或谐振子等技术的量子计算机物理模型已被逐一实现。近年来亦出现了几个典型的基于量子计算机的量子算法。2001年在一台基于核磁共振技术的量子计算设备上成功演示的Shor量子算法,显示出量子计算机处理复杂问题的巨大潜能。文章对当前量子计算机物理实现的研究进展进行了综述。
展开更多
关键词
量子计算机
量子算法
物理实现
核磁共振
量子力学理论
量子计算理论
图灵机模型
磁共振技术
物理
模型
巨大潜能
计算速度
计算设备
谐振子
离子阱
综述
原理
演示
显示
台基
基础
在线阅读
下载PDF
职称材料
有无1墨水点亚对数空间限定交替式下推自动机之间的关系
2
作者
徐建良
孙剑
+1 位作者
陈勇
孟庆春
《青岛海洋大学学报(自然科学版)》
CSCD
北大核心
2003年第3期449-456,共8页
该文引入 1墨水点 2方向交替式下推自动机 ,它是 1个具有额外能力的 2方向交替式下推自动机 ,能够用 1个墨水点在输入带上标记出最多 1个单元格。对具有 1个墨水点的和没有墨水点的亚对数空间限定交替式下推自动机之间的关系进行研究。...
该文引入 1墨水点 2方向交替式下推自动机 ,它是 1个具有额外能力的 2方向交替式下推自动机 ,能够用 1个墨水点在输入带上标记出最多 1个单元格。对具有 1个墨水点的和没有墨水点的亚对数空间限定交替式下推自动机之间的关系进行研究。实例证明了具有
展开更多
关键词
墨水点
交替式下推自动机
亚对数空间限定
图灵机模型
交替性
在线阅读
下载PDF
职称材料
自然语言理解——一个关于机器感悟人类语言实质的逻辑理论
被引量:
5
3
作者
黄培红
《四川兵工学报》
CAS
2009年第1期138-142,共5页
从图灵机模型局限性角度出发来重新看待自然语言理解理论,并着重对理论所涉及的概念与公设定理及其应用背景进行解释说明.还给出了理论的可靠性与完备性证明.作为语言理解理论的推论与应用,给出语用涵义的相关定义与定理并验证它的正确...
从图灵机模型局限性角度出发来重新看待自然语言理解理论,并着重对理论所涉及的概念与公设定理及其应用背景进行解释说明.还给出了理论的可靠性与完备性证明.作为语言理解理论的推论与应用,给出语用涵义的相关定义与定理并验证它的正确性与有效性.
展开更多
关键词
自然语言理解
图灵机模型
知觉
元形式系统
在线阅读
下载PDF
职称材料
GDL:一种通用型代码重用攻击gadget描述语言
4
作者
蒋楚
王永杰
《计算机科学》
CSCD
北大核心
2020年第6期284-293,共10页
由于代码重用攻击的方式方法多样,相应的gadget在结构上也不尽相同,目前尚没有一种通用的方法能够用来描述多种代码重用攻击下的gadget。结合几种常见代码重用攻击的攻击模型和图灵机模型,文中提出了一种代码重用攻击的通用模型,为了能...
由于代码重用攻击的方式方法多样,相应的gadget在结构上也不尽相同,目前尚没有一种通用的方法能够用来描述多种代码重用攻击下的gadget。结合几种常见代码重用攻击的攻击模型和图灵机模型,文中提出了一种代码重用攻击的通用模型,为了能够对代码重用攻击中的gadget进行结构化的描述,设计了一种用于代码重用攻击的gadget描述语言(Gadget Description Language,GDL)。首先,介绍了代码重用攻击的发展历程,总结了代码重用攻击的攻击模型和gadget特征;然后,以此为基础设计了GDL,给出了GDL中的关键字和各种约束类型的语法规范;最后,在ply和BARF等开源项目的基础上,实现了基于GDL的gadget搜索原型系统GDLgadget,并描述了GDLgadget的执行流程,通过实验验证了GDLgadget的可用性。
展开更多
关键词
代码重用攻击
攻击
模型
图灵机模型
gadget描述
gadget搜索
在线阅读
下载PDF
职称材料
题名
量子计算与量子计算机
被引量:
19
1
作者
吴楠
宋方敏
机构
南京大学计算机科学与技术系计算机软件新技术国家重点实验室
出处
《计算机科学与探索》
CSCD
2007年第1期1-16,共16页
文摘
量子计算是一种依照量子力学理论进行的新型计算,量子计算的基础和原理以及重要量子算法为在计算速度上超越图灵机模型提供了可能。在发展与完善量子计算理论的同时,量子计算机的物理实现方案也被不断提出。光子量子计算机,基于核磁共振、离子阱或谐振子等技术的量子计算机物理模型已被逐一实现。近年来亦出现了几个典型的基于量子计算机的量子算法。2001年在一台基于核磁共振技术的量子计算设备上成功演示的Shor量子算法,显示出量子计算机处理复杂问题的巨大潜能。文章对当前量子计算机物理实现的研究进展进行了综述。
关键词
量子计算机
量子算法
物理实现
核磁共振
量子力学理论
量子计算理论
图灵机模型
磁共振技术
物理
模型
巨大潜能
计算速度
计算设备
谐振子
离子阱
综述
原理
演示
显示
台基
基础
Keywords
quantum computing
quantum computer
quantum algorithm
architecture of quantum computer
quantum programming language
physical implementation
分类号
TP [自动化与计算机技术]
在线阅读
下载PDF
职称材料
题名
有无1墨水点亚对数空间限定交替式下推自动机之间的关系
2
作者
徐建良
孙剑
陈勇
孟庆春
机构
中国海洋大学计算机科学系
出处
《青岛海洋大学学报(自然科学版)》
CSCD
北大核心
2003年第3期449-456,共8页
文摘
该文引入 1墨水点 2方向交替式下推自动机 ,它是 1个具有额外能力的 2方向交替式下推自动机 ,能够用 1个墨水点在输入带上标记出最多 1个单元格。对具有 1个墨水点的和没有墨水点的亚对数空间限定交替式下推自动机之间的关系进行研究。实例证明了具有
关键词
墨水点
交替式下推自动机
亚对数空间限定
图灵机模型
交替性
Keywords
alternating pushdown automata
sub logarithmic space bounded
alternati on
inkdot
分类号
TP23 [自动化与计算机技术—检测技术与自动化装置]
在线阅读
下载PDF
职称材料
题名
自然语言理解——一个关于机器感悟人类语言实质的逻辑理论
被引量:
5
3
作者
黄培红
机构
福建省莆田市农行
出处
《四川兵工学报》
CAS
2009年第1期138-142,共5页
文摘
从图灵机模型局限性角度出发来重新看待自然语言理解理论,并着重对理论所涉及的概念与公设定理及其应用背景进行解释说明.还给出了理论的可靠性与完备性证明.作为语言理解理论的推论与应用,给出语用涵义的相关定义与定理并验证它的正确性与有效性.
关键词
自然语言理解
图灵机模型
知觉
元形式系统
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
GDL:一种通用型代码重用攻击gadget描述语言
4
作者
蒋楚
王永杰
机构
国防科技大学电子对抗学院
出处
《计算机科学》
CSCD
北大核心
2020年第6期284-293,共10页
文摘
由于代码重用攻击的方式方法多样,相应的gadget在结构上也不尽相同,目前尚没有一种通用的方法能够用来描述多种代码重用攻击下的gadget。结合几种常见代码重用攻击的攻击模型和图灵机模型,文中提出了一种代码重用攻击的通用模型,为了能够对代码重用攻击中的gadget进行结构化的描述,设计了一种用于代码重用攻击的gadget描述语言(Gadget Description Language,GDL)。首先,介绍了代码重用攻击的发展历程,总结了代码重用攻击的攻击模型和gadget特征;然后,以此为基础设计了GDL,给出了GDL中的关键字和各种约束类型的语法规范;最后,在ply和BARF等开源项目的基础上,实现了基于GDL的gadget搜索原型系统GDLgadget,并描述了GDLgadget的执行流程,通过实验验证了GDLgadget的可用性。
关键词
代码重用攻击
攻击
模型
图灵机模型
gadget描述
gadget搜索
Keywords
Code reuse attack
Attack model
Turing machine
gadget description
gadget discovery
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
量子计算与量子计算机
吴楠
宋方敏
《计算机科学与探索》
CSCD
2007
19
在线阅读
下载PDF
职称材料
2
有无1墨水点亚对数空间限定交替式下推自动机之间的关系
徐建良
孙剑
陈勇
孟庆春
《青岛海洋大学学报(自然科学版)》
CSCD
北大核心
2003
0
在线阅读
下载PDF
职称材料
3
自然语言理解——一个关于机器感悟人类语言实质的逻辑理论
黄培红
《四川兵工学报》
CAS
2009
5
在线阅读
下载PDF
职称材料
4
GDL:一种通用型代码重用攻击gadget描述语言
蒋楚
王永杰
《计算机科学》
CSCD
北大核心
2020
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部