经典推理模式的随机化研究及其应用

利用赋值集的随机化方法，在二值逻辑中提出了公式的D-随机真度概念，证明了全体公式的D-随机真度之集在[0，1]中没有孤立点；提出了D-逻辑伪距离和D-逻辑度量空间，证明了该空间中没有孤立点；指出当取均匀概率测度，且各概率测度均为1／2时，D-随机真度就转化为计量逻辑学中的真度，同时两公式间的D-逻辑伪距离就转化为计量逻辑学中的伪距离，从而建立了更具一般性的随机逻辑度量空间；通过概率逻辑学基本定理，证明了D-逻辑度量空间中逻辑运算的连续性，从而实现了概率逻辑学与计量逻辑学的融合；在D-逻辑度量空间中提出了3种不同类型的近似推理模式．     

基于隶属度比较的描述逻辑SHOIQ模糊扩展

语义Web模糊知识的表示和应用经常需要涉及多个模糊隶属度值及其比较的复杂模糊知识描述,但现有的描述逻辑模糊扩展缺乏描述和使用这类复杂模糊知识的能力.文中提出新的描述逻辑SHOIQ模糊扩展SHOIQFC语言.SHOIQFC不仅具有模糊描述逻辑FSHOIQ的全部表达能力,还支持涉及多隶属度值及其比较的复杂模糊知识的表示与推理,拓展了描述逻辑模糊扩展的应用范围.证明了SHOIQFC知识库一致性问题的可判定性并给出Tableau推理算法,为实现语义Web复杂模糊知识的表示与推理提供理论基础.     

基于平面距离的模糊数之间差异的度量及其在优化调度问题中的应用

利用平面上的距离函数及水平重要性函数, 建立了衡量模糊数之间差异的UID度量和LPID度量, 讨论了UID度量和LPID度量的基本性质, 证明了模糊数空间关于UID度量和LPID度量成为度量空间的充分必要条件是水平重要性函数在区间[0,1]上几乎处处不为零. 进而讨论了由平面上的范数确定的UID度量和LPID度量的收敛性、可分性和完备性问题. 最后通过实例进一步分析了UID度量和LPID度量的特性.     

适用于多种蕴涵算子的赋值空间上的测度与积分理论

对多种蕴涵算子导出的赋值空间进行统一处理,引入公用的Lebesgue测度,证明了相对于若干常见蕴涵算子而言,全体逻辑公式都是可测函数.建立了t(α重言式)理论,提出了一般的语义MP规则和一般的语义HS规则. 基于积分理论引入了逻辑公式的真度概念,提出了积分MP规则和积分HS规则.最后,通过通用逻辑度量空间概念在全体公式集上引入了伪距离,为近似推理提供了一种可能的框架.     

命题演算系统L~*与谓词演算系统κ~*中统一的近似推理理论

引入了度量R0-代数和R0型Hilbert方体的概念. 从语义和语构两个方面建立了同时适用于命题逻辑系统L*与一阶逻辑系统κ*的近似推理理论,并得到了统一的完备性定理.     

基于模糊神经网络的图像恢复技术

通过分别引入输入与输出空间的合理剖分,定义了一种新的模糊神经网络(FNN), 即选择型FNN, 该系统是一种多层前向网络, 在最大模意义下构成一类函数泛逼近器.基于一组具有实际意义的模糊推理规则, 得出了一个简单实用的推理型FNN. 利用选择型FNN与推理型FNN的有机结合, 得到FNN滤波器, 它不仅结构简单, 易于设计参数学习算法, 而且能同时有效去除图像信号中的脉冲噪声和保持图像结构. 实验结果表明, 与其他滤波器(如:中值滤波, 自适应加权模糊平均(AWFM)滤波等)相比, FNN滤波器在去除各种噪声, 保持图像未污染部分结构等方面性能卓越     

基于文献计量的天文学科发展态势分析

本文基于2014-2019年天文学领域发表的8.2万篇论文进行文献计量,从产出规模、学科布局、学术影响等角度分析我国天文学科的发展现状.从论文产出规模看,我国天文学科以第一作者统计全球排名第二位;在过去5年论文量增幅远高于世界平均水平.从学科布局看,我国在太阳物理领域学术产出比较活跃;星系宇宙学、恒星银河系科学产出稳定...     

基于文献计量的我国及世界光电材料研究比较分析

通过采集科学引文索引中所收录的世界1990年~2005年光电材料研究论文,并对数据进行二次处理,对论文数量排名前10位的国家进行了多项指标分析,比较了世界在该领域论文的机构分布(部分国家的主要机构)和我国在该领域论文的机构分布(部分科研机构和大学),得出了有价值的研究结果,并提出一些建议。     

基于文献计量的凝聚态物理理论重要研究机构分析

凝聚态物理学是物理学一个较大的分支学科,被美国、欧盟、英国作为发展量子信息科学、数字技术、磁性材料的重要基础学科之一.凝聚态物理在高温超导、拓扑物态领域取得了重要进展.文章将聚焦凝聚态物理理论研究方向,基于论文的学术影响力遴选出4个重要的机构,从机构组织结构和产出能力基本情况、机构的合作模式、资助机构、机构学术影响力4...     

基于文献计量的中美超材料基础研究态势对比及建议

