【摘 要】
：
为保证M＆amp;S可信性评估工作有效和成功地完成,构建了由影响因素、校核与验证（verification and vali-dation,V＆V）过程和可信性特性组成三维可信性信息空间,并以此为理论基础,以
【基金项目】
：
陕西省自然科学基金资助项目（2007F40）
论文部分内容阅读
为保证M＆amp;S可信性评估工作有效和成功地完成,构建了由影响因素、校核与验证（verification and vali-dation,V＆V）过程和可信性特性组成三维可信性信息空间,并以此为理论基础,以V＆V过程模型为基本框架,综合分析可信性在V＆amp;V过程中不同阶段的评价标准,建立了M＆S可信性评估模型;在分析了模糊综合评估模型的基础上,以某飞行视景仿真系统的设计与开发为例,进行可信性评估。应用实例表明,所建立的评估模型及采用的评估方法合理有效。
其他文献
首次结合自认证公钥技术和盲签密思想,基于双线性对提出了一个新的使用自认证公钥的盲签密方案,并在随机预言机模型下给出了安全性证明。在ECDL和GBDH问题的困难性假设下,该方案被证明是安全的。新方案避免了基于身份密码系统中固有的密钥托管问题,不需要使用任何公钥证书。在计算复杂性方面,所提方案仅仅需要两次双线性对运算,效率非常高。
基于高维仿生信息学理论思想,提出了一种运用图论中最小生成树算法构筑训练样本点覆盖的新算法。通过Gabor滤波变换,每个训练图像得到40个Gabor特征图,对这些特征图使用超香肠神经网络模型(HSN模型)进行识别,最后以投票策略对Gabor特征图判别结果作决策融合,以最多数为判别结果。对几个典型的人脸图像库在每类单个训练样本这种极端情形下,研究了光照变化的人脸识别问题,实验结果显示了其合理性。
笔者自1999年以来,用平肝通络汤治疗偏头痛肝风血瘀证60例,取得了较好临床疗效,现总结于下.
1临床资料本组48例患者中,18～30岁30例,31～40岁15例,40岁以上3例.已婚42例.病程最短半年,最长4年.诊断依据<临床疾病诊断依据治愈好转标准>[1].
目的:从滑膜细胞超微结构和分泌功能的角度探讨木瓜苷对免疫性关节炎大鼠治疗作用的机理.方法:大鼠足跖皮内注射弗氏完全佐剂造成佐剂性关节炎模型;Ⅱ型胶原酶和胰蛋白酶消化
为有效防范蠕虫传播所带来的日益严峻的安全威胁,主动防护技术—分布式蜜网被应用到网络中以保障网络安全。分布式蜜网下的蜜罐对蠕虫表现出强诱骗性和"宽进严出"的数据控制策略等特性,影响到蠕虫的传播及控制。基于双因子模型,考虑到分布式蜜网下的蜜罐特性和Internet的无标度网络特性,提出基于分布式蜜网的蠕虫传播模型,并进行了分析;通过模拟实验对模型进行验证,以探讨部署分布式蜜网下的蠕虫传播规律。实验结果
在基于蚁群优化算法(ACO)的Ad hoc路由算法的基础上提出了一种改进的基于蚂蚁算法的Ad hoc路由算法。该算法吸收了AODV的优点,并且在实现方面得到了改善。分析表明,该算法能大大提高系统的可靠性、鲁棒性,增强了通信网络的自适应能力。
近年来无症状心肌缺血(Silent myocardial ischemia,SMI)在冠心病中愈来愈常见,其发作隐匿,易被忽视,故急性心肌梗塞及心性猝死的发病率都高于有症状心肌缺血,为此,在多年研
目的：观察综合疗法治疗高血压脑出血的临床疗效。方法：将126例高血压性脑出血患者随机分为两组，各63例。综合治疗组采用小骨窗显微手术或血肿微创抽吸清除术、康复训练、西医治
与传统的关系数据库中的函数依赖一样,时态数据库中全序时态模块模式下的时态函数依赖也存在着冗余问题,因而有效地消除冗余的时态函数依赖是全序时态函数依赖集化简的基础。在全序时态模式下提出全序无冗余覆盖、全序规范覆盖和全序最小覆盖等概念,同时给出了全序无冗余覆盖、全序规范覆盖集和全序最小覆盖集的算法及相关定理,并给出了其正确性证明,对其时间复杂度进行了分析。