检索结果-南通市图书馆

电子与信息学报 2024年

作者：范一飞陈铎粟嘉郭子薰陶明亮王伶西北工业大学电子信息学院中国航空工业集团公司洛阳电光设备研究所

针对雷达对海探测过程中理论导向矢量与实际导向矢量之间不匹配导致的虚警概率升高的问题，该文在复合高斯模型(CGM)下设计自适应失配检测器。为了抑制失配信号，在零假设中引入与理论导向矢量正交的虚拟信号，从而给出存在失配信号的... 详细信息

针对雷达对海探测过程中理论导向矢量与实际导向矢量之间不匹配导致的虚警概率升高的问题，该文在复合高斯模型(CGM)下设计自适应失配检测器。为了抑制失配信号，在零假设中引入与理论导向矢量正交的虚拟信号，从而给出存在失配信号的目标检测模型。将CGM的纹理分量建模为广义逆高斯分布，分别基于两步广义似然比(GLRT)和最大后验GLRT(MAP GLRT)准则发展类似于自适应波束形成器正交抑制检测(ABORT)的自适应失配检测器，并通过理论证明所提失配检测器对散斑协方差矩阵和目标多普勒导向矢量具有恒虚警(CFAR)特性。仿真和实测数据实验结果表明，所提失配检测器在导向矢量匹配情况下的检测性能和失配情况下的抗失配性能之间具有良好的折衷。

关键词：海杂波广义逆高斯纹理复合高斯模型失配检测自适应波束形成器正交抑制检测

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

时间感知Web服务交互行为建模与失配检测方法研究

引用

电子学报 2011年第11期39卷 2568-2575页

作者：张广泉戎玫王昇苏州大学计算机科学与技术学院江苏苏州215006 中国科学院计算机科学国家重点实验室北京100190 暨南大学深圳旅游学院广东深圳518053

针对现有Web服务组合过程中存在时间感知力弱、服务利用率低、组合可靠性差等问题,通过将定量时间属性引入Web服务交互适配框架中,研究时间感知Web服务交互行为的形式化建模与交互行为失配的自动检测问题.提出了用于表达单个时间感知We... 详细信息

针对现有Web服务组合过程中存在时间感知力弱、服务利用率低、组合可靠性差等问题,通过将定量时间属性引入Web服务交互适配框架中,研究时间感知Web服务交互行为的形式化建模与交互行为失配的自动检测问题.提出了用于表达单个时间感知Web服务交互行为的时间服务协议(TSP)模型和用于表达多个时间感知Web服务并发组合的时间服务协议网络(TSPN)模型;将时间感知Web服务交互失配检测问题转化为TSP模型之间的兼容性判定问题,定义了从时间感知Web服务描述至TSP模型和从TSP模型至UPPAAL规约的映射规则,给出了TSP模型兼容性性质的CTL公式表示,基于模型检测工具UPPAAL实现时间感知Web服务交互失配的自动化检测,其检测结果作为下一步是否需要构造适配器的判断依据;最后通过实例分析进一步阐述了上述方法的可行性和有效性.

关键词：时间感知Web服务时间服务协议时间服务交互模型检测失配检测

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

基于BMC的Web服务失配检测方法研究

基于BMC的Web服务失配检测方法研究

引用

作者：陈圣标苏州大学

学位级别：硕士

面向服务的体系结构(SOA)作为一种新的软件开发范型,正逐步成为未来软件发展的趋势之一,而其主流的实现方式Web服务技术也得到了快速的发展与应用。由于单个Web服务提供的功能有限,有必要将多个服务组装成一个价值增值的、粒度更大的服... 详细信息

面向服务的体系结构(SOA)作为一种新的软件开发范型,正逐步成为未来软件发展的趋势之一,而其主流的实现方式Web服务技术也得到了快速的发展与应用。由于单个Web服务提供的功能有限,有必要将多个服务组装成一个价值增值的、粒度更大的服务或系统以满足复杂的应用需求。但在服务组合过程中,因存在接口类型、数据格式或交互协议不一致等失配情况,导致服务无法正确组合。服务失配检测可准确捕捉失配点,为实现服务的正确组合奠定基础。从互操作性分层的角度分析,服务失配可能发生在签名、行为、语义等层次。其中行为层的失配研究是关键也是难点,本文研究Web服务在行为层次的失配。如果参与交互的服务最终能到达各自的终止状态,则服务交互过程不存在失配,否则就存在失配。换言之,本文将服务的失配检测问题转化为服务兼容性判定问题。形式化验证技术(如模型检测)作为软件质量保证的一种重要方法,目前已广泛应用于Web服务相关性质验证。限界模型检测(BMC)采用由局部到全局渐进式检测,能快速寻找到反例。本文采用BMC围绕Web服务失配检测展开了研究,具体内容包括:(1)提出了一种基于NuSMV的Web服务失配检测方法。首先给出Web服务交互行为以及兼容性质的形式化描述,然后利用支持BMC的模型检测工具NuSMV验证服务交互模型是否满足兼容性质,性质不满足时,给出反例说明。(2)提出了一种基于SMT的Web服务失配检测方法,通过检测服务交互过程死锁状态是否可达来判定Web服务交互行为的兼容性。首先对Web服务交互行为进行建模,然后将其转化为SMT工具可识别的逻辑公式,并用逻辑公式表示兼容性质的否定,利用SMT工具实现Web服务的失配检测。(3)将时间属性引入Web服务交互过程中,建立带有时间属性的Web服务形式化模型,提出基于SMT的时间感知Web服务失配检测方法。

