现代设计大型应用软件的可信性研究.doc

PAGE

PAGE41

项目名称：

现代设计大型应用软件的可信性研究

首席科学家：

孙家广清华大学

起止年限：

2010年1月-2014年8月

依托部门：

教育部

一、研究内容

在现代制造业，随着产品设计规模和设计难度的增加，设计系统和产品设计过程的复杂性越来越高，个性化设计需求越来越强烈，设计活动越来越突出地体现了知识密集性和通讯密集性的特点。本项目将围绕三个科学问题，对产品设计过程和设计模型的可用性、安全性、可靠性和可验证性等可信性内容进行深入研究。主要研究内容有以下几个方面：

产品模型数据表示和计算误差可控性以及模型表示的一致性，以提高设计过程中数据表示可信性；

设计系统程序