期刊文献+
共找到8篇文章
< 1 >
每页显示 20 50 100
分布式软件系统交互行为建模、验证与测试 被引量:9
1
作者 张琛 段振华 +1 位作者 田聪 鱼滨 《计算机研究与发展》 EI CSCD 北大核心 2015年第7期1604-1619,共16页
为了确保分析与设计阶段分布式软件系统中模块之间交互行为的正确性,提出了一种分布式软件系统模块交互的抽象方法,分别通过系统状态机图和对象状态机图对各模块状态变迁进行建模,使用UML2.0序列图对模块之间交互行为进行描述.采用基于... 为了确保分析与设计阶段分布式软件系统中模块之间交互行为的正确性,提出了一种分布式软件系统模块交互的抽象方法,分别通过系统状态机图和对象状态机图对各模块状态变迁进行建模,使用UML2.0序列图对模块之间交互行为进行描述.采用基于命题投影时序逻辑的模型检测技术,将对象状态机图转换为Promela模型,系统交互性质转换为命题投影时序逻辑公式,通过模型检测器验证交互模型是否满足于系统的性质,若不满足于该性质,则能够获得反例执行的路径.给出了一个分布式软件系统测试框架,在验证后的序列图模型基础上,使用基于模型的测试用例自动生成方法得到测试用例集合,该集合能够实现对交互行为的有效测试.实例结果表明,该方法可以提高分布式软件系统中模块交互行为的有效性和可靠性. 展开更多
关键词 分布式软件系统 检测 验证 测试用例
下载PDF
分布式双极化卫星移动MIMO信道模型 被引量:3
2
作者 郭庆 张硕 +2 位作者 杨明川 李明 唐文彦 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2015年第5期50-56,共7页
为更好研究分布式双极化卫星移动MIMO通信系统,在对其信道特性进行分析的基础上,建立了信道模型,计算该信道模型的二阶统计量并估算系统信道容量.模型保证子信道之间的相关性与信道的统计特性不变,并考虑多普勒频谱扩展对小尺度衰落的影... 为更好研究分布式双极化卫星移动MIMO通信系统,在对其信道特性进行分析的基础上,建立了信道模型,计算该信道模型的二阶统计量并估算系统信道容量.模型保证子信道之间的相关性与信道的统计特性不变,并考虑多普勒频谱扩展对小尺度衰落的影响.仿真结果表明,将MIMO技术应用于卫星通信中能够提高系统信道容量,信道容量与系统天线数正相关. 展开更多
关键词 分布式系统 极化 卫星移动通信 MIMO 信道建
下载PDF
一种入侵检测系统的形式化建模及其检测方法
3
作者 彭雅丽 章志明 余敏 《计算机应用》 CSCD 北大核心 2006年第7期1643-1645,共3页
在入侵检测系统的开发过程中应用形式化的规格说明方法,可保证所开发的系统能够满足系统的安全需求,增强用户对所实现系统的信任。以Z方法对所设计的分布式拒绝服务(DDoS)入侵检测系统进行规格说明为例,将Z的应用扩展到安全关键系统的... 在入侵检测系统的开发过程中应用形式化的规格说明方法,可保证所开发的系统能够满足系统的安全需求,增强用户对所实现系统的信任。以Z方法对所设计的分布式拒绝服务(DDoS)入侵检测系统进行规格说明为例,将Z的应用扩展到安全关键系统的开发和设计领域。 展开更多
关键词 入侵检测系统 Z语言 分布式拒绝服务
下载PDF
用于无线测温系统的声表面波反射型延迟线的耦合模精确仿真
4
作者 王文 薛蓄峰 《声学技术》 CSCD 2013年第S1期173-174,共2页
0引言声表面波(SAW)反射型延迟线以其无源、抗干扰能力强、较长的反射时延而广泛应用于无线传感器之中,表现出良好的应用前景[1]。德国弗赖堡大学及奥地利CTR公司相继开展了采用这种器件结构的SAW无线测温系统的研究[2-3],该传感器结构... 0引言声表面波(SAW)反射型延迟线以其无源、抗干扰能力强、较长的反射时延而广泛应用于无线传感器之中,表现出良好的应用前景[1]。德国弗赖堡大学及奥地利CTR公司相继开展了采用这种器件结构的SAW无线测温系统的研究[2-3],该传感器结构可以轻易实现多功能集成,通过评价传播时延相位变化来实现对外围扰动的传感检测。 展开更多
关键词 声表面波 反射型 耦合理论 无线测温 传播时延 测温系统 弗赖堡 传感检测 精确仿真 器件结构
下载PDF
基于反射型延迟线结构的无线无源声表面波测温系统 被引量:3
5
作者 王文 薛蓄峰 +2 位作者 邵秀婷 王建明 梁勇 《声学学报》 EI CSCD 北大核心 2014年第4期473-478,共6页
从传感器核心元件及无线测温雷达的优化设计出发,研制了一种集成电子标签的高性能声表面波(SAW)无线无源测温系统。基于耦合模(COM)理论对作为传感元件的反射型SAW延迟线进行了优化设计,基于仿真结果,实验研制了采用YZ LiNbO_3石英基片... 从传感器核心元件及无线测温雷达的优化设计出发,研制了一种集成电子标签的高性能声表面波(SAW)无线无源测温系统。基于耦合模(COM)理论对作为传感元件的反射型SAW延迟线进行了优化设计,基于仿真结果,实验研制了采用YZ LiNbO_3石英基片的434 MHz反射型SAW延迟线,该器件是由一个换能器与8个反射器构成的反射型延迟线,其中3个反射器用于温度检测,另外5个反射器则用于采用相位编码的电子标签。测试结果显示所研制的反射型SAW延迟线具有良好的时域特性与较高的信噪比,并与理论仿真结果极为吻合。设计并研制了采用步进调频(FSCW)模式的测温雷达,利用高精度高低温箱对所研制的无线无源SAW测温系统进行了无线测试,系统表现出良好的线性特性,测温准确度达到了士1℃以内。 展开更多
关键词 反射型 测温系统 声表面波 电子标签 耦合理论 反射器 仿真结果 无线测温 温度检测 传感元件
下载PDF
一种基于非厄米差频线圈阵列的异物检测方法
6
作者 余跃 《新型工业化》 2021年第7期40-42,共3页
无线电能传输过程中,异物如果存在于传能系统,会对整个传能系统的效率和安全性造成损害。本文基于单共振线圈系统的耦合模理论分析,设计了一种由4×4个检测单元组成的大小为16cm×16cm的异物检测线圈阵列,其中近邻两个单元频率... 无线电能传输过程中,异物如果存在于传能系统,会对整个传能系统的效率和安全性造成损害。本文基于单共振线圈系统的耦合模理论分析,设计了一种由4×4个检测单元组成的大小为16cm×16cm的异物检测线圈阵列,其中近邻两个单元频率分别为6.5MHz和7.5MHz。通过计算异物存在时检测单元的电压相对无异物时的变化率,实现对金属异物的检测。实验结果表明,该方法可以有效地检测到尺寸小于1cm的金属异物,精度最高可达80%,且可以检测铁氧体异物。 展开更多
关键词 单共振线圈系统 耦合理论 线圈阵列 异物检测
下载PDF
Enhancement of signal-noise-ratio in a distributed polarization mode coupling detection system 被引量:3
7
作者 JING Wen-cai LI Xiao-jingi +5 位作者 LIU Kun XU Tian-hua ZHANG Yi-mo ZHANG Hong-xia JIA Da-gong PENG Gang-Ding 《Optoelectronics Letters》 EI 2007年第1期57-61,共5页
A distributed polarization-mode coupling measurement system was designed and implemented using white light interferometry. It can be used for the measurement of polarization mode coupling in a high-birefringence fiber... A distributed polarization-mode coupling measurement system was designed and implemented using white light interferometry. It can be used for the measurement of polarization mode coupling in a high-birefringence fiber of up to i km. This system can be used in both fiber-optic sensors and optical fiber communications. Wavelet Transform was adopted in data processing to improve the signal-noise-ratio. The signal-noise-ratio of this system was improved more than 15 dB after denoising. The influence of denoising threshold on signal-noise-ratio and measurement accuracy was also discussed. Hilbert Transform and non-linear regression can be used in conjunction with Wavelet Transform to enhance the signal-noise-ratio and spatial resolution of this system. 展开更多
关键词 Wavelet transform DENOISING POLARIZATION
下载PDF
Influence of polarization extinction ratio on distributed polarization coupling detection 被引量:2
8
作者 XU Tlan-hua TANG Feng JING Wen-cai ZHANG Hong-xia JIA Da-gong YU Chang-song ZHOU Ge ZHANG Yi-mo 《Optoelectronics Letters》 EI 2008年第4期292-294,共3页
Distributed polarization coupling in polarization-maintaining fibers can be detected by using a white light Michelson interferometer.This technique usually requires that only one polarization mode is excited.However,i... Distributed polarization coupling in polarization-maintaining fibers can be detected by using a white light Michelson interferometer.This technique usually requires that only one polarization mode is excited.However,in practical measurement,the injection polarization direction could not be exactly aligned to one of the principal axes of the PMF,so the influence of the polarization extinction ratio should be considered.Based on the polarization coupling theory,the influence of the incident polarization extinction on the measurement result is evaluated and analyzed,and a method for distributed polariza-tion coupling detection is developed when both two orthogonal eigenmodes are excited. 展开更多
关键词 分布式偏振耦合检测 极化衰落率 白光迈克逊干涉计 偏振
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部