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

基于TLA的UML模型形式化验证被引量：3: 1; 作者梁盟磊王小平 +1 位作者薛小平李刚《计算机工程》 CAS CSCD 北大核心 2011年第2期72-74,共3页; 统一建模语言(UML)不能直接对所建立模型的正确性进行形式化验证。为解决上述问题,从UML模型的静态结构和动态行为2个方面分别提出结合行为时序逻辑(TLA)的模型形式化方法,在此基础上提出将UML模型转化为TLA+的形式化描述方法,并用TLC... 展开更多; 关键词形式化方法形式化验证统一建模语言行为时序逻辑; 在线阅读下载PDF 职称材料

无线传感器网络的路由算法与仿真实现被引量：8: 2; 作者屠燕春郭爱煌《计算机工程》 EI CAS CSCD 北大核心 2006年第22期124-126,共3页; 无线传感器网络能够协作地实时监测、感知和采集各种环境或监测对象的信息,并对其进行处理,传送到信息接收者,其关键技术之一是路由算法及实现。分析了Directed Diffusion路由算法,用UML统一建模语言对该路由算法进行了建模,在网络模拟... 展开更多; 关键词无线传感器网络 UML 路由算法仿真实现; 在线阅读下载PDF 职称材料

基于协同分集的无线传感网络路由与信道分析被引量：1: 3; 作者屠燕春郭爱煌《计算机工程与设计》 CSCD 北大核心 2007年第21期5130-5132,5284,共4页; 协同分集是一种新近提出的空域分集技术,它使得终端之间可以共享彼此的天线,为实现多输入多输出(MIMO)提供了有效的方式,适合用于无线Ad hoc网络和无线传感网络中,成为研究热点。在分析协同分集技术的基础上,针对无线传感网络的特点,分... 展开更多; 关键词协同分集无线传感网络路由信道模型能源消耗; 在线阅读下载PDF 职称材料

在Ad hoc网中关于移动代理的一种安全方案的研究被引量：1: 4; 作者包蕾何明德《计算机应用研究》 CSCD 北大核心 2005年第5期245-246,255,共3页; 在移动Adhoc网络环境下运用移动代理系统,极易受到DoS攻击,以往的解决方案都有一定的局限性,就此问题描述了一种新的安全解决方案,研究了该方案中所使用的技术,并提出了一些改进的设想,对相关的问题进行了讨论。; 关键词 AD HOC网移动代理安全漏洞 DOS攻击模糊控制; 在线阅读下载PDF 职称材料

Ad hoc中基于DSR路由协议的安全机制被引量：2: 5; 作者包蕾何明德《信息网络安全》 2004年第7期46-47,共2页; Ad Hoc网络是一种由移动节点组成的临时性自治系统.作为一种无线移动网络,Ad Hoc网络和传统的移动网络有着许多不同,其中一个主要的区别就是Ad Hoc网络不依赖于任何固定的网络设施,而是通过移动节点间的相互协作来进行网络互联.在一个无... 展开更多; 关键词 AD HOC网络 DSR路由协议安全机制移动节点; 在线阅读下载PDF 职称材料

基于GMPLS的新型二维标记交换网络的研究: 6; 作者陈晓敏郭爱煌李正斌《光通信技术》 CSCD 北大核心 2008年第1期20-22,共3页; 对MPλS进行扩展,提出基于GMPLS的新型二维标记交换(MPCλS:Multi-Protocol Code-λ Switching),利用光码分复用(OCDM)结合MPλS对数据进行复合多维度的标记交换,降低了所需波长数;给出网络拓扑发现和复合LSP的建立过程算法,实现资源的... 展开更多; 关键词光标记交换 GMPLS 光码分复用通用成帧规程; 在线阅读下载PDF 职称材料

40Gbps多信道RZ/NRZ码传输色散时频特性分析: 7; 作者陈晓敏郭爱煌《计算机工程》 EI CAS CSCD 北大核心 2006年第23期114-115,118,共3页; 采用分步傅里叶法求解信号在多信道系统中满足的耦合非线性薛定谔方程组,建立40Gbps多信道通信系统的传输模型,以该模型仿真分析了NRZ码和RZ码的传输性能,并引入时频分析方法分析信号的传输性能。仿真结果表明,RZ码能量集中,误码率低;在... 展开更多; 关键词码型色散多信道时频分析; 在线阅读下载PDF 职称材料

数字式水下甲壳生物发声感知设备设计: 8; 作者曹天宇杨一晨 +2 位作者陈琳戴宪邦赵晓群《传感器与微系统》 CSCD 北大核心 2023年第4期99-102,106,共5页; 基于前期对水中甲壳类生物发声现象验证性实验研究,设计实现了数字式水下甲壳生物发声感知设备。针对水产养殖需求和传统水听器应用存在的问题,提出系统构架及核心性能参数。详细分析了硬件系统设计实现的关键部分,高精度模/数(A/D)采... 展开更多; 关键词发声感知数字式高精度无人值守; 在线阅读下载PDF 职称材料

