检索结果-南通市图书馆

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

模态逻辑S4的覆盖语义及其完备性

电子学报 2012年第4期40卷 745-750页

作者：于海詹婉荣张瑞玲洛阳师范学院数学科学学院河南洛阳471022 洛阳师范学院信息技术学院河南洛阳471022

基于第六种覆盖粗糙集模型提出了模态逻辑S4的覆盖语义,利用覆盖模型与Kripke模型之间的关系,证明了覆盖语义的可靠性和完备性定理.进一步讨论了覆盖语义与Alexandrov拓扑语义之间的关系.证明了覆盖语义与Alexandrov拓扑语义是和谐一致的.

关键词：模态逻辑覆盖语义 Kripke语义拓扑语义完备性

基于IECP的CTCS-3列控车载TSM曲线完备性测试用例集生成方法研究

在线全文

学校读者我要写书评

暂无评论

铁道学报 2020年第5期42卷 72-83页

作者：郑伟唐涛吕继东魏国栋中铁第五勘察设计院集团有限公司北京102600 北京交通大学轨道交通控制与安全国家重点实验室北京100044 北京交通大学轨道交通运行控制系统国家工程研究中心北京100044

作为CTCS-3级列控系统的核心安全功能,速度-距离模式曲线具有参数输入域规模大、故障模式复杂等特点,如何完备地测试列控车载设备速度-距离监控曲线功能异常困难。提出了一种基于输入等价类划分测试理论的CTCS-3级列控车载目标速度监控... 详细信息

作为CTCS-3级列控系统的核心安全功能,速度-距离模式曲线具有参数输入域规模大、故障模式复杂等特点,如何完备地测试列控车载设备速度-距离监控曲线功能异常困难。提出了一种基于输入等价类划分测试理论的CTCS-3级列控车载目标速度监控曲线完备性测试用例生成方法。首先,结合CTCS-3级列控系统需求规范,建立了满足司机制动优先和设备制动优先两种不同制动优先级情况下的TSM有限状态机模型,并利用反应式状态迁移系统的形式化语义,描述了不同输入情况下模型的内部状态迁移过程。其次,利用I/O等价原理和等价类划分理论,得到了两种不同制动优先情况下的输入等价类划分。在此基础上,通过引入了被测系统的故障模型和故障域范围,采用W-method测试用例集生成方法,在满足模型故障域的条件下,最终得到两种不同制动优先的目标速度监控曲线模型完备测试集。设备制动优先情况生成的测试用例数量高于司机制动优先约33.3%,且所需测试时间和内存消耗更多。

关键词： CTCS-3列控车载目标速度监控输入等价类划分完备性测试用例

在线全文

学校读者我要写书评

暂无评论

一个具有完备性和鲁棒性的模糊规则提取算法

自动化学报 2010年第9期36卷 1337-1342页

作者：王永富王殿辉柴天佑东北大学机械工程与自动化学院沈阳110004 东北大学流程工业综合自动化教育部重点实验室沈阳110004 澳大利亚拉筹伯大学计算机科学与计算机工程系

从实际检测数据中提取模糊规则进而建立有效的模糊模型对实现复杂系统的智能建模与控制具有重要意义.在一些文献中对该问题进行了较深入的研究,并提出了有效的从数值数据中提取模糊规则的算法(简称为WM和iWM算法).对WM和iWM算法的进一... 详细信息

从实际检测数据中提取模糊规则进而建立有效的模糊模型对实现复杂系统的智能建模与控制具有重要意义.在一些文献中对该问题进行了较深入的研究,并提出了有效的从数值数据中提取模糊规则的算法(简称为WM和iWM算法).对WM和iWM算法的进一步分析研究表明,该算法在完备性和鲁棒性方面还有进一步改进的可能.本文采用数据挖掘技术提出一个改进的提取模糊规则的算法(简称DM算法)并在完备性和鲁棒性方面与WM和iWM算法进行了比较研究.模糊建模实例表明,本文提出的DM算法具有更好的逼近能力和对不确定数据干扰的鲁棒性.

关键词：模糊规则完备性鲁棒性数据挖掘模糊建模

在线全文

学校读者我要写书评

暂无评论

服务模型语义完备性判定方法与语义增强策略

计算机集成制造系统 2009年第11期15卷 2226-2232页

作者：莫同王忠杰徐晓飞哈尔滨工业大学企业与服务智能计算研究中心黑龙江哈尔滨150001

