大学排名研究不能基于“简单化”数学处理——质疑《基于公信力视角的大学排名研究》

对中国科学技术大学大学评价课题组论文《基于公信力视角的大学排名研究——对〈2010中国大学评价〉,指标体系及其算法的质疑》“复演复算”的数学推理进行分析,考察其结论的基础.（1）原文中“复演复算”的数学基础是错误地对“本科生培养得分”进行了“简单化”处理;（2）“简单化”使原文所论的“本科生培养得分”与《2010中国大学评价》中的“本科生培养得分”成为两个基本不相干的数量项;（3）“在实际中将‘质量’指标,偷换成‘数量,指标概念”和“最终将‘大学本科毕业生数量’规模相应传导至‘本科生培养得分＇”等问题是“简单化”造成的,这些质疑不应“简单化”地转嫁到中国大学评价体系上;（4）原文给出的中国大学数据不支持其结论.     

基于单片机和Fuzzy技术的液压在线故障监测系统的设计

介绍了基于单片机和Fuzzy技术的液压在线故障监测诊断系统的设计,给出了系统组成和软件设计。该系统以高性能单片机为核心,采用Fuzzy逻辑分析技术实现了液压系统故障诊断的基本结构和知识库的方法,建立了液压系统故障Fuzzy分析的逻辑结构,实验表明,该系统提高了液压系统故障推理的正确性和推理速度。     

多元协同演绎在一阶逻辑ATP中的应用

一阶逻辑是数理逻辑中重要的分支,对其逻辑公式的自动推理是人工智能领域重要的研究热点之一. 目前一阶逻辑自动定理证明大多采用二元归结方法，每次只有2个子句进行归结，只消去1组互补对，导致演绎归结式文字数较多，影响了演绎效率. 为此，基于矛盾体分离规则提出了一种多元协同演绎算法，该算法每次允许多个子句进行协同演绎，消去多组互补对，从而演绎分离式文字数较少且可控，能有效提高推理能力；并且，该算法通过有效演绎权重和无效演绎权重调整子句演绎顺序，利用回溯机制搜索较优路径，有效规划演绎路径. 将该算法应用于国际顶尖证明器Eprover 2.1，以CADE2017竞赛例（FOF组）为测试对象，对加入多元协同演绎算法的Eprover 2.1证明器进行试验. 试验结果表明其能力超过了Eprover 2.1:多证明定理8个；能证明Eprover 2.1未证明定理31个，占未证明总数的28.2%.      

软计算及其新一代模糊控制器

介绍了软计算的概念及构成软件计算的三个组成部分：模糊逻辑、神经网络和概率推理，并讨论了软件为基础的新一代模糊控制器。     

基于MCD-AHP的预装式变电站城市化属性指标评价

为提高城市轨道交通预装式变电站建设的城市化属性效果，需要对其城市化属性指标做出准确评价. 首先，构建了包含经济属性、社会属性、节能属性3类指标的预装式变电站城市化属性指标评价体系，并给出了评价指标的量化模型；然后，引入最小协方差行列式 （minimum covariance determinant，MCD）稳健分析法对层次分析法 （analytic hierarchy process，AHP）中专家组所给出的判断矩阵进行检测，去除由于专家组成员之间主观认知的差异性而产生的离群矩阵；最后，应用改进后的层次分析法（MCD-AHP）对预装式变电站城市化属性指标权重进行计算并评价. 结果表明:去除离群矩阵样本后，上、下限矩阵计算所得指标权重差值的绝对值为0～0.0103、相对变化比率为0～9.31%，明显优于全样本状态下权重差值的绝对值率0.0138～0.1355和相对变化比15.99%～106.23%，该方法可有效提高判断矩阵的逻辑一致性和权重值的聚合性.      

基于符号权重的一阶逻辑前提选择方法

为增强自动定理证明器从一阶逻辑问题的大规模前提中选择相关前提的能力，首先，提出符号权重计算公式，基于符号在问题中出现的频率获取不同符号对应的权重；其次，提出相关度计算公式，利用分配的符号权重计算问题中前提和结论间的相关度；同时，研究自适应相关度边界，用于判断前提与给定的结论是否相关；最后，在自动定理证明器中交互地结合前提选择和自动推理两个过程，可在充分选择相关前提的情况下及时停止前提选择过程.实验结果表明：在最优情况下，新提出的前提选择方法能够把参与证明的平均前提数量从1 876个降低到174个；与广泛使用的前提选择方法 E-SInE和Vampire-SInE相比，使用新方法能够帮助自动定理证明器E在MPTP2078基准测试集上分别提高19.49%和10.49%的证明率.     

