期刊文献+
共找到13篇文章
< 1 >
每页显示 20 50 100
Rosser公式对偶形的存在及推导
1
作者 邹姝稚 唐立中 《河海大学学报(自然科学版)》 CAS CSCD 2000年第3期99-102,共4页
G del定理是数理逻辑发展中的一个里程碑 ,但其最初表述并不完善 .Rosser公式克服了G del定理之不足 ,从而最终解决了形式数论系统的完备性 .本文深入分析了G del提出“ω无矛盾”的初衷和Rosser公式的构造思路 ,运用Rosser公式构造与... G del定理是数理逻辑发展中的一个里程碑 ,但其最初表述并不完善 .Rosser公式克服了G del定理之不足 ,从而最终解决了形式数论系统的完备性 .本文深入分析了G del提出“ω无矛盾”的初衷和Rosser公式的构造思路 ,运用Rosser公式构造与证明中所疏漏的信息 ,推导出了Rosser公式的对偶形式 ,并给出了与此相关的定理 .通过这一研究将深化人们对数学系统相容性、完备性的认识 . 展开更多
关键词 数理逻辑 元数学 相容性 rosser公式 对偶形
在线阅读 下载PDF
Church-Rosser系统表现——么半群中正则问题的可判定性
2
作者 张洛欣 李廉 李永礼 《兰州大学学报(自然科学版)》 CAS CSCD 北大核心 1990年第4期14-18,共5页
设(T,A)是字母表A上的Church-Rosser Thue系统,M_T是它表现的么半群.M_T中元素u称为正则的,如果存在x,使得xux=u.本文证明了:M_T 中是否有一非平凡正则元是多项式时间可判定的;而对于一个任给的元素 u,u 是否是正则元却是不可判定的.
关键词 组合半群 正则元 半群性质判定 重写系统 Church-rosser条件
在线阅读 下载PDF
Rosser隐窝探针在低位肛瘘手术中的应用
3
作者 耿道国 江净 《中外医学研究》 2015年第1期124-126,共3页
目的:探讨Rosser隐窝探针应用于临床,对发现隐匿性内口、降低肛瘘术后的复发率的重要意义。方法:随机抽取2010年以前及以后住院低位肛瘘各80例分别为对照组和治疗组。对照组采用低位肛瘘切开,高位挂线术。治疗组采用低位肛瘘切开,高位... 目的:探讨Rosser隐窝探针应用于临床,对发现隐匿性内口、降低肛瘘术后的复发率的重要意义。方法:随机抽取2010年以前及以后住院低位肛瘘各80例分别为对照组和治疗组。对照组采用低位肛瘘切开,高位挂线术。治疗组采用低位肛瘘切开,高位挂线术,2010年以后低位肛瘘术中使用Rosser探针。结果:使用Rosser探针隐匿性内口发现率为12.5%。治疗组患者平均治愈时间为(27.1±4.7)d,对照组为(35.2±5.0)d,两组比较差异有统计学意义(P<0.05)。治疗组治愈80例,随访6个月无复发。对照组治愈80例,好转6例,随访6个月复发5例。两组患者的治愈率和复发率比较差异均有统计学意义(P<0.05)。结论:将Rosser隐窝探针应用于临床,可以及早发现隐匿性内口,明显降低肛瘘术后的复发率,值得临床推广。 展开更多
关键词 rosser隐窝探针 低位肛瘘 隐匿性内口
暂未订购
CMOS Design of Ternary Arithmetic Devices Wu Xunwei Dept.of Electronic Engineering,Hangzhou University,Hangzhou 310028F.P rosser Dept.of Computer Science,Indiana University,U.S.A.
4
作者 吴训威 F.Prosser 《Journal of Computer Science & Technology》 SCIE EI CSCD 1991年第4期376-382,共7页
This paper presents CMOS circuit designs of a ternary adder and a ternary multiplier,formulated using transmission function theory.Binary carry signals appearing in these designs allow conventional look-ahead carry te... This paper presents CMOS circuit designs of a ternary adder and a ternary multiplier,formulated using transmission function theory.Binary carry signals appearing in these designs allow conventional look-ahead carry techniques to be used.Compared with previous similar designs,the circuits proposed in this paper have advantages such as low dissipation,low output impedance,and simplicity of construction. 展开更多
关键词 CMOS Design of Ternary Arithmetic Devices Wu Xunwei Dept.of Electronic Engineering Hangzhou University Hangzhou 310028F.P rosser Design
原文传递
二维离散系统 RM 模型的全阶观测器
5
作者 陈雪如 《南京师大学报(自然科学版)》 CAS CSCD 1992年第2期13-17,共5页
本文介绍了二雏离散系统的全阶观测器的一种构造方法.
关键词 二维 观测器 断续系统 rosser模型
在线阅读 下载PDF
一类存在数据丢失二维离散系统的H_∞滤波 被引量:3
6
作者 程子豪 卜旭辉 +1 位作者 梁嘉琪 闫帅可 《控制理论与应用》 EI CAS CSCD 北大核心 2016年第4期523-529,共7页
研宄输出测量数据丢失情况下二维线性离散系统的H_∞。滤波问题.首先,将数据丢失现象描述为随机伯努利序列,在此基础上建立二维系统状态估计误差的随机动态方程.其次,定义随机意义下的二维系统均方渐近稳定性和H_∞。性能,基于线性矩阵... 研宄输出测量数据丢失情况下二维线性离散系统的H_∞。滤波问题.首先,将数据丢失现象描述为随机伯努利序列,在此基础上建立二维系统状态估计误差的随机动态方程.其次,定义随机意义下的二维系统均方渐近稳定性和H_∞。性能,基于线性矩阵不等式给出误差系统满足均方渐近稳定和H_∞。性能的一个充分条件,该条件可以实现滤波器参数矩阵的设计.同时,研宄结果被进一步推广到不确定二维系统.最后,通过仿真示例验证了理论结果的有效性. 展开更多
关键词 二维离散系统 rosser模型 数据丢失 H_∞滤波 线性矩阵不等式
在线阅读 下载PDF
改写系统的Word问题的算法及其复杂性
7
作者 徐子珊 《重庆工商大学学报(自然科学版)》 2004年第1期60-62,共3页
讨论一类特殊集———有限群上的Word问题的可判断性及其算法。给出图厄系统及改写系统的定义,并证明了在有限改写系统上的Word问题是可判断的并给出了具有线性运行时间的算法。
关键词 Word问题 算法 复杂性 Thue系统 Rewriting系统 CHURCH rosser性质 图厄系统 改写系统
在线阅读 下载PDF
鲁棒预测迭代学习控制在间歇过程中的运用 被引量:2
8
作者 孙海乔 陈珺 刘飞 《信息与控制》 CSCD 北大核心 2015年第2期129-134,共6页
考虑间歇反应中存在的非线性、实际情况中的输入输出约束要求和扰动的重复特性和非重复特性,将采用迭代学习和预测控制相结合的方法设计控制器,使得系统输出跟踪给定参考轨迹,最终使得间歇反应能够满足产品质量要求.由于迭代学习控制系... 考虑间歇反应中存在的非线性、实际情况中的输入输出约束要求和扰动的重复特性和非重复特性,将采用迭代学习和预测控制相结合的方法设计控制器,使得系统输出跟踪给定参考轨迹,最终使得间歇反应能够满足产品质量要求.由于迭代学习控制系统从本质上看汇聚了时间和批次两个变量,故可称为2维系统.针对2维系统,采用李亚普诺夫函数确保系统的稳定性并得到系统的控制序列,上述的控制序列可通过求解线性矩阵不等式求得.为了验证算法的有效性,将上述控制算法应用在对连续搅拌釜(CSTR)温度期望轨迹的跟踪控制中,仿真结果表明了控制算法的有效性. 展开更多
关键词 2D (2 dimensional)rosser系统 迭代学习控制 预测控制 间歇过程
原文传递
λ-演算的一种扩充
9
作者 田长安 张先勇 钱峰 《河南师范大学学报(自然科学版)》 CAS CSCD 1998年第3期12-15,共4页
对任一固定的集合AN(N表示自然数集),本文定义了λ-演算的一种扩充λA-演算.证明了λA-演算具有Church-Rosser性质,从而是协调的.并证明了λA-可定义全函数与A-递归函数是等价的.
关键词 λA-演算 集合 C-R性质 λA-可定义函数
在线阅读 下载PDF
一种基于ADT的函数语言及其操作语义模型
10
作者 梅宏 孙永强 《软件学报》 EI CSCD 北大核心 1994年第6期58-64,共7页
本文介绍一以ADT为主要构件的函数语言,它是作者设计的函数式及面向对象式合成语言的函数部分,进而描述了其操作语义模型:多态λ演算十代数重写系统=多态λ重写系统,并讨论该模型的Church-Rosser性质和强范式性质。
关键词 函数语言 抽象数据类型 FOPL函数
在线阅读 下载PDF
特殊么半群上的Green等价
11
作者 姚文起 张文汉 《大学数学》 1996年第4期1-5,共5页
本文主要讨论有限特殊Church-RosserThue系统所表现的么半群上Green等价的数量性质.证明每种Green等价类都是正则集合,其个数或1或∞且多项式时间内可计算.同时获得一个关于有限特殊Thue系统描述能... 本文主要讨论有限特殊Church-RosserThue系统所表现的么半群上Green等价的数量性质.证明每种Green等价类都是正则集合,其个数或1或∞且多项式时间内可计算.同时获得一个关于有限特殊Thue系统描述能力的结论. 展开更多
关键词 Church—rosser Thue系统 么半群Green等价 正则集合
在线阅读 下载PDF
An Equivalent Form of Strong Lemoine Conjecture and Several Relevant Results
12
作者 ZHANG Shaohua 《Wuhan University Journal of Natural Sciences》 CAS CSCD 2019年第3期229-232,共4页
In this paper, we consider some problems involving Strong Lemoine Conjecture in additive number theory. Based on Dusart's inequality and Rosser-Schoenfeld's inequality, we obtain several new results and give a... In this paper, we consider some problems involving Strong Lemoine Conjecture in additive number theory. Based on Dusart's inequality and Rosser-Schoenfeld's inequality, we obtain several new results and give an equivalent form of Strong Lemoine Conjecture. 展开更多
关键词 Lemoine CONJECTURE Dusart’s INEQUALITY rosser-Schoenfeld’s INEQUALITY EULER totient FUNCTION primecounting FUNCTION
原文传递
QUANTITATIVE PROPERTIES OF GREEN EQUIVALENCES ON SPECIAL MONOIDS
13
作者 WU Jinzhao (Institute of Systems Science, Academia Sinica, Beijing,China) 《Systems Science and Mathematical Sciences》 SCIE EI CSCD 1996年第3期198-204,共7页
QUANTITATIVEPROPERTIESOFGREENEQUIVALENCESONSPECIALMONOIDSWUJinzhao(InstituteofSystemsScience,AcademiaSinica,... QUANTITATIVEPROPERTIESOFGREENEQUIVALENCESONSPECIALMONOIDSWUJinzhao(InstituteofSystemsScience,AcademiaSinica,Beijing100080,Chi... 展开更多
关键词 Church-rosser Thue systems MONOIDS REGULAR MONOIDS Green EQUIVALENCE
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部