在Martin－Lof类型论中添加判断的新形式

木文对于添加于Ｍａｒｔｉｎ－Ｌｏｆ类型论的四种新形式判断给出完整的描述．首先列出这些新判断形式的一般规则，然后证明带一个前提的假设判断可由这些新型判断替代，最后，重新作出笛卡儿积的消去和相等性规则使它们有与其他类型相同的式样而且证明新旧规则是等价的．     

Martin-Lf类型论中不交和的推广和有穷类型的可定义性

本文推广了不交和运算且给出ｎ个类型不交和的规则，借助于它，证明了有穷类型的封闭性和分离性，讨论有穷类型的可定义性，证明Ｎｋ可由Ｎ１和Ｋ个类型不交和而定义以及Ｎｋ可由ＮＫ＋１定义．     

直觉主义量词模态逻辑系统MIPC~*的可靠性定理

设WMμ为系统MIPC*全部公式的集,再设г∪{A} WMμ,则гMIPC* A意义明显.而 M A指гM-蕴涵A.以前已证明гM A гMIPC*A,即MIPC*为强完全的.本文证明其逆定理成立,即гMIPC*A гM A.是为MIPC*的可靠性定理.     

货币政策规则的微观基础研究

本文从企业生产视角建立一个静态一般均衡模型,揭示货币政策规则更加具体的微观含义.     

基于粗糙集的应急案例中概率规则挖掘方法

应急案例作为描述突发事件发生、发展及应对过程的文本,蕴含了潜在的规律与宝贵的经验。为了挖掘应急案例中各要素间潜在的关联关系,构建出基于粗糙集的应急案例中概率规则挖掘方法。首先,构建出应急案例知识五元组,描述应急案例共性特征,并将诸多应急案例信息组织成一张应急案例决策表;然后,应用遗传算法对应急案例决策表进行属性约简,进而获取概率规则;最后,以大兴安岭林区50起重特大火灾案例为例,阐述方法的具体执行过程,并通过两组测试实验证明了方法的可行性和有效性。该方法描述了应急案例的共性本体特征,具有较高的可重用性,有利于为决策者采取应急管理措施提供决策支持。     

退化问题中Bland规则的改进

Bland规则是退化问题中避免循环的一种方法,本给出了Bland规则的两种改进形式,并从理论上证明了规则Ⅲ为有限规则,另外,还对一个退化问题给出了相应于不同规则的解法。     

数据库中布尔型及广义模糊加权关联规则的挖掘

引入布尔型加权关联规则和广义模糊加权关联规则的概念,并分别给出挖掘这些规则的计算方法．     

逻辑系统RDP中广义重言式的语义MP、HS规则

将修正的Kleene逻辑系统中的语义MP规则和语义HS规则推广后应用于RDP逻辑系统,讨论了RDP逻辑系统中广义重言式的广义语义MP规则和广义语义HS规则,得出在逻辑系统D1/2中,广义语义(1/2)+-MP,(1/2)+-HS,1-MP,1-HS规则成立,而广义语义1/2-MP,1/2-HS规则不成立。     

非线性泰勒规则的形成机理研究

从菲利普斯曲线非线性和央行损失函数非对称性两个视角论证了非线性泰勒规则的形成机理,数理证明结论显示:无论菲利普斯曲线是上凸还是下凹,都意味着通货膨胀对产出缺口的反应是非对称的,都会导致泰勒规则的非线性;央行损失函数的非对称性是导致泰勒规则非线性的另一个原因.当存在扩张谨慎需求时,利率曲线是下凹的;当存在价格平稳谨慎需求...     

基于异质参与者的最优歧视性竞赛规则研究

基于Tullock(1980)的寻租竞赛模型,在多个异质参与者竞赛且成本函数为二次型的条件下,设计歧视性竞赛规则最大化参与者的总体努力水平.借鉴Cornes and Hartley(2005)的思路提出一种简便的求解方法,使得无论竞赛参与者规模有多大,只需要求解一个一元方程就可得到均衡结果.分析结果表明,竞赛参与者规模对竞赛均衡结果及歧视性竞赛规则设计具有显著影响,即使竞赛参与者只有两类,且每类参与者人数相等,也不能直接简化成两人竞赛模型.     

诊断系统中不精确推理规则的可靠度及症兆的置信度

