期刊文献+
共找到10篇文章
< 1 >
每页显示 20 50 100
实时检测系统设计 被引量:3
1
作者 饶贵安 陈铁红 《电测与仪表》 北大核心 2003年第12期47-50,共4页
许多检测系统对采样速率的要求不是很高,但需要实时输出检测结果。本系统设计了采样控制电路,以使A/D转换自动进行。使用FIFO存储器作为A/D转换数据的缓冲存储器。在采满一定的数据量后FIFO存储器发出半满信号,计算机从FIFO存储器中读... 许多检测系统对采样速率的要求不是很高,但需要实时输出检测结果。本系统设计了采样控制电路,以使A/D转换自动进行。使用FIFO存储器作为A/D转换数据的缓冲存储器。在采满一定的数据量后FIFO存储器发出半满信号,计算机从FIFO存储器中读出数据并进行数据处理,输出处理结果。计算机从FIFO中读出数据和对数据的处理不影响A/D转换。 展开更多
关键词 实时检测系统 FIFO存储器 A/D转换 双口RAM 设计
在线阅读 下载PDF
基于DOD2.0的军事信息系统需求分析方法 被引量:3
2
作者 孙兵成 熊焕宇 郑刚 《兵工自动化》 2012年第8期6-9,共4页
为提高军事信息系统的顶层设计水平和研制的成功概率,提出一种运用DOD2.0的军事信息系统需求分析方法。在对DOD2.0体系结构框架研究基础上,从能力需求、作战需求、服务需求、系统需求、采办需求和技术标准需求出发,设计了军事信息系统... 为提高军事信息系统的顶层设计水平和研制的成功概率,提出一种运用DOD2.0的军事信息系统需求分析方法。在对DOD2.0体系结构框架研究基础上,从能力需求、作战需求、服务需求、系统需求、采办需求和技术标准需求出发,设计了军事信息系统军事需求描述框架,并重点研究了军事需求描述方法和过程。实践结果表明:该方法科学实用,在军事信息系统需求工程领域具有一定的理论和现实指导意义。 展开更多
关键词 军事信息系统 体系结构框架 需求描述
在线阅读 下载PDF
基于TCP的操作系统远程探测技术
3
作者 蔡小勇 王一兵 《系统工程与电子技术》 EI CSCD 北大核心 2006年第9期1438-1441,1459,共5页
利用TCP协议实现中的差异来探测远程操作系统是获取远程操作系统类型信息的一种有效途径。TCP协议上的差异体现为与TCP有关的特征行为和某些字段的特征值。列举了一些探测远程操作系统类型时常使用的TCP协议特征字段和特征行为。将探测... 利用TCP协议实现中的差异来探测远程操作系统是获取远程操作系统类型信息的一种有效途径。TCP协议上的差异体现为与TCP有关的特征行为和某些字段的特征值。列举了一些探测远程操作系统类型时常使用的TCP协议特征字段和特征行为。将探测的实施分为两个基本步骤:获取远程系统的TCP报文和分析、判断获取的TCP报文。端口扫描是获取远程系统TCP报文前期的一种重要活动,通过对端口扫描原理和三种确定操作系统类型方法的分析,阐明了基于TCP的远程操作系统探测技术的可用性。 展开更多
关键词 操作系统探测 传输控制协议 计算机网络 网络安全
在线阅读 下载PDF
基于质量弹簧系统的实时绳索仿真方法 被引量:8
4
作者 谢海波 谭晓兰 甘亮 《暨南大学学报(自然科学与医学版)》 CAS CSCD 北大核心 2013年第5期479-482,共4页
作为存在形态的重要类型之一,软体模拟是仿真领域的重要研究内容.通过分析软体的物理特性,采用质量弹簧(Mass Spring,MS)系统方法,实现了对软体形变仿真的建模.介绍了MS方法的基本原理,在此基础上给出了基于MS方法的软体形变仿真建模方... 作为存在形态的重要类型之一,软体模拟是仿真领域的重要研究内容.通过分析软体的物理特性,采用质量弹簧(Mass Spring,MS)系统方法,实现了对软体形变仿真的建模.介绍了MS方法的基本原理,在此基础上给出了基于MS方法的软体形变仿真建模方法,改变MS的弹性参数,实现了对不同软体的模拟.基于该方法提出了一种快速的绳索建模算法,并应用到虚拟战场环境中运输机空降绳索的模拟.实验结果表明,该方法能快速有效地模拟软体的形变动态行为,满足实时模拟软体仿真显示的需求. 展开更多
关键词 质量弹簧系统 绳索仿真 软体
在线阅读 下载PDF
一种新的实时小波分析 被引量:8
5
作者 饶贵安 康宜华 +3 位作者 陈龙驹 陈铁红 刘双海 杨叔子 《仪器仪表学报》 EI CAS CSCD 北大核心 2005年第2期181-183,205,共4页
叙述了多分辨分析的定义后 ,分析了Mallat塔式算法的特点及不能用于实时分析的不足。针对Mallat算法的结构及小波函数有限支撑的特点 ,提出了对Mallat算法进行改进的垒墙式算法。新算法的信号处理不再是自底至顶进行 ,而是按信号顺序进... 叙述了多分辨分析的定义后 ,分析了Mallat塔式算法的特点及不能用于实时分析的不足。针对Mallat算法的结构及小波函数有限支撑的特点 ,提出了对Mallat算法进行改进的垒墙式算法。新算法的信号处理不再是自底至顶进行 ,而是按信号顺序进行 ,从而可实现信号的实时处理。 展开更多
关键词 小波分析 MALLAT算法 Mallat塔式算法 多分辨分析 实时分析 小波函数 信号处理 实时处理 新算法 特点 有限
在线阅读 下载PDF
面向服务软件中异常处理的形式化建模方法 被引量:4
6
作者 蒋曹清 应时 +2 位作者 文静 贾向阳 王一兵 《西安交通大学学报》 EI CAS CSCD 北大核心 2013年第4期118-124,共7页
针对面向服务软件中异常处理难以建模的问题,基于层次着色Petri网提出了一种面向服务软件中异常处理的形式化建模方法。该方法从异常的抛出、捕获、处理、返回或传播等方面入手进行了异常处理成分建模,给出了各成分的层次化的形式语义模... 针对面向服务软件中异常处理难以建模的问题,基于层次着色Petri网提出了一种面向服务软件中异常处理的形式化建模方法。该方法从异常的抛出、捕获、处理、返回或传播等方面入手进行了异常处理成分建模,给出了各成分的层次化的形式语义模型,来清晰地表达异常处理的过程。结合实例从有效性和可靠性角度对建模方法进行了验证,结果表明,所提方法能够充分利用着色Petri网的层次和数据类型的建模能力,为面向服务软件的数据流和控制流、大规模面向服务软件的层次化模型建模,为异常处理性质的分析与验证提供支持。 展开更多
关键词 面向服务软件 异常处理 形式化建模 建模方法
在线阅读 下载PDF
面向服务软件异常处理研究综述 被引量:5
7
作者 管华 应时 +2 位作者 贾向阳 蒋曹清 王一兵 《计算机科学》 CSCD 北大核心 2013年第4期1-8,21,共9页
随着面向服务软件逐渐成为软件工程领域的研究热点,面向服务软件异常处理的研究日益受到关注,其重要性越来越突出。首先给出了面向服务软件异常的相关概念,阐述了当前面向服务软件异常的几种典型分类,介绍了几个面向服务软件的异常处理... 随着面向服务软件逐渐成为软件工程领域的研究热点,面向服务软件异常处理的研究日益受到关注,其重要性越来越突出。首先给出了面向服务软件异常的相关概念,阐述了当前面向服务软件异常的几种典型分类,介绍了几个面向服务软件的异常处理中使用的方法,并指出它们的局限性。通过分析和总结当前面向服务软件异常处理的研究方向和研究现状,提出了要解决的关键问题,探讨了当前面向服务软件异常处理研究的不足之处,并预测了下一步面向服务软件异常处理的主要研究方向。 展开更多
关键词 面向服务软件 异常处理 综述
在线阅读 下载PDF
一种基于CPN的BPEL异常处理逻辑的开发方法 被引量:2
8
作者 管华 应时 +2 位作者 贾向阳 蒋曹清 王一兵 《计算机科学》 CSCD 北大核心 2013年第1期150-156,共7页
针对WS-BPEL在面向服务软件异常处理方面不够完善的问题,提出了一种基于着色Petri网描述的BPEL异常处理逻辑开发方法。该方法利用着色Petri网(CPN)形式化地描述BPEL的异常处理机制,建立BPEL的异常处理CPN模型,指导对BPEL的异常处理逻辑... 针对WS-BPEL在面向服务软件异常处理方面不够完善的问题,提出了一种基于着色Petri网描述的BPEL异常处理逻辑开发方法。该方法利用着色Petri网(CPN)形式化地描述BPEL的异常处理机制,建立BPEL的异常处理CPN模型,指导对BPEL的异常处理逻辑开发,并依据此建模思想,提出了一个BPEL的异常处理CPN模型的转换工具,用以实现将异常处理的BPEL着色Petri网模型转换成对应的带异常处理的BPEL代码。该工具可在输入的原始的没有异常处理功能的BPEL代码基础上,通过动态地添加BPEL的异常处理语言成份,形成带有异常处理功能的BPEL流程。最后通过引入供应商流程案例,阐述了该方法的具体使用过程。 展开更多
关键词 着色PETRI网 BPEL(Business Process EXECUTION Language) 异常处理
在线阅读 下载PDF
一种基于逆支配点集的数据流Top-k计算方法
9
作者 甘亮 于莉莉 +2 位作者 李润恒 贾焰 金鑫 《计算机工程与科学》 CSCD 北大核心 2012年第6期59-64,共6页
网格索引构造简单,常用于数据流系统计算top-k和skyline。但是,网格索引结构粗略,查询过程可能访问大量非top-k结点。为了提高网格索引计算top-k查询的精确度,本文提出基于数据点逆支配点集性质的网格索引方法,将查询访问集缩小到网格... 网格索引构造简单,常用于数据流系统计算top-k和skyline。但是,网格索引结构粗略,查询过程可能访问大量非top-k结点。为了提高网格索引计算top-k查询的精确度,本文提出基于数据点逆支配点集性质的网格索引方法,将查询访问集缩小到网格索引的"k-最大运算区域区域k-MCA"中,有效地减少了网格索引存储量和查询计算开销。同时,给出了k-MCA索引结构及适应于数据流计算的k-MCA维护更新算法。理论分析和实验结果均验证了上述方法的有效性。 展开更多
关键词 偏好top-k查询 网格索引 逆支配点集 数据流
在线阅读 下载PDF
基于集成活动轮廓模型的SAR图像分割方法 被引量:1
10
作者 彭锐晖 王向伟 吕永胜 《宇航学报》 EI CAS CSCD 北大核心 2011年第7期1605-1611,共7页
图像分割是合成孔径雷达(Synthetic Aperture Radar,SAR)图像自动解译技术中的一个重要问题。基于活动轮廓的思想,给出了一种适应于SAR图像分割的集成活动轮廓模型。该模型综合利用SAR图像的边缘和区域特性,通过检测算子提取SAR图像的... 图像分割是合成孔径雷达(Synthetic Aperture Radar,SAR)图像自动解译技术中的一个重要问题。基于活动轮廓的思想,给出了一种适应于SAR图像分割的集成活动轮廓模型。该模型综合利用SAR图像的边缘和区域特性,通过检测算子提取SAR图像的边缘信息,利用似然函数的最大化提取图像中不同统计信息的区域;通过边缘和区域的共同曲线运动实现对SAR图像的分割。利用加性算子分裂算法,给出了该模型的快速实现方法。通过MSTAR和实测星载SAR数据进行试验验证,并与其他算法比较,结果表明:所提方法适应性强,可适应复杂背景的SAR图像分割,并且分割定位准确、收敛速度较快;所提实现算法稳健,能适应不同参数设置,且对初始条件不敏感。 展开更多
关键词 合成孔径雷达 图像分割 集成活动轮廓 加性算子分裂
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部