我国关键能力研究现状与趋势

文中主要从关键能力的兴起背景、概念、培养途径、评价方式等方面对国内外有关关键能力的理论与实践研究资料进行梳理，认为进一步探索和发展可操作性的关键能力培养策略及评价体系是关键能力研究的趋势。     

基于拓扑变换的一种不确定性推理方法

不确定性推理的研究是人工智能研究领域的核心问题之一，也是近年来一个很活跃的研究方向，关于解决和处理不确定性推理问题的方法有很多，但从数学本质上来看，它们都是在推埋的前提和结论之间建立一种变换关系，并利用该变换关系去处理该推理问题，本文用模糊拓扑和模糊数学的方法给出了一种基于拓扑变换的不确定性推理方法，这为处理不性推理问题提供了一种合适的方法。     

生本视角下我国高校教师教学质量评价的三重审视

伴随高等教育大众化进程,我国高校逐步进入以质量取胜的内涵式发展阶段,质量成为高等院校赖以生存与发展的生命线,尤其是高职院校人才培养质量遭受质疑,在新的时代背景下高职教育如何从大变局和新占位视域跳出传统思维定式走向理性。教师教学质量评价作为高校一项常规性工作,不只是一个管理工具和评价手段的应用,而是关乎人才培养质量的管理与生成,集中体现为学生需求满足程度的价值判断过程,其根本目的在于提高人才培养质量。本文基于生本视角,从问题缘起、理论探源及结构要素三个逻辑层面重视高校教师教学质量评价,深刻回答教师教学质量评价"为什么、是什么、怎么样"的元生逻辑问题,以期从学理层面厘清教师教学质量评价的本质内涵和应然之义,科学指导实践。     

希腊神话的叙事方式

讲述与显示是希腊神话的两种基本叙事方式。讲述是介绍人物身份、概括故事情节并对之进行判断或评论，主要功能是判断、评价，有明显的倾向性；显示是对人物行动、语言的摹仿，力求达到真实的效果，具有更多的客观性。两者的关系是讲述决定显示，显示阐释讲述，泾渭分明同时又紧密结合。希腊神话的这两种叙事方式及其特点对后世的文学创作和文学观念产生了深远影响。     

网络空间超文本的话语--权力逻辑

随着网络空间的崛起，网络化逻辑正在逐渐成为支配和控制人们的社会生活的基本逻辑。而超文本所体现的非线性特征，正是网络化逻辑的核心特征，它从根本上改变了人们的价值观念和权力关系。本文从超文本的后现代特性、超文本对网络权力关系的重构，以及超文本对网络空间知识状态的影响三个维度，具体而微地分析了超文本的后现代话语-权力逻辑。     

铁路地面信号设备时间同步系统可靠性分析

为了量化铁路地面信号设备时间同步系统安全风险并识别薄弱环节,采用专家判断和模糊集理论相结合的方法量化基本事件的条件概率,将系统故障树模型映射为贝叶斯网络,以此构建铁路地面信号设备时间同步系统可靠性模型,对系统进行可靠性评估.通过计算系统故障条件下单元的失效率,识别系统的薄弱环节.诊断推理分析表明,光纤及通信前置服务器是引起铁路地面信号设备时间同步系统失效的关键事件,因此,加强对其维护可有效降低事故的发生概率.     

����������ij�������ģ��CFCM�о�

车辆跟驰模型中的驾驶行为是一个复杂的推理、决策、执行过程，在知识表达和推理机制上存在模糊性和随机性。针对当前车辆跟驰模型研究存在的不足，引入云模型理论，确定了跟驰模型中的决策变量及概念判断子集，设计了模型参数标定的实验方法，在实验数据的基础上，计算了相关参数的隶属云特征值，总结了基于行为规则的车辆跟驰云推理机制，构造了车辆跟驰云模型CFCM(Car Following Cloud Model)。     

