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

UML序列图的Z形式规范被引量：5: 1; 作者李景峰李琰陈平《西安电子科技大学学报》 EI CAS CSCD 北大核心 2002年第6期772-775,795,共5页; 用形式化语言Z定义了统一建模语言序列图的严格语义,给出了抽象句法、合式规则及应满足的一致性约束,并通过一个应用实例说明了该形式规范为序列图的语义分析与正确性验证提供了支持.; 关键词 UML序列图 Z形式规范统一建模语言形式化 Z语言; 在线阅读下载PDF 职称材料

UML顺序图的形式化描述被引量：6: 2; 作者李景峰李琰陈平《计算机科学》 CSCD 北大核心 2002年第6期147-148,共2页; 1引言统一建模语言UML(Unified Modeling Language)[6]是标准的对象建模语言,它通过定义的多种图和模型元素描述系统分析和设计的结果,主要针对大型、复杂系统的建模.然而,UML却是半形式化的--其语法结构采用了形式化的规约,但其语义... 展开更多; 关键词 UML语言统一建模语言顺序图形式化描述; 在线阅读下载PDF 职称材料

基于TMS320C6205的实时数据采集与处理系统被引量：10: 3; 作者潘亚涛冯建雄《数据采集与处理》 CSCD 2002年第1期73-76,共4页; 介绍了一个超高速实时数据采集处理系统的设计与实现 ,系统采用 AD1 0 2 6 5和 TMS32 0 C6 2 0 5芯片 ,具有超高数据采集率、大容量存储空间、灵活外围接口和强大的信号处理能力等优点 ,可满足雷达、通信和图像处理应用中对高数据流通... 展开更多; 关键词数字信号处理器实时数据采集系统数据处理系统 TMS320C6205; 在线阅读下载PDF 职称材料

基于上下文约束的UML序列图语义分析方法被引量：1: 4; 作者李景峰李琰陈平《系统工程与电子技术》 EI CSCD 北大核心 2003年第2期184-187,共4页; 统一建模语言 (UML)半形式化的特征使得难以对复杂系统的模型进行严格的语义分析和正确性验证。提出了一种对UML序列图进行语义分析的方法。它以序列图的事件序语义为基础 ,用消息序列表示序列图 ,并将其具体上下文表示为对消息序列的... 展开更多; 关键词统一建模语言序列图语义分析约束; 在线阅读下载PDF 职称材料

浅析IP-UTRAN的演进: 5; 作者蒋兴浩刘泽红《电信科学》北大核心 2001年第10期19-22,共4页; 第三代移动通信网的发展趋势将是基于全IP的 ,本文重点分析了IP -UTRAN的演进趋势 ,并对其中涉及的IP版本选择、空中接口和传输网络层等相关问题进行了讨论。; 关键词第三代移动通信系统 UTRAN IMT-2000 码分多址; 在线阅读下载PDF 职称材料

基于HTTP协议的高速代理服务器被引量：3: 6; 作者赵衍敏姚自明赵岳松《计算机工程与科学》 CSCD 2003年第2期64-66,共3页; 本文在简要介绍HTTP协议及代理服务器原理的基础上,给出了如何用VC++实现HTTP协议解析及高速代理服务器。; 关键词 HTTP协议高速代理服务器客户机/服务器因特网网络编程; 在线阅读下载PDF 职称材料

用Radius扩展IKE实现的集中认证和计费功能: 7; 作者赵衍敏姚自明赵岳松《计算机工程》 CAS CSCD 北大核心 2002年第11期153-154,223,共3页; IKE是一个可以根据实际需要进行扩展的协议，它并没有指定某一种具体的身份认证技术。该文探讨了在IKE中加入自定义的Radius_CHAP认证，同时用Radius实现IKE所没有的计费功能。; 关键词 RADIUS 集中认证计费功能虚拟专用网 IKE协议; 在线阅读下载PDF 职称材料

题名UML序列图的Z形式规范被引量：5: 1; 作者李景峰李琰陈平; 机构西安电子科技大学软件工程研究所上海贝尔有限公司研发部; 出处《西安电子科技大学学报》 EI CAS CSCD 北大核心 2002年第6期772-775,795,共5页; 基金国家"十五"军事预研资助项目(413150501); 文摘用形式化语言Z定义了统一建模语言序列图的严格语义,给出了抽象句法、合式规则及应满足的一致性约束,并通过一个应用实例说明了该形式规范为序列图的语义分析与正确性验证提供了支持.; 关键词 UML序列图 Z形式规范统一建模语言形式化 Z语言; Keywords unified modeling language sequence diagram formalization Z language; 分类号 TP312 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名UML顺序图的形式化描述被引量：6: 2; 作者李景峰李琰陈平; 机构西安电子科技大学软件工程研究所上海贝尔有限公司研发部; 出处《计算机科学》 CSCD 北大核心 2002年第6期147-148,共2页; 文摘 1引言统一建模语言UML(Unified Modeling Language)[6]是标准的对象建模语言,它通过定义的多种图和模型元素描述系统分析和设计的结果,主要针对大型、复杂系统的建模.然而,UML却是半形式化的--其语法结构采用了形式化的规约,但其语义部分则是用自然语言描述的[4,5].由于复杂系统的建模往往需要进行严格的语义分析,而UML却缺乏准确的语义,这使得对模型难以进行一致性检查和正确性分析,进而限制了它的有效性[1,2].; 关键词 UML语言统一建模语言顺序图形式化描述; Keywords Unified Modeling Language .Sequence diagram. Formalization; 分类号 TP312 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于TMS320C6205的实时数据采集与处理系统被引量：10: 3; 作者潘亚涛冯建雄; 机构上海交通大学信号处理研究所上海贝尔有限公司研发部; 出处《数据采集与处理》 CSCD 2002年第1期73-76,共4页; 文摘介绍了一个超高速实时数据采集处理系统的设计与实现 ,系统采用 AD1 0 2 6 5和 TMS32 0 C6 2 0 5芯片 ,具有超高数据采集率、大容量存储空间、灵活外围接口和强大的信号处理能力等优点 ,可满足雷达、通信和图像处理应用中对高数据流通率和高速处理能力的要求。文中最后给出了该系统在高速实时雷达信号处理和终端显示中的应用实例。; 关键词数字信号处理器实时数据采集系统数据处理系统 TMS320C6205; Keywords data acquisition real time digital signal processing; 分类号 TP274.2 [自动化与计算机技术—检测技术与自动化装置]; 在线阅读下载PDF 职称材料

