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

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