问题解决中的启发式：一个整合性的理论框架

本文从人类记忆系统的双重认知加工过程模型出发,提出了关于问题解决中的启发式的理论分析框架,梳理了启发式的概念内涵及其在问题解决过程中的作用机制,并根据问题解决者所拥有的知识类型差异界定了四种类别的启发式,以此对已有的启发式研究进行整合和拓展。     

意义：一种有限论的观点

意义问题是语言哲学、逻辑哲学、分析哲学中的基础而核心的问题。科学知识社会学的布鲁尔等人提出意义的有限论观点,主张概念的先前使用并不决定其后续的用法,总是存在历史学家或社会学家追问概念何以被如此使用的问题。意义的有限论观提供了一种思考与理解意义与知识的独特方式。     

1维正方准晶的2类接触问题

利用广义复变函数方法研究了1维正方准晶的2类接触问题,即有限摩擦接触和半平面粘结接触问题,得到了刚性平底压头作用下压头下方接触应力及接触位移的显式表达式.结果表明:(i)对于有限摩擦接触问题,接触应力在压头边缘呈现-1/2±θ阶奇异性,其中θ由准晶的弹性常数和摩擦系数确定; 对于半平面粘结接触问题,接触应力在压头的边缘显现出-1/2±iε阶奇异性,其中ε由准晶的弹性常数确定;(ii)由数值算例可知,对于2类接触问题,接触应力在压头下方分布规律相似; 接触位移与声子场作用力之间成正比例关系; 接触应力在接触区边缘变化非常剧烈,且产生了应力集中现象.在一定条件下可得到1维4方和6方准晶2类接触问题的解.     

具有限时滞的混合型脉冲泛函微分包含

利用集值映射的不动点定理得到具有限时滞的混合型脉冲泛函微分包含温和解的存在性结果,改进和推广了已有的一些结果.     

有限技术治理的理论建构与时代意蕴

技术治理在当今社会中无处不在,智能革命更是将之推进到智能治理的新阶段。在基本理念层面,有限技术治理信奉科技谦逊主义,坚持有限工具原则,主张渐进工程方法,赞同开放包容的价值观。在主要措施层面,有限技术治理防范伪技术治理,控制反治理现象,完善再治理制度。有限技术治理理论遵循马克思主义基本原理,努力结合中国传统与国情,服务于国家治理现代化和中国特色社会主义建设伟大事业,具有很强的时代意蕴。     

PFSM在海军航空兵作战仿真中的应用研究

海军航空兵遂行作战任务时,面临空中截击、地面以及海上打击等多种随机的、不可预测的风险,其整个作战过程可以看作一个随机过程,且具有Markov效应。提出了采用随机有限状态机（PFSM）来描述海军航空兵作战过程的方法,并基于此来构建其作战仿真系统框架。通过接口程序获取外部仿真系统的数据,以及将效能评估模型嵌入此仿真框架中,采用Monte Carlo方法,经多次仿真,可以实现航空兵遂行作战任务的风险分析和效能评估。     

基于PHD滤波和数据关联的多目标跟踪

针对杂波环境下的多目标跟踪,概率假设密度（probability hypothesis density, PHD）滤波不能提供目标航迹信息的问题,提出一种基于PHD滤波和数据关联的多目标跟踪方法。利用PHD滤波消除杂波并得到各个时刻的目标个数和目标状态估计。将PHD滤波的结果重新定义为量测数据,通过数据关联进一步消除虚警和漏警并给出目标航迹。仿真结果表明,该算法可以在有效地提高杂波环境下多目标跟踪精度的同时提供各目标航迹信息。     

基于无迹粒子PHD滤波的序贯融合算法

针对在杂波、漏检和非线性情况下,粒子概率假设密度滤波（particle probability hypothesis density filter, P-PHDF）算法估计精度不高、滤波发散及粒子退化等问题,提出了一种基于无迹粒子概率假设密度滤波（unscented particle PHDF, UP-PHDF）的序贯融合算法。利用无迹粒子滤波（unscented particle filter, UPF）实现PHDF,由UKF算法得到更好更优的重要性密度函数并从中采样,使粒子的分布更接近多目标概率假设密度分布;另外,为进一步提高滤波算法的性能,实现基于雷达和红外传感器的UP-PHDF序贯融合算法,通过两传感器交替滤波保证目标状态的可观测性。在复杂环境下,仿真结果表明该算法的估计精度和稳定性明显优于单传感器P-PHDF算法。     

基于场景的形式化测试模型生成方法

在复杂的Web应用软件中,如何有效地实现自动化测试是当前软件测试研究中的热点与难点.使用统一建模语言（unified modeling language,UML）状态图对Web应用软件的行为建模,利用已有的方法将已建好的模型形式化成有限状态机(finite state machine,FSM);然后使用UML顺序图表示场景,通过使用场景规约系统行为,最终得到约简后的形式化测试模型用以实现自动测试.     

海底电缆抛石保护层抗锚害能力的数值模拟研究

海底电缆抛石保护层抗锚害能力涉及到离散和连续两种不同尺度介质的相互作用。针对单独使用连续体法或离散元法分析的不足,首先通过经典变分原理,证明了离散-连续耦合算法的可行性。接着引入接触面的相容条件和平衡条件,实现了离散元法（DEM）和有限差分法（FDM）的耦合计算。设计了抛石保护层抗锚害能力的室内缩尺试验,采用与试验相同的工况,分别用DEM近似法和DEM-FDM耦合法进行了计算,并将两种数值算法的结果和试验值作了对比分析。结果表明,两种数值方法得到的结果都比试验值偏大,但是DEM-FDM耦合法更接近实际情况。