搜索筛选:
搜索耗时3.0226秒,为你在为你在102,285,761篇论文里面共找到 62 篇相符的论文内容
发布年度:
[期刊论文] 作者：眭跃飞,
来源：数学季刊：英文版 年份：1999
...
[期刊论文] 作者：眭跃飞,
来源：软件学报 年份：2000
证明存在递归可枚举图灵度a和c使得c≤a，并且对每个递归可枚举图灵度b≤τa，b≠c，其中a是R／M中的一个元素，R／M是递归可枚举图灵度集R模可盖图灵度集M的商．...
[期刊论文] 作者：眭跃飞,
来源：数学季刊：英文版 年份：1990
§1 介绍与基本概念最近,许多文章讨论r.e。集合的T-度与W-度之间的结构差别,例如Lerman和Remmel讨论USP性质以及UWP性质。1985年Downey证明每个度中都存在一个r.e。集合...
[期刊论文] 作者：眭跃飞,,
来源：数学季刊（英文版） 年份：1999
It will be proved that given any noncappable r.e. degree a there are r.e.degrees a0 and a1 such that a0,a1(≤)a and [a0∪a1] is not local distributive,i.e.,ther...
[期刊论文] 作者：眭跃飞,
来源：软件学报 年份：2000
证明存在递归可枚举图灵度a和c使得c(≤)a,并且对每个递归可枚举图灵度b≤Ta, b≠c, 其中a是R/M中的一个元素,R/M是递归可枚举图灵度集R模可盖图灵度集M的商.“,”It is prov...
[期刊论文] 作者：眭跃飞,
来源：Journal of Computer Science and Technology 年份：2001
An ambulance system consists of a collection S = {s1,...,sm ) sm} of emergency centers in a metric space M. Each emergency center si has a positive integral cap...
[期刊论文] 作者：眭跃飞,,
来源：Journal of Computer Science and Technology 年份：1993
Sui YuefeiInstitute of Software,Academia Sinica,Beijing 100080 A new reducibility between the recursive sets is defined,which is appropriate to be used in thes...
[期刊论文] 作者：眭跃飞,,
来源：Journal of Computer Science and Technology 年份：1991
A polynomially exponential time restrained analytical hierarchy is introduced with the basic properties of the hierarchy followed.And it will be shown that the...
[期刊论文] 作者：眭跃飞,,
来源：Journal of Computer Science and Technology 年份：1991
In this paper we will first give the characterization of the p~-low p~-degree,and prove that a p.r.e.degreecontains a p~-speedable set A if and only if′>P′.T...
[会议论文] 作者：眭跃飞,
来源：中国数学会第五十周年成立年会 年份：1985
...
[期刊论文] 作者：陈博, 眭跃飞,,
来源：计算机科学与探索 年份：2015
布尔模型是信息检索系统的一种基础模型。给出了命题逻辑和布尔代数间的一种新的对应关系，其中布尔代数中的不等式对应Gentzen系统中的矢列式，使得当一个不等式在任意布尔代数......
[期刊论文] 作者：眭跃飞,刘超,
来源：计算机科学 年份：2013
给出了两个面向数据库中关系的描述逻辑。在其中一个描述逻辑中,一个关系可以表示为一个知识库和这个知识库的模型,并且对于这个知识库的任意模型,都存在一个与该关系同构的...
[期刊论文] 作者：李未,眭跃飞,等,
来源：北京航空航天大学学报 年份：2002
经典计算不能很好地刻画无穷计算的行为，基于形式系统序列及其极限，讨论一类称为收敛无穷计算的问题，旨在建立刻画无穷计算在变化的环境中如何交互与演化以及演化的极限状态的逻......
[期刊论文] 作者：张再跃,眭跃飞,
来源：扬州大学学报：自然科学版 年份：2000
根据Ｂｌｕｍ，Ｓｈｕｂ和Ｓｍａｌｅ定义实数环上的计算模型中将递归和μ－算子限制在自然数上这一特点，提出了基于自然数上的递归定义和μ－算子。研究了在可允许序数α－上定义的可计算函数－弱α－递归函数的弱α......
[期刊论文] 作者：王雨晖,眭跃飞,
来源：软件学报 年份：2019
AGM公设是用于信念修正的(被一个单一信念修正),而DP公设是用于迭代修正的(被一个有限的信念序列修正).李未给出了对于R-构型(configuration)Δ|Γ的R-演算,其中,Δ是一个原...
[期刊论文] 作者：张再跃,眭跃飞,
来源：软件学报 年份：2000
证明了给定任何非零的递归可枚举图灵度ａ存在递归可枚举图灵度ｃ〈ａ和ｄ∈Ｍ，使得ａ≤ｄＵｃ．由此可以得到：在每个非零「Ａ」∈Ｒ∧Ｍ中不存在极小元，即给定任何非可盖递归可枚举图灵度ａ，存在一个递归可枚......
[期刊论文] 作者：眭跃飞,高颖,曹存根,
来源：软件学报 年份：2005
NKI(国家知识基础设施)是一个大规模知识库,它用框架来表示本体中的概念,用Hom逻辑程序作为自动推理.给出NKI中的本体、框架和逻辑理论的形式表示以及形式表示之间的转换,并...
[期刊论文] 作者：张再跃,眭跃飞,
来源：软件学报 年份：2000
该文证明了在 Rwtt/ Mwtt中除了最大元和最小元外 ,每个元 c是枝点元素 ,即为某两个大于 c的元素的最大下界 ,其中 Rwtt/ Mwtt是递归可枚举弱真值表归约度集 Rwtt模可盖递归...
[期刊论文] 作者：高颖, 曹存根, 眭跃飞,
来源：计算机科学 年份：2004
音乐是一门重要的社会学科,具有丰富的领域知识,这些知识是计算机音乐应用系统所需要的专业知识.本文基于本体论方法形式化地探讨音乐领域本体的建立和分析,具体介绍了本体的...
[期刊论文] 作者：雷玉霞,眭跃飞,
来源：计算机科学 年份：2002
It is necessary for computer to have a large knowledge base, while a lot of practice has proved that computer more needs broad knowledge interconnection in orde...
相关搜索：
