相信逻辑的某些性质和定理

本文研究了相信逻辑在相信蕴涵下的某些性质．在相信蕴涵的定义下，相信逻辑是非单调的．本文给出了几个相信逻辑的单调性的充分且必要条件．还证明了一个默认理论的延伸恰好就是对应的相信理论的相信公式的所有相信蕴涵式的全体．从而给默认理论的延伸以一个较为直观、简洁的表述．     

投射群环

设R是一个环,G是一个有限群,本文定义了一个R上带因子组f的投射群环RG_f,证明了如果RG_f是R的Galois扩张带由G导出的内Galois群G,使得R的中心C是R的C-直和项,则CG_f是C上中心Galois代数;还将F.R.DeMeyer关于Azumaya投射群代数的刻划推广到投射群环RG_f。     

算子权移位的局部谱及其应用

本文首先给出有界线性算子局部谱的两个估计式，进而，讨论了算子权移位的局部谱，作为应用，研究了算子权移位的单值扩张性、可分用性及算子序列自身的一个性质。     

基于人工神经网络的高考扩招趋势预测研究

高考扩招系统足一个“黑箱”,各因素问是否存在因果关系还很模糊,基于人工神经网络自身的特点,采用BP模型,借助MATLAB语言对高考扩招系统进行预测研究．通过对历史数据的处理、程序的设计、网络的训练等进行分析,最终预测出中国未来20年高等教育发展的趋势,为国家相关政策的制定提供参考依据．     

太原东山过境高速公路南坪头中桥加宽设计

针对太原东山过境高速公路改扩建工程南坪头中桥的现状特点,介绍了本桥的上部结构、桥墩、桥台加宽方案的选择和设计方法。     

定性信息组成循环经济标杆下的最佳决策模型

文章首先利用物元的负正转换和发散性的思想找到与待决策单元同名、同值、同征的单元并收集它们的定性信息;其次,用层次分析方法给出了待决策单元标杆的选择方法;最后,给出依赖标杆的最佳决策模型。此模型是把策略的形成以及如何开拓策略集、优化技术的运算技巧结合起来。因而,此决策模型是利用了各种提高效益的潜在因素模型,并且具有较强的可操作性。     

量子环面上skew导子李代数的中心扩张

研究了量子环面上的斜导子李代数的中心扩张,重新构造了■,使得它是L的泛中心扩张,并给出了比Lin(直接应用定义进行证明[1])更简要的证明.     

城市轨道交通次生环境影响可拓综合评价

在构建城轨次生环境影响评价指标体系的基础上,借助熵和物元理论,创立了基于熵权的可拓综合评价方法;通过计算其综合关联度,确定了城轨项目次生环境影响的质量评定等级。实践结果表明:将可拓评价法应用于城轨次生环境影响评价,可以保证主要方案排序的一致性,而且与实际测试结果较吻合。这不仅拓展了可拓学的应用领域,而且改变了传统的城轨次生环境影响评价方法,为城轨次生环境影响评价提供了新的思路和手段。     

严格双曲型5—维不定空间中一类扩张群的共轭类

设V是严格双曲型5－维不定空间，W是V中某个不可约根系的无限Weyl群，本文中，我们给出了W的一类扩张群在仿射群A（V）中的共轭类。     

关于Pk(P>3)元域F的单超越扩域E上的三次方程的根的问题

设Ｆ是Ｐ＾ｋ（Ｐ〉３）元域，Ｅ是Ｆ的单超越扩域。本给出Ｅ上的三次方程ｙ＾３＋Ａｙ＋Ｂ＝０在Ｅ中有根或没有根的条件，若方程有根，则同时给出根的个数。