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