为了对中美超材料基础科学研究态势和前沿热点进行对比,为国家科技计划项目规划和科学研究决策提供支撑,本文基于SCIE收录的2000—2022年中美超材料相关论文,采用文献计量方法,借助DDA和VOSviewer数据处理和分析软件,从论文产出、论文被引、资助机构、主要机构和学者、技术主题和热点前沿等角度进行对比分析。研究表明,中国正在成为全球超材料领域的主导国家,发文量于2012年超过美国后居全球第一,论文的篇均被引数正在赶上美国;美国从2018年开始发文量呈逐年减少趋势。“太赫兹”长期占据中国超材料研究主题的主导地位,近5年“超表面、声和机械超材料、超材料吸收器”等相关研究热度提升,研究主题更加多样化;美国近5年的研究热点则是“超表面、机械超材料、双曲超材料”等。建议我国政府的资助重点向“超表面、拓扑优化和制造、深度学习”等前沿热点和跨学科领域倾斜,借助“信息超材料”等领先领域的带动,提升国际合作力度和全球影响力。     

基于Citespace分析的秸秆能源化利用技术研究进展

秸秆的处理处置是农业农村生态环境保护重点关注的方向,了解秸秆资源化利用领域研究应用的热点和前沿,有助于我国制定并优化相关的政策规划。基于文献计量软件Citespace及Web of Science核心数据库,对秸秆能源化领域进行了可视化分析,展现秸秆能源化利用的国际趋势。结果表明,20多年来论文发文量呈现不断增长的趋势,排名前四的国家分别为中国、美国、德国、法国。中美两国科学家在各自领域形成了强大的科研团队,发文量Top10学者中共有9名中美学者。秸秆能源化利用研究主要围绕生物质生产燃料的机理研究、基于物理方法的秸秆能源化利用、秸秆厌氧发酵生产甲烷、氢气以及能源化利用过程中的环境影响等5个主要研究主题开展。秸秆能源化研究仍处于快速发展期,未来秸秆的预处理、生物发酵、全生命周期研究仍将是研究热点。     

基于模糊滑模控制策略的电动助力转向系统的回正控制

参考整车二自由度模型,建立汽车在低速和中高速回正工况下的电动助力转向系统动力学模型.考虑到系统的复杂性、模型参数的不确定性和外界扰动,结合两种具有良好鲁棒性的控制策略(模糊控制策略和滑模控制策略)各自的优点,设计了用于改善电动助力转向系统回正特性的模糊滑模控制器.仿真结果表明,汽车低速和中高速时的回正特性都得到了改善,很好地解决了汽车回正过程中的回正不足和回正超调,验证了模糊滑模控制算法的有效性.     

基于MATLAB的空调房间温控系统的仿真研究

针对空调房间温度的非线性变化纯滞后惯性大等突出问题,建立了一个空调室温控制模型。根据这一模型提出了一种模糊Smith—PID最优控制策略,使用MATLAB对空调房间温度的模型失配时鲁棒特性、抗干扰特性、动态特性等进行仿真研究。结果表明：模糊Smith—PID控制效果均优于常规PID和传统Smith-PID控制,响应快、抗干扰性强、鲁棒性好,并能使房间温度控制在给定温度±0．1℃附近,超调几乎为零,是一种实用而简便的控制方法。     

一种基于模糊聚类的新型入侵防御攻击系统模型

本文从降低传统入侵防御系统检测引擎的虚警率、漏警率与增强主动防御能力方面入手,给出了一种基于模糊聚类的入侵防御系统检测引擎实现方案;并探讨了将蜜罐技术与入侵防御系统相结合的可行性;进而提出了一个全新的入侵攻击防御系统模型。在这个模型中,入侵防御系统同时具有了实时防御与攻击防御的能力。     

命题演算系统L*与谓词演算系统K*中统一的近似推理理论

引入了度量R₀-代数和R₀型Hilbert方体的概念. 从语义和语构两个方面建立了同时适用于命题逻辑系统L^*与一阶逻辑系统K^*的近似推理理论,并得到了统一的完备性定理.     

基于策略多样性熵指标的无人机群智系统激发-汇聚程度度量方法研究

新一代无人机群系统的重要特征是具有群体智能,是一类典型的群智激发汇聚系统.目前,多智能体强化学习技术展现出较强优势,是构建新一代自主智能无人机群系统的重要方法.但多智能体强化学习的训练过程尚处于“黑盒”状态,缺乏对群体智能的激发和汇聚程度的有效度量手段.针对这一问题,从多智能体强化学习中智能体的策略出发,以策略多样性度量无人机群在多智能体强化学习的训练过程中的激发-汇聚程度.为了对策略的多样性进行度量,借鉴物种多样性和信息论中的相关概念,明确了策略多样性的内涵包括丰富和均匀程度两方面,提出了“策略距离二次熵”和“动作分布信息熵”这两种策略多样性的计算方法.设计了无人机群突防场景对本文所提出的策略多样性指标和两种计算方法的有效性和有用性进行了验证,并通过敏感程度分析对两种计算方法进行了对比.实验结果表明这两种计算方法在该场景中均能有效区分策略多样性的变化,且两种计算方法间具有一致性,从而验证了策略多样性指标及其计算方法的有效性.在有用性方面,验证了策略多样性与奖赏之间的关联关系,以及环境的动态改变与策略多样性之间的相互影响和关联关系,体现了策略多样性在认知群智系统,指导群智激发汇聚过程上...     

形式系统L*的扩张L*n及其完备性

将Pavelka语义与语构有机结合的方法运用于命题演算形式系统L^*的研究, 在公式集中引入部分常值, 从语义和语构两个途径将公式程度化, 同时将推理过程也程度化, 提出了系统<L^*的一个扩张L^*_n, 证明了L^*_n的完备性.