|
说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
|
|
您的位置: 首页 -> 词典 -> 基于符号的最坏执行时间分析
1) Symbolic WCET analysis
基于符号的最坏执行时间分析
2) WCET analysis
最坏执行时间分析
1.
Most of thecurrent WCET analysis tools rely on the interaction between compiler and WCET tools orthe availability of source code.
当前的很多最坏执行时间分析工具都是针对特定的编程语言或特定的编译器的,因而缺乏平台间的迁移性,从而不能被广泛使用。
2.
The results of most WCET analysis tools are over pessimistic,and cause great waste of resources if scheduling is based on such results.
通常的最坏执行时间分析方法的结果过于悲观(overpessimistic),根据这种结果进行调度将导致资源的极大浪费。
3) portable WCET analysis
可迁移的最坏执行时间分析
4) WCET
最坏执行时间
1.
The result of a traditional real-time WCET(worst-case execution time) analysis method is usually a constant, and is applied everywhere.
通常的最坏执行时间分析方法只是得到一个常数,然后将这个常数应用在所有的地方,这将造成所得的值过于悲观(overpessimistic)。
2.
Together with schedulability analysis,Worst-Case Execution Time analysis(WCET analysis) forms the basis for establishing confidence into the timely operation of a real-time system.
最坏执行时间分析与可调度性分析构成了实时系统时间方面操作可信的基础。
5) Symbolic execution based on program slicing
基于程序切片的符号执行
6) worst case execution Ttime (WCET)
最坏情况下执行时间
补充资料:基于Pro/MECHANICA的机床拖板有限元模态分析
本文介绍了基于Pro/MECHANICA的机床工作台拖板的有限元建模和分析过程,并将分析结果与常用的通用有限元分析软件ANSYS的分析结果进行了比较。通过比较得出结论:有限元工程师完全可以利用Pro/MECHANICA软件实现实体建模和有限元计算的无缝集成,并且能够保证有限元分析的计算精度,提高设计工程师的工作效率。一、引言 机床支承件(如床身、立柱、拖板等)是机床的基础部件,起着承受力和容纳各种零部件作用。支承件的动态性能直接影响到加工工件的精度和生产效率,所以要求设计出的机床支承件必须具有足够的动、静态刚度。 长期以来,国内外机床支承件一般采用经验设计,但为了保证机床具有良好的动、静态性能,并尽可能减轻其重量,就要进行精密的理论计算。机床支承件结构复杂,至今尚未找到一种精确的方法来计算其动态性能。但随着计算技术和计算机技术的发展和广泛应用,工程师可以依靠数值方法给出近似的、较令人满意的答案。目前,在诸多方法中,用有限元建立机械系统动力分析的数学模型已成为其理论建模中最重要的方法。尽管有限元法还属于一种近似计算方法,对于一些结构复杂、受力情况和阻尼情况复杂的支承件来说计算精度并不是很高,但它对于计算支承件动态性能仍是一种最有效的方法。目前,用它来计算一般复杂程度的支承件的动态性能,完全可以得到较为满意的计算结果。 这里将利用美国PTC开发的有限元软件,Pro/MECHANICA对机床支承件中的拖板进行有限元分析,计算出该零件的固有频率和振型,为分析拖板的表面振动响应作必要的准备,也为机床拖板、床身、立柱等支承件的设计提供了一定的理论依据。 二、当前常用的有限元分析软件及其特点 目前对机械零件进行有限元分析一般采用通用有限元分析软件,如ANSYS、MARC等。它们拥有丰富完善的单元库、 材料模型库和求解器,并且具有相对独立的前、后处理模块,可以独立完成多学科、多领域的工程分析问题。其缺点是前处理模块中的几何建模功能不强,无法完成复杂模型的建模,因此降低了结构分析结果的可信度。一些流行的三维设计软件却具有极强的几何模型的建模功能,如Pro/ENGINEER、UG和CATIA等。这些三维设计软件可以完成一些复杂的几何模型的建模工作。为了克服通用有限元分析软件建模功能较弱的缺点,当前普遍采用软件间的数据转换,即采用三维设计软件进行精确的三维建模,通过标准数据接口将模型以IGES、DXF或STEP格式读入到通用有限元分析软件中,然后通过该软件进行精确的计算。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条
|