自动导引车系统的有色时延PN-有向图建模

基于有色时延Petri网理论、有向图理论、PN的合成和简化技术,结合烟草行业的卷接包车间为典型实例对自动导引车系统(AGVS)进行分析,构造了AGVS的有色时延Petri网-有向图模型,包括适合于仿真软件开发的AGVS有色时延Petri网模型,适合于路径优化研究的AGVS有向图模型和从有向图模型得到有色时延Petri网模型的转换算法。利用该模型成功的开发了AGVS仿真软件系统AGVSim。     

STL模型的立体显示及其多屏拼接

介绍了基于微机的多通道STL模型交互式立体显示系统。首先由程序提取STL文件三角形面片以及向量坐标信息,进行数据冗余处理和顶点向量的光滑处理,并通过OpenGL生成可视化的STL三维实体模型。利用偏振光叠加的方法实现立体显示功能,提出了以网络同步功能为基础的多通道多屏拼接方案,开发了基于SpaceBall的交互功能,实现对STL模型的位置及姿态进行控制。作为低成本的虚拟现实系统,该系统方案可应用于多种领域。     

集成范例推理系统的研究

首先研究了与范例推理相集成的多种技术,并着重研究了基于范例推理和规则推理的集成方法,以及基于范例推理和归纳技术的集成方法,以此来充分利用范例推理、规则推理和归纳学习技术的各自优势,提高智能系统求解问题的能力。     

面向节能控制的楼宇机理模型仿真研究

由于现有建筑系统能源消耗大,控制系统复杂,电力成本高,为降低电力成本,搭建建筑的机理模型进行仿真。为证明建立的模型适用于建筑系统,对模型的准确性进行仿真验证。通过对比恒定电价与时变电价的加热功率,可以看出系统通过模型预测控制能随着时间的推移响应电力价格的变化,进而很好地控制电力成本,节约能源。     

时变海场景双基SAR回波实时模拟方法研究

基于时变海场景双站散射机理,结合双基合成孔径雷达(SAR,Synthetic Aperture Radar)成像几何模型,提出了一种时变海场景双基SAR射频回波信号实时模拟方法。针对时变海场景的复杂耦合散射,采用多径近似理论建立了双基SAR海面目标回波信号模型,提取了时变海面双基SAR系统响应函数,结合高性能计算技术、同步动态随机存取(SDRAM)技术以及全系统交换设计,实现了时变海场景双基SAR射频回波信号实时模拟,最后仿真测试结果验证了该方法的有效性。     

基于漫水填充的图像骨架提取方法

针对当前图像骨架提取存在毛刺现象和骨架冗余的问题,提出基于漫水填充的图像骨架提取方法。对目标图像预处理,得到阈值化二值图像,分割出前景和背景;构建掩模图像和轴线图,为后续运算过程提供数据来源和判断依据;通过遍历水平面灰度直方图,模拟漫水过程,收缩掩膜图像的前景轮廓,根据邻域连通分量变化,确定是否为骨架特征点,待轮廓收缩完毕,得到图像骨架。实验验证表明,该方法可以有效地提取图像骨架,毛刺现象和冗余结构明显减少,执行速度快。     

面向手机的云端VR三维场景立体显示与交互框架

针对手机无法渲染可交互的高质量三维场景这一弊端,提出一种面向手机的云端VR应用框架。此框架结合云渲染和VR技术在手机端实现可交互高质量三维场景的立体显示,并以手机浏览器作为客户端,利用视频块流传输图像数据、消抖算法(AJA)处理交互数据,实现Web端轻量级渲染,不仅降低了移动端数据可视化运算成本,还避免使用插件和下载安装包。实验表明本文框架的显示帧率能达到30帧每秒,带宽控制在80 kb/s以内,能稳定地在手机上实现传统App无法实现的逼真VR体验。     

实时检验泡沫：基于严格局部鞅判别的泡沫检验方法

实时检验泡沫并对市场参与者和监管者进行预警,有利于防范和化解金融风险。基于检验泡沫的严格局部鞅判别原理,在RKSH方法的基础上拓展了一种倒向滚动检验方法（BSLM）,并通过蒙特卡洛仿真和实证分析验证了新方法的有效性。研究发现：相对于传统严格局部鞅判别方法,BSLM方法对距离当前时刻较近的泡沫具有更高的检验势,并且能更早地事前预警泡沫;在对中国股票市场主要指数2000~2015年的泡沫检验中,新方法能判断泡沫的生成时间和破灭时间,发现上证指数和深圳成指的泡沫具有较强的联动性。     

大数据营销:综述与展望

随着追踪消费者足迹能力的增强,营销科学正经历着一场大数据的革命.为了了解大数据背景下消费者行为和营销战略的改变,此项研究结合近十余年大数据营销的有关文献,梳理了大数据营销的相关概念,类型及分析方法,并提炼出搜索、移动、口碑、数字化、APP和社会媒体等50个大数据营销的热门主题.在此基础之上,分别从互联网、社会网络、移动互联网、大数据和人工智能等四个阶段对大数据营销的研究进展进行回顾,最后围绕客户旅程,营销活动的量化评估和营销分析技术的开发三个方面对大数据营销的未来研究方向进行展望.     

Robust stability test for 2-D continuous-discrete systems with interval parameters

It is revealed that the dynamic stability of 2-D recursive continuous-discrete systems with interval parameters involves the problem of robust Hurwitz-Schur stability of bivariate polynomials family. It is proved that the Hurwitz-Schur stability of the denominator polynomials of the systems is necessary and sufficient for the asymptotic stability of the 2-D hybrid systems. The 2-D hybrid transformation, i. e. 2-D Laplace-Z transformation, has been proposed to solve the stability analysis of the 2-D continuous-discrete systems, to get the 2-D hybrid transfer functions of the systems. The edge test for the Hurwitz-Schur stability of interval bivariate polynomials is introduced. The Hurwitz-Schur stability of the interval family of 2-D polynomials can be guaranteed by the stability of its finite edge polynomials of the family. An algorithm about the stability test of edge polynomials is given.