检索结果-维普期刊中文期刊服务平台

融合网络中SIP协议的SDL形式化研究: 1; 作者刘业《中国新通信》 2022年第14期25-27,共3页; 作为融合网络中语音业务(VoIP)及新型网络应用的基础协议,SIP协议的灵活性和可扩展性使得它跟网络层的IP协议一样,在应用层成为事实上的“协议标准”。近几年国内企业使用较为广泛的视频会议应用SparkleComm即是用SIP协议进行开发。本... 展开更多; 关键词 SIP 形式化描述语言协议融合网络; 在线阅读下载PDF 职称材料

基于CSP的网络协议描述与仿真被引量：3: 2; 作者宋金晶沈军《东南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2008年第A01期28-33,共6页; 首先提出一种基于CSP的协议形式化描述方法.这种方法把协议看成交互实体,从而能很方便地描述协议间的交互关系以及仿真一个协议交互系统.在此基础上,提出了基于CSP的网络协议仿真方法,介绍了仿真流程及其核心模块.这种仿真方法以CSP文... 展开更多; 关键词形式化描述语言通信顺序进程协议仿真系统建模; 在线阅读下载PDF 职称材料

基于UCM和SDL的电信业务功能需求建模: 3; 作者程勇袁兆山 +1 位作者倪世道琚川徽《合肥工业大学学报（自然科学版）》 CAS CSCD 2002年第2期186-190,共5页; 电信业务开发实践表明正确获取和建模业务功能需求是成功开发新业务的前提和基础 ,因此文章强调建模用户需求的重要性 ,提出基于 UCM和 SDL 的电信业务功能需求建模方法 ,并详细讨论了整个建模过程 ,该方法对于提高电信业务软件开发成... 展开更多; 关键词电信业务功能需求建模 UCM SDL 软件开发形式化描述语言; 在线阅读下载PDF 职称材料

基于KVM虚拟化的网络环境自动构建技术研究被引量：3: 4; 作者张云唐积强 +1 位作者闫健恩张兆心《高技术通讯》 CAS CSCD 北大核心 2014年第10期1037-1043,共7页; 针对传统网络环境构建存在成本高、效率低、可控性差的问题,进行了虚拟网络环境自动化构建技术研究,提出了一种基于KVM虚拟化的网络环境自动构建新技术:首先形式化描述真实网络,根据描述结果利用基于内核的虚拟机(KVM)和Click虚拟化生... 展开更多; 关键词网络环境自动构建形式化描述语言 KVM虚拟化; 在线阅读下载PDF 职称材料

基于RFDL的批量生产操作流程的合成: 5; 作者刘佳杨宗霄张安年《微电子学与计算机》 CSCD 北大核心 2009年第3期60-63,共4页; 目前在批量生产过程中,需要根据市场需求和产品规格的动态变化来对批量产品的实施处方进行连续修改,在此基础上合成批量生产操作流程存在很大的复杂性。针对这一问题,提出了一种使用处方形式化描述语言(RFDL)对操作流程正式描述,实现了... 展开更多; 关键词处方工程学处方形式化描述语言(RFDL) 批量过程基本处方实施处方; 在线阅读下载PDF 职称材料

