线性逻辑和态极逻辑引论(Ⅰ)

《线性逻辑和态极逻辑引论》一文概述了由Girard分别于1986和2001所创建的线性逻辑和态极逻辑.线性逻辑和态极逻辑汲取于计算机科学并反之应用于其中,从根本上对数理逻辑进行了彻底的审视.全文分为两部分.本文是文章的第一部分,致力于线性逻辑的联结词、证明规则、可判定性性质和模型.文章的第二部分将研究证明网并简要介绍态极逻辑.证明网是证明的图式表示,是线性逻辑的主要创新之一.     

数学进展总目录2006年 第35卷

日次第l期综述文章线性逻辑和态极逻辑引论(11)(英).，，...................................……，.……八e二一Lo二‘、州。(l)研究论文极值过程的跳时点过程的精致渐近性.................................................……杨洋，王岳宝(4句色多项式的显示公式........     

部分线性模型下Adaptive Dantzig Selector方法的渐近正态性

变量选择是处理超高维数据过程中重要的部分.本文提出部分线性模型下ADS(Adaptive Dantzig Selector)方法,并证明其渐近正态性.通过数值模拟以及大众点评网数据,验证此方法的可行性以及高精准性.     

三值模糊逻辑函数实现静险态的检测

在二值逻辑回路中 ,只存在 0 -险态和 1-险态。这两种静险态的检测是通过二值模糊逻辑函数实现的。本文将模糊逻辑函数中的变量取为三值 (即 0 ,α ,1)加以研究。给出了三值模糊逻辑函数 f关于某一变量 x存在 0 -险态 ,α -险态和 1-险态的充要条件 ,从中得到 :(1)借助三值模糊逻辑函数实现 12 -险态是行不通的 ;(2 )当α <12 ,传输向量中的第 j个分量为 12 时 ,可以通过三值模糊逻辑函数实现该变量的α -险态     

基于量子逻辑的模糊线性时序逻辑的模型检测

模型检测的主要问题是处理具有量化信息的系统的验证问题,该文在量子逻辑和时序逻辑的相关理论基础上引入了可能性理论以及模糊线性时间的可能性测度,研究了线性时序逻辑在模糊时态下的模型检测方法.通过引入可能性理论以及广义可能性Kripke结构定义,对广义可能性Kripke结构中的模糊线性时间性质进行了讨论,有利于研究不确定现象...     

新教材"充要条件"教学设计

1　教材分析充要条件是中学数学中最重要的数学概念之一 ,它主要讨论了命题的条件与结论之间的逻辑关系 ,目的是为今后的数学学习特别是数学推理的学习打下基础。在旧教材中 ,这节内容安排在《解析几何》第二章“圆锥曲线”的第三节讲授 ,而在新教材中 ,这节内容被安排在数学第一册 (上 )第一章中“简易逻辑”的第三节。除了教学位置的前移之外 ,新教材中与充要条件相关联的知识体系也作了相应的扩充。在“充要条件”这节内容前 ,还安排了“逻辑联结词”和“四种命题”这二节内容作为必要的知识铺垫 ,特别是“逻辑联结词”这部分内容是第一…     

参态逻辑

提出参态逻辑,给出它的语言、语义和公理系统,并给出参态逻辑的完全性定理,论证了参态逻辑具有足够丰富的形式能力,可表达很大一类逻辑而作为其特殊形式.     

最小多项式矩阵与线性多变量系统(Ⅱ)

本文之(Ⅰ)[8]是关于最小多项式矩阵的理论;其(Ⅱ)是关于这一理论在线性多变量系统中的应用.在本部分的第一节中,我们利用(Ⅰ)中的理论,详细地讨论线性多变量系统输入问题的一些结果.在第二节中,利用对偶性,我们给出行n.p.m.及行生成组等概念,并讨论线性多变量系统输出问题的某些结果.在第三节中.我们讨论化状态空间型为多项式矩阵型的方法.在第四节中,我们讨论这一问题的反问题,即化多项式矩阵型为状态空间型的问题.为说明这些理论和方法,我们给出一些有趣的例子.     

固定效应面板数据部分线性模型的加权截面LSDV估计(英文)

本文考虑误差为自回归过程的固定效应面板数据部分线性回归模型的估计.对于固定效应短时间序列面板数据,通常使用的自回归误差结构拟合方法不能得到一个一致的自回归系数估计量.因此本文提出一个替代估计并证明所提出的自回归系数估计是一致的,且该方法在任何阶的自回归误差下都是可行的.进一步,通过结合B样条近似,截面最小二乘虚拟变量(LSDV)技术和自回归误差结构的一致估计,本文使用加权截面LSDV估计参数部分和加权B样条(BS)估计非参数部分,所得到的加权截面LSDV估计量被证明是渐近正态的,且比可忽略误差的自回归结构模型更渐近有效.另外,加权BS估计量被推导出具有渐近偏差和渐近正态性.模拟研究和实际例子相应地说明了所估计程序的有限样本性.     

集值映射的拓扑收敛

本文通过例子和定理证明:仅在一定条件下,集值映射网的拓扑收敛与其两种常见的收敛(点态收敛及一致收敛)方能比较。     

两个修改BFGS算法的收敛性

本文以下内容是这样安排的:第二节给出一个统一算法模型(GBFGS),并在假设目标函数一致凸的条件下证明该算法具有全局收敛性和局部超线性收敛性;作为第二节理论的应用,我们在第三节证明Biggs算法和Yuan算法的收敛性质.     

注重内容前后衔接 促进知识逻辑生长——以“二项式定理”的教学为例

本文以“二项式定理”的教学为例,从宏观和微观两个角度出发,厘清本节内容在不同学段的学习要求,详细分析本节知识发生逻辑及教与学的矛盾,找到适合学生的“逻辑生长点”.同时,在基于逻辑生长的教学设计中通过提出合理问题,打破学生常见思维定势,激发学生主动求知,并通过“先异后同”的推导思路证明二项式定理,以取得更好的教学效果.     

命题时态逻辑矢列式演算系统

研究Manna和Pnueli在并发程序验证方面提出的一种时态逻辑,其时间结构与自然数结构同构,时态算子选择为□,◇,○,U。本文作者认真分析了国际上时态逻辑定理证明主要方法,针对存在的不足之处,建立了命题时态逻辑矢列式演算系统,并证明了该系统的可靠性和完全性。     

计量逻辑学的基本思想和研究综述

介绍计量逻辑学的形成、特点及其与模糊逻辑的异同。关于命题逻辑的计量化理论,针对不同的系统论述了真度理论和相似度理论,特别是介绍了作者提出的命题逻辑系统L*以及与其配套的R0代数理论和完备性定理。介绍了逻辑理论在逻辑度量空间中的发散度和相容的理论以及三种近似推理模式。回顾了谓词逻辑计量化的进程和有待解决的问题。提出了模态逻辑和模型检验的计量化问题以及有待进一步探讨的几个研究课题。     

具有自相关误差结构的面板数据部分线性单指标模型的统计推断

部分线性单指标模型是在科学研究中具有广泛应用的经典半参数模型之一.本文主要研究具有自相关误差结构的面板数据的部分线性单指标模型的统计推断问题.通过结合局部多项式和纠偏广义估计方程方法,本文提出模型参数的可行加权广义估计(feasible weighted generalized estimating equation estimation, GEE-FW),证明该估计具有相合性和渐近正态性,并且在渐近方差意义下阐明该估计比工作独立的广义估计(generalized estimating equation estimation based on working independence,GEE-WI)更加有效.此外,本文对模型中未知连接函数提出两阶段局部线性估计(two step local linear generalized estimating equation estimation, GEE-TS),建立该估计的渐近性质.数值模拟研究和实际数据分析都表明了本文所提出的方法是有效的,在理论和应用方面均具有良好的表现.     

反证法的逻辑根据及其应用

反证法作为一种重要的数学方法,一般的教材都会把这个方法的步骤叙述清楚.例如,苏教版教材选修2-2[1]"间接证明"一节中指出:反证法的证明过程可以概括为"否定—推理—否定",即从否定结论开始,经过正确的推理,导致逻辑矛盾,从而达到新的否定(即肯定原命题)的过程     

因变量缺失下部分线性变系数模型的稳健估计

本文讨论因变量缺失下部分线性变系数模型在误差项和解释变量都含有异常点时的稳健估计问题。首先用局部加权线性光滑方法得到非参数部分的稳健估计,然后再得到参数部分的估计,并证明参数和非参数估计量的渐近正态性。最后模拟研究有限样本下估计量的表现。     

部分线性单指标模型的复合分位数回归及变量选择

本文提出复合最小化平均分位数损失估计方法 (composite minimizing average check loss estimation,CMACLE)用于实现部分线性单指标模型(partial linear single-index models,PLSIM)的复合分位数回归(composite quantile regression,CQR).首先基于高维核函数构造参数部分的复合分位数回归意义下的相合估计,在此相合估计的基础上,通过采用指标核函数进一步得到参数和非参数函数的可达最优收敛速度的估计,并建立所得估计的渐近正态性,比较PLSIM的CQR估计和最小平均方差估计(MAVE)的相对渐近效率.进一步地,本文提出CQR框架下PLSIM的变量选择方法,证明所提变量选择方法的oracle性质.随机模拟和实例分析验证了所提方法在有限样本时的表现,证实了所提方法的优良性.     

剩余格上的L滤子

剩余格为模糊逻辑和模糊推理提供了一种良好的代数结构,滤子是剩余格中一个十分重要的概念,它在基于剩余格的模糊逻辑代数语义的研究中,扮演着一个关键的角色。本文基于Pavelka所提出的广义MP规则和真值提升规则,研究基于这两种推理规则的演绎系统的代数化问题。引入L滤子的概念,讨论这些滤子之间的关系,并给出它们的一些代数刻画。     

通信系统的时态描述

本文建立一种描述通信系统外部行为的时态逻辑。该逻辑的基本谓词为INT,PASS和CLD,记录通信通道的瞬时状态,即打算通信,或正传递消息,或通道关闭。并引入辅助变元,将通道状态汇总为系统状态。从而使各类安全性、活性和公平性均能确切表述。使用这一逻辑进行描述时,还可得益于组合式规则——子描述的逻辑合取组成系统描述。本文还提出了证明由CSP语言书写的通信协议满足其行为描述的推理规则。