经典逻辑中的模糊命题(Ⅰ)

经典逻辑对命题变元的真值指派为二值的,即为0或1.如果将命题公式中的命题变元的真值指派为[0,1]中的值,则形成了模糊命题,从而形成了模糊逻辑理论.在现有的模糊逻辑中,模糊命题在形式上并不“模糊”,只不过对命题变元做了“模糊”的指派.因此,这种模糊逻辑实际上是“经典命题公式+模糊真值指派”的模糊逻辑.首先在经典命题逻辑中引入了模糊命题的概念,这种模糊命题在形式上就是模糊的,而经典命题是模糊命题的特例.其次,通过对命题变元的二值指派,得到了模糊命题的真值.最后,研究了模糊命题的真值运算性质.研究发现:在经典逻辑系统中引入新的模糊命题的概念后,公式增加了,真值指派没有变,重言式没有减少.本研究可以看作是“模糊命题+二值真值指派”的模糊逻辑.

拓扑系统中的内部元及其应用

在拓扑系统中借助开元引入了子集的内部元概念,讨论了内部元的相关性质;在点集与Frame之间通过范围映射和内部元映射定义了内部元算子,并给出了由内部元算子确定拓扑系统的方法;利用内部元对拓扑系统之间的连续映射进行了等价刻画.

n值R_(0)命题逻辑系统中公式的条件随机真度

基于条件概率的思想和赋值集的随机化方法,在n值R_(0)命题系统中提出公式的条件随机真度,证明条件随机真度的MP规则和HS规则。其次,引入公式间的条件随机相似度和条件随机伪距离,建立条件随机逻辑度量空间,进一步给出在条件Γ下的近似推理理论。

有界Heyting代数的扩张理想和稳定理想

运用泛代数的方法和原理深入研究有界Heyting代数的理想问题.在有界Heyting代数(H,≤,→,0,1)中引入了理想I关于H的子集的扩张理想和稳定理想概念,获得了它们的若干基本性质.系统讨论了由两类特殊扩张理想构成集合的格论特征,证明了:(1)有界Heyting代数(H,≤,→,0,1)的一个给定理想I关于H的所有子集的扩张理想全体之集EI(P(H))在一定条件下构成一个分配完备格,进一步构成一个Stone格和完备Heyting代数;(2)有界Heyting代数(H,≤,→,0,1)的关于一个给定子集A■H的稳定理想全体之集S_(Id(H))(A)构成一个完备Heyting代数.最后考察了商有界Heyting代数和乘积有界Heyting代数的扩张理想性质.

否定非对合剩余格上BF-理想的BF-平移与BF-扩张理想

进一步研究否定非对合剩余格的双极值模糊理想(简称BF-理想)问题,引入BF-理想的BF-平移、BF-扩张理想和BF-乘积等概念并考察它们的性质特征和相互关系,为进一步揭示否定非对合剩余格的结构特征拓展研究思路.

基于LSTM的多指标股票预测

该研究通过处理平安银行股票数据生成十个比较有代表性的技术分析指标,将技术指标的值经过预处理后分别作为基于机器学习的多元线性回归、BP神经网络和LSTM神经网络三种模型的输入,通过模型训练来预测股票的涨跌,然后比较三种模型在预测准确率以及回测中年化收益率的表现,证实LSTM神经网络模型对于非线性的股票走势预测效果最好。然后设计改进了一种基于LSTM模式分类的交易择时策略,获得了更高的年化收益率,并且这种策略可行性更高,最后说明利用LSTM模型进行量化交易是可行的。

非交换剩余格上的区间值模糊滤子

在区间值模糊集理论的基础上,定义了非交换剩余格上的区间值模糊滤子,给出了区间值模糊滤子的刻画,研究了生成区间值模糊滤子的结构;证明了非交换剩余格上的区间值模糊滤子全体、区间值模糊正规滤子全体构成完备有界分配格;基于区间值模糊强同余关系,证明了非交换剩余格上的区间值模糊正规滤子集和区间值模糊强同余关系集同构.

非交换剩余格上的广义余区间值模糊滤子

以区间值模糊集理论为基础定义了非交换剩余格上的余区间值模糊滤子、余区间值模糊滤子、余区间值模糊滤子,研究了它们的性质和等价条件,得到了它们之间的关系。

三值乘积逻辑系统中公式关于有限理论的Γ-绝对真度

借助逻辑公式所诱导出的函数,在系统π_(3)中给出了公式关于有限理论的Γ-绝对真度、Γ-绝对相似度和Γ-伪距离的定义,并探讨了Γ-绝对真度的MP规则、HS规则及相关性质。从而丰富了乘积逻辑系统中真度的研究成果。

基于灰色关联分析模型的大学生创新创业能力评价

在国家实施“创新驱动”战略下,高校大学生创新创业能力培养成为重要任务。从创业意识、创新能力、创业能力3个一级指标构建了20个二级指标的大学生创新创业能力指标评价体系,通过AHP确定各评价指标权重,基于某高职学院2016年-2020年的创新学分数据,运用灰色关联分析模型对创新创业能力开展评价分析。结果表明提出的“AHP+灰色关联分析模型”很好地满足了创新创业教育质量评价的要求,为同类院校在创新创业能力评价、创新人才培养等方面提供参考。