本通过对诊断系统中专家知识的不精确性以及症兆信息模糊性的讨论,建立了关于症状重要性比较的语言值判断矩阵,并采用量化的方法将语言值矩阵转化为正互反矩阵,在解此正互反矩阵特征值的基础上,给出了不精确推理规则的可靠度的计算方法,同时还给出了症兆置信度和原因的可能性大小的计算公式,并应用该方法对一个实际问题进行了计算。     

逻辑系统W,W,Wk中的广义语义HS规则和广义语义MP规则

研究模糊命题演算的形式演绎系统L·及在语义上相关的修正的Kleene逻辑系统,W,Wk,引入语义[α]-MP规则,语义[α+]-MP规则,语义[α]-HS规则,语义[α+]-HS规则等概念,并对这些规则的性质进行讨论,进一步加强该系统中的Σ-(α-重言式)的相应结果,丰富该系统中Σ-(α-重言式)的内容,为进一步研究该系统提供一个有益的工具.     

逻辑系统,W,W_k中的广义语义HS规则和广义语义MP规则

研究模糊命题演算的形式演绎系统 L*及在语义上相关的修正的 Kleene逻辑系统 W,W,Wk,引入语义 [α]- MP规则 ,语义 [α+ ]- MP规则 ,语义 [α]- H S规则 ,语义 [α+ ]- H S规则等概念 ,并对这些规则的性质进行讨论 ,进一步加强该系统中的 Σ- (α-重言式 )的相应结果 ,丰富该系统中 Σ- (α-重言式 )的内容 ,为进一步研究该系统提供一个有益的工具。     

发现基于蕴涵的模糊关联规则

从蕴涵的角度,研究基于支持度和蕴涵度的关联规则(ARsi),讨论ARsi的性质,提出相应的算法,并研究了规则的兴趣性问题.文章还针对提出的算法做了相应的实验来表明算法的实用性及有效性.     

推理规则的信息熵描述

根据信息理论的一些基本观点首次定义了决策逻辑系统中公式的信息熵,由此给出了知识系统中推理规则信息熵的定义。然后讨论了推理规则信息熵的某些性质。随后又建立了一些推理规则信息熵有关的若干重要概念,从而揭示了信息论与知识表达系统之间的某些联系,为信息理论应用于人工智能及数据挖掘提供了一定的理论或技术性工具。     

基于关联规则的SNS网站个性化推荐研究

以关联规则为理论基础,针对社会性网络服务(Social Networking Services,SNS)网站的个性化推荐问题进行研究.在系统总结个性化推荐方法基础上,详细给出基于关联规则的个性化推荐过程,综合运用可信度和作用度两个指标更好地对生成的关联规则进行评价.并采用SNS网站实际运营数据有效实现个性化推荐,对个性化推荐技术在SNS网站的实际应用价值进行拓展分析.     

基于关联规则挖掘的航空设备故障诊断研究

为充分挖掘利用航空公司机队维修记录,进行机队设备故障诊断和定位,提出了一种基于关联规则挖掘的航空公司机队设备故障诊断方法.在综合研究Apriori算法和FP-Growth算法原理的基础上,结合收集到的航空公司波音737NG机队维修记录,采用4.0.0版本的R语言编程软件编程实现了上述两种关联规则挖掘算法.为证明Apri...     

计数调整型抽样系统T-D转移规则特性研究

在计数调整型抽样检验系统中,ISO2859/1-1994将加严检验到暂停检验规则(TD规则)修改为“累计五批在加严下不合格”.本文系统比较了“累计五批”和“连续十批”这两个TD规则.分析了样本字码为B,在批质量水平为p=AQL处的一次加严方案的转移概率、平均链长,并进行了灵敏度分析.     

采用复合规则约束的多种群自适应进化算法

针对种群固定的进化算法容易使个体集中分布在局部区域,不利于处理大尺度空间和多峰类型的优化问题,提出了一种多种群分布并且动态变化的种群自适应进化算法.采用Logistic模型模拟多个种群在有限资源下的竞争关系,设计了稳定性规则、熵规则和精英规则以确定不同种群的Logistic模型参数,从而控制种群数量的变化.同时,算法引入了算术内插和外插两种交叉算子,使得各个种群依据自身类型来缩小或扩展搜索空间.此外,算法还通过周期性的调整规则重新构建种群和分配资源.通过5组大尺度和多峰优化问题的测试结果表明,所提的种群自适应方法能够有效改善算法的寻优性能,在达到同等优化水平时所提算法消耗的函数调用次数为对比算法的61.08%～91.55%.