全功能联结词集合的一个注记

本文对数理逻辑中的各种联结词所构成的集合进行了讨论,得到全功能联结词集合,指出了12个全功能联结词集合.其中,一阶全功能联结词集合2个;二阶全功能联结词集合7个;三阶全功能联结词集合3个;没有四阶及四阶以上的全功能联结词集合.     

全功能联结词集合的计算机实现

对数理逻辑中的各种联结词所构成的集合进行了讨论,并用计算机编程进行理论推导,把逻辑推理转化为计算机能够实现的0,1运算,用计算机实现了逻辑推理的全过程.得到的主要结果是:全功能联结词集合一共11个,其中,一阶全功能联结词集合2个;二阶全功能联结词集合7个;三阶全功能联结词集合2个;没有四阶及四阶以上的全功能联结词集合.这便修正了近年来有关全功能联结词的一个错误结论.     

基于二元域研究命题公式

简单讨论二元域F2及其性质。采用映射定义联结词和命题公式，把它们均抽象为F2上的多项式。基于F2研究命题公式的多项式范式和异或范式，给出全功能联结词集的判定条件。     

模糊错误逻辑事物分解转化联结词的研究

给出模糊错误逻辑事物分解转化联结词所涉及的概念、运算,并对模糊错误逻辑事物分解转化联结词与外延联结词∧合取,∨析取,∨bxr不相容析取等和模糊错误逻辑事物分解转化联结词与内涵联结词┓bz不只否定,内涵联结词┓bj不尽否定,内涵联结词┓bx不限否定,内涵联结词┓bd不断否定等的关系作了一些探索和研究。     

联结词的完备集

本文列举了逻辑演算中的各种联结词,对这些联结词所构成的完备集进行了较为详尽的讨论,给出了证明,同时对不完备的联结词集合也给出了一般的证明方法.     

基于二元分割的多变点估计

以含有多个均值变点的时间序列数据为研究对象,将最小二乘法与二元分割相结合,提出了最小二乘二元分割方法(LSBS),改进间隔较小时二元分割方法无法检测两个相邻变点的缺点.并对铁路旅客量数据进行实证分析,统计模拟结果显示,改进方法很大程度上提高了多变点估计的准确性.     

图有分数因子的联结数和最小度条件

研究了图有分数因子的联结数和最小度条件．给出了一个图有分数1-因子的与联结数有关的充分必要条件．当k≥2时，给出了一个图有分数k-因子的两个充分条件，并证明了所得结果是最好可能的．     

速记英语动词词组

本文用两个公式归纳了四六级词组中英语动词词组总的用法:在特定的语境下把两个单词构成的词组组归纳为一个公式;把三个单词构成的词组归纳为一个公式,并对它们举例说明。     

城市高架路下匝道地面联接段最小长度模型

为了提高下匝道地面联结段的系统通行能力,提出了一种计算联结段长度的方法.给出了地面联结段的基本定义及假设,分析了地面联结段构造特性及交通流特性.采用临界安全间隙理论、概率论及运动学方法,综合考虑车辆驶离匝道后汇入地面道路、完成交织运行和顺利驶入下游交叉口左转车道的运行过程,从系统的角度构建下匝道地面联结段的最小长度模型.对于新建道路,根据模型计算可确定联结段的最小长度;对于现有道路,将实测值与模型计算值进行比较,可分析地面联结段产生拥堵原因,便于采取有针对性的改善措施.最后结合实测调查数据,通过与CORSIM仿真模型的输出值进行比较,对模型的正确性进行了验证,结果表明模型是有效的.     

分段最小二乘曲线拟合

本文在一般最小二乘曲线拟合的基础上提出分段最小二乘曲线拟合的方案,讨论了联结分段拟合曲线的方法,并且给出分段最小二乘多项式拟合的计算方法.     

基于语料库的“search”一词搭配情况对比研究——以“in search of”、“in search for”和“search for”为例

在高职英语专业教学中,经常会出现学生混淆使用形式相近、意义相近的词组来表达同一个意思,而忽略了相对最常用、最地道的词组,从而造成英语语言表达不够地道。同时,学生也经常会对这些词组互相之间的差异产生疑问,但又无从下手。本文针对这一问题,使用三个英语为母语的语料库以及一个中国学习者英语语料库对"insearchof"、"insearchfor"和"searchfor"三个词组进行检索统计分析,试图找出最常用、最地道的词组,并发现我国英语学习者与英语为母语者在使用三个词组方面的差异,由此对引导学生树立正确的英语学习方法有所帮助。     

——以“in search of”、“in search for”和“search for”为例

在高职英语专业教学中,经常会出现学生混淆使用形式相近、意义相近的词组来表达同一个意思,而忽略了相对最常用、最地道的词组,从而造成英语语言表达不够地道。同时,学生也经常会对这些词组互相之间的差异产生疑问,但又无从下手。本文针对这一问题,使用三个英语为母语的语料库以及一个中国学习者英语语料库对“insearch of”、“in search for”和“search for”三个词组进行检索统计分析．试图找出最常用、最地道的词组,并发现我国英语学习者与英语为母语者在使用三个词组方面的差异,由此对引导学生树立正确的英语学习方法有所帮助。     

