论文部分内容阅读
Excel经验技巧谈
【出 处】
：
新潮电子
【发表日期】
：
2000年8期
其他文献
文中使用范数极小技术，提出一种构造稀疏矩阵并行近似逆预条件子的方法，所构造的稀疏矩阵近似逆的稀疏结构和数据矩阵的转置矩阵相同，计算量和存储量上，其求解过程易于并行。且并
优先关系是并发系统控制的重要手段.文中提出一种动态优先系统(Σ,D),其中Σ是有界Petri网,D是描述变迁之间优先关系的动态结构.然后采用变换技术分别给出安全的和有界的动态
针对点－时段时序逻辑的不足，提出了一种新的时段时序逻辑－－扩展时段时序逻辑，对不确定时间段发生的事件具有较好的描述能力。时间Petri网模型表示的引入，增强了扩展时段时序逻辑的
为刻画和验证无穷值域上的传值进程，Ｈｅｎｎｅｓｓｙ和Ｌｉｎ先后提出符号迁移图（ＳＴＧ）和带赋值符号迁移图（ＳＴＧＡ）作为传值进程的语义表示模型，并给出了相应的强互模拟算法．为将该方法推广至实际应用中更常用的弱互