论文部分内容阅读
让梦从这里开始——《动态网页制作Show》试用报告
【出 处】
：
新潮电子
【发表日期】
：
2000年10期
其他文献
基于Internet的以UDP为传输协议的实时多媒体数据传输,需要在保证实时性和可靠性基础上,能够与Internet其它服务所使用的TCP协议共享有限的带宽,基于这种需要,该文在研究了多
文中提出一种新的链码编码方法 .在链码中的每个码是根据它与其前一个码之间的前进方向角度差来进行编码的 .统计结果表明 ,这样编码的每个码值的出现概率是很不同的 .角度差小的码值出现概率较大 ,而角度差大的码值出现概率较小 .这样结合霍夫曼 (Huffman)编码方法就可实现链码的压缩 .新链码与现有链码进行了比较 .比较结果显示新链码具有最小的平均码长 1.97位 /码 .
文中使用范数极小技术，提出一种构造稀疏矩阵并行近似逆预条件子的方法，所构造的稀疏矩阵近似逆的稀疏结构和数据矩阵的转置矩阵相同，计算量和存储量上，其求解过程易于并行。且并
优先关系是并发系统控制的重要手段.文中提出一种动态优先系统(Σ,D),其中Σ是有界Petri网,D是描述变迁之间优先关系的动态结构.然后采用变换技术分别给出安全的和有界的动态
针对点－时段时序逻辑的不足，提出了一种新的时段时序逻辑－－扩展时段时序逻辑，对不确定时间段发生的事件具有较好的描述能力。时间Petri网模型表示的引入，增强了扩展时段时序逻辑的
为刻画和验证无穷值域上的传值进程，Ｈｅｎｎｅｓｓｙ和Ｌｉｎ先后提出符号迁移图（ＳＴＧ）和带赋值符号迁移图（ＳＴＧＡ）作为传值进程的语义表示模型，并给出了相应的强互模拟算法．为将该方法推广至实际应用中更常用的弱互