优化变形工艺提高芯棒利用效率的探讨

芯棒是限动芯棒连轧钢管机组中最重要的热变形工具,其使用效果决定着钢管生产成本的高低。针对芯棒用H13型钢的材料特性,通过对机组变形工艺的分析,提出了使用附加孔型对芯棒使用工艺进行优化的办法,以解决报废芯棒再利用的问题。     

GJK算法的一种特殊情形的形式化验证和应用

计算几何算法经常用于机器人避碰运动规划等安全攸关领域,对这些算法进行正确性证明非常重要.用形式化方法对算法进行验证是一种十分有效的手段,尤其是定理证明的方法用严格的数学公理和定理推理证明逻辑模型的性质,对所验证的性质而言是完备的.基于GJK算法设计了计算空间两条线段间距离的算法,用定理证明器HOL4对其相关的定义和定理进行形式化定义和证明,进而基于霍尔逻辑完成形式化表示和证明,对该算法的正确性实现了形式化验证.最后,给出了这一经过验证的算法在双臂机器人无碰撞运动规划中的应用.     

概率模型检测技术在机器人路径规划中的应用

在机器人路径规划的实际应用中,针对机器人移动行为可能会受到外界环境影响的难题,提出了一种采用概率模型检测技术进行路径规划的新方法。首先,分析环境中的主要影响因素,将机器人的移动行为看作一个不确定事件,构建马尔可夫决策过程(MDP)模型。然后,采用概率计算树逻辑(PCTL)公式描述模型属性,表达机器人复杂多样的目标任务。最后,运用PRISM平台对模型进行分析和验证,得到满足属性的全局优化路径和定量数据。仿真结果表明,上述方法不仅能够保障机器人在障碍物环境中无碰撞移动,而且可以避开环境相对复杂的区域,保证机器人以最大概率完成任务。对比试验证明上述方法的正确性和有效性。     

浅析东雷抽黄灌区泵站更新改造设计中的几个重要环节

通过渭南市东雷抽黄大型灌溉泵站的更新改造设计,提出泵站在改造设计中应注意的几个重要环节,以期为其他大型灌排泵站的更新改造提供参考与帮助。     

四网协同资源配置模型战略分析

四网协同是中国移动3大战略之一。如何通过科学的资源配置,真正实现四网协同发展,是中国移动集团、省市公司和地市公司共同关注的核心议题。在四网大协同的战略背景下,通过研究搭建了一个基于四网协同的闭环、联动、可获取、可评估的资源配置分析模型。一方面,通过体系化的四网资源配置模型,能够有效地支撑中国移动四网战略的落地,保障四网协同战略的有效实施;另一方面,通过闭环的投资策略方案比较分析,支撑中国移动集团公司与各省公司四网投资的精细化管理,提升投资管理效益。同时,还根据大协同分析思路和端管云策略体系,达到提升中国移动的企业综合效益,促进中国移动可持续发展的目标。     

IT推动业务

Randy Poppell解释了UniGroup的IT部门如何帮助公司度过了艰难的时刻。     

商用PC的未来

对于商用PC的未来,过去的很长一段时间有三个典型的问题,是我经常从客户以及媒体那里听到的,第一个问题是商用PC会不会成为同一种形态？另外一个问题是,如果云计算环境出现的话,商用PC会不会成为特别廉价的设备？还有一个就是,商用PC会不会在未来被智能手机和平板电脑所替代？     

Google的二氧化碳效应

二氧化碳的排放是最近的热门话题,但每个人都似乎觉得这个二氧化碳的排放跟自己没啥关系,但是如果有学者告诉你：“在网上进行两次Google搜索所产生的二氧化碳和用煤气炉烧开一壶水所排放的二氧化碳含量一样高”,你觉得可信吗？     

电视的网络情结 ——三款新锐网络电视强势争雄

网络的发展已经是日臻完善了,不仅仅是电脑,越来越多的电器具有了上网功能,手机首当其冲,其次是各种掌上设备,并且连电视这个家电中的大家伙也已经开始进入了网络这个神奇的世界。     

我爱我家

我有一个梦想,梦想有一天我的家是一个让所有单身汉都艳羡不已的所在,梦想有一天我小小的两居室中所有的数码产品都是每个数码Fans梦想中的极品,梦想我的家就是一个数码家居的模板。虽然这个梦想有点远,但并不是不可实现的,当我们让数码之声轰响,响彻每一个大村小庄,每一个城镇,我们就能加速这一天的到来。那时,上帝的所有孩子,黑人和白人,犹太教徒和非犹太教徒,耶稣教徒和天主教徒,将能携手同唱那首古老的黑人灵歌：“终于数码了!终于数码了!感谢全能的上帝和大慈大悲的菩萨,我们终于数码了!”