动态不变性相关论文
该文详细讨论了Petri网系统合成操作过程中并发行为关系,即并发语言关系.深入研究四种最主要的合成操作(共享合成、同步合成、自环......
在数学课堂教学过程中,利用“几何画板”的实验特征,体验数学思想方法;利用“几何画板”动态不变性,展示数学原理;利用“几何画板”直观......
为消除由输入电源扰动引起的输出电压工频纹波,改善DC/DC变换器动态性能,根据平均变量建模思想,为电压型PWM控制的Buck型变换器,建......
针对不同分簇超标量处理器结构下SPEC2000程序中指令关键可能性(LoC)的特性,提出一种静态LoC关键性预测器的设计方法。对指令LoC进行......