科学知识社会学相对主义知识观批判

"强纲领"是埃丁堡科学知识社会学学派(简称SSK)提出的研究知识社会成因的社会学形而上学理论.巴里·巴恩斯和大卫·布鲁尔是这个学派的理论家.他们把自己的纲领定位在"相对主义知识观"上,其批判的矛头直指科学哲学研究中的理性主义.在20世纪曾经占统治地位的科学哲学理性主义知识观受到挑战后,如何评价科学知识社会学的相对主义知识观?本文试图通过分析批判SSK相对主义知识观的几个主要观点,并对现代科学哲学中相关的理论做出历史反思和辩护来审视这个问题.     

基于集对分析的模糊逻辑研究

介绍了一种新的解决模糊问题的途径 ,提出了一种模糊逻辑表示新形式 ,论证了其较之于传统模糊逻辑表示法的优点 .     

禁止进口固体废弃物的逻辑与前景

封闭经济体中可以进行经济协同的空间较为狭小,经济全球化则深刻改变了各国在全球价值链上扮演的角色。商品、服务、资金、人员等各类要素的流动和分配方式更为多元,为各类经济活动的全生命周期管理提供更多方案。一直以来,生活消费品的最终阶段并非止于消费者,而是需要进一步延伸至垃圾处理、回收和再利用环节。长期以来,作为全球制造中心,中国通过大量进口原材料.     

欧氏空间中常高阶平均曲率紧致凸超曲面与高斯映像

针对(n+1)维欧氏空间Rn+1中紧致无边凸超曲面M,利用一个已知的积分公式,并提出一种新的技巧,证明了:如果存在一个整数r(1≤r≤n-1)使得M的第r阶高阶平均曲率Hr是常数,并且M的高斯映照是到标准单位球面Sn的拓扑同胚,则M全脐.     

受相互作用影响下的项目组合选择问题的有效求解方法

【目的】相互作用关系的高阶项目组合选择问题通常被转化为一个整数多项式规划问题,利用传统方法需要使用大量的不等式约束,但是引入大量非紧不等式约束会造成严重的计算负担,针对这个问题提出了新的有效求解方法。【方法】将高阶项目组合选择模型转化为混合0-1规划,利用一个新的线性化方法,将大量非紧不等式通过等式约束代替,然后采用分枝定界法来得到最优解。【结果】通过大量数值实验,展示了新方法在解决考虑相互作用关系的高阶项目组合选择问题时的计算效率。【结论】结果表明,所提出的新方法能够有效提高求解此类问题的计算效率。
     

可证明安全的射频识别双向认证协议

由于射频识别系统中读写器和标签是在不安全的无线信道中进行通信,而且随着移动读写终端的出现,使得读写器和服务器通信也不安全,容易受到假冒攻击、窃听攻击、中间人攻击等安全威胁,针对此问题提出了基于中国剩余定理的射频识别双向认证协议。该协议利用对称加密、模运算等方式提高信息传输的安全性,引入时间戳来抵抗中间人攻击,并利用中国剩余定理对各方进行认证,最后采用随机更新密钥的方式进行密钥更新,并通过形式化证明的方法和常规攻击分析的方式来验证协议安全性。将该协议与其他协议进行安全性、计算量和存储量的比较,结果表明:文中协议安全性高、计算量小且存储量适中,在射频识别领域安全方面具有一定的应用价值。     

MLD模型下逆变电路改进型直接功率预测控制

建立了新型逆变电路精确的混合逻辑动态(MLD)模型,并将其作为预测模型,研究了新型逆变电路基于预测直接功率控制(P-DPC)的模型预测控制方法。为了达到航空电源电压输出要求和降低开关损耗,在原来的3+3电压矢量控制序列法的基础上扩充了零矢量进行了改进,形成了一种新的对称的4+4电压矢量序列法,通过对下一时刻输出电压有功和无功分量的预测,在最小化目标函数值的基础上求出每一个电压矢量的作用时间,完成电路的控制。该方法减小了输出电压THD,具有良好动静态特性有一个较为稳定的开关频率,仿真和实验验证了所提方法的可行性和有效性。     

硬化非高斯结构响应首次穿越的Monte Carlo模拟

在对比分析已有硬化非高斯模型(Winterstein硬化模型、Ding和Chen模型)的基础上,提出了一个基于Zhao和Lu模型的新硬化非高斯模型.新模型预测偏度和峰度的误差比既有硬化模型小,且最大误差分别为0.311和0.479,表明新模型具有良好的精度;同时新模型扩展了Zhao和Lu模型的适用范围.最后运用新硬化模型模拟硬化非高斯过程样本,发展了硬化非高斯结构响应首次穿越的Monte Carlo模拟方法.数值算例验证了本文方法用于硬化非高斯结构响应首次穿越失效概率计算有较高的精度;杭州新火车东站大跨屋盖以及南水北调工程渡槽结构工程实例说明了本文方法的使用过程.     

视觉概念学习方法研究进展

计算机视觉的核心问题是寻找视觉概念的层次化与结构化表示.以深度学习为代表的连接主义方法能够学习到输入图像数据的分层表示,这个表示具有优异的类内不变性与类间区分性,带来了视觉目标分类问题的突破式进展.而以图像随机语法模型为代表的逻辑主义方法试图基于先验知识和输入图像数据得到视觉概念的层次化与结构化表示,进而实现像人类一样的概念迁移学习,从更一般的意义上解释视觉现象.综述了两类方法各自的一些代表性工作,分析了其主要思路与各自的优缺点.分析认为,两类方法具有明显的互补性,在概率图模型框架下将两类方法综合是未来视觉概念学习的一个重要发展方向.     

逻辑的“博弈化”概念的分析

逻辑的"博弈化"是20世纪后半叶开始形成的新颖概念。它是直到目前已有的四种逻辑博弈即语义博弈、模型比较、模型建构和论证与对话博弈的核心概念。文章通过考察范本特姆给出的这四种博弈,从哲学上分析逻辑的"博弈化",给出逻辑的"博弈化"的定义和性质。通过分析逻辑的"博弈化",发现其有以下主要性质:首先,它是与博弈逻辑相反的概念,这使得它模糊了逻辑和博弈的界限,引发了对逻辑的哲学思考;其次,它具有博弈的基本特征,由此它也引发了对博弈的哲学思考;此外,它是围绕语义模型去探讨的,由此还引发了关于"真"的哲学思考。