关键词： Web服务失配检测限界模型检测 NuSMV SMT

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于无线传感网的光伏阵列监测及失配检测

引用

中国科技期刊数据库工业A 2021年第6期 73-74页

作者：李正海阳光电源股份有限公司安徽合肥230088

太阳能光伏发电具有环保、无噪声、来源广泛等优点,在全球拥有巨大的装机量。然而,由于长期工作于复杂恶劣的户外环境中,光伏发电阵列易出现各种故障而影响其发电效率及安全运行。因此,对光伏阵列的监测尤为重要。现有的光伏监测系统存... 详细信息

太阳能光伏发电具有环保、无噪声、来源广泛等优点,在全球拥有巨大的装机量。然而,由于长期工作于复杂恶劣的户外环境中,光伏发电阵列易出现各种故障而影响其发电效率及安全运行。因此,对光伏阵列的监测尤为重要。现有的光伏监测系统存在一些不足,例如有线监测系统布线复杂、成本高。针对这些问题文中提出的基于NB-IoT的光伏阵列运行参数监测系统,凭借基于蜂窝网络的NB-IoT自身具备的广覆盖、低功耗、低速率、大连接等优势,不仅完美地弥补了现有监测方式的不足,同时为NB-IoT在微网中的应用打下坚实基础。

关键词：无线传感技术光伏阵列监测失配检测

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Web服务行为适配技术研究

Web服务行为适配技术研究

引用

作者：缪晶晶浙江大学

学位级别：硕士

面向服务的体系架构(Service oriented Architecture,SOA)作为一种新的分布式软件系统架构,为互联网环境中服务共享、服务重用、业务集成提供了新的解决方案,它能实现系统之间的松散耦合,从而提高软件组件的可重用性。Web服务技术是实现... 详细信息

面向服务的体系架构(Service oriented Architecture,SOA)作为一种新的分布式软件系统架构,为互联网环境中服务共享、服务重用、业务集成提供了新的解决方案,它能实现系统之间的松散耦合,从而提高软件组件的可重用性。Web服务技术是实现SOA的关键技术,然而Web服务的异构性、动态性、分布式和不断演化的特点使得服务之间的协同交互变得异常复杂。因此,如何提高服务之间协同的正确性和可靠性成为实施SOA的关键问题。Web服务适配是解决这一问题的可行方法,也是推动面向服务的软件架构应用与实施的关键技术。本文在分析Web服务适配技术发展现状的基础上,围绕Web服务行为模型、Web服务行为失配检测以及自动适配等问题展开研究,主要工作与贡献包括以下四方面:1)提出了Web服务行为模型的形式化表达方法研究能表达服务的过程流转、状态变迁、消息传递等动态行为属性的通用行为模型,提出基于π演算形式化表达的行为模型,利用π演算提供的操作语义和辅助工具对服务的交互行为进行严谨的分析和推导。2)提出了Web服务行为交互的失配检测及其算法基于通用的行为模型与形式化表达,设计了一套高效的失配检测机制,准确扑捉失配点信息,并定制了合理的失配模式与分类规则,在检测出失配点之后,基于失配类型能及时对失配模式进行识别,为适配提供诊断依据。3)提出了Web服务交互的适配器生成及算法依据失配检测的结果,本文还研究了在不同失配点和失配模式下适配器的行为特征,在行为模型的形式化方法基础上研究适配器的生成规则,最后基于生成规则和形式化推演,提出了适配器的自动生成及构造算法。4)设计了支持自动适配的Web服务组合原型系统提出了支持自动适配的Web服务组合原型系统的体系架构,此架构从抽象层面刻画了服务适配的过程,基于抽象的体系架构思想,开发了一个集服务流程建模模块、服务组合验证模块、服务行为失配检测模块、服务行为适配模块以及服务流程运行平台等功能于一体的Web服务组合原型系统。

关键词：面向服务的体系架构(SOA) Web服务适配 π演算失配检测适配器

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：