【摘 要】
：
为了提高软件可靠性分配的有效性,提出了一种基于层次和数据流驱动的软件可靠性分配方法。该方法对传统的重要度、复杂度度量方法进行改进;针对软件系统开发初期体系结构中系统模块层次关系及模块间数据流关系进行抽象,形成体系结构形式化定义,建立可靠性因子的度量准则及度量模型,依据度量模型对可靠性进行分配。最后结合实例进行了分析和验证,结果表明了该分配模型的有效性和可行性。
【机 构】
：
解放军信息工程大学网络空间安全学院,解放军信息工程大学信息系统工程学院
【基金项目】
：
国家“863”计划重点资助项目（2009AA012201）,上海市科委重大科技攻关资助项目（08dz501600）
论文部分内容阅读
为了提高软件可靠性分配的有效性,提出了一种基于层次和数据流驱动的软件可靠性分配方法。该方法对传统的重要度、复杂度度量方法进行改进;针对软件系统开发初期体系结构中系统模块层次关系及模块间数据流关系进行抽象,形成体系结构形式化定义,建立可靠性因子的度量准则及度量模型,依据度量模型对可靠性进行分配。最后结合实例进行了分析和验证,结果表明了该分配模型的有效性和可行性。
其他文献
针对传统粒子滤波算法中粒子匮乏以及粒子多样性丧失的问题,提出了一种基于蚁群优化的改进粒子滤波算法。该算法利用蚁群算法优化粒子滤波的重采样过程,使粒子在更新权值后,利用转移概率向权值较优粒子的位置移动,以防止权值较小的粒子在多次迭代后退化消失;同时,设置转移阈值,以抑制权值较优粒子间的转移,从而同时解决了粒子匮乏以及粒子多样性丧失的问题。实验结果表明,该算法具有较高的预估精度和较好的鲁棒性。
'垃圾不落地'是厦门大学借鉴台湾公共部门管理经验施行的新政策.本文在高校公寓卫生管理中首次引入经济学的博弈理论,构建'公寓管理者—学生'的博弈模型,并
网络借贷是一种新型借贷形式,近些年在校园内迅速滋生,随之而来产生一系列问题,使得校园网贷逐渐被'污名化'。校园网络借贷存在着巨大风险,如不能在法律上进行监管,
针对传统异常流量检测方法检测精度较低,Hurst指数估计受估计序列尺度的影响,提出了基于分数阶傅里叶变换(FRFT)估计Hurst指数的方法。在此基础上,实现了基于Hurst指数变化的异常检测,有效解决了方法实现过程中FRFT最佳估计的分数阶阶数选择及Hurst参数求解的关键问题。实验表明,基于FRFT的估计不受序列非平稳性影响,对Hurst指数估计具有较高的估计精度,并且可以准确地检测网络异常。
针对现有攻击图在大规模网络应用中存在的时间复杂性高和图形化展示凌乱等不足,提出一种新的构建方法:在目标网络模型和攻击者模型的基础上,以攻击源为起点广度遍历网络主机,针对主机间的网络连接,通过攻击模式实例化和信任关系获取攻击原子集,并根据攻击者贪婪原则和攻击原子发生概率计算尺度筛选攻击原子,同时更新攻击原子作用对象状态。通过实验分析,该方法面向网络主机实现一次遍历,筛选关键攻击原子,快速生成攻击图,
采用认知无线电技术,设计了一种空闲频谱资源选择排序方法。在进行频谱选择时,提出了一种无偏好信息的主客观权重融合方法,提高权重设置的合理性,并将求解权重转换为一个最优化问题,通过免疫优化算法进行求解。实验结果表明,该算法可以有效选择满足物联网节点传输需求的频谱,并具有较高的网络吞吐量。
信道状态信息的存在可以使通信系统对信道获得自适应性,在多输入多输出系统中为高可靠性高速率的通信提供了保障。在接收端获得CSI通常是现实可行的,而发射端CSI的获得则需满足一定条件。容量是衡量信道传输能力的重要指标,而自由度是表征容量线性增长能力的主要因子。因此CSIT的存在或是缺失会对MIMO网络的容量及自由度产生一定的影响,为此研究了CSIT对MIMO网络自由度的影响,主要包括广播信道、干扰信道
基于动态插桩的工具被广泛应用于程序分析中,但该类工具都面临着严重的性能问题。这类工具的性能开销主要由两部分组成,即插桩引擎的开销和用户定义的分析程序的开销。为降低用户定义的分析工具的开销,首先分析了基于动态插桩的工具的性能开销的组成,并通过实验分析了造成性能开销的几点原因及其对工具的性能影响;根据分析结论提出了使用离线分析方式来优化工具性能,最后通过并行数据收集来进一步提升工具性能。使用该方法能减
针对网络节点严重冗余而导致的网络成本增加、生命周期过短等缺陷,提了一种基于人工鱼群算法的覆盖优化方法。首先以节点的利用率和网络有效覆盖率作为优化目标,建立相应的数学模型,然后采用人工鱼群算法对模型进行求解,得到无线传感器网络的最优覆盖方案。仿真结果表明,人工鱼群算法提高了无线传感器网络节点的覆盖率,减少了传感器节点冗余,有效降低了网络成本,网络生存时间得到了延长。
利用RDF(resource description framework,资源描述框架)屏蔽网格资源的异构性和地理分布性,并采用布隆过滤器将资源描述转换为位向量以实现资源发现的高速匹配;将转换后的资源索引根据分层组织模型在顶层节点进行整合。最后利用蚁群算法进行搜索,高效可靠地找到满足用户服务质量(quality of service,QoS)需求的资源。实验结果表明该方法可行且搜索效率较好,查询的