检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

带n-元存在量词的描述逻辑MSC推理

计算机学报 2009年第8期32卷 1500-1510页

作者：蒋运承唐素勤华南师范大学计算机学院广州510631 中国科学院计算机科学国家重点实验室北京100190 广西师范大学计算机科学与信息工程学院广西桂林541004

分析了描述逻辑非标准推理的重要性,特别分析了描述逻辑MSC(Most Specific Concept)推理的研究现状和存在的问题.针对目前描述逻辑MSC推理不能处理n-元存在量词的不足,研究了带n-元存在量词的描述逻辑εL(n)的MSC推理问题.提出了一种新... 详细信息

分析了描述逻辑非标准推理的重要性,特别分析了描述逻辑MSC(Most Specific Concept)推理的研究现状和存在的问题.针对目前描述逻辑MSC推理不能处理n-元存在量词的不足,研究了带n-元存在量词的描述逻辑εL(n)的MSC推理问题.提出了一种新的εL(n)-描述图,利用描述树和描述图给出了描述逻辑εL(n)的MSC近似推理算法,并利用εL(n)-描述树嵌套和εL(n)-描述树描述图同态证明了MSC近似推理算法的正确性.作为一个附带的结果,利用εL(n)-描述树描述图同态给出了εL(n)的实例推理算法,也证明了实例推理算法的正确性.

关键词：描述逻辑 n-元存在量词描述树描述图非标准推理 MSC

在线全文

学校读者我要写书评

暂无评论

地黄丸类方制剂质量控制标准提升

中成药 2023年第7期45卷 2323-2327页

作者：刘明王慧森唐素勤梁瑞峰葛文静李更生河南省中医药研究院河南郑州450004 河南大学药学院河南开封475004

目的提升地黄丸类方制剂质量控制标准。方法采用大孔吸附树脂前处理技术制备不同提取部位,作为供试品溶液,TLC法、HPLC法分别进行定性、定量分析。结果在紫外光灯(365 nm)下检视时,鉴别用供试品色谱中在与毛蕊花糖苷对照品、熟地黄对照... 详细信息

目的提升地黄丸类方制剂质量控制标准。方法采用大孔吸附树脂前处理技术制备不同提取部位,作为供试品溶液,TLC法、HPLC法分别进行定性、定量分析。结果在紫外光灯(365 nm)下检视时,鉴别用供试品色谱中在与毛蕊花糖苷对照品、熟地黄对照药材色谱相应位置上显示相同颜色荧光特征斑点,阴性无干扰。27批市售样品中地黄苷D含量与各类方制剂具体品种、剂型、生产厂家相关,其中大蜜丸为0.045~0.098 mg/g,水蜜丸为0.076~0.134 mg/g,浓缩丸为0.060~0.168 mg/g。结论该方法重复性好,专属性强,可为地黄丸类方制剂质量控制体系的进一步完善提供参考。

关键词：地黄丸类方制剂地黄苷D TLC HPLC

智能教学系统NKI-Tutor的知识查询设计

在线全文

学校读者我要写书评

暂无评论

计算机工程 2003年第14期29卷 183-185页

作者：唐素勤广西师范大学数计学院桂林541004

NKI-Tutor是国家知识基础设施面向应用的智能教学系统，其功能是将NKI丰富的知识传授给用户。知识查询是NKI-Tutor给用户提供的一种查询式学习模式。该文研究如何通过NKI-Tutor的知识查询界面实现用户与智能教学系统的交互而获得所需知... 详细信息

NKI-Tutor是国家知识基础设施面向应用的智能教学系统，其功能是将NKI丰富的知识传授给用户。知识查询是NKI-Tutor给用户提供的一种查询式学习模式。该文研究如何通过NKI-Tutor的知识查询界面实现用户与智能教学系统的交互而获得所需知识，提出了基于自然语言理解的知识查询方法，用于构造和实现NKI-Tutor中用户查询知识的交互界面。该方法包括3方面内容：(1)分析用户的知识查询形式，采集用户查询句型模板；(2)根据用户查询的知识特征，把知识查询映射到概念-关系模型上；(3)通过智能分词和模糊匹配构造查询结果。

关键词：智能教学系统知识查询交互界面概念-关系模型

在线全文

学校读者我要写书评

暂无评论

基于Web的智能教学系统模型

