模型正确性相关论文
随着信息技术的发展和全球化世界市场竞争环境的形成,企业之间的竞争也由过去的局部竞争演变为跨行业,全球范围内的竞争.企业越来......
随着集成电路设计复杂度的不断增加，设计错误的数量也在呈上升趋势。由于速度及模型正确性的约束，硅前验证已经不能保证没有设计错误......
SVC(静止无功补偿器)作为FACTS家族中的重要一员,在提高电力系统电压稳定性方面有重要应用.介绍了TCR-TSC型SVC装置的结构及工作原......
K&C试验和仿真在轿车底盘开发中已广泛应用,随着工作深入,这两方面技术在货车开发中的作用也日益凸显.本文针对某载货车装载后转向......
飞秒和频光谱(FS-SFG)是研究金属表面超快动力学的有效工具[1]错误！未指定书签.错误！未指定书签.，但光谱信号中基底产生的非共振......
激励机制是BitTorrent协议的重要组成部分,它鼓励用户上传以获得更快的下载速度,并提高系统整体性能.原有BitTorrent激励机制存在......
本文介绍了某RAT(冲压空气涡轮)系统中液压泵的结构和工作原理并利用AMESim仿真软件对液压泵进行了建模与仿真。仿真结果对比......
基于约束的配置问题提出一种无回溯搜索算法,通过弧相容技术将所有不相容的值删除,指导用户进行产品配置,并对其正确性进行了证明.......
为了更有效地对工作流模型进行分析验证,提出了一种基于Petri网化简技术的工作流模型正确性验证方法。在对各种工作流模型验证技术......
UML活动图的正确性决定了业务流程的正确执行,为此,提出一种UML活动图模型的正确性诊断方法。将模型分解后,对子模型进行模型验证,......
