|
段玉聪教授DIKWP数理系统的语义完备性及数理特性
段玉聪
DIKWP人工意识实验室
AGI-AIGC-GPT评测DIKWP(全球)实验室
DIKWP-AC人工意识标准化委员会
世界人工意识大会
世界人工意识协会
(联系邮箱:duanyucong@hotmail.com)
引言
段玉聪教授提出的DIKWP模型,通过详细区分数据、信息和知识,并进一步划分概念空间、语义空间和认知空间,为认知主体(如人类或AI系统)提供了一个高阶、动态和结构化的认知框架。作为数理逻辑专家,本报告将深入探讨该模型的语义完备性、数理特性,并基于此构建一个语义处理数理体系。
1. DIKWP模型的数理特性1.1 数据(Data)定义:被认知主体确认的原始事实或观察记录,通过概念空间进行分类和组织,形成初步的认知对象。
数理表示:数据可以表示为一个集合 D,其中每个数据项 d∈D 是一个原子事实。
定义:通过认知主体的意图,将数据与已有认知对象进行语义关联,识别差异,形成新的认知内容。
数理表示:信息可以表示为从数据集合 D 到信息集合 I 的映射 f:D→I,其中每个信息项 i∈I 是通过语义关联生成的。
定义:通过高阶认知活动和假设,对数据和信息进行系统性理解和解释,形成对世界的深刻理解和解释。
数理表示:知识可以表示为从信息集合 I 到知识集合 K 的映射 g:I→K,其中每个知识项 k∈K 是通过高阶认知活动生成的。
定义:概念空间是认知主体通过自然语言、符号等形式进行交流和认知的空间。数据、信息和知识在这个空间中作为具体概念存在,并通过语义网络和概念图进行表达。
数理表示:概念空间可以表示为一个有向图 G=(V,E),其中节点 V 代表概念,边 E 代表概念之间的关系。语义网络中的每个节点 v∈V 具有唯一的标识符,并与其他节点通过语义关系连接。
定义:语义空间是认知主体理解和处理概念的内在语义联系的空间。数据、信息和知识在这个空间中通过语义匹配、关联和转化来理解和生成新的知识。
数理表示:语义空间可以表示为一个语义匹配函数 h:V×V→[0,1],其中 h(vi,vj) 表示两个概念节点之间的语义匹配度。语义空间中的匹配函数 h 满足以下性质:
对称性:h(vi,vj)=h(vj,vi)
自反性:h(vi,vi)=1
非负性:0≤h(vi,vj)≤1
定义:认知空间是认知主体进行思考、学习和理解的内部心理空间。数据、信息和知识在这个空间中通过观察、假设、抽象和验证等认知活动,形成对世界的深刻理解和解释。
数理表示:认知空间可以表示为一个动态系统 S=(X,F,Y),其中:
X 表示认知状态空间,包含所有可能的认知状态 x∈X;
F 表示认知过程的转移函数 f:X×U→X,其中 U 是外部输入;
Y 表示输出空间,包含所有可能的认知输出 y∈Y。
定义:语义完备性是指在语义空间中,所有可能的语义联系和匹配关系都能够被完整地表达和计算。
实现方法:通过语义匹配函数 h 的定义和性质,可以确保语义空间的完备性。语义匹配函数 h 可以通过机器学习算法和语义搜索引擎进行训练和优化,以实现语义完备性。
定义:语义一致性是指在不同的认知空间和语义空间中,概念和语义关系的一致性和稳定性。
实现方法:通过语义匹配函数 h 的对称性和自反性,可以确保语义一致性。语义网络和概念图的结构化表示,也有助于保持语义的一致性。
定义:动态更新是指在认知过程中,随着新数据和信息的输入,知识和语义关系能够动态调整和更新。
实现方法:通过认知空间中的动态系统 S 和转移函数 F,可以实现知识和语义关系的动态更新。深度学习和强化学习技术可以用于训练和优化认知过程。
语义网络:构建语义网络 G=(V,E),表示概念及其关系。
本体论(Ontology):使用本体论定义概念及其层次结构,确保概念表示的一致性和完备性。
语义匹配函数:定义语义匹配函数 h:V×V→[0,1],用于计算概念之间的语义匹配度。
语义推理引擎:构建基于规则和逻辑推理的语义推理引擎,实现语义关联和推理。
动态系统模型:构建认知空间中的动态系统 S=(X,F,Y),用于模拟认知过程。
深度学习与强化学习:使用深度学习和强化学习技术训练和优化认知过程,实现知识和语义关系的动态更新。
为了深入理解段玉聪教授提出的DIKWP数理系统的独特优势和应用潜力,我们将其与其他几个著名的数理系统进行详细对比分析。这些系统包括DIKW模型、SECI模型、Polanyi的隐性知识理论和Cynefin框架。
5.1. DIKWP数理系统与DIKW模型的对比特征 | DIKWP数理系统 | DIKW模型 |
---|---|---|
数据定义 | 被认知主体确认的原始事实或观察记录,通过概念空间进行分类和组织,形成初步的认知对象。 | 原始的、未加工的事实和观测记录。 |
信息定义 | 通过认知主体的意图,将数据与已有认知对象进行语义关联,识别差异,形成新的认知内容。 | 经过处理和理解的数据,赋予特定意义。 |
知识定义 | 通过高阶认知活动和假设,对数据和信息进行系统性理解和解释,形成对世界的深刻理解和解释。 | 经过处理和理解的信息,能够用于决策和行动。 |
语义处理 | 强调语义完备性,通过语义匹配函数 h 实现语义关联和匹配。 | 不明确涉及语义处理,主要关注层次性。 |
动态更新 | 通过认知空间中的动态系统 S 实现知识和语义关系的动态更新。 | 知识主要是静态存储和层次化管理。 |
数理表示 | 使用集合、映射、动态系统等数学结构描述数据、信息和知识及其相互关系。 | 主要采用层次结构描述数据、信息、知识和智慧。 |
应用范围 | 广泛应用于自然语言处理、知识图谱、智能决策支持系统等领域。 | 主要用于知识管理和信息处理。 |
特征 | DIKWP数理系统 | SECI模型 |
---|---|---|
数据定义 | 被认知主体确认的原始事实或观察记录,通过概念空间进行分类和组织,形成初步的认知对象。 | 原始的事实和记录。 |
信息定义 | 通过认知主体的意图,将数据与已有认知对象进行语义关联,识别差异,形成新的认知内容。 | 从隐性知识转化为显性知识的一部分。 |
知识定义 | 通过高阶认知活动和假设,对数据和信息进行系统性理解和解释,形成对世界的深刻理解和解释。 | 知识分为显性知识和隐性知识,通过转化生成。 |
语义处理 | 强调语义完备性,通过语义匹配函数 h 实现语义关联和匹配。 | 通过显性和隐性知识的转化进行语义处理。 |
动态更新 | 通过认知空间中的动态系统 S 实现知识和语义关系的动态更新。 | 强调知识的动态转化和共享过程。 |
数理表示 | 使用集合、映射、动态系统等数学结构描述数据、信息和知识及其相互关系。 | 通过SECI螺旋模型描述知识的社会化、外化、结合和内化过程。 |
应用范围 | 广泛应用于自然语言处理、知识图谱、智能决策支持系统等领域。 | 主要用于组织内知识管理和创新过程。 |
特征 | DIKWP数理系统 | Polanyi的隐性知识理论 |
---|---|---|
数据定义 | 被认知主体确认的原始事实或观察记录,通过概念空间进行分类和组织,形成初步的认知对象。 | 隐性知识没有明确涉及数据。 |
信息定义 | 通过认知主体的意图,将数据与已有认知对象进行语义关联,识别差异,形成新的认知内容。 | 难以明确转化为信息,主要通过个人经验体现。 |
知识定义 | 通过高阶认知活动和假设,对数据和信息进行系统性理解和解释,形成对世界的深刻理解和解释。 | 隐性知识为个人经验和技能,难以形式化。 |
语义处理 | 强调语义完备性,通过语义匹配函数 h 实现语义关联和匹配。 | 隐性知识通过隐含的语义关系进行处理。 |
动态更新 | 通过认知空间中的动态系统 S 实现知识和语义关系的动态更新。 | 难以通过形式化手段进行动态更新,主要依赖个人经验的积累。 |
数理表示 | 使用集合、映射、动态系统等数学结构描述数据、信息和知识及其相互关系。 | 难以形式化描述隐性知识,主要通过质性研究方法探讨。 |
应用范围 | 广泛应用于自然语言处理、知识图谱、智能决策支持系统等领域。 | 主要用于理解和分析个人经验和技能的形成和传递。 |
特征 | DIKWP数理系统 | Cynefin框架 |
---|---|---|
数据定义 | 被认知主体确认的原始事实或观察记录,通过概念空间进行分类和组织,形成初步的认知对象。 | 数据在不同域中具有不同的应用方式,依据情境进行处理。 |
信息定义 | 通过认知主体的意图,将数据与已有认知对象进行语义关联,识别差异,形成新的认知内容。 | 信息在不同域中具有不同的应用方式,依据情境进行处理。 |
知识定义 | 通过高阶认知活动和假设,对数据和信息进行系统性理解和解释,形成对世界的深刻理解和解释。 | 知识依据不同情境进行应用,强调情境适应性和动态决策。 |
语义处理 | 强调语义完备性,通过语义匹配函数 h 实现语义关联和匹配。 | 不明确涉及语义处理,主要关注情境适应性和复杂性管理。 |
动态更新 | 通过认知空间中的动态系统 S 实现知识和语义关系的动态更新。 | 强调知识的动态应用和情境适应性,依据情境进行知识的更新和调整。 |
数理表示 | 使用集合、映射、动态系统等数学结构描述数据、信息和知识及其相互关系。 | 使用复杂性科学和系统动力学方法描述不同情境下的知识管理和决策过程。 |
应用范围 | 广泛应用于自然语言处理、知识图谱、智能决策支持系统等领域。 | 广泛应用于组织管理、复杂系统分析和决策支持等领域,强调适应性和灵活性。 |
段玉聪教授的DIKWP数理系统在数据、信息和知识的定义及处理上,通过详细区分概念空间、语义空间和认知空间,提供了更高效、更准确的知识生成和理解方法。与其他知识模型和框架相比,DIKWP数理系统具有以下独特优势:
语义完备性:DIKWP数理系统通过语义匹配函数 h 实现了语义的完备性,确保了语义关联和匹配的准确性和一致性。
动态更新:DIKWP数理系统通过认知空间中的动态系统 S 实现了知识和语义关系的动态更新,确保了知识的及时性和适应性。
高阶认知活动:DIKWP数理系统强调通过高阶认知活动进行知识的生成和验证,确保了知识的系统性和深刻理解。
数理表示:DIKWP数理系统使用集合、映射、动态系统等数学结构,提供了系统化和形式化的数理表示方法,使得知识的表示和处理更具结构性和精确性。这些优势使得DIKWP数理系统在处理复杂系统和抽象概念时表现得尤为突出,尤其是在以下应用场景中:
案例:医疗文本分析系统
在医疗领域,处理和理解医疗文本是一个复杂的任务。通过构建语义网络和本体论,可以实现医疗文本的自动化理解和处理。
语义网络构建:首先,构建一个包含医疗领域概念的语义网络。例如,构建一个包含疾病、症状、药物、治疗方法等概念的网络。节点代表具体的医疗概念,如“糖尿病”、“高血压”、“阿司匹林”等,边表示这些概念之间的关系,如“糖尿病”与“胰岛素”之间的治疗关系。
本体论构建:使用本体论工具(如Protégé)构建医疗领域的本体。定义概念之间的层次结构和属性。例如,“疾病”是一个上位概念,其子概念包括“糖尿病”、“高血压”等。每个疾病概念都具有属性,如症状、治疗方法、药物等。
应用实例:
疾病:糖尿病
治疗方法:使用胰岛素
输入:系统接收到一篇包含患者病例描述的文本。
处理:通过语义网络和本体论,系统能够识别文本中的关键概念。例如,识别出“患者患有糖尿病,正在使用胰岛素治疗”。
输出:系统生成结构化的医疗信息,如:
案例:智能问答系统
智能问答系统需要理解用户的问题并提供准确的答案。利用语义匹配函数 h 可以实现用户问题与知识库中的答案之间的语义关联。
语义匹配函数 h:定义一个语义匹配函数 h 来计算用户问题与知识库中候选答案之间的匹配度。匹配度可以基于词向量表示(如Word2Vec、GloVe)或上下文表示(如BERT)。
应用实例:
系统将用户的问题转化为词向量或上下文向量表示。
使用语义匹配函数 h 计算用户问题与知识库中候选答案之间的匹配度。
选择匹配度最高的答案。
输入:用户提出问题“糖尿病患者应该如何管理饮食?”。
处理:
输出:系统返回一个合适的答案,如“糖尿病患者应控制糖分摄入,增加膳食纤维的摄入,定期监测血糖水平”。
案例:情感分析系统
情感分析系统通过分析文本中的情感表达,判断文本的情感倾向。通过深度学习模型,系统可以根据上下文和语境生成合理的情感分类。
深度学习模型:使用深度学习模型(如LSTM、BERT)进行情感分析。模型需要在大量标注数据上进行训练,学习不同情感类别的特征表示。
应用实例:
系统使用预训练的深度学习模型将文本转化为特征向量。
模型根据特征向量预测文本的情感类别。
输入:用户在社交媒体上发布的一条评论:“我对这部电影非常失望,剧情太拖沓了。”。
处理:
输出:系统返回情感分类结果,如“负面情感”。
语义网络构建:
确定需要包含的概念和关系。
使用图数据库(如Neo4j)构建语义网络。
定义节点和边的属性,表示概念和关系。
本体论构建:
使用本体构建工具(如Protégé)。
定义概念的层次结构和属性。
使用描述逻辑(DL)确保本体的一致性和完备性。
词向量表示:
使用预训练的词向量模型(如Word2Vec、GloVe)。
将用户问题和候选答案转化为词向量。
计算词向量之间的余弦相似度,作为语义匹配度。
上下文表示:
使用预训练的上下文表示模型(如BERT)。
将用户问题和候选答案转化为上下文向量。
计算上下文向量之间的余弦相似度,作为语义匹配度。
数据准备:
收集和标注情感分析数据集。
将数据集划分为训练集、验证集和测试集。
模型训练:
选择适当的深度学习模型(如LSTM、BERT)。
使用训练集训练模型,优化模型参数。
使用验证集调整模型超参数,避免过拟合。
模型评估:
使用测试集评估模型性能,计算准确率、精确率、召回率等指标。
根据评估结果进一步优化模型。
通过上述具体案例和技术实现步骤,段玉聪教授的DIKWP数理系统展示了其在自然语言处理中的应用潜力。该系统通过详细区分概念空间、语义空间和认知空间,实现了高效的语义处理和认知理解,能够在医疗文本分析、智能问答和情感分析等任务中发挥重要作用。
6.2 智能决策支持系统概念空间:使用决策模型和知识表示方法表示和管理决策因素和关系
案例:企业供应链管理系统
企业供应链管理系统需要处理大量的决策因素和复杂的关系,通过构建决策模型和知识表示方法,可以有效管理和优化供应链。
决策模型构建:首先,构建一个包含供应链各环节的决策模型。例如,构建一个包含原材料采购、生产计划、库存管理、物流配送等决策因素的模型。
知识表示:使用知识表示方法(如本体论、规则引擎)来定义和管理决策因素和关系。例如,定义“原材料供应商”、“生产设备”、“库存水平”、“配送路线”等概念及其关系。
应用实例:
输入:系统接收到有关供应链某一环节的变化信息,如供应商交货延迟。
处理:通过决策模型和知识表示,系统能够识别受影响的决策因素和关系。例如,识别出“供应商交货延迟”将影响“生产计划”和“库存管理”。
输出:系统生成一个调整建议,如“调整生产计划,增加安全库存”。
案例:金融风险管理系统
金融风险管理系统需要实时监控和分析各种金融数据,通过语义搜索和推理引擎,可以生成新的决策知识和理解,帮助管理金融风险。
语义搜索和推理引擎:构建一个语义搜索和推理引擎,能够根据金融数据和历史记录,生成风险分析和决策建议。
应用实例:
系统通过语义搜索引擎查找相关的历史数据和风险案例。
使用语义推理引擎分析市场波动的原因和可能的后果。
输入:系统接收到市场波动的信息,如股票价格急剧下跌。
处理:
输出:系统生成风险管理建议,如“卖出高风险股票,购买低风险债券”。
案例:智能城市交通管理系统
智能城市交通管理系统需要实时监控和管理城市交通,通过高阶认知活动和深度学习技术,可以进行复杂的决策推理和支持,提高交通管理的准确性和及时性。
深度学习模型:使用深度学习技术(如卷积神经网络、递归神经网络)训练模型,学习交通流量模式和拥堵原因。
高阶认知活动:系统能够结合实时数据和历史数据,进行复杂的交通预测和决策。
应用实例:
系统使用预训练的深度学习模型分析交通流量和拥堵情况。
结合历史数据和高阶认知活动,系统预测未来交通趋势。
输入:系统接收到实时交通数据,如交通摄像头和传感器的数据。
处理:
输出:系统生成交通管理建议,如“调整红绿灯时长,开启备用车道”。
决策模型构建:
确定需要包含的决策因素和关系。
使用决策支持系统(DSS)软件和规则引擎(如Drools)构建决策模型。
定义决策因素和关系的属性,表示决策过程。
知识表示:
使用本体论工具(如Protégé)定义概念及其层次结构。
使用描述逻辑(DL)确保知识表示的一致性和完备性。
语义搜索:
使用语义搜索引擎(如Apache Lucene、Elasticsearch)索引决策相关数据。
定义语义查询方法,支持复杂的语义搜索。
语义推理:
使用推理引擎(如Apache Jena、GraphDB)进行语义推理。
定义推理规则,支持决策知识的生成和验证。
数据准备:
收集和标注与决策支持相关的数据集。
将数据集划分为训练集、验证集和测试集。
模型训练:
选择适当的深度学习模型(如CNN、RNN)。
使用训练集训练模型,优化模型参数。
使用验证集调整模型超参数,避免过拟合。
模型评估:
使用测试集评估模型性能,计算准确率、精确率、召回率等指标。
根据评估结果进一步优化模型。
通过上述具体案例和技术实现步骤,段玉聪教授的DIKWP数理系统展示了其在智能决策支持系统中的应用潜力。该系统通过详细区分概念空间、语义空间和认知空间,实现了高效的决策处理和认知理解,能够在企业供应链管理、金融风险管理和智能城市交通管理等任务中发挥重要作用。
6.3 知识图谱概念空间:使用图数据库构建和管理知识图谱,表示复杂的知识结构和关系案例:在线百科知识图谱
在在线百科系统中,知识图谱用于表示和管理百科条目及其相互关系,通过图数据库可以高效存储和查询复杂的知识结构。
图数据库构建:使用图数据库(如Neo4j)构建知识图谱,定义实体(如人、地点、事件)和关系(如“出生于”、“位于”、“发生于”)。
知识结构表示:通过本体论和模式定义,确保知识图谱的结构化和一致性。例如,定义“人物”实体具有属性“姓名”、“出生日期”、“国籍”等,关系“出生于”连接“人物”和“地点”实体。
应用实例:
输入:系统需要添加新的百科条目,如“爱因斯坦”。
处理:通过图数据库,系统能够创建一个新的“人物”节点,并添加与其他节点的关系,如“出生于德国”、“发表相对论”。
输出:系统生成一个结构化的百科条目,并存储在知识图谱中。
案例:金融知识图谱
在金融系统中,知识图谱用于管理和分析金融实体及其关系,通过语义搜索和推理引擎可以生成和更新金融知识。
语义搜索和推理引擎:使用语义搜索引擎(如Apache Lucene、Elasticsearch)和推理引擎(如Apache Jena)实现金融知识的动态生成和管理。
应用实例:
系统通过语义搜索引擎查找相关的公司信息和财报历史。
使用推理引擎生成新的知识关系,如“公司业绩提升”、“季度利润增长”。
输入:系统接收到新的金融数据,如“某公司发布季度财报”。
处理:
输出:系统更新金融知识图谱,添加新的实体和关系,并生成新的分析报告。
案例:电子商务推荐系统知识图谱
在电子商务推荐系统中,知识图谱用于表示用户、商品及其关系,通过强化学习技术可以优化知识图谱的动态更新和推荐策略。
强化学习技术:使用强化学习算法(如Q-learning、Deep Q-Network)训练模型,优化知识图谱的更新和推荐策略。
应用实例:
系统使用强化学习模型分析用户行为,并根据新数据更新知识图谱。
模型生成新的推荐策略,如“推荐相关商品”或“调整用户偏好”。
输入:系统接收到新的用户行为数据,如“用户购买了某商品”。
处理:
输出:系统更新知识图谱,优化推荐策略,提高推荐的准确性和个性化。
图数据库构建:
确定需要包含的实体和关系。
使用图数据库(如Neo4j、Amazon Neptune)构建知识图谱。
定义实体和关系的属性,表示知识结构。
知识结构表示:
使用本体论工具(如Protégé)定义概念及其层次结构。
使用描述逻辑(DL)确保知识表示的一致性和完备性。
语义搜索:
使用语义搜索引擎(如Apache Lucene、Elasticsearch)索引知识图谱数据。
定义语义查询方法,支持复杂的语义搜索。
语义推理:
使用推理引擎(如Apache Jena、GraphDB)进行语义推理。
定义推理规则,支持知识生成和验证。
数据准备:
收集和标注与知识图谱更新相关的数据集。
将数据集划分为训练集、验证集和测试集。
模型训练:
选择适当的强化学习算法(如Q-learning、Deep Q-Network)。
使用训练集训练模型,优化模型参数。
使用验证集调整模型超参数,避免过拟合。
模型评估:
使用测试集评估模型性能,计算准确率、精确率、召回率等指标。
根据评估结果进一步优化模型。
通过上述具体案例和技术实现步骤,段玉聪教授的DIKWP数理系统展示了其在知识图谱中的应用潜力。该系统通过详细区分概念空间、语义空间和认知空间,实现了高效的知识表示和管理、语义关联和动态更新,能够在在线百科、金融分析和电子商务推荐等任务中发挥重要作用。
7. 结论段玉聪教授的DIKWP数理系统通过详细区分数据、信息和知识,并进一步区分概念空间、语义空间和认知空间,为构建可处理、可解释、可信的人工智能系统提供了坚实的理论基础和方法框架。与其他知识模型和框架相比,DIKWP数理系统具有以下独特优势:
语义完备性:通过语义匹配函数 h 实现语义的完备性,确保语义关联和匹配的准确性和一致性。
动态更新:通过认知空间中的动态系统 S 实现知识和语义关系的动态更新,确保知识的及时性和适应性。
高阶认知活动:强调通过高阶认知活动进行知识的生成和验证,确保知识的系统性和深刻理解。
数理表示:使用集合、映射、动态系统等数学结构,提供了系统化和形式化的数理表示方法,使得知识的表示和处理更具结构性和精确性。
这些优势使得DIKWP数理系统在处理复杂系统和抽象概念时表现得尤为突出,并在自然语言处理、知识图谱和智能决策支持系统等领域展现了广泛的应用潜力。未来的研究可以进一步探索和优化该模型在更多领域中的应用,推动人工智能技术的发展和进步。
段玉聪教授的DIKWP模型通过详细区分数据、信息和知识,并进一步区分概念空间、语义空间和认知空间,为构建可处理、可解释、可信的人工智能系统提供了坚实的理论基础和方法框架。通过语义完备性、语义一致性和动态更新的实现,DIKWP模型能够有效地处理复杂的数据、信息和知识,实现高效的语义处理和认知理解。
基于此模型构建的语义处理数理体系,可以广泛应用于自然语言处理、知识图谱和智能决策支持系统中,为人工智能技术的发展和应用提供新的思路和方法。未来的研究可以进一步探索和优化该模型在更多领域中的应用,推动人工智能技术的进步和变革。
1/0 | 闂傚倸鍊峰ù鍥敋閺嶎厼绀堟慨姗嗗劦閿濆绠虫俊銈咃攻閺咃綁姊虹捄銊ユ珢闁瑰嚖鎷�:0 | 濠电姷顣藉Σ鍛村磻閹捐泛绶ゅΔ锝呭暞閸嬪鏌eΟ娆惧殭鏉╂繈姊虹捄銊ユ珢闁瑰嚖鎷� | 濠电姷鏁搁崑鐐哄垂閸洖绠伴柟闂寸劍閺呮繈鏌ㄥ┑鍡樺窛闁告宀搁幃妤€鈽夊▍杈ㄧ矋缁傚秴饪伴崼鐔哄弳闂佺粯娲栭崐鍦偓姘炬嫹 | 闂傚倷娴囧畷鍨叏閹绢喖绠规い鎰堕檮閸嬵亪鏌涢妷顔句汗鐟滅増甯楅弲鎼佹煥閻曞倹瀚� |
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2025-3-15 05:01
Powered by ScienceNet.cn
Copyright © 2007-2025 中国科学报社