期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
基于着色解释Petri网的网络协议建模及协同仿真方法 被引量:5
1
作者 彭磊 吴磊 +1 位作者 毕亚雷 曾家智 《计算机集成制造系统》 EI CSCD 北大核心 2009年第1期82-88,96,共8页
为解决协议工程中协议形式化验证和仿真断裂的问题,结合着色Petri网和解释Petri网,构造出一种可建模复杂离散事件系统的着色解释Petri网。借助观察者模式,依据着色解释Petri网的特点,提出了一种具有通用性的与协议仿真工具协同工作的方... 为解决协议工程中协议形式化验证和仿真断裂的问题,结合着色Petri网和解释Petri网,构造出一种可建模复杂离散事件系统的着色解释Petri网。借助观察者模式,依据着色解释Petri网的特点,提出了一种具有通用性的与协议仿真工具协同工作的方法。作为对该方法的示例,采用着色解释Petri网对避免冲突的多路访问协议进行建模。在保证与OPNET仿真模型一致的基础上,通过着色解释Petri网与OPNET的协同仿真,改良了避免冲突的多路访问的功率控制算法。基于着色解释Petri网的协同仿真,第一次紧密连接了Petri网和通用协议仿真工具,对协议工程将起到重要作用。 展开更多
关键词 协议工程 离散事件系统 着色解释Petri网 建模 协同仿真
在线阅读 下载PDF
面向服务的无线传感器网络协议架构 被引量:2
2
作者 彭磊 毕亚雷 曾家智 《计算机工程与应用》 CSCD 北大核心 2009年第5期104-107,共4页
分析了目前WSN从研究领域转向工程领域阶段中面临的困难,然后遵循面向服务的思想,以相互间松散耦合的服务单元作为网络协议的基本组成单位,提出了一种非层次结构的WSN网络协议架构,并使用基于Petri网的形式化方法对WSN的服务服务组合和... 分析了目前WSN从研究领域转向工程领域阶段中面临的困难,然后遵循面向服务的思想,以相互间松散耦合的服务单元作为网络协议的基本组成单位,提出了一种非层次结构的WSN网络协议架构,并使用基于Petri网的形式化方法对WSN的服务服务组合和扩展进行建模分析,探讨了服务组合中的一些条件和规则。基于服务的构建,能够较为全面和合理的描述WSN协议架构,并可通过相关服务组合满足WSN多样化的应用需求。 展开更多
关键词 无线传感器网络 面向服务 着色PETRI网
在线阅读 下载PDF
一种基于CIPN的网络协议建模方法
3
作者 彭磊 毕亚雷 曾家智 《计算机应用研究》 CSCD 北大核心 2008年第11期3430-3433,共4页
基于Petri网的网络协议建模技术需要更有效地与现有通用网络协议仿真技术协同工作,结合CPN和IPN,提出了一种新的Petri网派生类CIPN用于网络协议的建模和形式化分析,突出了协议的离散事件系统特性。给出了CIPN的定义,并讨论了CIPN的运行... 基于Petri网的网络协议建模技术需要更有效地与现有通用网络协议仿真技术协同工作,结合CPN和IPN,提出了一种新的Petri网派生类CIPN用于网络协议的建模和形式化分析,突出了协议的离散事件系统特性。给出了CIPN的定义,并讨论了CIPN的运行机制,证明了CIPN事件可观测性的充要条件。通过一个MACA协议作为示例,完成了从网络协议的一般CPN模型到CIPN模型的等价性转换,并利用CIPN的事件可观测性定理对MACA协议进行了事件观测性分析。 展开更多
关键词 网络协议 离散事件系统 着色解释Petri网 协议工程
在线阅读 下载PDF
试论PACS系统 被引量:5
4
作者 毕亚雷 赵廷 +2 位作者 尹宏 许泽卫 田晓敏 《中国医学影像技术》 CSCD 北大核心 1997年第4期368-369,共2页
试论PACS系统毕亚雷①赵廷尹宏许泽卫田晓敏②目前,在医学界普遍使用的医学影像设备种类包括MRI、X-CT、SPECT和超声等。随着影像诊断需求的不断增加和影像设备的种类和数量的不断增多,用于诊断目的的医学影像数据正... 试论PACS系统毕亚雷①赵廷尹宏许泽卫田晓敏②目前,在医学界普遍使用的医学影像设备种类包括MRI、X-CT、SPECT和超声等。随着影像诊断需求的不断增加和影像设备的种类和数量的不断增多,用于诊断目的的医学影像数据正在以爆炸式的速度增长。据统计,一家... 展开更多
关键词 影像学诊断 PACS系统
在线阅读 下载PDF
ASG─340医学图像工作站及其在影像诊断中的应用 被引量:1
5
作者 毕亚雷 陈思平 《中国医学影像学杂志》 CSCD 1995年第4期217-220,226,共5页
本文结合医学影像诊断中面临的各种数据管理和应用方面的问题,介绍了ASG-340医学图像工作站的特点、经济效益,与PACS的关系和今后的发展。
关键词 医学图像工作站 医学影像诊断 数据管理 经济效益 PACS
在线阅读 下载PDF
数字化多媒体医院的设计与实现
6
作者 熊有生 金立平 +5 位作者 苏国同 周仲贤 陈一君 尹宏 赵廷 毕亚雷 《中国医学影像技术》 CSCD 北大核心 1998年第10期784-786,共3页
本文根据现代化医院的主要特征,抽象出数字化多媒体医院(digitalmultimediahospital;DMH)的命名,阐述了DMH的设计及其实现方法。DMH全方位地实现了医院文字、图像、语音信息化、网络化的管理与... 本文根据现代化医院的主要特征,抽象出数字化多媒体医院(digitalmultimediahospital;DMH)的命名,阐述了DMH的设计及其实现方法。DMH全方位地实现了医院文字、图像、语音信息化、网络化的管理与应用。1需求分析医院的主要作用是为... 展开更多
关键词 数字化 DMH 医院信息系统 设计
在线阅读 下载PDF
PACS及其在我国推广问题的思考 被引量:2
7
作者 陶笃纯 毕亚雷 《中国医学影像学杂志》 CSCD 1995年第4期194-198,共5页
PACS及其在我国推广问题的思考陶笃纯,毕亚雷1PACS的一般介绍在医学界,对于影像诊断的需求不断增长,在医院里影像设备的种类和数量迅速增加,用于诊断目的的医学影像数据正在以爆炸式的速度增长。医学影像的获取、处理和管... PACS及其在我国推广问题的思考陶笃纯,毕亚雷1PACS的一般介绍在医学界,对于影像诊断的需求不断增长,在医院里影像设备的种类和数量迅速增加,用于诊断目的的医学影像数据正在以爆炸式的速度增长。医学影像的获取、处理和管理如果仅仅限于直接的肉眼观察、原始... 展开更多
关键词 PACS 医学影像数据 影像设备 影像诊断 肉眼观察 临床诊断 管理方法 诊断信息 增长 医院
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部