P*4中保二元正则可离关系非最小覆盖的剔除

为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论, 对部分四值逻辑的最小覆盖进行分析,证明了270个保二元正则可离关系函数集中的222个函数集必不属于部分四值逻辑中最小覆盖的成员。     

离散数学与高中数学新课标中常用逻辑用语的衔接研究

作者在教材分析的基础上，通过对高中数学新课程标准中命题及其关系、简单的逻辑联结词、充分条件、必要条件、全称量词、存在量词与离散数学中的命题符号化及联结词、推理理论、一阶逻辑知识的比较，研究其异同点，从而更好地指导大学离散数学的教学。     

基于遗传算法的联结规则挖掘策略

传统的联结规则挖掘算法依赖于一个不现实的假设：用户可以指定最小支持度．如果用户不了解他们的数据库，指定的最小支持度是肯定不适合的．在此设计了一个基于遗传算法的挖掘策略。它具有两个显然的优点：①高性能且自动化的规则挖掘；②不要求用户指定最小支持度。     

“或者”、“OR”逻辑特征对比分析

通过对语词联结词"或者"、"OR"在日常语言中实际使用情况的统计分析,可以看出,"或者"比"OR"在更高的频率上表达逻辑联结词"析取"的涵义;"或者"和"OR"在前后项的可交换性方面差别不大;"OR"比"或者"更多地表现出选择的倾向性;作为不相容选择关系的"OR"比"或者"其前后项更多地满足逻辑排中律;在与其他联结词的相互转化方面,"OR"比"或者"表现更为明显。     

井冈山自然保护区甜槠群落优势种群间联结性研究

采用2×2联列表,通过方差分析、x2-检验、OI指数及DI指数对井冈山甜槠(Castanopsiseyrei)群落样地中13个优势种群的种间相关性与联结性进行了定量分析,结果表明:井冈山栲属群落13个优势种群的总体种间关联性呈显著正关联,反映该群落处于稳定的顶极阶段;13个优势种群的种间联结关系中1个种对具有极显著正联结,8个种对具有显著正联结,13个种对具有负联结.78个种对中,绝大多数种对联结关系未达到显著水平,种对间的独立性相对较强,这种种间联结的松散性可能与目前群落的发展阶段及种本身的生态学特性有关.目前,群落处于比较稳定的顶极阶段.     

格氏栲自然保护区常绿阔叶林群落优势树种种间联结性分析

为保护格氏栲这一珍稀濒危植物,本研究在2×2列联表基础上,采用方差比率法（VR）、x²检验、联结系数AC值、Jaccard指数及点相关系数对格氏栲自然保护区常绿阔叶林群落中出现频度较高的25个乔木层优势种群的种间联结性进行了分析。结果表明：该保护区常绿阔叶林群落25个优势种群的总体关联性方差比率值为1.541>1,表现为显著正关联,反映该群落处于稳定的顶极阶段。25个优势种群间的300个种对中x²检验有13个种对为极显著正联结,10个种对显著正联结;2个种对极显著负联结,11个种对显著负联结;88%的种对联结关系未达到显著水平。大部分种对的AC值、Jaccard指数（JI值）、点相关系数Φ值都不高,表明大多数种对间联结性较弱,独立性相对较强。占绝对统治地位的优势树种格氏栲仅与多毛茜草树呈极显著正联结,与观光木呈显著负联结,而与其它树种的种间联结关系均为不显著联结。这种种间联结的松散性及总体关联性呈显著正关联,显示群落目前处于比较稳定的顶极阶段。     

井冈山自然保护区甜槠群落优势种群间联结性研究

采用2×2联列表,通过方差分析、x2-检验、OI指数及DI指数对井冈山甜槠(Castanopsis eyrei)群落样地中13个优势种群的种间相关性与联结性进行了定量分析,结果表明井冈山栲属群落13个优势种群的总体种间关联性呈显著正关联,反映该群落处于稳定的顶极阶段;13个优势种群的种间联结关系中1个种对具有极显著正联结,8个种对具有显著正联结,13个种对具有负联结.78个种对中,绝大多数种对联结关系未达到显著水平,种对间的独立性相对较强,这种种间联结的松散性可能与目前群落的发展阶段及种本身的生态学特性有关.目前,群落处于比较稳定的顶极阶段.     

广西防城金花茶自然保护区金花茶所在植物群落优势种的种间关联分析

在2×2列联表基础上,采用方差比率法、联结系数AC值、Jaccard指数和χ2检验对广西防城金花茶自然保护区金花茶(Camellia nitidissima)所在的植物群落样地中的25个优势种的种间关联进行定量分析。结果表明,该保护区金花茶所在的植物群落中25个优势种的总体关联性呈显著性正关联,反映出植物群落处于比较稳定的阶段。25个优势种组成的300个种对中,有4个种对具有极显著性正联结,10个种对具有显著正性联结,有5个种对具有极显著性负联结,8个种对具有显著性负联结,绝大多数种对联结系数未达到显著性水平,种对间的独立性相对较强。