【摘 要】
：
传统的可信性评估模型通常使用软件度量或逻辑验证方法进行定量估计,在应用于体系结构复杂、可信度要求较高的嵌入式软件时,依然存在可信需求不明确、专家主观认知无法集成等问题。在分析嵌入式软件可信需求的基础上,构建一种基于证据推理方法的嵌入式软件可信性评估模型,并定义证据合成算子和效用估算模型以实现多样化可信证据的一致融合与量化。仿真实验验证了该模型在解决嵌入式软件可信性评估问题时的合理性与有效性。
【基金项目】
：
国家自然科学基金资助项目（90718031）
论文部分内容阅读
传统的可信性评估模型通常使用软件度量或逻辑验证方法进行定量估计,在应用于体系结构复杂、可信度要求较高的嵌入式软件时,依然存在可信需求不明确、专家主观认知无法集成等问题。在分析嵌入式软件可信需求的基础上,构建一种基于证据推理方法的嵌入式软件可信性评估模型,并定义证据合成算子和效用估算模型以实现多样化可信证据的一致融合与量化。仿真实验验证了该模型在解决嵌入式软件可信性评估问题时的合理性与有效性。
其他文献
为让计算机智能地处理物流应急预案,将每个物流应急预案表示为一个应急预案本体,通过计算概念和应急预案本体的相关程度,从而找到所需物流应急预案。用OWL:imports和Jena规则可连接应急预案本体,从而形成内容更全面的预案,但会破坏原有应急预案本体语义,产生不一致问题,所提出的约束原则有效避免了这一问题。应用SPARQL查询应急预案本体,并通过自定义原语和规则弥补应急预案本体在表达能力上的不足,以
为消除空间信息孤岛,研究开放网格服务架构,建立空间信息共享平台。用户通过平台中的网格服务透明访问虚拟组织中的数据。为提升数据索引服务的性能,提出一种改进的R树算法,在节点分裂时考虑其他节点是否有剩余空间,从而避免了频繁的分裂导致产生大量的节点。实验结果表明,与经典R-树节点分裂算法相比,改进后的节点分裂算法的空间查询性能得到提升,该研究可为空间信息全面共享提供实用可行的实施方案。
针对如何高效准确地从海量的网络信息中搜索到所需的资源,分析了现有搜索算法的优缺点,结合P2P网络中的信任机制对源节点请求算法和中继节点的转发、响应算法进行改进,提出SAT搜索算法来提高搜索的成功率,并采取了高速共享资源缓存机制和无重复转发机制减缓搜索的时延。仿真实验表明,与Random-walk算法相比,SAT算法具有更高的搜索成功率和更短的搜索时延。
广播是无线传感器网络的重要通信手段,广播消息的安全性应得到保障。在分簇传感器网络结构基础上提出了一种无线传感器网络广播认证方案,簇头节点对广播进行签名认证,簇内使用消息认证码进行消息认证,网关节点负责广播消息在簇间的传递。分析表明,与部分现有的传感器网络广播认证方案相比,该方案以较低的能耗提供了较高的安全性。
设计了一种用于外科医生仿真训练的具有实时力反馈的胆道虚拟手术仿真系统。主要讨论了本系统的结构设计、三维重建、碰撞检测、软组织的弹性变形和力反馈等方面的技术实现。通过对胆囊取石手术进行仿真模拟,分析该系统的应用情况和性能指标。实验结果表明,该系统能有效地进行胆道手术仿真训练,提供的力反馈功能具有较好的稳定性和实时性。
在H.264/AVC视频编码标准中,去方块效应滤波器对改善图像质量和提高压缩效率起着重要作用,并能够有效地去除视频图中出现的方块效应,但却增加了计算的复杂度。在滤波过程中,
现有的信任模型依靠聚集系统中其他实体的推荐信任信息对目标实体进行信任度量,忽略了对信任关系及交互经验信息内涵和特征的分析,加剧了分布异构环境中因实体间主客观差异性造成的信任度量偏差。提出了一种以经验为核心概念类的经验本体E-Ont,明确了信任相关经验的概念及属性,在此基础上提出一种本体信任模型ESOBTM,实现了经验信息在语义层面上的理解和解释,有效解决了服务计算环境中上下文和评价标准的差异性对信
提出一种基于锚节点分簇的节点定位方法,该方法以锚节点为中心自适应构建成簇,并将处于多个簇重复覆盖的节点作为伪锚节点。在测距方法构建节点间距离矩阵基础上,结合多维尺度分析和锚节点位置信息实现了对节点进行相对位置定位,并通过伪锚节点与锚节点位置信息进行坐标变换实现了绝对位置智能定位,提高了定位的准确性。仿真结果表明,该方法定位精度高,对测量误差、节点连接度以及锚节点比例的变化有很强的鲁棒性。