计算机应用 2004年第4期24卷 144-146页

作者：唐素勤广西师范大学数学与计算机科学学院

智能教学系统是当前计算机应用的重要领域之一,文中主要研究在国家知识基础设施(NKI)支撑下的基于Web的智能教学系统模型:NKI Tutor。NKI Tutor包括七个模块:学生模型、教学模型、交互模型、NKI知识库、专家模型、出题模块和模拟工具,... 详细信息

智能教学系统是当前计算机应用的重要领域之一,文中主要研究在国家知识基础设施(NKI)支撑下的基于Web的智能教学系统模型:NKI Tutor。NKI Tutor包括七个模块:学生模型、教学模型、交互模型、NKI知识库、专家模型、出题模块和模拟工具,其主要特点是:(1)教学内容覆盖多个学科知识,且是动态的知识库;(2)交互模块给教师提供可操作的教学策略描述语言,便于教师在系统中设计个性化的教学策略。

关键词：智能教学系统国家知识基础设施智能教学系统模型逻辑结构

石草鞋化学成分及对人乳腺癌高转移细胞增殖的影响

在线全文

学校读者我要写书评

暂无评论

山东中医药大学学报 2023年第1期47卷 80-84页

作者：唐素勤罗顺河南省中医药研究院河南郑州450004 河南中医药大学第三附属医院河南郑州450002

目的:通过对石草鞋化学成分的分离及活性研究,揭示石草鞋抑制人乳腺癌高转移细胞增殖作用的物质基础。方法:对石草鞋90%乙醇提取物采用硅胶、葡聚糖凝胶LH-20(Sephadex LH-20)进行分离纯化,根据理化性质及波谱数据鉴定化合物结构;采用... 详细信息

目的:通过对石草鞋化学成分的分离及活性研究,揭示石草鞋抑制人乳腺癌高转移细胞增殖作用的物质基础。方法:对石草鞋90%乙醇提取物采用硅胶、葡聚糖凝胶LH-20(Sephadex LH-20)进行分离纯化,根据理化性质及波谱数据鉴定化合物结构;采用噻唑蓝(MTT)法测试化合物对人乳腺癌高转移细胞增殖的影响。结果:从石草鞋中分离得到12个化合物,分别鉴定为isoagatholal、monoeerin、对羟基肉桂酸甲酯、secologanoside、邻苯二甲酸二正丁酯、对羟基肉桂酸乙酯、isobonein、columbianetin acetate、gentioside、crototropone、3-羟基对甲氧基苯甲醛、2-desoxy-4-epi-pulchellin。monoeerin的半数抑制浓度(IC50)值为12.35μg/mL,crototropone的IC50值为9.51μg/m L。结论:所有化合物均为首次从石草鞋中分离得到,isoagatholal、monoeerin、isobonein、gentioside、crototropone为首次从该属植物中分离得到;monoeerin、crototropone可抑制人乳腺癌高转移细胞增殖。

关键词：石草鞋化学成分分离鉴定波谱数据噻唑蓝法人乳腺癌高转移细胞细胞增殖

描述逻辑εLU概念及术语公理集的表达能力刻画

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

软件学报 2014年第8期25卷 1794-1805页

作者：申宇铭王驹唐素勤广东外语外贸大学思科信息学院广东广州510420 广西师范大学计算机科学与信息工程学院广西桂林541004 高可信软件技术教育部重点实验室(北京大学) 北京100871

表达能力和推理复杂性是一个逻辑的两个重要特征,也是一对相互制约的关系.解释之间的互模拟关系是从语义的角度刻画逻辑表达能力的一个有效途径,其代表性的结果是命题模态逻辑表达能力的刻画定理——van Benthem刻画定理.给出了描述逻辑... 详细信息

表达能力和推理复杂性是一个逻辑的两个重要特征,也是一对相互制约的关系.解释之间的互模拟关系是从语义的角度刻画逻辑表达能力的一个有效途径,其代表性的结果是命题模态逻辑表达能力的刻画定理——van Benthem刻画定理.给出了描述逻辑εLU(含构造子:原子概念、顶概念、概念交、概念并、完全存在约束)的模拟关系,建立了εLU中概念和术语公理集的表达能力刻画定理,即一阶逻辑公式与εLU中概念和术语公理集等价的充分必要条件.上述结果为寻求表达能力与推理复杂性之间的最佳平衡提供了有效的支持.

