期刊文献+
共找到102篇文章
< 1 2 6 >
每页显示 20 50 100
S5钢软化退火的研究 被引量:6
1
作者 闫俊萍 李文学 +3 位作者 刘宗昌 赵莉萍 戴建明 顾容 《金属热处理学报》 CSCD 1998年第2期53-55,共3页
S5钢是一种抗冲击模具钢。为改善切削加工性能,锻后较高硬度,需进行软化退火,使硬度降到229HB以下。现有的S5钢过冷奥氏体转变曲线都是为淬火提供的,奥氏体化温度偏高。为适应冶金厂退火生产的要求,本文测定并研究了供制... S5钢是一种抗冲击模具钢。为改善切削加工性能,锻后较高硬度,需进行软化退火,使硬度降到229HB以下。现有的S5钢过冷奥氏体转变曲线都是为淬火提供的,奥氏体化温度偏高。为适应冶金厂退火生产的要求,本文测定并研究了供制定退火工艺使用的等温转变曲线。 展开更多
关键词 抗冲击模具钢 软化退火 退火
下载PDF
面向S5PV210嵌入式平台的Android系统移植与优化的研究 被引量:6
2
作者 莫太平 周园园 赵翔翔 《电视技术》 北大核心 2016年第9期46-50,71,共6页
针对Android系统的不依赖设备甚至平台的特质,结合目前工业控制领域对Android系统移植启动速度的需求,介绍了在S5PV210嵌入式平台上进行Android系统移植和优化的方法,通过实例具体阐述了内核和Android文件系统的移植过程,并在S5PV210平... 针对Android系统的不依赖设备甚至平台的特质,结合目前工业控制领域对Android系统移植启动速度的需求,介绍了在S5PV210嵌入式平台上进行Android系统移植和优化的方法,通过实例具体阐述了内核和Android文件系统的移植过程,并在S5PV210平台上成功移植了Android系统,而且从启动服务、应用程序和预加载类等方面对Android系统进行了启动优化。实验数据证明,Android系统在S5PV210平台上的启动速度明显加快。 展开更多
关键词 s5PV210嵌入式平台 ANDROID系统 移植 优化
下载PDF
黄土高原S_5古土壤形成期的气候环境——陆生蜗牛化石的证据 被引量:9
3
作者 伍斌 吴乃琴 《第四纪研究》 CAS CSCD 北大核心 2008年第5期901-908,共8页
通过对黄土高原西峰黄土剖面S5古土壤层的蜗牛化石组合研究发现,西峰地区在S5形成时(对应海洋氧同位素MIS 15-13期)气候环境经历了几次显著的波动。MIS15期地层中绝大多数蜗牛壳体被溶蚀,气候非常暖湿,夏季风强盛;MIS14是个弱冰... 通过对黄土高原西峰黄土剖面S5古土壤层的蜗牛化石组合研究发现,西峰地区在S5形成时(对应海洋氧同位素MIS 15-13期)气候环境经历了几次显著的波动。MIS15期地层中绝大多数蜗牛壳体被溶蚀,气候非常暖湿,夏季风强盛;MIS14是个弱冰期,蜗牛组合显示气候以凉湿为主,仍然有较强的夏季风影响;MIS13期以暖湿的气候为主,夏季风增强。对温湿蜗牛种类冠状砂螺(Gastrocoptacoreana)含量变化的功率谱分析显示出明显的23ka周期,表明岁差轨道驱动的低纬太阳辐射是控制黄土高原夏季风变化的主导因素;冷干种类杂色虹蛹螺(Pupilla aeoli)含量变化具有明显的100ka和弱的43ka周期,说明即使在气候特征总体暖湿的背景下,冬季风仍具有以全球冰量(100ka)为主导周期的变化特征。在海洋和冰芯记录中MIS13和MIS15时期并不是最温暖的间冰期,但在黄土高原受到强夏季风的持续影响,这可能与此时北半球夏季太阳辐射量的增强和北大西洋深层流强度的加强有关。S5中SS1与S5SS3两层强烈发育的古土壤可能有着不同的发育机制,S5SS1因其较发育的母质、超长的成壤期,形成了比S5SS3更强的成壤特征。分析认为全球冰量与轨道驱动的北半球太阳辐射对MIS15~13时期黄土高原气候环境的演替和冬、夏季风的消长起了主导作用。 展开更多
关键词 西峰s5 古土壤 蜗牛化石 古环境 太阳辐射
下载PDF
MRPS5对膀胱癌细胞增殖能力及干性特征的影响 被引量:8
4
作者 刘启梁 刘丽梅 +2 位作者 刘春刚 钱程 黄庆愿 《第三军医大学学报》 CAS CSCD 北大核心 2015年第6期558-562,共5页
目的探讨线粒体核糖体蛋白S5(mitochondrial ribosomal protein S5,MRPS5)对人膀胱癌细胞的增殖能力及其中干细胞干性特征的影响。方法 Western blot检测人膀胱癌及癌旁正常组织MRPS5的表达;构建靶向干扰MRPS5的慢病毒载体,感染膀胱癌... 目的探讨线粒体核糖体蛋白S5(mitochondrial ribosomal protein S5,MRPS5)对人膀胱癌细胞的增殖能力及其中干细胞干性特征的影响。方法 Western blot检测人膀胱癌及癌旁正常组织MRPS5的表达;构建靶向干扰MRPS5的慢病毒载体,感染膀胱癌细胞株T24,以干扰Scramble序列作为对照,Western blot检测MRPS5干扰效率;细胞活力实验检测细胞增殖能力;流式细胞术检测细胞周期;细胞成球实验观察成球能力;Western blot检测肿瘤干性转录因子Nanog,Oct4,c-Myc和Sox2的表达;小鼠皮下移植瘤实验观察T24体内成瘤能力。结果 MRPS5在膀胱癌组织中的表达高于癌旁正常组织;慢病毒干扰载体PLKO.1-sh MRPS5有效,且干扰MRPS5表达后T24细胞增殖能力下降(P<0.05),周期阻滞于S期,干性因子表达均下调,成球率无变化(P>0.05)但成球直径明显减小;同时小鼠体内成瘤体积减小[(0.784±0.278)vs(0.500±0.245)cm3,P<0.05],瘤质量减轻[(0.862±0.372)vs(0.412±0.248)g,P<0.05]。结论 MRPS5在膀胱癌中较高表达,且干扰MRPS5表达能抑制T24增殖并抑制T24中的干细胞生物学特征。 展开更多
关键词 膀胱癌 线粒体核糖体蛋白s5(MRPs5) 增殖 肿瘤干细胞
下载PDF
普通野生稻(O.rufipogon)微核心种质中广亲和基因S5^n的检测与分析 被引量:2
5
作者 姚国新 但志武 +1 位作者 鲁旭东 黄文超 《河南农业科学》 CSCD 北大核心 2014年第1期11-14,共4页
普通野生稻微核心种质中蕴含丰富的优异基因资源,是用于水稻品种改良和基础研究的重要材料。为了筛选携带广亲和基因S5n的普通野生稻种质,利用前人开发的鉴定水稻S5n基因的InDel分子标记,对107份野生稻微核心种质进行了PCR扩增和读带分... 普通野生稻微核心种质中蕴含丰富的优异基因资源,是用于水稻品种改良和基础研究的重要材料。为了筛选携带广亲和基因S5n的普通野生稻种质,利用前人开发的鉴定水稻S5n基因的InDel分子标记,对107份野生稻微核心种质进行了PCR扩增和读带分析。结果筛选出3份携带S5n广亲和基因的野生稻种质,均来自海南省,该基因可能在海南完成演化。野生稻广亲和材料有助于籼粳交育种材料的创制。 展开更多
关键词 普通野生稻 微核心种质 s5^n 检测与分析
下载PDF
利用广亲和基因S5-n的功能标记鉴定水稻资源和检测杂交种纯度 被引量:2
6
作者 张爱伟 杨杰 +6 位作者 夏士健 曹卿 王军 汤顺英 戴金平 陈志德 仲维功 《江苏农业学报》 CSCD 北大核心 2010年第6期1133-1138,共6页
为开发利用水稻广亲和基因S5-n的功能标记筛选了部分资源以及鉴定了以培矮64S不育系为母本的杂交种种子纯度。应用广亲和基因S5-n的功能标记S5136从不育系中筛选出携带广亲和基因S5-n的不育系粤泰A,并利用测序证实,同时发现在缺失下游有... 为开发利用水稻广亲和基因S5-n的功能标记筛选了部分资源以及鉴定了以培矮64S不育系为母本的杂交种种子纯度。应用广亲和基因S5-n的功能标记S5136从不育系中筛选出携带广亲和基因S5-n的不育系粤泰A,并利用测序证实,同时发现在缺失下游有1个单碱基的突变,与来源于印度的广亲和材料相同;对以培矮64S为母本的杂交稻两优986的种子中不育系自交结实情况进行了判定,从233棵苗中发现4株培矮64S,自交结实率为1.72%。同时比较了SDS方法和简易DNA快速提取方法的PCR结果,发现利用简易方法提取的DNA当天扩增也可以获得较好的PCR结果,但常温保存2周后,以简易方法提取的DNA为模板难以获得PCR产物。因此,S5-n基因的功能标记S5136可以用于广亲和基因的资源鉴定以及鉴定以培矮64S为母本的杂交种自交结实率。 展开更多
关键词 广亲和基因s5-n 功能标记 资源筛选 纯度鉴定
下载PDF
巴西橡胶树核糖体蛋白S5基因的克隆及生物信息学分析 被引量:2
7
作者 李德军 邓治 +1 位作者 陈春柳 陈守才 《湖北农业科学》 北大核心 2009年第12期2931-2935,共5页
核糖体蛋白S5是核糖体蛋白家族的重要成员,在核糖体中发挥重要作用。利用本实验室获得的部分序列设计引物,采用3'-RACE技术从巴西橡胶树胶乳中获得一个核糖体蛋白S5基因的完整阅读框,该基因编码209个氨基酸的多肽,含有一个典型的真... 核糖体蛋白S5是核糖体蛋白家族的重要成员,在核糖体中发挥重要作用。利用本实验室获得的部分序列设计引物,采用3'-RACE技术从巴西橡胶树胶乳中获得一个核糖体蛋白S5基因的完整阅读框,该基因编码209个氨基酸的多肽,含有一个典型的真核生物核糖体蛋白S5结构域。在HbRPS5氨基酸序列中没有预测到跨膜区和信号肽,二级结构分析表明HbRPS5属于混合型蛋白。对14个RPS5系统进化分析表明,巴西橡胶树的RPS5基因在进化上具有保守性,与植物类拟南芥的RPS5基因亲缘关系最近,而与人和酵母等亲缘关系相对较远。该基因的克隆和生物信息学分析为深入研究其功能奠定了基础。 展开更多
关键词 巴西橡胶树 核糖体蛋白s5 基因克隆 序列分析
下载PDF
利用CEL Ⅰ酶鉴定水稻广亲和基因S5位点的籼粳属性 被引量:1
8
作者 倪深 肖文斐 +2 位作者 陈红旗 王跃星 朱旭东 《中国水稻科学》 CAS CSCD 北大核心 2012年第5期549-554,共6页
广亲和基因S5的克隆为水稻品种亲和特性的鉴定提供了分子学依据。利用PCR技术对水稻S5位点中籼、粳序列间存在差异的区段进行扩增,并结合芹菜核酸内切酶CELⅠ对其进行酶切鉴定,从而区分S5不同的基因型。研究结果表明该方法能准确鉴定不... 广亲和基因S5的克隆为水稻品种亲和特性的鉴定提供了分子学依据。利用PCR技术对水稻S5位点中籼、粳序列间存在差异的区段进行扩增,并结合芹菜核酸内切酶CELⅠ对其进行酶切鉴定,从而区分S5不同的基因型。研究结果表明该方法能准确鉴定不同水稻品种中S5位点的籼粳特性,并能发现新的差异序列。 展开更多
关键词 水稻 广亲和 s5基因 籼粳属性
下载PDF
梨矮化中间砧S_5离体增殖培养基的研究 被引量:1
9
作者 罗娅 汤浩茹 李秀梅 《果树学报》 CAS CSCD 北大核心 2005年第1期66-68,共3页
采用4×4正交试验对梨矮化中间砧S5进行了离体增殖研究。结果表明,不同种类的培养基及不同配比的植物生长调节剂对试管苗增殖的效果不同。MS培养基较QL、AS、WPM培养基更有利于S5茎的增殖,中等浓度的细胞分裂素(BA)与较低浓度的生长... 采用4×4正交试验对梨矮化中间砧S5进行了离体增殖研究。结果表明,不同种类的培养基及不同配比的植物生长调节剂对试管苗增殖的效果不同。MS培养基较QL、AS、WPM培养基更有利于S5茎的增殖,中等浓度的细胞分裂素(BA)与较低浓度的生长素(IBA)、赤霉素(GA3)配合使用效果更理想。综合茎质量、茎数量以及茎长度等指标认为,MS+2.0mg/LBA+0.1mg/LIBA+1.0mg/LGA3是S5试管苗茎增殖的最佳培养基。 展开更多
关键词 矮化中间砧 s5 离体培养 增殖
下载PDF
南方水稻黑条矮缩病毒安徽分离物S5片段的克隆及S5-2基因的原核表达 被引量:1
10
作者 江彤 单文书 +2 位作者 夏伟伟 张享享 蒋西子 《华南农业大学学报》 CAS CSCD 北大核心 2017年第1期58-62,共5页
【目的】探讨南方水稻黑条矮缩病毒(Southern rice black-streaked dwarf virus,SRBSDV)安徽分离物(SRBSDVAn Hui-HN2)的遗传特性,并获得原核表达的P5-2蛋白。【方法】RT-PCR扩增SRBSDV S5片段,克隆、测序并进行序列分析。将S5-2基因插... 【目的】探讨南方水稻黑条矮缩病毒(Southern rice black-streaked dwarf virus,SRBSDV)安徽分离物(SRBSDVAn Hui-HN2)的遗传特性,并获得原核表达的P5-2蛋白。【方法】RT-PCR扩增SRBSDV S5片段,克隆、测序并进行序列分析。将S5-2基因插入原核表达载体,重组载体转化大肠埃希菌并用IPTG诱导,Ni2+-NTA亲和柱纯化融合蛋白,SDS-PAGE分析P5-2蛋白的表达情况。【结果】SRBSDV-An Hui-HN2 S5片段全长3 167 bp,包含S5-2基因全长612 bp,编码204个氨基酸。序列比对结果显示,SRBSDV-An Hui-HN2 S5片段与其他SRBSDV分离物S5片段的序列相似性极高,达99.0%~99.7%,而与斐济病毒属(Fijivirus)其他成员S5片段的序列相似性较低,仅为38.0%~71.3%;构建的S5片段系统发育树表明SRBSDV和RBSDV聚成1个分支,其中6个SRBSDV分离物聚成1个亚分支。原核表达获得相对分子质量约为47 000的重组蛋白,Western blot分析显示,GST单抗能够与重组融合蛋白发生特异性反应。【结论】SRBSDV各分离物之间亲缘关系非常近,而与Fijivirus其他成员亲缘关系较远,原核表达获得的融合蛋白为靶标蛋白。 展开更多
关键词 南方水稻黑条矮缩病毒 s5片段 s5-2基因 原核表达
下载PDF
H13,S7,S5钢退火用TTT图及临界点测定 被引量:6
11
作者 李文学 刘宗昌 +4 位作者 阎俊萍 任慧平 孙久红 戴建明 崔晓旭 《包头钢铁学院学报》 1998年第3期194-198,共5页
利用Formastor—Digital全自动相变测量仪,测定了H13,S7,S5钢退火用TTT图,分析了它们与淬火用TTT曲线的差别,为合理制订H13,S7,S5钢球化退火工艺提供了依据.
关键词 TTT图 退火 工具钢
下载PDF
基于周期图谱估计的BL Lac天体S5 0716+714光变周期 被引量:3
12
作者 唐洁 《云南师范大学学报(自然科学版)》 2011年第1期19-22,共4页
收集了BL Lac天体S5 0716+714从1994年到2008年的观测数据,通过周期图法和Welch提出的修正周期图谱估计法分别计算了BL Lac天体S5 0716+714光学I、R、V三个波段的光变周期,不同波段的计算都得到该天体两个较为明显的光变周期。结果表明S... 收集了BL Lac天体S5 0716+714从1994年到2008年的观测数据,通过周期图法和Welch提出的修正周期图谱估计法分别计算了BL Lac天体S5 0716+714光学I、R、V三个波段的光变周期,不同波段的计算都得到该天体两个较为明显的光变周期。结果表明S5 0716+714存在两个主要光变周期:一个是存在约3.33年的周期,另一个是约2.60年的周期,这一结果较好的与Raiteri等人的结论相吻合。 展开更多
关键词 周期图 s5 0716%PLUs%714 光变周期 谱估计
下载PDF
S5钢TTT曲线及软化退火工艺的研究 被引量:1
13
作者 闫俊萍 刘宗昌 +3 位作者 李文学 王玉峰 艾慰心 吴世中 《物理测试》 CAS 1997年第5期5-8,12,共5页
采用日本Formastor-Digital全自动相变分析仪测定了S5钢的临界点及退火用TTT曲线的珠光体转变部分,并进行了软化退火工艺的试验,从而得出了最佳退火工艺。
关键词 TTT曲线 软化退火 模具钢
下载PDF
AdS^5S^5宇宙时空中世界面能量的计算 被引量:1
14
作者 颜骏 《四川师范大学学报(自然科学版)》 CAS CSCD 北大核心 2007年第6期744-746,共3页
计算了AdS^5S^5宇宙时空中具有作用项的世界面能量,发现能量决定于世界面空间长度L,并呈f(1/L)关系.这一结论表明高维时空中世界面能量不同于通常的夸克与反夸克对的势能.
关键词 Ads5×s5宇宙时空 世界面 能量
下载PDF
水稻第6染色体S5区重叠群构建、基因注释与OS-APH的克隆分析
15
作者 王宏斌 刘兵 +4 位作者 黎茵 冯冬茹 何炎明 戚康标 王金发 《中山大学学报(自然科学版)》 CAS CSCD 北大核心 2006年第6期67-71,共5页
以通过图位克隆所获得的Cosm id克隆R2 I19序列信息为基础,构建了一个长为586 kb的粳稻第6染色体S5座位的BAC重叠群(JS5-BC)。通过生物信息学方法,对JS5-BC进行了基因注释,确定该区域含有46个基因位点。经功能预测,JS5-BC重叠群中存在3... 以通过图位克隆所获得的Cosm id克隆R2 I19序列信息为基础,构建了一个长为586 kb的粳稻第6染色体S5座位的BAC重叠群(JS5-BC)。通过生物信息学方法,对JS5-BC进行了基因注释,确定该区域含有46个基因位点。经功能预测,JS5-BC重叠群中存在3个主要的基因家族,分别是木葡聚糖岩藻糖基转移酶、脂酶和黄素氧化还原酶。JS5-BC中注释基因的一个显著特点是功能相关基因密集存在,如与植物细胞壁的合成代谢相关的3个基因、与呼吸链能量代谢的黄素氧化还原酶的4个基因等都是如此。为了验证基因注释的可靠性,克隆了广亲和品种Cp17品种的OSAPH基因的cDNA,并检测了该基因的表达模式,为注释基因提供了分子证据。 展开更多
关键词 水稻Oryza sATIVA L s5座位 基因注释 酰肽水解酶 重叠群
下载PDF
微纳米Cu_9S_5的溶剂热合成及其光学性能
16
作者 李静 赵红晓 +1 位作者 唐磊 郑直 《化工新型材料》 CAS CSCD 北大核心 2013年第11期130-132,共3页
以Cu(Ac)2为铜源,二甲亚砜(DMSO)为硫源和溶剂,采用溶剂热法合成Cu9S5纳米材料。利用X射线衍射仪(XRD)、扫描电子显微镜(SEM)对所得产物的晶型和形貌进行表征。通过改变原料量,反应时间等因素获得最佳的合成条件。借助紫外可见光度计、... 以Cu(Ac)2为铜源,二甲亚砜(DMSO)为硫源和溶剂,采用溶剂热法合成Cu9S5纳米材料。利用X射线衍射仪(XRD)、扫描电子显微镜(SEM)对所得产物的晶型和形貌进行表征。通过改变原料量,反应时间等因素获得最佳的合成条件。借助紫外可见光度计、荧光光度计研究了该条件下产物的光学性质,由紫外吸收光谱可知产物具有1.1eV的带隙能;由荧光谱图可知,当发射波长为453nm时,产物在683nm处有发射峰。产品具有一定的发光性能。 展开更多
关键词 溶剂热法 微纳米Cu9s5材料 光学性质
下载PDF
健康人常规导联心电图和S_5同步记录12导联心电图对比分析
17
作者 池慧 陈毓文 +1 位作者 叶舒 梁娟凝 《华夏医学》 CAS 2018年第1期17-19,共3页
目的:探讨健康人12导联常规心电图(RLECG)与S_5同步记录12导联心电图(S_5ECG)之间的差异,以便更好的做出诊断。方法:50例健康体检者,分别由同一技术人员在5 min内完成RLECG及S_5ECG的描记记录。结果:两种导联系统ST-T比较:avF、V_1导联... 目的:探讨健康人12导联常规心电图(RLECG)与S_5同步记录12导联心电图(S_5ECG)之间的差异,以便更好的做出诊断。方法:50例健康体检者,分别由同一技术人员在5 min内完成RLECG及S_5ECG的描记记录。结果:两种导联系统ST-T比较:avF、V_1导联的J点(以J_(avF、V1)表示,以后类推)及ST_(Ⅲ、avF、V1、V4、V5)的下移程度,T_(Ⅰ、Ⅱ、avR、avL、V2)的振幅改变,差异有统计学意义(P<0.05)。Q波时间、Q/R振幅比值比较:Q_(avR、V1、V4-6)的时间变化,Q/R_(Ⅲ、avR、avF、V4-6)比值的大小,差异有统计学意义(P<0.05)。结论:健康人的心电图在两种导联系统的ST-T、QRS波群存在差异,S_5ECG的下壁与侧壁心肌缺血的假性改变高于RLECG,不宜用于人群的筛查。 展开更多
关键词 心电描记术 常规导联 s5导联 假性改变
下载PDF
S5 0716+714射电波段的光变特性分析
18
作者 李怀珍 陈洛恩 李开毅 《玉溪师范学院学报》 2011年第12期12-15,共4页
利用UMRAO数据库中的观测数据,给出了BL Lac天体S5 0716+714在射电4.8GHz、8GHz和14.5GHz的历史光变曲线,并应用离散相关函数法对其进行周期性分析.分析结果显示:S5 0716+714在射电波段存在一个大约2 075天的长时标周期性光变,该周期很... 利用UMRAO数据库中的观测数据,给出了BL Lac天体S5 0716+714在射电4.8GHz、8GHz和14.5GHz的历史光变曲线,并应用离散相关函数法对其进行周期性分析.分析结果显示:S5 0716+714在射电波段存在一个大约2 075天的长时标周期性光变,该周期很可能是由喷流的螺旋进动引起的. 展开更多
关键词 s5 0716%PLUs%714 光变 螺旋喷流 离散相关函数
下载PDF
BL Lac天体S5 0716+714的特性分析
19
作者 鲍玉英 周宏运 李开毅 《玉溪师范学院学报》 2007年第12期29-34,共6页
S5 0716+714的各方面的特性已被很多人研究过,其中某些研究成果,如短时标光变、光谱的变化、多波段流量的相关性及偏振的特性为研究其各部分内禀的相互依存特性提供了有用的信息.本文则对其色指数相关性、偏振度与位置角、光学波段的时... S5 0716+714的各方面的特性已被很多人研究过,其中某些研究成果,如短时标光变、光谱的变化、多波段流量的相关性及偏振的特性为研究其各部分内禀的相互依存特性提供了有用的信息.本文则对其色指数相关性、偏振度与位置角、光学波段的时延、黑洞的质量、光学辐射区的大小及各波段的辐射特性等做了进一步讨论. 展开更多
关键词 BL Lac天体 s5 0716%PLUs%714 中心黑洞质量 色指数 偏振度 时延 辐射
下载PDF
模态逻辑系统S5中的范式定理及其在知识系统中的应用
20
作者 王国俊 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2008年第1期1-6,共6页
研究了模态逻辑系统S5中的析(合)取范式定理的归纳证明,给出了在S5中用深度至多等于1的最简模态公式通过析取与合取运算表示含有多重模态词的公式的方法.作为范式定理的应用,讨论了知识库中的一个基本问题,证明了知识库能够回答KB命题... 研究了模态逻辑系统S5中的析(合)取范式定理的归纳证明,给出了在S5中用深度至多等于1的最简模态公式通过析取与合取运算表示含有多重模态词的公式的方法.作为范式定理的应用,讨论了知识库中的一个基本问题,证明了知识库能够回答KB命题式问题的充要条件是该知识库能够回答相关的非模态命题及其否定命题的问题. 展开更多
关键词 模态逻辑系统s5 范式定理 知识库 KB命题
下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部