基本信息
文件名称:现代设计大型应用软件的可信性研究.doc
文件大小:501.5 KB
总页数:41 页
更新时间:2026-01-06
总字数:约2.11万字
文档摘要
PAGE
PAGE41
项目名称:
现代设计大型应用软件的可信性研究
首席科学家:
孙家广清华大学
起止年限:
2010年1月-2014年8月
依托部门:
教育部
一、研究内容
在现代制造业,随着产品设计规模和设计难度的增加,设计系统和产品设计过程的复杂性越来越高,个性化设计需求越来越强烈,设计活动越来越突出地体现了知识密集性和通讯密集性的特点。本项目将围绕三个科学问题,对产品设计过程和设计模型的可用性、安全性、可靠性和可验证性等可信性内容进行深入研究。主要研究内容有以下几个方面:
产品模型数据表示和计算误差可控性以及模型表示的一致性,以提高设计过程中数据表示可信性;
设计系统程序