【摘要】随着计算机应用的快速发展,软件已经渗透到各行各业,人们高度关注软件的正确性、可靠性、安全性、完整性、可用性等可信性质。而并发程序的出现,使其对正确性测试越发的困难,由于并发程序运行时的不确定性,很难检测到错误；许多并发错误到了用户使用阶段才被发现,再修复这些错误需要付出昂贵的费用。并发正确性测试是可信软件测试过程中最重要的一部分,如何检测出并发错误并采取有效的措施来保证可信软件的并发正确性 […]

【摘要】由于国内外汽车市场的需求量逐渐增加，使得汽车市场竞争日趋激烈。各大汽车企业为了争夺销售市场，都在试图降低制造成本、提高整车性能、延长汽车的使用寿命和缩短汽车研发周期。汽车的车架作为汽车的主要承载部分，支承着汽车发动机、驾驶室、油箱和货箱等各个部件。因此，汽车车架的设计对于汽车研发具有重要意义。传统的车架优化方法往往无法解决车架工作状态时复杂的受力情况，所以以往的经验设计已经逐渐被科学设计所 […]

【摘要】珩磨加工是一种提高工件表面质量、几何形状及尺寸精度的高效、低成本加工工艺方法,珩磨与其它切削方法相比具有许多独到之处。随着珩磨工艺及珩磨机床的发展,珩磨加工被越来越广泛应用于缸套、发动机内孔表面等的加工中。大行程双进给珩磨头作为大中型珩磨机的重要工具部件,其主要包括大顶杆、小顶杆、大锥体、小锥体、粗珩油石座、精珩油石座及磨头体等零件,其刚度及强度是影响珩磨加工精度的重要因素。大行程双进给珩 […]

【摘要】大型船用柴油机用数控珩磨机是装备制造业的重要设备之一,高档数控珩磨机,对提高大型高精度珩磨机的加工精度和加工效率有着深远意义。珩磨头作为珩磨机的工具部件,其结构与重量对珩磨机性能和特性有直接影响,高精度珩磨加工,可有效缩短发动机的跑合时间,减少能量消耗,降低尾气排放并提高设备的可靠性。大型珩磨头体积大、质量大,尤其在上下往复运动的高速换向时,珩磨头的自重以及换向时的惯性严重影响珩磨加工,因 […]

【摘要】Java语言已经成为了近几年最为重要的编程语言之一,根据权威开发语言排行榜TIOBE的统计,从2002年至今的10年内,Java语言市场占有率始终处于所有开发语言的前两位。近年来,随着安卓系统的普及以及安卓平台将Java作为其程序设计语言,Java语言不论在移动终端还是在个人电脑、服务器平台上都已经占据了不小的份额。如今,毫无疑问Java语言影响着信息产业的方方面面。与此同时,随着Java […]