一种基于四变量模型的系统安全性建模与分析方法

近年来,基于模型的系统安全性分析与验证方法是安全关键系统工程领域中的一个重要研究方向。提出了一种基于四变量模型的系统安全性建模与分析验证方法,该方法利用AltaRica建模语言对系统进行建模。通过对四变量模型及AltaRica进行语义研究构建二者之间的映射规则,以民用飞机中机轮刹车系统(Wheel Brake System,WBS)为例来说明整个验证过程,即首先利用四变量模型从系统的需求层次上对WBS进行需求分析并根据映射关系构建AltaRica模型,接着利用故障树分析方法对WBS进行安全性研究,最后基于AltaRica配套工具ARC对系统的安全性属性进行验证。验证结果表明了该方法在系统安全工程领域中的实用性。     

用于彩色图像复原的带有高阶耦合项的TV模型

提出了一种改进的TV(Total Variance)彩色图像复原方法。为消除TV模型的各向异性扩散导致的块效应,采用在TV模型的基础上耦合高阶项的新模型;并将这个新的模型推广到彩色图像,利用多通道的耦合机制实现各单色通道图像复原过程的相互制约。新模型保持了各向异性扩散的特性,图像的边缘得到了保持。实验结果证明, 与其它模型的复原 彩色图像相比,新模型复原的图像的峰值信噪比(PSNR)有了更大的提高,图像的非边缘区看上去更加平滑自然。     

基于ARM的四摄像头光学触摸屏系统研制

针对目前超大触摸屏价格昂贵、通用性差的问题,采用图像识别技术构建了基于ARM的四摄像头光学触摸屏系统。系统通过安装在4个顶点的CMOS摄像头同步采集触摸屏区域图像,ARM微处理器对采集的图像进行触摸点检测,根据触点成像位置和摄像头标定得到触点的方向直线,最后通过计算任意两条直线相交于一点来确定触点的位置。实验表明,此系统对单点和两点触摸能达到99%的识别率,触点坐标位置误差小于2%。     

希望森兰:抓住机遇 逆势而上

2015年开年以来,在投资紧缩、需求低迷、出口下滑等诸多不利因素影响下,中国变频器市场持续在低位徘徊,主要市场参与者均面临不同程度的业绩及利润的压力。变频器经历多年的稳定增长之后,2014年开始呈现出市场衰退的前兆,2015年中国变频器市场继续下行,萎缩幅度进一步扩大,对于变频器厂商而言无异于过一个寒冷的冬天。在如此严峻的市场形势面前,国内大部分变频器厂商业绩明显下滑,但是,也有少数的变频器厂商的     

四旋翼无人机可视化轨迹跟踪仿真系统

为了便于对四旋翼无人机控制算法进行实验仿真和验证,联合Solidworks和Matlab/SimMechanics工具箱设计了一种四旋翼无人机可视化轨迹跟踪仿真系统;利用Solidworks搭建了四旋翼无人机三维实体模型,并通过Solidworks和Matlab转换接口将该实体模型导入到Matlab/SimMechanics中;Matlab/SimMechanics提供了了三维可视化窗口,可以显示无人机的实时仿真状态;仿真平台在Matlab/SimMechanics环境中实现,与Matlab/Simulink通信方便,可方便的将Simulink设计好的控制算法添加到仿真系统中,以进行验证和参数整定,还具有姿态分析和数据分析等功能;轨迹跟踪仿真结果表明,四旋翼无人机可视化轨迹跟踪仿真系统直观可视,准确可靠,能较好地对控制算法进行研究和测试,对四旋翼无人机以及控制算法的研究和开发具有重要价值。     

基于MongoDB的轨迹大数据时空索引构建方法

近年来,随着计算机技术与无线传感器网络的发展,轨迹大数据越来越得到人们的关注.针对海量轨迹数据在存储与查询中出现的效率问题,文章基于文档型非关系型数据库MongoDB提出了一套基于四叉树的道路网时空索引,实现海量轨迹数据的高效查询.通过对太原市1915辆出租车的50万条轨迹数据进行时空查询,在不同数据量与不同并发数下测试道路网时空索引与MongoDB复合时空索引的效率表现.实验结果显示道路网时空索引在数据量大于10万时有较好表现,并能够适应不同并发数下的时空查询,验证了道路网时空索引构建方法的可行性和高效性.     

基于MAEKF算法的航姿参考系统设计

构建了以低成本MEMS陀螺仪、加速度计和磁传感器组合的航姿参考系统,提出了一个乘性自适应扩展卡尔曼滤波算法.取乘性误差四元数和陀螺仪误差作为状态量,基于重力场和磁场构造了量测矢量,用于修正航姿数据.并采用准确量测法,给滤波器加入了四元数的归一化约束,最后给出了基于新息的估计量测噪声方差矩阵的公式.通过仿真和试飞验证,表明本文设计的低成本的航姿参考系统能够提供比较准确的航姿信息.与常规的扩展卡尔曼滤波器比较,本文设计的乘性自适应扩展卡尔曼滤波算法有效提高了系统的精度和稳定性,并且具有较好的鲁棒性.     

混战4G 高通和苹果成天平砝码

就在国内众多手机用户才刚刚弄清楚3G究竟是怎么回事的时候,却发现4G时代已经悄然而至。这背后是中国移动、中国联通、中国电信为代表的国内三强运营商的积极备战。牌照未发中移动强推4G业务所谓4G,其实是第四代移动通信及其技术的简称,是在3G基础上发展起来的一种最新移动通信标准。相对     

面向未来 消除用户与IT鸿沟

2013年10月15日,英特尔（中国）有限公司在北京介绍了旨在面向未来应用、消除用户与IT鸿沟的全新一代英特尔架构商用客户端,充分展示了基于第四代智能英特尔酷睿博锐平台的商用超极本以及PC／平板2合1产品,以及商用就绪的英特尔凌动处理器Z3000系列,显示出英特尔借助为商用环境打造的平台,正不断弥合用户和IT之间的需求差异。至此,基于英特尔架构的全系列移动商用客户端可为企业用户打造易用、安全、可管理的IT环境。     

八辊五机架冷连轧控制系统

本文以八辊五机架冷连轧控制系统为研究对象,首先,针对八辊五机架冷连轧控制系统的基本结构组成情况进行了简要分析,在此基础之上研究了八辊五机架冷连轧控制系统的主要功能实现情况,旨在于为今后相关研究与实践工作的开展提供一定的参考与帮助,通过控制功能的发挥,促进八辊五机架冷连轧系统综合运行质量与连轧操作水平的有效提升。