描述逻辑系统FLEN中概念的最小公共包含算法研究

描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等.过去人们主要研究那些不含数量限制的描述逻辑系统,研究的是描述逻辑系统FLEN中的一种重要的非标准推理——概念的最小公共包含,它同时含有数量限制和存在限制,是对前人工作的推广.首先定义了FLEN中概念的描述树及描述树之间的同态关系,给出了概念之间包含关系的推理算法,然后通过两棵概念描述树的笛卡儿积给出了两个概念的最小公共包含推理算法并指出了概念A,B的最小公共包含概念LCS(A,B)的大小size(LCS(A,B))是随着size(A),size(B)呈指数增长的.

技术支持下的高中数学课堂教学行为研究

当今形势下，社会的竞争，归根结底是人才的竞争，在高中教育过程中，数学教学是其重要的组成部分。数学教学不仅能够提升学生的发散性思维能力，还能在一定程度上促进其他学科的进步。在以往的数学教学中，教师的教学方法陈旧，教学技术水平不过关，因此需要利用技术支持，将互联网的实际操作内容融入数学课堂教学，组织学生学习最新的数学知识，从而促进其综合素质的全面发展。本文主要研究技术支持对于数学教学的重要性，并分析其具体的操作方式。

循环描述逻辑系统FL0最大不动点模型的有穷基

描述逻辑和形式概念格都是以概念为基础的形式系统,它们都有各自的优缺点,近年来人们开始将两者结合起来,取长补短。文中将形式概念分析的方法引入描述逻辑,研究了循环描述逻辑系统FL0在最大不动点语义下有限模型的有穷基。在形式概念分析中,属性有限的形式背景都存在Duguenne-Guigues基,文章将循环FL0的最大不动点模型作为描述背景,将FL0概念作为属性,定义了描述背景下的属性蕴含,证明了循环描述逻辑系统FL0的最大不动点模型也存在有穷基底。

美国近十年国家安全研究进展与启示——基于文献计量的可视化分析

[目的/意义]国家安全是一个国家生存、发展和繁荣的基本前提和保障。研究美国国家安全领域的研究动态,可为我国国家安全研究提供参考。[方法/过程]以Web of Science核心合集中2012-2022年美国国家安全领域6 622篇文献为研究对象,利用CiteSpace6.2.R2和VOSviewer文献计量软件,对作者/机构共现网络、关键词共现网络和关键词时间线等进行可视化分析,并进一步分析美国国家安全领域研究现状、热点主题和发展趋势。[结果/结论]美国国家安全研究领域文献发表量呈指数增长。食品安全、气候变化和物理层安全等是研究的热点,无线通信、物联网、智能电网和神经网络成为国家安全研究的前沿话题。