参数化系统相关论文
随着VLSI技术的不断发展，尤其是Dennard缩放定律的终结，单核已经不能满足硬件发展的需求，多核已成为主流的体系结构。多线程技术的提......
形式验证是一种比测试和模拟更具吸引力的描述和验证软硬件系统的方法.形式验证方法的种类很多,从定理证明到计算机辅助定理证明,......
本文回顾了现代计算机辅助设计技术的发展历史，评述了各种主要参数化设计方法的特点和当前CAD技术的发展趋势，在对系统数据模型和实......
CAD技术的广泛应用有效地提高产品与工程技术水平、降低消耗、缩短产品开发周期,成为大幅度提高劳动生产率和产品质量的重要手段。......
随着世界经济一体化进程的加快，企业间展开了激烈的市场竞争，传统的产品设计方法已经不能够满足企业发展的需要。计算机辅助设计(CAD......
履带起重机臂架系统是履带起重机重要承载部件之一,为空间桁架结构,现代设计中普遍采用有限元法对臂架系统进行计算分析。在臂架的......
在语音合成领域,大语料库拼接合成方式有一些固有弱点,例如语料库建设成本过高,合成稳定性差等.而基于隐马尔可夫模型(HMM)的语音......
参数化系统（paramterized system）是指包含特定有限状态进程多个实例的并发系统，其中的参数是指系统内进程实例的数目，即系统的规模反......
讨论了一类Leader Election(LE)协议,该类协议通常运行在允许进程随时加入或崩溃的动态环境中,给出了LE协议的参数化版本,即考虑分......
针对参数化系统验证面临的状态空间爆炸问题,提出自动抽象方法化简参数化系统状态空间.首先进行Y-抽象建立单进程有限状态机模型,......
提出了一种同构零件的三维参数化设计方法。这种方法从基于Solidworks开发的零件库中依据编码查找出同构零件，直接从数据库中调用参......
针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象，利用参数化系统的设计思想，......
斗轮堆取料机是单件小批量生产的大型散料输送设备，大多数情况下是针对某个具体项目而设计制造的，在设备设计和制造时需针对不同用户......
An adaptive repetitive control scheme is presented for a class of nonlinearly parameterized systems based on the fuzzy b......
介绍了关于变厚齿轮ＲＶ减速器的参数化设计系统。首先，对该减速器的结构设计参数进行了优化，以增大刚度、减小体积为目标，采用内点处罚函......
