论文部分内容阅读
本文以基于Ｐｅｔｒｉ网的协议工作站为研究目标，阐述协议工程工作站的基本功能，简介ＥＰｒ／ＴＮ网系统，着重探讨作者实现的协议描述分析辅助工具ＰＥＳＡＴ的功能特点和实现技术，并以一个例子加以说明，最后作者指出ＰＥＳＡＴ的完善工作和理论协议工程工作站建立的前景。
Petri网协议分析器
【摘 要】
：
本文以基于Ｐｅｔｒｉ网的协议工作站为研究目标，阐述协议工程工作站的基本功能，简介ＥＰｒ／ＴＮ网系统，着重探讨作者实现的协议描述分析辅助工具ＰＥＳＡＴ的功能特点和实现技术，并以一个例子加以说明，最后作者指
【机 构】
：
东南大学计算机科学与工程系
【出 处】
：
计算机学报
【发表日期】
：
1997年3期
【基金项目】
：
国家自然科学基金,江苏省自然科学基金
其他文献
摘要：电镀废水毒性大，污染严重。循环喷淋法实现电镀废水零排放工艺研究是以镀镍工艺为基础，将循环冷却水中的冷却技术用于电镀漂洗水，可实现电镀漂洗水的零排放。本文通过喷淋实验和倒槽实验，得出清洗槽级数为16级时喷淋次数趋于稳定，并且第一级清洗槽的浓度也趋于稳定，第一级漂洗水经浓缩达镀液浓度后可以返回镀槽进行循环利用。设计了循环喷淋装置、工艺参数，同时做了膜分离技术处理电镀镍漂洗水费用与循环喷淋设备运行
超滤技术是一门新兴的科学，随着科学技术的不断发展，其在多个行业迅速应用，相较于其他技术而言，超滤技术操作方便，流程短，分离的效果好，消耗的能量低，本文就分析其在化工工艺中的应用
探讨了目前选煤厂煤泥水絮凝处理中最常用的絮凝剂聚丙烯酰胺（YAM）与PDMDAAC、PAC／PDMDAAC复合、PAC与PDMDAAC复配絮凝剂对煤泥水处理效果的对比研究，以确定最佳絮凝剂。结果显示
随着汽车技术的发展,电子与电器部件的比例越来越大,对电能的需求量也随之增多,如果不能有效控制电能的使用,那么就会造成车辆可用电能下降。本文详细介绍了奥迪能源管理系统
摘 要：针对甲烷化反应器封头用1.25Cr-0.5Mo-Si主体材料，存在高温氢化、回火脆化等导致的材料劣化问题，结合1.25Cr-0.5Mo-Si的化学成份和力学性能，通过热处理对比试验，确定了正火（喷雾冷却）+回火的热处理方法可以显著改变材料的抗冲击韧性和劣化问题。生产实践证明了该方的正确性。 关键词：甲烷化反应器 封头 热处理
本文讨论了两种性能分析的模型－单缓冲器模型和多缓冲器模型。分析的结论得到了模拟结果的验证。提出的模型易于推广。
本文提出拉丁方合痕分类的计算机辅助方法ＡＩＣ，该方法结构简洁，复杂度低。利用方法ＡＩＣ，本文对７阶拉丁作了合痕分类，得到了５６４个合痕类的代表元。本文所得这一结果修正了文献上关于７阶拉丁合痕
对于复合材料制品的合格率,孔加工具有重要的影响,目前对于复合材料的孔加工手段为机械加工。而由于受到一定因素的影响,复合材料孔的质量会出现差异。本文主要对复合材料孔
国内外学者普遍认为，硬件描述语言ＶＨＤＬ中断言语句是面向模拟的，其不能综合或不要综合，综合系统应忽略或不支持。本文给出了相反的论点：ＶＨＤＬ中断言语句应该综合，其中限制条件的补表达式可作
In order to better accommodate heterogeneous quality of service (QoS) in wireless networks, an algorithm called QoS-aware power and admission controls (QAPAC) i
期刊