参数化系统相关论文
随着VLSI技术的不断发展，尤其是Dennard缩放定律的终结，单核已经不能满足硬件发展的需求，多核已成为主流的体系结构。多线程技术的提......
形式验证是一种比测试和模拟更具吸引力的描述和验证软硬件系统的方法.形式验证方法的种类很多,从定理证明到计算机辅助定理证明,......
本文回顾了现代计算机辅助设计技术的发展历史，评述了各种主要参数化设计方法的特点和当前CAD技术的发展趋势，在对系统数据模型和实......
CAD技术的广泛应用有效地提高产品与工程技术水平、降低消耗、缩短产品开发周期,成为大幅度提高劳动生产率和产品质量的重要手段。......
随着世界经济一体化进程的加快，企业间展开了激烈的市场竞争，传统的产品设计方法已经不能够满足企业发展的需要。计算机辅助设计(CAD......
履带起重机臂架系统是履带起重机重要承载部件之一,为空间桁架结构,现代设计中普遍采用有限元法对臂架系统进行计算分析。在臂架的......
在语音合成领域,大语料库拼接合成方式有一些固有弱点,例如语料库建设成本过高,合成稳定性差等.而基于隐马尔可夫模型(HMM)的语音......
