文献详情 - Gdtheory理论粤军网|广东智库信息化平台

文献详细_{Journal detailed}

基于高级Petri网的X.25/FR开放系统互连网关的描述与验证及实现
Specification,Verification and Implementation of OSI X.2 5 / FR Gateway Based on High-level Petri Nets Shen Jinlong Pan L i

下载全文在线阅读

收藏

作　　者： ; ;

出　　处： 《南京理工大学学报》 1998年第6期532-535,共4页

摘　　要： 在构造 X.2 5 / FR互连网关时 ,采用 OSI有关协议。利用一种高级 Petri网(EPr/ TN)作为形式化的描述工具建立互连网关的系统模型 ,对网关中的协议转换和数据通信过程进行描述、分析和验证。 The X.2 5 / FR gateway is constructed according to the corresponding OSI protocols.A high- level Petri net called EPr/ TN net system is introduced as a formal specification tool to establish the system model of the gateway.The specification,analysis and verification of the protocol convertion and data transmission are given.Based on the model,the gateway is implemented.

关键词： 网络互连网关协议网网系统

领　　域： [自动化与计算机技术] [自动化与计算机技术]

相关机构对象

机构华南理工大学: 作者数：19075; 发文主题：模型,甲烷,订单农业,协商模型,零售商,供应链管理,绩效关系,供应链协调,制造商,催化剂,知识创新,关系承诺,利益分配,变质性物品,企业,技术创新,虚拟企业,知识分享,供应链协调模型,订货量,石墨烯,研究生教育,可控提前期,时变需求,实证研究,价格折扣,管理创新,信息共享,运营绩效,战略管理,货栈,协整关系研究,滞后支付,创新绩效,库存路径问题,订购,报童模型,信息不对称,创新型企业,销售商,内向型,博弈,甲醇电氧化,创新管理,直接甲醇燃料电池,外向型,智慧城市,风险规避,生命周期,车辆路径问题,供应链协作,供应链,员工创新行为,协整检验,动态面板,共性技术,德行领导,

机构中山大学: 作者数：27151; 发文主题：电视节目,用户,实证研究,家居,硬件,视域,异构,权利,分布式存储,蓝牙,启迪,从严治党,音乐门铃,领导干部,加密方法,中间件,党内权力,数字电视,权力监督,制度反腐,实体化,数字家庭,民主监督,社会主义国家执政党,马克思主义,监控系统,视频图像,中间件系统,数据传输方法,毛泽东,中国特色社会主义,风险评估,中国共产党,邓小平,素质教育,青年农民工,嵌入式,

机构华南师范大学: 作者数：20338; 发文主题：教师成长,宏观经济,社会主义实践,中国梦,二重性质,马克思主义经济学,人生哲学,有效教学,中国货币政策,教育科研,克鲁格曼,教育叙事研究,教育研究,政治经济学,人民内部矛盾,新自由主义,校本教研,人性,哲学发展,课程改革,老师,教育行动研究,卢卡奇,学校教育,动物精神,马克思哲学,凯恩斯主义,人类社会发展规律,西方经济学,因果,教学研究,社会主义市场经济,中国共产党,教师,实证研究,诺贝尔经济学奖,教育现象学,英美文学,埃尔斯特,实证检验,校本教学研究,中国化马克思主义,社会主义建设规律,唯物史观,经济政策,社会存在本体论,异化,日常教学,社会主义发展道路,叙事研究,早期西方马克思主义,教学理念,马克思主义,人民币国际化,历史唯物主义,萨金特,教育叙事,世界货币,本体论,

机构中山大学教育学院: 作者数：633; 发文主题：道德人格,论社会主义,大学生全面发展,广东教育,大学生思想政治教育,高校德育,民族精神,异地高考,道德教育研究,章程制定,语文教学思想,高等学校思想政治教育,社会主义国家执政党,姓资姓社,思想政治教育理论,不争论思想,比较教育学,中国特色社会主义,中国共产党,邓小平,教育体系,中国比较教育学,比较教育,语言政策,改革开放,大学生素质教育,政治体制改革,国际教育发展,领导干部,思想政治教育,对立统一,权力制约,公民意识,高校,党内权力,失衡,语言教育政策,社会主义核心价值体系,社会融合,思想政治教育实践,教育学科,主流意识形态,中国教育改革,责难,高考改革,外语教育政策,新时期大学生,高中学业水平考试,年,优秀文化传统,独立人格,教育,高校思想政治,诘难,工科类专业,自主创新,毛泽东,在校生人数,素质教育,青年农民工,教育学发展,

机构中山大学管理学院: 作者数：2708; 发文主题：技术引进,顾客信任感,刑事诉讼法,司法制度,顾客忠诚感,信任感,司法鉴定,顾客满意感,扎根理论,忠诚感,沉默权,上市公司,诉讼法学,组织公平性,刑事诉讼,企业,跨国公司,服务公平性,授权,经济收益,买卖双方,满意感,电子商务,人权保障,顾客感知,情感性劳动,实证研究,刑事诉讼法学,暂缓起诉,服务质量,营销学,证明力,一线员工,消费者,司法完善,证明标准,企业管理,顾客满意程度,游客,心理受权,司法权威,服务业,在线旅游,正当程序,电子商务环境,顾客,服务氛围,顾客期望,自主创新,公正,

基于高级Petri网的X.25/FR开放系统互连网关的描述与验证及实现
Specification,Verification and Implementation of OSI X.2 5 / FR Gateway Based on High-level Petri Nets Shen Jinlong Pan L i

参考文献更多+

二级参考文献更多+

引证文献更多+

二级引证文献更多+

同被引文献更多+

耦合作品文献更多+

相关文献更多+

相关作者

相关机构对象

相关领域作者

基于高级Petri网的X.25/FR开放系统互连网关的描述与验证及实现 Specification,Verification and Implementation of OSI X.2 5 / FR Gateway Based on High-level Petri Nets Shen Jinlong Pan L i

参考文献 更多+

二级参考文献 更多+

引证文献 更多+

二级引证文献 更多+

同被引文献 更多+

耦合作品文献 更多+

相关文献 更多+

相关作者

相关机构对象

相关领域作者

基于高级Petri网的X.25/FR开放系统互连网关的描述与验证及实现
Specification,Verification and Implementation of OSI X.2 5 / FR Gateway Based on High-level Petri Nets Shen Jinlong Pan L i

参考文献更多+

二级参考文献更多+

引证文献更多+

二级引证文献更多+

同被引文献更多+

耦合作品文献更多+

相关文献更多+