切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于Petri网的协议并行化处理模型的描述和验证
基于Petri网的协议并行化处理模型的描述和验证
来源 :计算机学报 | 被引量 : 0次 | 上传用户:colawing1
【摘 要】
:
本文提出了一个OSI/RM运输层协议并行处理模型,以适应协议的高效处理,根据模型特点,使用Petri网作为形式化描述工具,对该模型进行描述,分析和验证。
【作 者】
:
顾冠群
姜爱泉
【机 构】
:
东南大学计算机科学与工程系
【出 处】
:
计算机学报
【发表日期】
:
1996年11期
【关键词】
:
PETRI网
并行处理
形式化描述
形式化验证
Petri net
parallel processing
formal specification and
【基金项目】
:
国家自然科学基金,国家教委博士点基金
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文提出了一个OSI/RM运输层协议并行处理模型,以适应协议的高效处理,根据模型特点,使用Petri网作为形式化描述工具,对该模型进行描述,分析和验证。
其他文献
农业和工业品关税将再减3成
商务部部长陈德铭6月21日在京会见了来访的世贸组织总干事拉米.双方就多哈回合谈判等问题深入交换了意见。据介绍,按照目前谈判达成的结果.中国将进一步把农业和工业品的实施关
期刊
工业品
关税
农业
世贸组织
商务部
服务业
WTO
谈判
基于图形环境信息的干涉问题自动处理
图形干涉是参数化设计中普遍存在而有待解决的问题。本文通过对干涉约束的描述和环境信息的提取,提出基于图形环境信息的干涉问题自动处理方法,经实际检验,这种方法是十分有效的
期刊
干涉
图形干涉
自动处理
CAD
参数化设计
Environment information
constraint
interference
基于随机模型的边缘检测
在图象处理和计算机视觉中图象分割是一个非常重要的步骤,分割的好坏将直接影响很多后续处理的结果。虽然目前已有很多不同的边缘提取算法,但是这些方法很少考虑图象结构上的特
期刊
图象处理
机器视觉
边缘检测
随机模型
Edge detection
MAP
Gibbs distribution
simulated annealing
宏观主导豆类 行情起伏动荡
1豆类行情回顾2011年国内豆类市场呈现宽幅震荡后破位下跌走势。行情大致分为两个阶段:第一阶段为2011年初至8月末的宽幅震荡阶段:第二阶段为8月末假突破后的大幅下挫破位下跌
期刊
行情
豆类
宏观
起伏
宽幅
数字图象离散线性变换的点辖域方法
数字图象的线性变换在计算机视觉、图象处理、模式识别和计算机图形学等领域有着广泛的应用.在实数域中这种变换可以提供连续的一一映射.然而,由于图象象素是离散的,常常导致变换结果出现不如意的孔洞,破坏了变换后图象的质量,给进一步的处理和识别过程带来困难.本文提出了基于点辖域进行数字图象离散线性变换的一种新方法.该方法突破了现有算法只适用于平移、比例、旋转变换的局限,在更一般的意义下讨论了数字图象的离散线
期刊
数字图象
离散线性变换
点辖域
图象处理
Digital images
discrete linear transformation
point-gover
棉酚对蛋鸡的影响
棉酚是棉籽饼粕中的主要的有毒物质.蛋鸡日粮中游离棉酚含量过高会给动物健康、生产性能及蛋品质带来负面影响.日粮添加硫酸亚铁在一定程度上可缓解游离棉酚的毒性。本文综述了
期刊
棉酚
蛋鸡
毒性
动态和静态电路通用设计方法
基于新的代数结构,本文提出动态和静电电路通用设计方法,把一直各自分立研究的动态和静态电路统一起来,用统一的开关网络函数描述,实现设计方法的统一,将上述方法用于D型存储单元,由
期刊
动态电路
静态电路
代数结构
电路设计
数字电路
Dynamic circuits
static circuits
universal design met
将TD方法同神经网络相结合进行时间序列实时建模预测
本文首先探讨了基于神经网络的时间序列预测模型的建立机制,然后提出可将基于神经网络的时序直接多步预测模型的实时建模问题看成是延时加强学习问题,从而可将TD法与BP法相结合用于
期刊
神经网络
时间序列
预测
TD方法
线性回归分析
Neural network
time series
prediction
TD method
BP
佛说饲料营销
佛者,觉也,是一门觉悟的学问,是宗教,更是哲学。对内而言,内觉“人生本身”,使我们有正确的人生观:对外而言,外觉“宇宙环境”,使我们有正确的“宇宙观”。觉有三种境界:第一是自觉,第二
期刊
饲料营销
宇宙环境
人生观
宇宙观
自觉
一种基于神经网络的分形几何图的产生与编码
本文提出用概率逻辑神经网产生一类自(互)相似(分形)图的方法,指出这类图能用一组压缩编码表示.给出快速寻找该编码的算法,即识别该分形几何图的算法.证明该编码是最优的,即码的长度最短.这些成果有希望在图象压缩和模式识别中得到应用.
期刊
分形几何图
神经网络
图象压缩
编码
图象处理
Fractal graph
neural network
compressed encoding.
与本文相关的学术论文