阿罗不可能性定理和社会选择的无矛盾性问题

2017年2月21日,国际著名数理经济学家、1972年度诺贝尔(Nobel)经济学奖获得者阿罗(K.J.Arrow)于美国辞世。谨作此文,以纪念他在社会选择理论,特别是其中将有关数学应用于研究经济学领域发现的"阿罗不可能性定理"作出的重大贡献。     

MPTP慢性帕金森病小鼠海马内氧化应激与细胞凋亡蛋白的表达

目的 观察 MPTP慢性帕金森病小鼠海马氧化应激指标及细胞凋亡相关蛋白的表达.方法 应用MPTP制备慢性帕金森病模型,观察行为学改变,Morris水迷宫实验,检测模型组和对照组小鼠海马内超氧化物歧化酶（SOD）、还原型谷胱甘肽（GSH）及丙二醛（MDA）舍量变化,以及免疫组织化学方法、RT-PCR方法、Western blot方法检测海马Bax和Bel-2蛋白表达.结果 慢性帕金森病模型小鼠行为学特点为震颤、活动减少;水迷宫实验结果提示认知功能降低;与对照组海马比较：模型组海马SOD、GSH含量均下降,而MDA含量升高（P〈0.05）;模型组海马Bax蛋白表达增高,而Bel-2蛋白表达下降（P〈0.05）.结论 氧化应激在慢性帕全森病认知功能障碍发病机制中起重要作用,而Bax和Bcl-2蛋白参与了氧化应激诱导海马神经元凋亡的调控过程.     

基于SHPB试验的高速铁路CRTSⅡ型CA砂浆动态性能

采用分离式霍普金森压杆(Split Hopkinson Pressure Bar,SHPB)试验研究了高速铁路CRTS II型水泥乳化沥青砂浆(CA砂浆)的动态力学性能,并建立了CRTS II型CA砂浆的动态本构关系模型.结果表明:随着应变率的增大,CRTS II型CA砂浆峰值强度逐渐增加,但增加速率随应变率的增大而减小,当应变率从44.17增加至54.79 s-1和从54.79增加至108.47 s-1时,峰值强度分别增加了初始峰值强度的52.28%和7.5%,弹性模量随应变率的变化规律性较差;应变率越大,破坏时的贯通裂纹越多,碎裂程度越大;CRTS II型CA砂浆的比能量吸收随着应变率的增大而增大.所建立的动态本构模型拟合曲线与试验曲线具有较好的一致性.     

基于多特征的域间路由节点安全状态评估方法

域间路由节点安全状态评估能够实现对BGP节点安全状态的直观、实时描述,可为制定合理的安全策略,及时定位、抑制异常路由事件提供数据参考.然而由于完整的异常域间路由集难以获取,使得传统基于数据融合的状态评估方法不再适用.分析BGP节点间交互路由过程中存在的统计特征以及这些特征与域间路由节点安全状态的关系,进而提出一种基于多特征的安全状态评估方法.以平均路径长度和路由事件发生频率等属性为安全特征,并借鉴云模型理论转换定量特征为定性概念的思想,构建域间路由安全特征云,将正常态下的多属性综合安全特征转换为安全正常态,然后通过度量安全特征偏离正常态的程度来计算节点偏离正常态的程度,由此得到域间路由节点面临安全威胁的概率.实验结果表明,该方法能够实现对域间路由节点安全状态的评估,准确性高、实时性强,可为域间路由系统的安全稳定运行提供有力支撑.     

基于人眼状态识别的驾驶员疲劳检测方法研究

提出一种基于眼睛状态识别的驾驶员疲劳状态检测的方法。首先通过建立肤色模型分割出人脸区域,再利用搜索连通域的方法实现眼睛区域的定位;然后计算出眼睛区域的垂直积分投影曲线,提取并比较曲线的特征参数,从而识别眼睛的状态;最后以眼睛闭合时间比率为测量标准实现对驾驶员疲劳程度的检测。实验表明,该方法简单、有效、实时性较好,疲劳检测的正确率较高。     

喷油量自动测量装置的研究

基于ATmega128单片机和差动变压器式（LVDT）位移传感器,运用位移法的工作原理,设计了高精度柱塞油缸量油系统。在设计之前,对柱塞油缸进行了精度分析。并在喷油泵试验台上进行了对比试验,结果表明该测量系统精确、可靠。     

一种用于动态光散射测量的虚拟数字相关仪

根据数字相关的基本原理, 利用高速数据采集卡和实验室虚拟仪器工程平台LabVIEW, 设计开发用于动态光散射测量的数字相关仪. 利用该数字相关仪对动态光散射实测数据进行分析处理, 给出散射光强的时间自相关函数曲线, 反演计算了颗粒粒度, 并与已知粒度进行比较, 得到较好的测试结果.      

CRC算法在计算机网络通信中的漏检分析

在计算机网络通信中,为了降低数据通信线路传输的误码率,可以采用一种差错检测控制——循环冗余码验(CRC).介绍了CRC算法的原理、CRC算法的校验规则、CRC算法分析、CRC算法的漏检分析.     

基于ULS、 TLS和超声测高仪的天然次生林中不同林冠层树高估测

【目的】应用不同数据源分析不同林冠层中探测提取树高的异同,探索适用于中国北方天然次生林树高估测的方法。【方法】以东北林业大学帽儿山实验林场中林施业区0.25 hm²样地为研究区域,基于无人机激光雷达(unmanned aerial vehicle laser scanning, ULS)、地基激光雷达(terrestrial laser scanning,TLS)和Vertex IV超声测高仪实测单木树高,根据冠层高度分布(canopy height distribution, CHD)对林冠层进行分层,对不同林冠层(上层和下层)、不同树木类型(针叶树和阔叶树)探测提取的树高进行对比与分析。【结果】由CHD计算得到的冠层分层阈值为8.5 m。树高的离群值大多产生在林冠上层,阔叶树比针叶树更容易产生离群值,ULS比TLS更容易产生离群值。在林冠上层,ULS比TLS估测树高的相对均方根误差(rRMSE)低2.56%,ULS提取针叶树树高的rRMSE比阔叶树低2.68%;在林冠下层,ULS仅能探测到少量树木,ULS比TLS探测提取树高的 rRMSE高6.31%,TLS提取针叶树树高的rRMSE比阔叶树低1.16%。【结论】针叶树的树高估测精度普遍高于阔叶树;当TLS和ULS均能对单木进行完全扫描时,具有准确提取树高的潜力;树高离群值多由冠型不规则或相互交叉的阔叶树产生,而大部分针叶树,由于具有规则的冠型,所以产生的离群值较少;基于CHD对林冠层进行划分能够较好地反映不同数据源估测树高的适用范围,具有一定的推广意义。     

具有齐次核的Hilbert型积分不等式的构造特征及应用

利用实分析技巧,研究具有齐次核的Hilbert型积分不等式的构造特征及取最佳常数因子的充要条件,得到了最佳常数因子的解析表达式.