UML顺序图与状态图的一致性检查
用户可使用UML从不同角度对系统进行建模,但不同视图间存在信息冗余,可能导致视图不一致问题。该文针对具有多种逻辑语义的顺序图提出分析方法,为复杂层次结构的状态图引入有限状态自动机,利用自动机分解算法得
场致发光技术资料下载专区,收录500份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。
用户可使用UML从不同角度对系统进行建模,但不同视图间存在信息冗余,可能导致视图不一致问题。该文针对具有多种逻辑语义的顺序图提出分析方法,为复杂层次结构的状态图引入有限状态自动机,利用自动机分解算法得
介绍几种典型目录一致性协议并分析它们的优缺点。在综合全映射目录和有限目录优点的基础上,通过在存储器层上增加一个存储器高速缓存(Cache)层的方式,提出并讨论一种改进后的Cache一致性协议。该协议相
域一致性新型锁同步机制的实现将软件分布式共享存储系统所使用的基于域一致性协议锁机制以新的方式加以实现。它充分利用SMP 结构所具有的特点,以多级方式实现锁同步机制,在结点内部使用了共享空间来实
华中科技大学光电学院刘德明老师所著的光纤光学教材,在国内光纤光学领域刘老师无疑是非常权威的,本书适合本科光电专业学习,内容涵盖光纤光学的理论计算及技术前景。
专辑类-元器件样本专辑-116册-3.03G 乾坤工贸产品样本-二极管-三极管-场管-电阻-电容-电感-光耦管-++-75.9M.zip
元器件样本专辑 116册 3.03G乾坤工贸产品样本 二极管,三极管,场管,电阻,电容,电感,光耦管 ++ 75.9M.rar
专辑类-元器件样本专辑-116册-3.03G 乾坤工贸产品样本-二极管-三极管-场管-电阻-电容-电感-光耦管-++-75.9M.zip