n值Lukasiewicz命题逻辑系统中公式的矛盾度理论

在n值Lukasiewicz命题逻辑系统中运用公式的矛盾度概念,讨论了公式矛盾度的部分重要性质,给出了Lukasiewicz命题逻辑系统中的矛盾度并推理规则,进而讨论了矛盾度与推理规则之间的关系.     

带有权函数的Coxeter群C_n的胞腔（英文）

仿射Weyl群(C_n,S)可以看做仿射Weyl群(A_(2n),S)在其某个满足α(S)=S的群自同构α下的固定点集合.A_(2n)上的长度函数l在C_n上的限制可以看做C_n上的某个权函数.本文通过研究仿射Weyl群A_(2n)在α下的固定点集合从而给出带有权函数的Coxeter群(C_n,l)中对应于划分2~(n-1)1~3的所有胞腔的清晰刻画。     

基于社交关系的问答系统及最佳回答者推荐技术

近年来,社区问答服务系统(CQA)越来越受到人们的欢迎,但随着提问规模的膨胀,获得回答的问题比重逐步降低,且答案质量无法得到保障.为了提高问答系统中问题被解答的概率,并提升答案可信度,文中提出了基于社交关系相似度的社交问答系统(SQA),主动寻找与提问者社交关系紧密且能够回答问题的用户,并提出了针对提问者与最佳回答者的推荐方法.实验结果表明,在主观性强或实时性强等问题集上,文中方法能更快地得到让提问者满意的答案.     

基于几何直方图的特征描述

提出了一种基于几何直方图的特征描述方法,本方法把特征区域的周长引入基于空间直方图的特征描述框架,以使特征描述更丰富更准确.空间直方图包含若干个基于每个同质区域中像素坐标的矩,此外,提出的几何直方图还包含关于该同质区域周长的信息.实验结果表明:与空间直方图相比,提出的方法能够更好地改善特征描述效果.     

基于全局与局部特征的嵌入式人脸识别系统

基于主成分分析人脸识别算法,提出一种基于全局特征和局部特征的加权算法,并且在嵌入式(Tiny6410)上完成系统的设计与实现.利用主成分分析提取人脸全局特征,根据特征值贡献率获取降维后的人脸子空间,采用欧氏距离匹配测试样本;用人眼检测算法、鼻子检测算法等提取每个样本的左眼、右眼、鼻子、嘴,分别建立样本集,采用主成分分析;分别计算全局和局部特征的离散度,根据离散度进行自动加权算法,给出最终的人脸识别结果.实验表明,该系统具有一定的稳定性,识别效果优于单一模块的识别.     

基于通用航空的空域管理

本文从通用航空飞行特点、使用空域以及通用航空飞行管制现状入手分析,对比航空发达国家先进通用航空空域管理技术,分析我国通用航空空域管理现阶段的不足;借鉴通用航空发达国家先进通用航空空域管理,找出解决问题突破口,提出适合我国通用航空飞行管制的合理解决方案。缓解通用航空飞行管制压力,提高我国通用航空飞行管制效率以及低空空防能力,确保通用航空能安全、有序、高效运行。     

非线性二阶Neumann边值问题的Ambrosetti-Prodi型结果

研究了二阶Neumann边值问题{u″+f(t,u,u’)=s,t∈(0,1),u’(0)=u’(1)=0解的个数与参数s的关系,其中f∈C([0,1]×R2,R),s∈R。运用上下解方法及拓扑度理论,获得存在常数s1∈R,当ss1时,该问题至少有两个解。     

最大度为3或4的图的邻和可区别全染色

图 G 的一个正常[k]-全染色是一个映射：V∪E→｛1,2,…,k｝,使得 V∪E 中任意一对相邻或者相关联元素染不同颜色。用 f（v）表示点 v 及所有与其关联的边的颜色的加和,若对任意 uv∈E（G）,有 f（u）≠f（v）,则称该染色为图 G 的[k]-邻和可区别全染色。k 的最小值称作图 G 的邻和可区别全色数,记为 tndiΣ（G）。Pils＇niak 和Woz＇niak 提出猜想：对任意简单图 G,有 tndiΣ（G）≤Δ（G）＋3,其中Δ（G）为图 G 的最大度。图 G 的最大平均度,记为 mad（G）,是 G 的所有非空子图的平均度的最大值。运用组合零点定理和权转移方法,证明了若Δ（G）＝3且mad（G）＜125,或Δ（G）＝4且 mad（G）＜52,则 tndiΣ（G）≤Δ（G）＋2。     

基于二元决策图的共因失效系统Birnbaum重要度计算

在传统Birnbaum重要度理论及其计算方法基础上,提出了针对系统受共因失效影响情况下的共因失效故障树扩展方法和共因失效决策建模方法.以提高共因失效系统Birnbaum重要度计算效率为目标,借助二元决策图,对二态共因失效系统重要度计算模型进行构建,给出了模型的相关算法,并以算法验证模型及算法的有效性.     

潮流计算模型对大电网充裕度评估的影响分析

潮流计算是大电网充裕度评估的基础,潮流计算模型的选择会对大电网充裕度评估的结果产生影响.介绍大电网充裕度评估的原理,对交流潮流计算模型和直流潮流计算模型进行分析比较,以RBTS可靠性测试系统为例进行算例分析.算例分析结果表明,基于交流潮流的大电网充裕度评估能够计入无功功率和节点电压的影响,计算结果相对精确,但是计算时间代价大;采用直流潮流模型时大电网充裕度评估速度快,但计算结果存在一定误差.