NM理论中积分真度的统一理论

基于在幂零极小逻辑NM(nilpotent minimun)命题逻辑系统中,通过将公式诱导的函数进行积分的方法提出了公式的积分真度概念,利用积分不变性证明了积分真度MP规则、HS规则;在NM命题逻辑系统的全体公式之集上引入了积分相似度和积分伪距离,并且证明了关于相似度和伪距离的一些性质;通过发散度以及直径的概念,提出了NM命题模糊逻辑中反映理论相容程度新的隶属函数,利用隶属函数给出了相容度的概念,证明了不相容理论的相容度为0,完全相容理论的相容度为1。

MTL∀谓词逻辑系统公理化真度及其相似度的性质研究

命题逻辑及谓词逻辑的计量化是近期的一个研究热点,本研究基于左连续三角模的谓词演算系统MTL∀,给出特定形式公式的真度取值范围,并研究含量词公式的相似度性质.

Fuzzy蕴涵代数及其理想理论

模糊逻辑代数分析是模糊逻辑研究领域的热点问题之一。运用代数学和格论的方法及原理,深入研究了Fuzzy蕴涵代数及其理想问题。首先,利用伪补算子给出了Fuzzy蕴涵代数的若干新性质。其次,在Fuzzy蕴涵代数中引入理想和生成理想的概念并考察其性质特征和等价刻画。最后,讨论了由给定Fuzzy蕴涵代数全体理想构成的集合的格论特征,证明了该集合关于集合包含序构成分配的连续(代数)格,特别地构成完备Heyting代数,进而构成Frame的重要结论。

MTL代数的直觉模糊理想

将直觉模糊集与理想概念相结合,在MTL代数中引入直觉模糊理想和直觉模糊素(Boolean/关联/超/固执)理想的概念并考察它们的特征性质和相互关系.证明了对MTL代数的非常值直觉模糊理想A而言,如下各条件是等价的:(ⅰ)A是直觉模糊Boolean理想和直觉模糊素理想;(ⅱ)A是直觉模糊关联理想和直觉模糊素理想;(ⅲ)A是直觉模糊超理想;(ⅳ)A是直觉模糊固执理想.

双极值模糊子格

将双极值模糊集的概念与格相结合,引入格的双极值模糊子格的概念并考察其性质.证明双极值模糊子格的双极值模糊交集、同态像和同态原像也是双极值模糊子格.同时,给出双极值模糊子格的双极值模糊并集成为双极值模糊子格的条件.

非对合剩余格的BF-弱理想和BF-强理想

对非对合剩余格的双极值模糊理想(简称BF-理想)问题进行了研究。引入了非对合剩余格的BF-弱理想和BF-强理想的概念,给出了二者的若干性质和等价刻画。讨论了BF-弱理想、BF-理想和BF-强理想的关系。利用BF-弱理想和BF-强理想的性质给出了强剩余格的特征定理。指明了在强剩余格中,BF-弱理想、BF-理想和BF-强理想三者相互等价。

模糊蕴涵算子及其构造(Ⅰ)——模糊蕴涵算子及其性质

讨论了 32个模糊蕴涵算子的构造并验证了它们是否满足 16条常用性质 .然后考虑了它们与几个重要蕴涵 ,诸如正常蕴涵、异常蕴涵、强蕴涵、连续强蕴涵、正规蕴涵以及理想蕴涵之间的联系 .

模糊蕴涵算子及其构造(Ⅱ)——模糊蕴涵算子的伴随对及其圈乘算子

验证了 15个有可能存在伴随对的模糊蕴涵算子的保存在交性质 ,结果表明它们都满足保存在交性质 .求出了这 15个模糊蕴涵算子的伴随对 ,得到了 14个模糊蕴涵算子 .给出了一种构造模糊蕴涵算子的方法 ,并求出了在这种构造方法下 ,由 4 6个模糊蕴涵算子构造得到的模糊蕴涵算子及这 4 6个模糊蕴涵算子的圈乘算子 ,共构造出

基于有限格蕴涵代数的格值命题逻辑语法系统

以有限格蕴涵代数为真值域,建立了基于有限格蕴涵代数的格值命题逻辑系统;采用公理化的方法,给出了该系统在A水平上的语法导出、证明和协调性等基本定义,并证明了系统的可靠性定理、协调性定理、弱完备性定理和弱演绎定理.

接口自动机——一种用于组件组合的形式系统

接口自动机是描述基于组件系统中组件及组件间交互行为的形式化工具.接口自动机在处理组件组合问题时所使用的“乐观方法”和博弈思想是区别于其它形式化工具的关键点。本文对接口自动机、时间接口自动机和资源接口及其中的博弈思想进行综述。在同其它形式化方法比较的基础上,指出了接口自动机的长处和局限。文中总结了接口自动机在理论上和实际中的意义并对其应用前景做了展望。