自主体人工智能建模及其哲学思考

自主体既是一个与自我、自我意识、人格同一性问题密切联系在一起的经典哲学问题,又是一个崭新的、同时具有心灵哲学和人工智能工程学意义的问题。人工智能在利用哲学自主体认识成果、对自然自主体进行活体解剖的基础上,从静态和动态角度对人类自主体作了大量的形式上的逻辑建模尝试,对实践中提出的理论和工程学问题作了基础性的理论探讨,取得了丰硕的成果。但问题是,许多建模特别是作为许多模型之基础的BDI结构是以民间心理学为理论基础的。这在现在也许有其必要性和合理性。但如此进行理论建模风险很大,因为民间心理学的前途、命运是什么,是否会像巫术等一样被淘汰,仍是心灵哲学中的未决问题。既然如此,在据以建模时就必须抛弃过去的民间心理学加之于它们的错误构想,即抛弃对于心理世界的拟人式、人格化构想或观念,进而在多科学的通力合作下,重构关于人及其心灵的正确的地形学、地貌学、结构论、运动论、动力学。     

虚拟现实技术在数字博物馆中的应用

针对数字博物馆存在的描述博物馆时缺乏真实性、形象性的不足,以及展览的实际需求,本文对虚拟现实技术以及相关理论进行了研究,探讨了虚拟现实技术在博物馆应用的必要性和可行性,并给出了其在博物馆领域中的相关应用,最后对后续的研究和应用进行了展望。     

一种铜电解生产过程的多目标量子粒子群优化

为解决铜电解生产过程能耗高的问题,采用机理和辨识混合建模方法建立铜电解过程多目标优化模型。针对量子粒子群算法求解多目标优化问题存在的多样性差、分布不均甚至局部收敛的问题,提出了一种基于信息熵和混沌变异的改进多目标量子粒子群算法,对测试函数的计算结果表明所提出算法在求解分布性方面要明显优于其他经典算法。利用改进算法在给定电价和分时电价情况下进行铜电解过程多目标优化仿真,获得了生产工艺参数的最优组合,有效的降低能耗,为电解铜的生产过程优化提供了详细的指导和理论依据。     

城市增长模拟模型研究综述

城市增长过程研究一直是地理学界长期关注的焦点问题之一。随着计算机技术的发展,城市增长模拟研究在理论和技术层面都有较快的发展。为进一步梳理城市增长模拟研究的发展历程,探寻相关研究的发展方向,在简单回顾城市空间结构和静态城市模型的基础上,重点对动态城市模型中以元胞自动机(Cellular automata,CA)和基于智能体建模(Agent-Based modeling,ABM)为代表的离散动力学模型的研究成果进行梳理,并从城市增长模型的理论、概念、属性、结构以及模拟平台5个方面进行对比分析。研究发现,城市增长模拟的动态模型能体现城市发展和演化的复杂性特点,而智能体建模方法因其具有对城市发展诸多要素及其相互作用的综合考虑而具有更大的优势。     

基于博弈论的开放环境下场景规约监控语义

在开放环境中,环境和系统本身行为的改变可能使得软件系统的实现不再满足原来规约,从而最终导致软件失效的发生.运行时监控是一种轻量级的形式化动态验证技术,已成为开放环境下检测软件失效的基本手段.针对基于场景的规约属性序列图,从博弈论的角度定义其多值监控语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控和违例.通过多值监控语义的定义,监控器能够根据当前轨迹尽可能早地检测到系统失效或异常,并提供足够信息为失效的预防和恢复服务.实例研究表明了属性序列图多值监控语义的实用价值,并显示了其广泛的应用前景.     

基于竞争失效模式的数控机床可靠性建模

数控机床是复杂的机电一体化系统，其故障不仅包括由于机械磨损造成的性能退化失效，还包括电子器件等引起的突发性失效，数控机床故障是退化失效和突发失效竞争的结果. 故本文假设突发失效和退化失效相互独立并且都服从Weibull分布，综合考虑突发失效和性能退化之间的相关性和竞争关系进行数控机床可靠性建模研究. 采用最小二乘估计法估计模型参数，运用D检验法进行参数拟和性检验；得出了一种基于竞争失效模式分析的可靠性评估模型. 最后，以15台某系列数控机床60个故障数据对该方法进行验证，说明了该方法的有效性和可行性.     

国内期刊亮点

正"大数据"理论和应用的最新研究成果中国人民大学信息学院孟小峰、美国罗特格斯州立大学熊辉等组织的"大数据"专题刊登了3篇该领域的最新研究成果。专题围绕着与大数据相关的理论与技术热点问题,从3个方面介绍了这个领域的一些最新研究成果:(1)微博生态系统的大数据建模和分析;(2)不确定数据对象的孤立点检测算法的研究;(3)遗留系统的云迁移理论和技术。专题中,北京理工大学的张华平等以新浪     

基于无人机的大场景序列图像自动采集和三维建模

提出并实现了一种基于无人机的大场景序列图像自动采集和三维重建方法,实现了大范围场景全自动图像数据采集和三维建模。首先设计实现无人机自动控制地面站和基于Cortex-A17的无人机控制模块,其次在地面站人工点选设计航线和拍摄位置,并自动控制飞行和拍摄过程,实时将序列图像回传地面站,最后地面站应用SFM方法实时自动重建大场景三维模型。实验结果表明,相对于人工控制方法,文中方法能够实现无人机飞行和拍摄过程自动控制,同时提高拍摄稳定性,降低基于无人机的大场景三维建模难度,提高建模效果。     

模糊免疫PID算法在太阳能光源定位追踪系统中的应用研究

为实现太阳能电池板接收光照幅度的最大化,提高对光源精确定位等问题,提出借鉴模糊免疫响应原理,将模糊免疫PID控制算法引入太阳能光源定位追踪驱动系统中。通过构建定位追踪驱动系统的传递函数,应用MATLAB/Simulink平台验证所构建控制器的运行性能。仿真结果表明:该控制算法在工况突变和扰动存在时,能有效消除系统误差,获得更高的控制精度和稳定性。