共查询到20条相似文献，搜索用时 15 毫秒
1.
于鸿丽 《西安文理学院学报》2007,10(1)
研究了文献[1]中提出的系统Hα的广义重言式理论,利用可达广义重言式的概念给出了F(S)的一个分划,证明了在系统Hα中,只有以下几种不同的广义重言式,即[0]-T(H12),[α2]-T(H12),[(α2) ]-T(H12),[α]-T(H12),[α ]-T(H12),T(H12)(α∈(0,1)) 相似文献
2.
模糊蕴涵代数是取值于[0,1]区间上的模糊逻辑系统的一种代数抽象。通过引入模糊广义正则蕴涵代数的概念,对其性质进行了讨论,并给出了广义正则模糊蕴涵代数的一些等价刻画。 相似文献
3.
张云艳 《洛阳师范学院学报》2006,25(2):27-32
本文引入了H ilbert空间中一类广义集值变分包含问题,利用这类广义集值拟变分包含问题与预解方程及不动点问题间的等价性,建立了与这类广义集值拟变分包含问题有关的隐预解动力系统,给出了H ilbert空间中这类广义集值拟变分包含隐预解动力系统的解的存在性和收敛性定理,并指出了这类隐预解动力系统的解的轨道整体、指数地收敛于H ilbert空间中广义集值拟变分包含问题的唯一解.这些结果改进、推广和统一了文[1-8]的相应结果. 相似文献
4.
楼嫏嬛 《绵阳师范学院学报》2015,(2):8-10,24
利用半正定矩阵的性质和矩阵Moore-Penrose广义逆的特性,研究了半正定矩阵广义Schur补问题.证明了对半正定矩阵A有(A/α)*(A/α)≥A*A/α,并由此得到了一些有关广义Schur补的不等式.将半正定矩阵Schur补的相关结果推广至广义Schur补. 相似文献
5.
广义量词的复杂性有两个层次：句法层面的复杂性和语义层面的复杂性,我们集中研究了广义量词的语义复杂性。在有穷的语境中可以找出自然语言量化语句真值的复杂性。这些复杂性与图灵机中的可计算性、作为算法的意义的等价性、计算复杂性、易处理性和不易处理性等内容相关。广义量词计算复杂性已有诸多相关研究成果。 相似文献
6.
分析了文献[1-2]中局部双对角占优矩阵的定义,指出了文献[1-2]中结论与其他相关文献的联系.同时,给出了广义严格对角占优矩阵(非奇异H矩阵)的若干充分条件. 相似文献
7.
证明了Gauss整数环Z[i]中非零元素在映射φ的作用下的最小值的原像α0~1,由此给出了求Z[i]中元素最大公因子的两种方法：辗转相除法和矩阵的广义初等变换法. 相似文献
8.
刘壮虎 《中山大学学报论丛》2008,1(2)
本文将二值逻辑中刻画实质蕴涵的保真性推广至有限全序中,用这推广的"保真性"给出蕴涵在有限全序中的语义条件,从而给出了完整的有限全序语义;建立了刻画有限全序的逻辑系统FO,证明FO的可靠性、完全性和可判定性;提出了广义的皮尔斯律,证明其能区分不同基数的有限全序;给出了FO的扩充系统FOn,证明了FOn刻画了n个元素的全序. 相似文献
9.
10.
利用内积给出了广义长度和广义正交变换的概念，获得了许多新的结果．推广了文[1]的相关结果． 相似文献
11.
董英东 《西南师范大学学报(人文社会科学版)》2009,(5):71-75
认知逻辑处理的是关于知识和信念等认知概念的逻辑性质和关系的问题,多主体的自认知逻辑系统,是在单主体唯一知道逻辑系统的基础上进行的扩充。现将单主体的K45系统扩充为多主体的K45n系统,并介绍了该系统的语法规则和稳定集以及典范模型的语义和证明理论,同时也对该系统的可靠性和完全性进行了证明。 相似文献
12.
13.
首先讨论了非受限区间广义系统的容许性问题 ,用广义 Riccati不等式给出该系统容许的充要条件 ;再讨论了区间广义系统的鲁棒控制问题 ,并且用广义 Riccati不等式给出状态反馈下的闭环系统容许且传递函数矩阵的 H∞ 范数小于给定的正常数γ的充分条件 ,最后用数字例子来验证此方法的有效性 相似文献
14.
曹青春 《内蒙古大学学报(人文社会科学版)》2011,(5):49-55
内涵逻辑系统有广义狭义之分。从广义上来说,当前最具代表性的内涵逻辑系统有：模态逻辑、时间逻辑、自由逻辑、道义逻辑、认知逻辑等。从狭义上看,内涵逻辑系统包括丘奇的内涵逻辑系统以及以丘奇内涵逻辑系统为基础的其他系统。本文讨论的内涵逻辑特指源于弗雷格的涵义和指称理论的狭义内涵逻辑。 相似文献
15.
考虑一类具有多项式型不确定性广义系统的鲁棒H∞控制问题.基于广义系统有界实引理,通过引入广义摄动系统二次容许且具H∞性能指标的概念,利用线性矩阵不等式,给出了广义摄动系统二次容许且具H∞性能指标的充分条件及状态反馈鲁棒H∞控制器的存在条件和设计方法. 相似文献
16.
设H是域k上的可换、诺特、半单、余半单的Hopf代数,且具有双射对极．考虑了其上YD（H）范畴的半单性,其中YD（H）是H上的广义Yetter—Drinfeld模范畴HYD^H（α,β）（其中α,β∈Autnopf（Hopf））的无交并．首先证明了YD（日）是一个对态射集封闭的范畴;然后利用有限生成投射模的性质和日的半单性,可得YD（H）是满足正合性条件的;进而由日是诺特、余半单的Hopf代数,得到YD（H）中的对象都可分解为单对象的直和．最终得到YD（H）是一个半单范畴． 相似文献
17.
本文利用局部渐近锥（local cone approximation），K-方向导数、K-次微分的概念，在[6]的基础上定义了K-（F，α，ρ,d）-B凸、K-（F，α，ρ，d）-B拟凸、K-（F，α，ρ,d）-B伪凸函数，进而研究涉及这些广义凸函数的一类半无限规划的最优性条件，得到了较好的结果． 相似文献
18.
《洛阳师范学院学报》2015,(9):83-88
通过对前瞻性泰勒规则进行扩展,将房地产价格和股票价格引入构建广义泰勒规则模型。运用2000年1月到2012年12月的月度数据对广义泰勒规则进行实证分析,结果显示资产价格波动对利率变动具有显著影响。情景模拟技术分析结果表明,广义泰勒规则对我国实行以稳定资产价格为目标的利率政策具有一定的参考价值。 相似文献
19.
研究了广义线性系统的状态反馈H∞控制器设计问题。基于广义代数Riccati不等式,给出状态反馈H∞控制器存在的一个充要条件,并利用广义代数Riccati不等式的解给出控制器的设计方法。 相似文献
20.
文章在文献[1]的基础上,讨论了广义行列式在矩阵相逆中的应用,得出了一类矩阵单侧可逆的必要条件。 相似文献