关键词：描述逻辑概念描述术语公理集表达能力

基于最大不动点模型的描述逻辑系统FLε的有穷基

在线全文

学校读者我要写书评

暂无评论

计算机研究与发展 2010年第9期47卷 1514-1521页

作者：唐素勤蔡自兴王驹蒋运承中南大学信息科学与工程学院长沙410083 广西师范大学计算机科学与信息工程学院广西桂林541004 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190

研究了描述逻辑的有穷基问题,分析了有穷基在描述逻辑中的重要意义及其研究现状,并研究了形式概念分析中的属性蕴含和Duguenne-Guigues基问题.利用形式概念分析中Duguenne-Guigues基存在的证明结果,在***工作基础上设置了描述逻辑的描... 详细信息

研究了描述逻辑的有穷基问题,分析了有穷基在描述逻辑中的重要意义及其研究现状,并研究了形式概念分析中的属性蕴含和Duguenne-Guigues基问题.利用形式概念分析中Duguenne-Guigues基存在的证明结果,在***工作基础上设置了描述逻辑的描述背景,重新定义了描述背景下的属性蕴含,证明了带循环术语的描述逻辑系统FLε存在最大不动点语义(greatest fixed-points,gfp)模型,给出了带循环术语的描述逻辑系统FLε在最大不动点模型下的有穷基的存在性定理,并证明有穷基的可靠性和完备性.描述逻辑有穷基可以帮助知识工程师构建一个更适用于推理的描述逻辑知识库.

关键词：描述逻辑有穷基形式概念分析蕴含最大不动点

在线全文

学校读者我要写书评

暂无评论

带传递关系和存在量词的描述逻辑MSC推理

计算机研究与发展 2009年第6期46卷 979-987页

作者：蒋运承唐素勤王驹周生明广西师范大学计算机科学与信息工程学院广西桂林541004 中国科学院计算机科学国家重点实验室北京100190

分析了描述逻辑非标准推理的重要性,特别分析了描述逻辑MSC推理的研究现状和存在的问题.针对目前描述逻辑MSC推理不能同时处理传递关系和存在量词的不足,研究了带传递关系和存在量词的描述逻辑εL+的MSC推理问题.提出了一种新的εL+-描... 详细信息

分析了描述逻辑非标准推理的重要性,特别分析了描述逻辑MSC推理的研究现状和存在的问题.针对目前描述逻辑MSC推理不能同时处理传递关系和存在量词的不足,研究了带传递关系和存在量词的描述逻辑εL+的MSC推理问题.提出了一种新的εL+-描述图,利用描述树和描述图给出了描述逻辑εL+的MSC近似推理算法,并利用εL+-描述树同态和εL+-描述树描述图同态证明了MSC近似推理算法的正确性.作为一个附带的结果,利用εL+-描述树描述图同态给出了εL+的实例推理算法,也证明了实例推理算法的正确性.

关键词：描述逻辑传递关系存在量词 MSC 描述树描述图

在线全文

学校读者我要写书评

暂无评论

描述逻辑非标准推理

模式识别与人工智能 2010年第4期23卷 522-530页

作者：唐素勤蔡自兴王驹蒋运承中南大学信息科学与工程学院长沙410083 广西师范大学计算机科学与信息工程学院桂林541004

描述逻辑是知识工程应用领域中重要的一类知识表示形式化工具.近年来,解决描述逻辑标准推理和非标准推理已成为描述逻辑研究的一个重要内容.文中概述描述逻辑的标准推理和非标准推理的重要性和研究进展,给出LCS推理、MSC推理、重写推理... 详细信息

描述逻辑是知识工程应用领域中重要的一类知识表示形式化工具.近年来,解决描述逻辑标准推理和非标准推理已成为描述逻辑研究的一个重要内容.文中概述描述逻辑的标准推理和非标准推理的重要性和研究进展,给出LCS推理、MSC推理、重写推理、匹配推理、调试推理和保守扩充等非标准推理的定义和实现这些推理的主要技术.深入讨论LCS推理、MSC推理和匹配推理,以及混合循环术语集的非标准推理及其研究进展.最后探讨描述逻辑非标准推理的发展趋向.

关键词：描述逻辑标准推理非标准推理匹配