题名融合网络中SIP协议的SDL形式化研究: 1; 作者刘业; 机构苏州市职业大学计算机工程学院; 出处《中国新通信》 2022年第14期25-27,共3页; 文摘作为融合网络中语音业务(VoIP)及新型网络应用的基础协议,SIP协议的灵活性和可扩展性使得它跟网络层的IP协议一样,在应用层成为事实上的“协议标准”。近几年国内企业使用较为广泛的视频会议应用SparkleComm即是用SIP协议进行开发。本文利用SDL语言对SIP协议进行形式化研究,包括协议交互消息的形式化定义,用户代理客户端/服务器端的形式化描述,客户端/服务器端请求事务的内部流程形式化等工作,进而使用SDL语言形式化地描述了SIP呼叫建立的完整流程。这样当我们在SIP协议的基础上进行新型应用协议开发时候,可以在开发初期将协议一致性、可达性、活锁、死锁等协议验证工作做好,提前将部分协议错误在设计初期找出来,以加快企业新型应用的开发效率。; 关键词 SIP 形式化描述语言协议融合网络; 分类号 TN915.04 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名基于CSP的网络协议描述与仿真被引量：3: 2; 作者宋金晶沈军; 机构东南大学计算机科学与技术学院; 出处《东南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2008年第A01期28-33,共6页; 基金国家重点基础研究发展计划(973计划)资助项目(2003CB314801 2009CB320501); 文摘首先提出一种基于CSP的协议形式化描述方法.这种方法把协议看成交互实体,从而能很方便地描述协议间的交互关系以及仿真一个协议交互系统.在此基础上,提出了基于CSP的网络协议仿真方法,介绍了仿真流程及其核心模块.这种仿真方法以CSP文档的解析为起始,随后生成协议交互的仿真场景,最终调用仿真核心模块输出仿真结果.给出了TCP协议描述的实例,并以此为输入对TCP协议的连接过程进行了仿真,生成了可视化的仿真结果.这些研究表明这种协议形式化描述及其仿真的方法具有较好的理论和应用价值,并为实现自动化的协议开发平台奠定了基础.; 关键词形式化描述语言通信顺序进程协议仿真系统建模; Keywords formal description language communicating sequential processes protocol simulation system modeling; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于UCM和SDL的电信业务功能需求建模: 3; 作者程勇袁兆山倪世道琚川徽; 机构合肥工业大学计算机与信息学院; 出处《合肥工业大学学报（自然科学版）》 CAS CSCD 2002年第2期186-190,共5页; 基金安徽省自然科学基金资助项目 (0 10 42 2 0 7); 文摘电信业务开发实践表明正确获取和建模业务功能需求是成功开发新业务的前提和基础 ,因此文章强调建模用户需求的重要性 ,提出基于 UCM和 SDL 的电信业务功能需求建模方法 ,并详细讨论了整个建模过程 ,该方法对于提高电信业务软件开发成功率、缩短开发周期和减少开发工作量有积极意义。; 关键词电信业务功能需求建模 UCM SDL 软件开发形式化描述语言; Keywords telecommunication service function requirement modeling UCM SDL; 分类号 TN911 [电子电信—通信与信息系统] TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于KVM虚拟化的网络环境自动构建技术研究被引量：3: 4; 作者张云唐积强闫健恩张兆心; 机构哈尔滨工业大学计算机科学与技术学院国家计算机网络应急技术处理协调中心; 出处《高技术通讯》 CAS CSCD 北大核心 2014年第10期1037-1043,共7页; 基金国家科技支撑计划(2012BAH45B01) 国家自然科学基金(61100189 +2 种基金 61370215 61370211) 山东省中青年科学家奖励基金(BS2011DX001)资助项目; 文摘针对传统网络环境构建存在成本高、效率低、可控性差的问题,进行了虚拟网络环境自动化构建技术研究,提出了一种基于KVM虚拟化的网络环境自动构建新技术:首先形式化描述真实网络,根据描述结果利用基于内核的虚拟机(KVM)和Click虚拟化生成主机、路由器,然后采用终端路由器路由表洪泛(TRTF)算法计算路由表信息,通过脚本技术对主机与路由器自动设置,形成最终虚拟网络。实验结果表明,利用本文构建算法,构建规模100个节点的网络环境仅需95s。在构建网络中进行了DDoS模拟实验,结果表明网络连通性状况良好,构建网络可用于网络安全事件重现。; 关键词网络环境自动构建形式化描述语言 KVM虚拟化; Keywords network environment, automatic construction, formal description language, KVM virtualization; 分类号 TP393.08 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于RFDL的批量生产操作流程的合成: 5; 作者刘佳杨宗霄张安年; 机构河南科技大学系统科学与工程研究所河南科技大学电子信息工程学院; 出处《微电子学与计算机》 CSCD 北大核心 2009年第3期60-63,共4页; 基金国家自然科学基金项目(70671035); 文摘目前在批量生产过程中,需要根据市场需求和产品规格的动态变化来对批量产品的实施处方进行连续修改,在此基础上合成批量生产操作流程存在很大的复杂性。针对这一问题,提出了一种使用处方形式化描述语言(RFDL)对操作流程正式描述,实现了操作流程和领域知识间的匹配体系化.通过一系列的RFDL描述语句进行批量产品处方的构建及合成,使设计人员可以在不改变设备的前提下,通过改变处方进行新产品的生产.; 关键词处方工程学处方形式化描述语言(RFDL) 批量过程基本处方实施处方; Keywords recipe engineering RFDL（recipe formal definition language） batch process master recipe control recipe; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	融合网络中SIP协议的SDL形式化研究	刘业	《中国新通信》	2022	0	在线阅读下载PDF 职称材料
2	基于CSP的网络协议描述与仿真	宋金晶沈军	《东南大学学报（自然科学版）》 EI CAS CSCD 北大核心	2008	3	在线阅读下载PDF 职称材料
3	基于UCM和SDL的电信业务功能需求建模	程勇袁兆山倪世道琚川徽	《合肥工业大学学报（自然科学版）》 CAS CSCD	2002	0	在线阅读下载PDF 职称材料
4	基于KVM虚拟化的网络环境自动构建技术研究	张云唐积强闫健恩张兆心	《高技术通讯》 CAS CSCD 北大核心	2014	3	在线阅读下载PDF 职称材料
5	基于RFDL的批量生产操作流程的合成	刘佳杨宗霄张安年	《微电子学与计算机》 CSCD 北大核心	2009	0	在线阅读下载PDF 职称材料