逻辑程序的一种并行执行模型

本文基于静态相关性分析和动态调整相结合的方法，提出了一种逻辑程序的执行模型，它不仅开发了“与“并行，同进也开发了一定的“或“并行，从而有效地加速了逻辑程序的执行。     

米其林重新启动其墨西哥轮胎厂

米其林集团正投资３００万美元使其位于墨西哥的克雷塔罗州（Queretaro）的轮胎厂重新开放。两年多前，即２０００年８月，米其林出于成本考虑，关闭了当时价值５０００万美元的墨西哥轮胎厂，然后把该厂交由尤尼劳埃尔SA子公司管理。现在，米其林将通过一个新机构———APIQ对该厂进行管理和运作。APIQ是墨西哥克雷塔罗州的汽车部件供应商，其产品主要与雷诺（Renault）公司的汽车配套，雷诺风景线轿车现正在墨西哥的奎尔纳瓦卡（Cuernavaca）的一家工厂生产，该轿车厂属于雷诺公司的合作伙伴尼桑公司。米其林打算让其墨西哥轮胎厂先…     

神户制钢所开发新型轮胎均匀性试验机

日本神户制钢所称，其最新开发的轮胎均匀性试验机可以精确地测试最高速度达200kph时轮胎的失衡力。     

福特公司计划在华建研发中心

韩泰轮胎公司的汽车后市场相关综合服务中心T-Station车益驰最近在上海开业，是其在中国内地第一家直营店。该店总面积达730多平方米，由T-Station车益驰提供汽车三级快修服务，同时兼售汽车用品。     

德国研制出模压橡胶制品快速硫化技术

横滨与奔驰签署供应原配轮胎协议     

福特公司投资在华研发中心

火炬40.00-57和29.5-25工程机械轮胎下线     

意大利科美高公司开发出切向销钉挤出机

传统的销钉挤出机的销钉是沿机筒周向均布，向内插入螺杆的螺槽根部。意大利科美高(COLMEC SPA)公司开发的这款新型销钉挤出机则别出心裁，销钉从方形机筒插入后与螺杆相切。销钉杆中设计有冷却介质通道。 由于新型挤出机的销钉与胶料直接接触的长度比传统的挤出机的销钉更长，因此对胶料的剪切作用更大。同时，由于销钉中设计了冷却通道，可以更好地将胶料的热量带出。据科美高公司称，新型挤出机的速度可以比传统销钉挤出机快40%，但排胶温度却比传统销钉挤出机还低。相同规格的这种新型销钉挤出机的生产能力比传统的销钉挤出机可以…     

大陆公司在马来西亚建厂

德国大陆公司近期收购了马来西亚Sime Darby公司30％的股份,并重新命名为SDC轮胎公司。 大陆公司最初将投资3100万美元,占新公司股本的30％,并计划在今后的两年内再增购21％的股     

可控特征点对以及RANSAC的监视系统外参估算方法

为了提高基于机器视觉的监控系统的精度,立体视觉信息作为一种鲁棒性很高的参数被引入监控算法中.立体视觉信息的引入使得外参求解成为影响监控结果的一个重要环节.现存的应用于监视系统的外参自动估算方法均采用立体视觉中外参求解的方法.这些方法普遍存在特征点的数目完全由场景决定特点.为了解决在大部分监视系统应用的场景中,因为背景较为空旷、基线较长同时相机对之间的旋转量较大,由场景提供的特征点数量非常有限,导致计算结果并不理想这一问题,提出了一种基于视频序列的RANSAC外参求解方法.该方法不仅利用RANSAC算法有效的剔除外点,而且根据可控特征点对的动态性,利用时间上的积累获得了充足的位置可控、数量可控的可控特征点对,并据此得到精度较高的外参结果.根据实验,该方法可以将三维重建误差降低近50%.     

整数漏洞研究:安全模型、检测方法和实例

C/C++语言中整型的有限表示范围、不同符号或长度间的类型转换导致了整数漏洞的发生,包括整数上溢、整数下溢、符号错误和截断错误.攻击者常常间接利用整数漏洞实施诸如恶意代码执行、拒绝服务等攻击行为.综述了整数漏洞的研究进展,从缺陷发生后行为的角度提出了新的整数漏洞安全模型,总结了判定整数漏洞的充分条件.从漏洞判定规则对充分条件覆盖的角度对现有检测方法进行比较和分析.通过实例分析,讨论了整数漏洞在现实中的特征分布.最后指出了整数漏洞研究中存在的挑战和有待进一步研究的问题.