• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Integrated Design amp; Process Technology vol.1(IDPT-Vol.1, 2005) >DIGITAL MOCK-UP AND RAPID PROTOTYPING INAUTOMOTIVE PRODUCT DEVELOPMENT
【24h】

DIGITAL MOCK-UP AND RAPID PROTOTYPING INAUTOMOTIVE PRODUCT DEVELOPMENT

机译：数字样机和快速原型开发汽车产品

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

This paper tries to contribute to the understanding of the essence of rational systems designrnand verification. Information technologists and teachers and students of computer science mayrnfind the concepts presented here helpful to disentangle complex achievements of computerrnscience and re-use their constituents in other contexts, but also to view their own activities inrnthe light of other disciplines.rnFirst a consistent set of notions and a diagram and a formula are introduced, with respect tornwhich important aspects of a rational design process can be understood, together with arnproposal for a consistent terminology. Subsequently, formal definitions are provided for basicrnconcepts of formal methods and a mathematical foundation for our formula. They shall illustraternthat the r?le of mathematics in development and verification is not limited to useful calculations:rnIdeally, designing is a creative mathematical activity, which comprises finding a theorem, ifrnnecessary strengthening its assumptions until it can be proven.rnAlthough for good reasons most systems are designed without use of formal methods it may berna source of useful insight to understand all design as an ‘approximation’ of such a mathematicalrnactivity. This leads amongst others to a taxonomy of design decisions and of fault tolerance.rnAnd it may help to relate paradigms, theories, methods, languages, and tools from differentrnareas of computer science to each other to make optimal use of them.
机译：本文试图为理解合理的系统设计和验证的本质做出贡献。信息技术人员和计算机科学的师生可以找到这里介绍的概念，这些概念有助于理清计算机科学的复杂成就并在其他情况下重新使用其成分，还可以在其他学科的背景下查看他们自己的活动。并介绍了一个图和一个公式，以了解可以理解的合理设计过程的重要方面，以及适用于一致术语的建议。随后，为形式方法的基本概念提供了形式定义，并为我们的公式提供了数学基础。他们应说明，数学在开发和验证中的作用不仅限于有用的计算：理想情况下，设计是一种创造性的数学活动，包括寻找一个定理，必要时加强它的假设，直到可以证明它为止。系统设计时未使用正式方法，因此可能无法获得有用的见解，从而可以将所有设计理解为这种数学活动的“近似”。这尤其导致了设计决策和容错能力的分类。这可能有助于将计算机科学不同领域的范式，理论，方法，语言和工具相互关联，以实现它们的最佳利用。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号