【摘 要】
：
传统UML顺序图模型在描述软件结构风格多样性方面存在不足,并且与基于离散时间Markov链的软件可靠性分析模型DTMC之间也存在差异。提出了一种基于扩展顺序图的多风格软件可靠
【机 构】
：
合肥工业大学计算机与信息学院,安徽省矿山物联网与安全监控技术重点实验室
【基金项目】
：
国家自然科学基金项H（61070220）,高等学校博士学科点专项科研基金项~（20090111110002）.
论文部分内容阅读
传统UML顺序图模型在描述软件结构风格多样性方面存在不足,并且与基于离散时间Markov链的软件可靠性分析模型DTMC之间也存在差异。提出了一种基于扩展顺序图的多风格软件可靠性分析方法。首先通过分析不同软件结构风格的组成原理给出了对应的可靠性计算方法,然后通过对顺序图模型进行形式化扩展,使之具备了可靠性分析所必需的软件结构信息,最后将扩展的顺序图模型转换为能够处理多风格软件可靠性问题的DTMC模型。实例分析表明,这种模型和方法可以使得软件开发早期的可靠性分析工作变得更加方便、高效、合理。
其他文献
旅游资源丰富，享有“中国最美十大森林”等美誉的尖峰岭国家森林公园，自1992年建园以来，其旅游产业的发展一直处于较低水平。文章提出旅游发展之思路，冀对公园旅游发展有所裨益。
随着减灾应急、流域模拟、智能交通、宏观规划、区域发展等大型地学问题的不断涌现，地理信息系统（GIS）处理的数据量和计算规模不断扩大，而主流GIS仍以串行计算为基础框架，不能充分
大数据时代的到来及LBS(Location Based Service)服务的迅猛发展产生了前所未有的海量精度高、范围广的数据,这为研究人类行为模式及由此产生的城市间交互研究提供了新的途径。该文利用带有位置的签到数据,通过提取个体在城市间的移动轨迹构建了中国城市间交互网络,并通过复杂网络理论与方法对城市间交互网络的基本特征和区域结构空间格局进行了实证研究。研究表明,中国城市间交互网络呈现小世界特性
数字信号处理器(DSP)由于集成度高,功能复杂,故其测试问题一直是国内难题。本文介绍了数字信号处理器(DSP)的主要特征和发展应用,分析了DSP器件测试面临的挑战,以TI公司的DSP
城市模型研究存在两个必然趋势：研究单元由粗糙单元向精细单元转变,研究范围由单个城市向城市群、整个国家乃至全球转变,但在大地理区域上建立精细化的城市模拟模型,兼顾大地
多尺度地图数据更新的一个重要途径就是通过目标匹配技术获得已更新与待更新的不同比例尺地图之间表达同一地物的候选空间目标,并对候选匹配目标对进行比较,以便获得匹配目标间的差异以及发现未匹配的目标;进而,分析判断差异是否由该目标所表达的地理要素的实际变化所导致。该文以面目标匹配为例,对多尺度地图面目标匹配对的差异驱动因素和变化类型进行分析,针对不同模式的目标匹配对提出了利用长度差异、面积差异和重叠度指标
女士们、先生们、朋友们：金秋时节，国家体育总局体育科学研究所迎来了建所50周年。首先，我代表国家体育总局，向体科所建所50周年表示热烈祝贺，向体科所的全体员工和广大体育科学工
以海南省三亚市为研究地点，在调查乡土树种与表现优良的外引树种基础上，针对热带滨海城市海岸线自然条件复杂、台风等自然灾害多的特点，根据各防护林树种的生物特征、生态习性以
目前,我国已经构建大量不同级别、面向不同应用的地名词典,网络大众化地名服务成为地名词典的必然发展趋势。该文提出一种基于XML Schema的多源异构地名词典集成方法,以XML Schema对地名词典进行数据描述,采用XSLT数据转换方法,运用MapForce软件,快速进行地名词典的数据结构映射,能够有效解决地名词典的跨平台及数据类型不统一问题。