论文部分内容阅读
如何在Word中加页面边框和水印
【出 处】
:
新潮电子
【发表日期】
:
2000年7期
其他文献
针对点-时段时序逻辑的不足,提出了一种新的时段时序逻辑--扩展时段时序逻辑,对不确定时间段发生的事件具有较好的描述能力。时间Petri网模型表示的引入,增强了扩展时段时序逻辑的
为刻画和验证无穷值域上的传值进程,Hennessy和Lin先后提出符号迁移图(STG)和带赋值符号迁移图(STGA)作为传值进程的语义表示模型,并给出了相应的强互模拟算法.为将该方法推广至实际应用中更常用的弱互