题名基于上下文约束的UML序列图语义分析方法被引量：1: 4; 作者李景峰李琰陈平; 机构西安电子科技大学软件工程研究所上海贝尔有限公司研发部; 出处《系统工程与电子技术》 EI CSCD 北大核心 2003年第2期184-187,共4页; 基金国家"九五"军事预研项目 (No.6 .2.1.4) "十五"军事预研项目资助课题 (No.41315 0 5 1); 文摘统一建模语言 (UML)半形式化的特征使得难以对复杂系统的模型进行严格的语义分析和正确性验证。提出了一种对UML序列图进行语义分析的方法。它以序列图的事件序语义为基础 ,用消息序列表示序列图 ,并将其具体上下文表示为对消息序列的语义约束 ,通过上下文约束与系统状态间的一致性检查对序列图进行语义分析。最后通过一个实例说明了该方法的有效性和实用性。; 关键词统一建模语言序列图语义分析约束; Keywords Unified modeling language Sequence diagram Semantic analysis Constraint; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名浅析IP-UTRAN的演进: 5; 作者蒋兴浩刘泽红; 机构浙江大学信息与电子工程学系上海贝尔有限公司研发事业部; 出处《电信科学》北大核心 2001年第10期19-22,共4页; 文摘第三代移动通信网的发展趋势将是基于全IP的 ,本文重点分析了IP -UTRAN的演进趋势 ,并对其中涉及的IP版本选择、空中接口和传输网络层等相关问题进行了讨论。; 关键词第三代移动通信系统 UTRAN IMT-2000 码分多址; Keywords G, UTRAN, IPv6, evolution; 分类号 TN929.43 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名基于HTTP协议的高速代理服务器被引量：3: 6; 作者赵衍敏姚自明赵岳松; 机构武汉理工大学计算机科学与技术学院上海贝尔有限公司研发部.上海; 出处《计算机工程与科学》 CSCD 2003年第2期64-66,共3页; 文摘本文在简要介绍HTTP协议及代理服务器原理的基础上,给出了如何用VC++实现HTTP协议解析及高速代理服务器。; 关键词 HTTP协议高速代理服务器客户机/服务器因特网网络编程; Keywords HTTP proxy server client/server; 分类号 TP393.4 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名用Radius扩展IKE实现的集中认证和计费功能: 7; 作者赵衍敏姚自明赵岳松; 机构武汉理工大学计算机科学与技术学院上海贝尔有限公司研发部; 出处《计算机工程》 CAS CSCD 北大核心 2002年第11期153-154,223,共3页; 文摘 IKE是一个可以根据实际需要进行扩展的协议，它并没有指定某一种具体的身份认证技术。该文探讨了在IKE中加入自定义的Radius_CHAP认证，同时用Radius实现IKE所没有的计费功能。; 关键词 RADIUS 集中认证计费功能虚拟专用网 IKE协议; Keywords IKE Radius Security association; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	UML序列图的Z形式规范	李景峰李琰陈平	《西安电子科技大学学报》 EI CAS CSCD 北大核心	2002	5	在线阅读下载PDF 职称材料
2	UML顺序图的形式化描述	李景峰李琰陈平	《计算机科学》 CSCD 北大核心	2002	6	在线阅读下载PDF 职称材料
3	基于TMS320C6205的实时数据采集与处理系统	潘亚涛冯建雄	《数据采集与处理》 CSCD	2002	10	在线阅读下载PDF 职称材料
4	基于上下文约束的UML序列图语义分析方法	李景峰李琰陈平	《系统工程与电子技术》 EI CSCD 北大核心	2003	1	在线阅读下载PDF 职称材料
5	浅析IP-UTRAN的演进	蒋兴浩刘泽红	《电信科学》北大核心	2001	0	在线阅读下载PDF 职称材料
6	基于HTTP协议的高速代理服务器	赵衍敏姚自明赵岳松	《计算机工程与科学》 CSCD	2003	3	在线阅读下载PDF 职称材料
7	用Radius扩展IKE实现的集中认证和计费功能	赵衍敏姚自明赵岳松	《计算机工程》 CAS CSCD 北大核心	2002	0	在线阅读下载PDF 职称材料