基于可拓层次分析法的桥梁质量后评价

桥梁建成通车后的质量评价是一个非常重要的环节。对层次分析法引入可拓学的基本理论构建了基于可拓层次分析法的桥梁质量后评价模型,有效避免了传统层次分析法中的大量试算工作,同时考虑了判断的不确定性和决策者的实践经验。实际应用表明可拓层次分析法结论符合工程实际。     

耐酸泵计算机辅助工艺规程设计—DTN·CAPP系统

DTN·CAPP系统是对耐酸泵的关键零件——过流零件(包括:泵体、泵盖、叶轮)进行计算机辅助工艺规程设计的一整套软件系统,由大连铁道学院设计完成。该系统以成组技术(GT)为基础,通过输入零件的有关信息,由计算机自动生成GT代码,并通过筛选矩阵,自动分类归组,然后由系统进行各种逻辑判断、推理、决策,自动生成包括工序、工步、设备、夹具、辅具、刀具、量具、切削参数、工时定额及工序图等内容详细的工艺过程卡片和关键工序的工序卡片。     

基于神经网络的模糊逻辑设计算法

提出了一种利用神经网络学习功能来设计模糊逻辑的方法。用类神经网络算法产生模糊规则和隶属函数，通过学习得到的模糊规则、隶属函数和以新模型推理、逆模糊化为基础的新模糊设计，显著地改进了系统性能，缩短了设计周期，将规则数目和隶属函数最优化，可有效降低系统成本。     

有效教学：面向具体的学习者——读鲍里奇的《有效教学方法》有感

加里·D·鲍里奇在《有效教学方法》一书中认为，面向学习者的智力水平、人格特征和社会环境等具体因素是判断有效教学的准绳，其具体特征体现为五种关键行为和五种辅助行为的有机统一。为此，需要在教学中采用多样的教学方法和灵活的教学策略以及交错的教学评价。可以说，他提出的面向具体的学习者的有效教学理论决不是可望不可及的，而是切实可行的。     

多版本软件的独立性问题研究

在定义、描述和分析软件故障、软件出错、软件失效诸概念的基础上，深入研究了多版本软件的独立性问题。并基于对１９５个本科生程序设计实践实例所做的研究分析得出结论：（１）从软件设计角度出发，软件故障主要来自于逻辑设计错误（约３５．６０％）；（２）每１００条语句中平均含有１０个逻辑错误。     

融合网络拓扑结构特征与客流量的城市轨道交通 关键节点识别研究

科学合理地识别轨道交通网络的关键节点，并制定针对性的维护管理措施，有助于保障轨道交通的稳定运行。网络中的节点在局部发挥着对外传输与连接的作用，在全局中影响着网络的传输效率，同时，也必然受到其他节点的影响，本文提出一个考虑邻居节点影响的改进节点度模型评价节点的局部重要性，以及一个考虑其他节点影响的改进节点效率模型评价节点的全局重要性，基于改进的节点度模型和节点效率模型构建节点网络拓扑结构重要度评价模型，综合反映节点的局部重要性和全局重要性，也能反映其他节点对目标节点的影响；以进出站客流和换乘客流为基础建立节点客流量重要度评价模型；进一步构建综合考虑节点网络拓扑结构重要度和客流量重要度的关键节点识别模型，更加全面地评价节点的重要性，并以西安市数据为基础进行实例验证。结果表明：本文模型所识别出的关键节点，能很好地体现节点在网络中的功能特性；排名前5的关键节点失效，会导致客流损失34.41%，网络效率降低57%，相对最大连通子图比例下降91.82%，证明了模型的有效性。     

群决策中基于SVDD的专家权重的评价方法

针对群决策中专家权重的评价问题,提出一种基于支持向量域描述(SVDD)的确定方法.利用生成树的方法把判断矩阵进行一致性剖分,利用支持向量域描述的方法排除干扰信息,找出群体公共信息,并引入群体相容性、群体信息贡献率等概念及其判断方法;给出不同专家的群体信息贡献率的计算方法,确定出每位专家的评价权重,并通过示例验证了该方法的可行性和有效性.该方法能消除片面的影响,抓住关键信息,对专家的权重能比较客观地评价.