基于形式概念的对象粒的属性逻辑公式描述

基于形式概念在属性集上建立逻辑语言系统,证明基于形式概念的基本对象粒描述定理,讨论合取原子属性逻辑公式所描述对象粒的性质,提出一个求解描述对象粒的属性逻辑公式的算法。     

α-三Ⅰ约束问题的形式解

提出了α-三Ⅰ约束问题,并在逻辑系统L~*和Luk中给出了这些问题的形式解,建立了这两个逻辑系统中三Ⅰ约束算法的形式推理机制,为α-三Ⅰ约束算法建立了严格的理论基础。     

基于EASD风险准则的社交网络信息传播模型

本文通过可信性分布函数刻画信息传播中的风险性因素,并建立三种不同的社交网络信息传播风险模型。将可信性理论和绝对半偏差风险评价准则应用到社交网络信息传播问题中,进而考虑从信息传播流量期望值的两侧分别定义不同的风险评价指标来分析信息传播中的部分风险性因素。从数值算例的结果可以看出三种信息传播风险模型的最优值随着关键参数的整体变化波动比较小,最大的相对误差没有超过1.002%,这也充分说明在关键参数变化时,模型的最优值是比较稳定的。三种信息传播风险模型均考虑的是无向全连通社交网络问题,但对于部分有向非连通的实际社交网络,模型的实用性效果就会相对比较差。新模型不仅丰富了社交网络分析的研究方法,而且将可信性理论引入到社交网络信息传播风险问题中,提高了部分主观不确定性因素的处理效率。     

形式三角矩阵环的Gorenstein遗传性和FP-内射性

我们研究了形式三角矩阵环上模的Gorenstein(半遗传)遗传性,有限表现性和FP-内射性.给出了形式三角矩阵环是Gorenstein(半遗传)遗传的充要条件,并得出了形式三角矩阵环是n-FC环的充分条件.     

不等式证明中“数与形的深层对话”

数形结合是重要的数学思想方法,它勾连起代数和几何之间的内在联系,将抽象的代数关系用直观的几何形式表达出来,从而便捷地解决问题．这一点在要求颇高的不等式证明中也有所体现．下面结合具体问题来谈一谈不等式证明中该如何实现“数与形的深层对话”．     

一个具有混合核的新的Hilbert型积分不等式

通过引入参数及估算权系数,建立一个新的、具有混合核的Hilbert型积分不等式,并证明其常数因子为最佳值.作为应用,还给出了相应的等价形式及一些特殊结果.     

规模收益状况的动态因素分析

基于DEA理论的"交形式"生产可能集,从投入增大和缩小两种角度,对多投入多产出生产系统的各种规模收益状态进行分析,研究部分投入要素变化对部分产出要素的作用效果,即对规模收益状况给予"动态"因素分析,得到判定部分投入与部分产出之间规模收益各种状态的充要条件,从而为研究规模收益各状态的产生原因提供理论依据.     

形式Laurent级数域上交错Oppenheim展开的研究

该文介绍了形式Laurent级数域上交错Oppenheim展开的算法,得到了该展开中数字的强(弱)大数定理、中心极限定理和重对数率,并且研究了这些级数部分和的逼近的度.     

Realizing enveloping algebras via varieties of modules

By using the Ringel-Hall algebra approach, we investigate the structure of the Lie algebra L（A） generated by indecomposable constructible sets in the varieties of modules for any finite- dimensional C-algebra A. We obtain a geometric realization of the universal enveloping algebra R（A） of L（A）, this generalizes the main result of Riedtmann. We also obtain Green＇s formula in a geometric form for any finite-dimensional C-algebra A and use it to give the comultiplication formula in R（A）.     

A note on generalized twisted anomaly cancellation formulas

In this note, by studying modular invariance properties of some characteristic forms, we get some new twisted anomaly cancellation formulas.