为准确地表达服务,需要衡量对服务模型的语义表达能力,并对缺失部分进行语义增强。为此,提出一种基于图论的服务模型语义完备性判定方法。通过扩展子图引入超子图概念,给出了可服务模型语义完备性判定定理及证明。通过完备性验证算法及... 详细信息

为准确地表达服务,需要衡量对服务模型的语义表达能力,并对缺失部分进行语义增强。为此,提出一种基于图论的服务模型语义完备性判定方法。通过扩展子图引入超子图概念,给出了可服务模型语义完备性判定定理及证明。通过完备性验证算法及一系列度量指标,验证并度量了服务语义在服务模型表示中的完备程度,并根据验证和度量的结果,给出不同的语义增强策略。最后,在特定的服务语义范围内,对统一建模语言、业务流程建模符号和服务模型驱动的体系结构等三种模型的语义完备性进行了判定和对比分析。

关键词：服务模型服务语义完备性语义增强策略

在线全文

学校读者我要写书评

暂无评论

构筑物变形短期预警与完备性监测算法研究

武汉大学学报（信息科学版） 2011年第6期36卷 660-664页

作者：王坚刘超高井祥彭祥国中国矿业大学国土环境与灾害监测国家测绘局重点实验室徐州市三环南路221116 中国矿业大学煤炭资源与安全开采国家重点实验室徐州市三环南路221116 中国矿业大学环境与测绘学院徐州市三环南路221116

在分析累积和检验统计量的前提下,构建了短期预警模型。定义了预警模型的可得性、误警率及漏警率,提出了短期预警完备性监测算法;针对μ0=0、σ=2的模拟变形信号,计算了不同给定误警率情况下的预警阈值。研究表明,在加入陡坡变形或缓慢... 详细信息

在分析累积和检验统计量的前提下,构建了短期预警模型。定义了预警模型的可得性、误警率及漏警率,提出了短期预警完备性监测算法;针对μ0=0、σ=2的模拟变形信号,计算了不同给定误警率情况下的预警阈值。研究表明,在加入陡坡变形或缓慢增长变形时,模型均能有效预警,但缓慢预警时间延迟量(即漏警率)较长,分析同时表明预警延迟仅与ARL有关。

关键词：灾害变形短期预警完备性

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

约束概念格的代数性质及其知识表示的完备性

模式识别与人工智能 2010年第3期23卷 289-299页

作者：张继福张素兰蒋义勇太原科技大学计算机科学与技术学院太原030024

约束概念格是一种依据用户对数据集的兴趣、认识等作为背景知识而构造的概念格结构.文中利用约束概念格结点之间的上下确界运算,构造约束概念格的代数系统,证明约束概念格的若干代数性质,以及知识表示的完备性,从而为约束概念格的应用... 详细信息

约束概念格是一种依据用户对数据集的兴趣、认识等作为背景知识而构造的概念格结构.文中利用约束概念格结点之间的上下确界运算,构造约束概念格的代数系统,证明约束概念格的若干代数性质,以及知识表示的完备性,从而为约束概念格的应用奠定理论基础.

关键词：数据挖掘约束概念格代数性质知识表示完备性

业务对象平台无关模型建模方法及其完备性研究

在线全文

学校读者我要写书评

暂无评论

计算机集成制造系统 2011年第6期17卷 1308-1316页

作者：冯锦丹战德臣聂兰顺徐晓飞李晋韩毅斌哈尔滨工业大学企业与服务智能计算研究中心中国北车股份有限公司

为支持业务对象平台无关模型的设计,以支撑模型驱动的企业应用软件开发,扩展了业务对象概念的语义范畴和粒度,在可互操作可配置可执行的模型驱动体系结构研究的基础上,给出了业务对象形式化定义和业务对象的平台无关模型。从基本构成要... 详细信息

为支持业务对象平台无关模型的设计,以支撑模型驱动的企业应用软件开发,扩展了业务对象概念的语义范畴和粒度,在可互操作可配置可执行的模型驱动体系结构研究的基础上,给出了业务对象形式化定义和业务对象的平台无关模型。从基本构成要素(数据集、操作集、状态集及其间关系)的角度,给出支持业务对象模型的语义完备性约束。实践表明,研究成果可为大粒度业务对象平台无关建模提供基础的理论支撑。

关键词：业务对象平台无关模型完备性企业应用软件建模