基于ADAMS和MATTLAB的一种新型球形机器人的联合仿真

利用三维造型软件建立了新型球形机器人的虚拟样机模型,并建立起动力学方程。应用MATLAB/Simulink工具并结合ADAMS/View仿真软件对其运动学方程进行验证。通过数据得出方程的正确性。     

富士施乐数码多功能机落户中国移动成都公司

继2007年中标中国移动成都公司200余台数码多功能机后,全球领先的文件管理专家——富士施乐又赢得该公司采购大单,为其提供约250台A3数码多功能机。这批设备已入驻中国移动成都公司的200多家营业网点、营销中心和行政办公区域,用于证件复印、报表打印等。目前富士施乐已陆续为中国移动成都公司提供了450余台A3数码多功能机。中国移动成都公司此次采购了     

2012中国信息化成果 政府行业优秀解决方案奖 东城区楼宇经济指标监测系统开发项目

解决方案：通过采用赛迪时代区域经济监测云平台,东城区在综合调研业务现状和深入分析具体需求的基础上,按照“远处着眼、近处着手”的原则,梳理业务需求,确定指标体系和报送流程;利用信息技术构建报送平台,     

基于小波的实时烟雾检测*

传统的离子式、吸气式、光电式等烟雾检测器在大空间中检测烟雾时,会受到发射信号与接收信号之间的距离、平面角度、精确对准等限制,无法对整个空间的烟雾状况进行描述.新的方法通过监测区域的摄像机拍摄的视频图像序列,进行小波变换,分析图像帧在时域和空域的频率特性,来确定被监测区域是否有火灾烟雾的发生.实验证明该方法不受空间高度、热障、易爆、有毒等环境的限制,并且有灵敏度高、抗干扰力强、适用范围广等特点.     

一种新颖的低层视觉特征到高层语义的映射方法*

通过在低层视觉特征上提取图像的局部颜色和纹理特征,再利用模糊神经网络建立低层视觉特征和高层语义特征之间的映射,实现了图像属性信息的有效传递和可靠检索.最后,为了提高检索效率,把相关反馈引进到图像检索系统中.实验证明,该方法取得了较好的检索查全率和准确率.     

基于演化算法的奇偶校验器自动设计*

基于演化算法技术,提出一种新的设计思想,实现奇偶校验器的电路自动设计.实验证明,多目标演化算法具有较少的运算量和较高的效率,能自动设计出使用逻辑门数更少、延时更小的奇偶校验器.     

一种新的动态权重更新相关反馈方法*

提出了正负相关图像所占比例与特征值的标准方差相结合来调整对应权值的方法.为了避免相关反馈的权值调整陷入局部最优状态,引入一个干扰因子,使权值跳出局部最优区域.结果表明了该方法的优越性.     

过硫酸铵-银盐氧化光度法快速测定气阀钢中锰含量

本文引入一种定锰混酸溶液,采用过硫酸铵-银盐氧化光度法测定气阀钢中锰元素含量,通过标准曲线线性检查、准确度检查、精密度检查、实验室间结果比对等方法验证与确认,证明此方法简便、快速、易操作,大大提高分析速度满足炉前快速分析的实际需要,与国家标准方法相比,结果精确度较好。     

基于悖论证明与局部搜索的不可满足子式求解算法

随着软硬件设计规模日益增加,功能越来越复杂,功能验证与调试在整个设计周期中占有的比重越来越大,迫切需要高效的方法诊断与定位设计中的错误,而求解不可满足子式可以显著提高自动化工具定位错误的效率.近年来,求解不可满足子式的算法多是基于DPLL(Davis-Putnam-Logemann-Loveland)回溯搜索过程的完全算法,很少有研究涉及到不完全方法.文中针对求解不可满足子式的不完全方法,提出了悖论证明与悖论解析树的概念,并提出一种启发式局部搜索算法,从布尔公式的悖论证明中求解不可满足子式.算法首先采用融合了布尔推理技术、动态剪枝方法及蕴含消除方法的局部搜索过程,逐步构建悖论证明所对应的悖论解析树;然后调用递归函数搜索悖论解析树,最终得到不可满足子式.基于实际测试集与随机测试集进行了实验对比,结果表明文中提出的算法优于同类算法,而且动态剪枝与蕴含消除技术能够有效地减少存储空间及运行时间.