排序方式: 共有48条查询结果,搜索用时 218 毫秒
41.
信息物理融合系统(CPS)是一种融合了物理过程和计算进程的新型系统,在信息物理融合系统中,存在多种软件且每个软件的运行环境是动态变化的。如何有效保证软件在动态环境下的正确性、安全性、可靠性等属性是值得关注的问题,而可信评估可为软件质量的控制和管理提供有力依据。提出了一种基于多维属性的CPS软件可信性评估方法。首先提出一种基于多维属性的可信指标系统,在此基础上提出一种具有时效性的可信属性评价方法,用以评价CPS软件的可信性;然后,设计可信性结果决策规则集,根据软件间的交互结构,计算出软件系统的可信性,并根据决策规则集评价软件系统可信性;最后通过一个实例进一步说明了所提方法的有效性。 相似文献
42.
第一原理与启发式知识协同作用的故障诊断系统 总被引:2,自引:2,他引:0
提出一种将第一原理与启发式知识相结合的故障诊断系统,该系统将基于第一原理的方法与传统的基于经验知识的方法协调统一起来。因此兼具两种方法的优点。 相似文献
43.
UML在运输业务管理系统建模中的应用 总被引:9,自引:0,他引:9
以运输业务管理系统项目的开发为背景,探讨了UML在运输业务管理系统建模中的应用问题。在对系统进行需求分析的基础上,采用ROSE构建了系统的用户需求模型、对象结构模型、行为模型和实现模型。 相似文献
44.
Web服务组合是当前Web服务领域的一个研究热点,目前已有一些相关的描述与验证方法,本文从软件体系结构角度研究Web服务组合描述与验证方法.基于软件体系结构描述语言XYZ/ADL和精化检验/模型检测方法,提出了一种Web服务组合的描述与验证方法.XYZ/ADL是时序逻辑语言XYZ/E的扩展,考虑到多数Web服务具有实时特征,采用XYZ/E的实时扩展语言XYZ/RE表示系统应满足的时间约束.针对Web服务组合系统,根据XYZ/RE到时间自动机的映射规则将系统描述转换为对应的时间自动机,分别采用精化检验和模型检测两种技术验证Web服务组合的正确性;最后通过两个实例分析分别阐述了上述方法的可行性和有效性. 相似文献
45.
46.
47.
形式化与可视化相结合的软件体系结构描述方法研究 总被引:6,自引:1,他引:6
软件体系结构是软件工程领域中一个重要的研究内容,研究软件体系结构的首要问题是如何描述一个软件系统的体系结构模型。本文通过集成XYZ/ADL与UML两种描述方法在软件体系结构中的应用,寻求一种基于时序逻辑理论的形式化方法与面向对象的可视化方法相结合的软件体系结构描述新途径。着重研究XYZ/ADL与UML在电梯控制系统体系结构建模中的应用问题,并运用基于构件的求精方法对该系统的主要组件进行了求精。 相似文献
48.