题名基于TLA的UML模型形式化验证被引量：3: 1; 作者梁盟磊王小平薛小平李刚; 机构同济大学电子与信息工程学院计算机科学与技术系同济大学电子与信息工程学院信息与通信工程系; 出处《计算机工程》 CAS CSCD 北大核心 2011年第2期72-74,共3页; 基金国家自然科学基金资助项目(60972036); 文摘统一建模语言(UML)不能直接对所建立模型的正确性进行形式化验证。为解决上述问题,从UML模型的静态结构和动态行为2个方面分别提出结合行为时序逻辑(TLA)的模型形式化方法,在此基础上提出将UML模型转化为TLA+的形式化描述方法,并用TLC工具形式化检测TLA+描述的正确性。通过实例分析证明了该方法的有效性。; 关键词形式化方法形式化验证统一建模语言行为时序逻辑; Keywords formal method formal verification UML Temporal Logic of Actions（TLA）; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名无线传感器网络的路由算法与仿真实现被引量：8: 2; 作者屠燕春郭爱煌; 机构同济大学电子与信息工程学院信息与通信工程系; 出处《计算机工程》 EI CAS CSCD 北大核心 2006年第22期124-126,共3页; 文摘无线传感器网络能够协作地实时监测、感知和采集各种环境或监测对象的信息,并对其进行处理,传送到信息接收者,其关键技术之一是路由算法及实现。分析了Directed Diffusion路由算法,用UML统一建模语言对该路由算法进行了建模,在网络模拟工具NS的模块上实现了对该路由算法的模拟仿真,分析了其时延、能耗、数据发送率等网络性能,并与Flooding路由算法作比较。仿真结果表明Directed Diffusion路由算法在某些方面有较好的特性。; 关键词无线传感器网络 UML 路由算法仿真实现; Keywords Wireless sensor network Unified modeling language Routing algorithm Simulation; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于协同分集的无线传感网络路由与信道分析被引量：1: 3; 作者屠燕春郭爱煌; 机构同济大学电子与信息工程学院信息与通信工程系; 出处《计算机工程与设计》 CSCD 北大核心 2007年第21期5130-5132,5284,共4页; 文摘协同分集是一种新近提出的空域分集技术,它使得终端之间可以共享彼此的天线,为实现多输入多输出(MIMO)提供了有效的方式,适合用于无线Ad hoc网络和无线传感网络中,成为研究热点。在分析协同分集技术的基础上,针对无线传感网络的特点,分析了传感网络中多跳路由算法与协同分集路由算法,给出网络的等效信道模型,并由此讨论使用协同分集对网络能源消耗的影响,讨论了基于协同分集的无线传感网络的实现。分析结果表明,协同分集在无线传感网络中具有较好的应用价值。; 关键词协同分集无线传感网络路由信道模型能源消耗; Keywords cooperative diversity wireless sensor networks routing channel model energy analysis; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名在Ad hoc网中关于移动代理的一种安全方案的研究被引量：1: 4; 作者包蕾何明德; 机构同济大学信息与通信系; 出处《计算机应用研究》 CSCD 北大核心 2005年第5期245-246,255,共3页; 文摘在移动Adhoc网络环境下运用移动代理系统,极易受到DoS攻击,以往的解决方案都有一定的局限性,就此问题描述了一种新的安全解决方案,研究了该方案中所使用的技术,并提出了一些改进的设想,对相关的问题进行了讨论。; 关键词 AD HOC网移动代理安全漏洞 DOS攻击模糊控制; Keywords Ad hoc Network Mobile Agent Vulnerabilities DoS Attack Fuzzy Control; 分类号 TP393.08 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名Ad hoc中基于DSR路由协议的安全机制被引量：2: 5; 作者包蕾何明德; 机构同济大学信息与通信系; 出处《信息网络安全》 2004年第7期46-47,共2页; 文摘 Ad Hoc网络是一种由移动节点组成的临时性自治系统.作为一种无线移动网络,Ad Hoc网络和传统的移动网络有着许多不同,其中一个主要的区别就是Ad Hoc网络不依赖于任何固定的网络设施,而是通过移动节点间的相互协作来进行网络互联.在一个无线Ad hoc网络中,节点之间通过多条无线链路相互通信,所有的节点利用共享的无线媒质相互联系.; 关键词 AD HOC网络 DSR路由协议安全机制移动节点; 分类号 TN929.5 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名基于GMPLS的新型二维标记交换网络的研究: 6; 作者陈晓敏郭爱煌李正斌; 机构同济大学电子与信息工程学院信息与通信工程系北京大学区域光纤通信网与新型光通信系统国家重点实验室; 出处《光通信技术》 CSCD 北大核心 2008年第1期20-22,共3页; 基金区域光纤通信网与新型光通信系统国家重点实验室(北京大学)开放课题; 文摘对MPλS进行扩展,提出基于GMPLS的新型二维标记交换(MPCλS:Multi-Protocol Code-λ Switching),利用光码分复用(OCDM)结合MPλS对数据进行复合多维度的标记交换,降低了所需波长数;给出网络拓扑发现和复合LSP的建立过程算法,实现资源的灵活配置;引入通用成帧规程(GFP),并对其进行扩展改进,实现对新型二维标记交换网络的流量整形。; 关键词光标记交换 GMPLS 光码分复用通用成帧规程; Keywords optical label switching GMPLS OCDM GFP; 分类号 TN929.11 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名40Gbps多信道RZ/NRZ码传输色散时频特性分析: 7; 作者陈晓敏郭爱煌; 机构同济大学电子与信息工程学院信息与通信工程系; 出处《计算机工程》 EI CAS CSCD 北大核心 2006年第23期114-115,118,共3页; 基金宽带光纤传输与通信网络教育部重点实验室(电子科技大学)开放课题基金资助项目; 文摘采用分步傅里叶法求解信号在多信道系统中满足的耦合非线性薛定谔方程组,建立40Gbps多信道通信系统的传输模型,以该模型仿真分析了NRZ码和RZ码的传输性能,并引入时频分析方法分析信号的传输性能。仿真结果表明,RZ码能量集中,误码率低;在40Gbps通信系统中RZ码对PMD有一定的抑制作用,降低了系统OSNR灵敏度的要求,有利于现在的10Gbps的光纤通信系统速率升级到40Gbps。; 关键词码型色散多信道时频分析; Keywords Modulation formats Dispersion Multi-channel Time-frequency analysis; 分类号 TN929.11 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名数字式水下甲壳生物发声感知设备设计: 8; 作者曹天宇杨一晨陈琳戴宪邦赵晓群; 机构同济大学电子与信息工程学院信息与通信工程系上海船舶设备研究所上海船舶工艺研究所; 出处《传感器与微系统》 CSCD 北大核心 2023年第4期99-102,106,共5页; 基金上海智慧农业项目(2019-02-08-00-10-F01117)。; 文摘基于前期对水中甲壳类生物发声现象验证性实验研究,设计实现了数字式水下甲壳生物发声感知设备。针对水产养殖需求和传统水听器应用存在的问题,提出系统构架及核心性能参数。详细分析了硬件系统设计实现的关键部分,高精度模/数(A/D)采集模块的电路设计,硬件主板机械设计和接口实现,整机装配水密处理和线缆接口。由数据传输与本地存储的功能需求,利用Python软件实现用户数据报协议(UDP)网络无人值守上位机测试与应用。实施外场验证性采集实验,并对数据处理得到信号波形。利用短时傅里叶变换对信号关键参数进行提取,验证了设备对水产养殖中的声信号具有良好感知性能。; 关键词发声感知数字式高精度无人值守; Keywords underwater acoustic perception digital high-precision unattended; 分类号 TP212 [自动化与计算机技术—检测技术与自动化装置] TB52 [理学—声学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于TLA的UML模型形式化验证	梁盟磊王小平薛小平李刚	《计算机工程》 CAS CSCD 北大核心	2011	3	在线阅读下载PDF 职称材料
2	无线传感器网络的路由算法与仿真实现	屠燕春郭爱煌	《计算机工程》 EI CAS CSCD 北大核心	2006	8	在线阅读下载PDF 职称材料
3	基于协同分集的无线传感网络路由与信道分析	屠燕春郭爱煌	《计算机工程与设计》 CSCD 北大核心	2007	1	在线阅读下载PDF 职称材料
4	在Ad hoc网中关于移动代理的一种安全方案的研究	包蕾何明德	《计算机应用研究》 CSCD 北大核心	2005	1	在线阅读下载PDF 职称材料
5	Ad hoc中基于DSR路由协议的安全机制	包蕾何明德	《信息网络安全》	2004	2	在线阅读下载PDF 职称材料
6	基于GMPLS的新型二维标记交换网络的研究	陈晓敏郭爱煌李正斌	《光通信技术》 CSCD 北大核心	2008	0	在线阅读下载PDF 职称材料
7	40Gbps多信道RZ/NRZ码传输色散时频特性分析	陈晓敏郭爱煌	《计算机工程》 EI CAS CSCD 北大核心	2006	0	在线阅读下载PDF 职称材料
8	数字式水下甲壳生物发声感知设备设计	曹天宇杨一晨陈琳戴宪邦赵晓群	《传感器与微系统》 CSCD 北大核心	2023	0	在线阅读下载PDF 职称材料