Petri网的动态不变性

定义了Petri网的动态不变性概念,分别从行为和状态两方面刻划了系统合成过程中不变性特征.讨论了行为不变性与状态不变性之间的关系,获得判定不变性的代数判据,由此为系统合成的一致性检验提供了依据.

“几何画板”在数学课堂教学中的实践与认识

在数学课堂教学过程中，利用“几何画板”的实验特征，体验数学思想方法；利用“几何画板”动态不变性，展示数学原理；利用“几何画板”直观形象性，凸现数学教学思想。

“几何画板”在数学课堂教学中的实践与认识

在数学课堂教学过程中,利用“几何画板”的实验特征,体验数学思想方法;利用“几何画板”动态 不变性,展示数学原理;利用“几何画板”直观形象性,凸现数学教学思想。

一种静态LoC关键性预测器设计

针对不同分簇超标量处理器结构下SPEC2000程序中指令关键可能性(LoC)的特性,提出一种静态LoC关键性预测器的设计方法。对指令LoC进行研究,根据其结构无关性和动态不变性,设计预测器。仿真结果表明,在对1×8分簇超标量处理器使用该设计时,程序的每周期指令数平均提升5.3%,性能优于动态LoC预测器。

Buck型变换器的输入电压全补偿前馈控制

为消除由输入电源扰动引起的输出电压工频纹波,改善DC/DC变换器动态性能,根据平均变量建模思想,为电压型PWM控制的Buck型变换器,建立连续导电工作模式(CCM)下统一的平均变量等效电路,分析等效电路并根据不变性原理提出输入电压全补偿前馈控制原理及实现方法。采用该方法的Buck型变换器可完全补偿输入电压扰动,其输出电压对输入电压扰动具备动态不变性。仿真研究结果验证了本文前馈控制原理及实现方法的正确性。