基于中间件的可定制信任管理框架

针对Internet环境下广泛的信任危机,人们着力于研究可信性支撑和度量技术.传统模型和机制很少从信任本身看问题,并且大多只涉及可信的单个方面,对于有多种可信特性需求的系统来说,很难提供一致的管理.本文以Internet环境下的软件服务为研究实体,从信任角度出发,致力于为软件服务的可信性管理建立一致视图.首先基于中间件建立了一个信任管理模型,然后基于对可信特性的共性提炼,构建了一个可定制、扩展性良好的信任管理框架,并以可扩展为目标建立了一个可行的可信性度量模型.最后基于构件运行支撑平台PKUAS进行了设计和实现,并与相关工作进行了比较.     

基于直觉模糊决策的战场态势评估方法

针对战场态势评估问题,提出一种基于直觉模糊决策的评估方法.首先,将战场态势评估归结为一综合评价问题,建立了直觉模糊综合评判模型,并证明了该模型是归一化的.其次,建立了战场态势评估指标体系,讨论了评判指标的效用值计算等度量问题和指标值的规范化方法.再次,给出了利用德尔菲法与层次分析法相结合来确定和计算指标的权重向量的方法.最后,研究了联合防空作战过程的详细评估实例.仿真结果表明此方法对当前战场态势可给出有效的综合评价和理解,具有较高的可信性.     

基于熵权的电子信息系统可信性多层次综合评估法

在可信性概念的基础上,结合电子信息系统的特点给出电子信息系统可信性概念及其形式化描述,建立层次结构的电子信息系统可信性模型及其评估模型;通过分析电子信息系统可信性属性,应用层次分析法的思想,建立电子信息系统可信性的指标体系;综合当前系统评估的主要方法,提出针对电子信息系统可信性特点的评估方法———基于熵权的电子信息系统可信性多层次综合评估法;最后,应用该方法对某电子信息系统的可信性进行了评估,验证了该方法的有效性。     

构件化业务流程重组应用服务器可信性度量方法研究

针对面向业务流程重组的应用服务器（BPRAS, business process re-engineering oriented application server）的可信性度量方法形式化方面的不足,给出了BPRAS的业务流程建模与可信性度量协作框架,并在此框架基础上,提取组成应用服务器的构件属性和构件组合行为特征,通过进程代数等相关方法进行抽象,从构件之间的运算角度,定义BPRAS构件运算算子,从而建立BPRAS代数模型,并进一步对其支撑的业务流程应用软件可信性进行建模,提出多种可信范式,为可信BPRAS软件可信性度量方法提供理论支撑。最后介绍了一个应用实例。     

基于社会学信任理论的软件可信性概念模型

可信性作为软件的一种复杂的高复合概念，几十年间都未能取得实质性进展和突破.本文在对可信性权威定义分析的基础上，论证了这些定义所涉范围彼此矛盾且不相容，进一步说明从本质出发研究软件可信性概念模型的重要性和必然性."可信"一词源于社会学，所以应该从社会学的信任理论出发来探讨软件可信性的本质.本文在上百篇经典社会学信任理论文献上构建出信任体系模型STM，并与软件的信任体系进行了对比和映射，提出基于社会学信任理论的软件可信性概念模型STCM.在STM和STCM的基础上给出软件可信性概念模型的定义系统.最后通过度量评估实验验证了模型是可行的、有效的，为软件可信性的发展提供了新的研究方向.     

第三代短波通信系统的效能评估

文中首先简介了第三代短波通信系统的技术特点.从短波通信的军事特征出发,建立指标评价体系,并对指标体系做出解释.接着详细地分析了利用AHP法确定指标权重的方法,并建立了系统模糊综合评判模型.在咨询专家意见的基础上,利用此数学模型对第三代短波通信系统进行了效能评估.最后指出了评估指标体系的合理性和评估结果的可信性.     

数字滤波器仿真软件评估的谱分析方法研究

本文讨论了仿真模型验证常用的技术方法,针对数字滤波器仿真软件的特点,提出了采用谱分析的方法进行可信性评估.以双线性变换法设计的IIR数字滤波器仿真软件的可信性评估为例,应用Matlab软件分别采用程序设计法、基于SPTool的频谱分析方法和基于Simulink的频谱分析方法实现了对数字滤波器仿真软件滤波结果的频谱分析.     

基于存储库数据挖掘的开源软件成功度量方法

开源软件已广泛应用于各软件领域,例如操作系统、容器等,但目前尚没有一种能够综合度量开源软件的方法.我们在用户兴趣度量和开发参与度量的基础上,提出了一种能够克服度量维度单一的局限性的度量方法.基于DM模型、软件生存力模型等相关文献研究和开源软件存储库数据挖掘,通过对项目过程数据进行聚类、主成分分析、回归分析和对开发过程的思考,本文提出一种基于存储库数据和统计学算法的开源软件成功度度量模型.并通过与用户兴趣度量结果和开发参与度量结果对比分析,证明本文的度量模型能够基于可自动无扰采集的存储库数据,更全面的衡量开源软件项目的成功.度量模型可应用于企业选择优质开源项目、学术研究、智能项目推荐等领域.     

基于组合赋权法的指标权重确定方法研究与应用

指标权重确定是作战决策过程中的一个重要环节,直接影响着作战决策的可靠性和正确性.针对有效进行指标权重确定的现实需求,研究了主观赋权法和客观赋权法相结合的权重确定方法.首先,在分析主观赋权法和客观赋权法各自特点的基础上,提出了两者结合使用的思想;其次,研究了运用最小二乘原理求解组合权重的基本步骤,给出了具体算法;最后,通过算例,得到了与事实相符的结论,验证了所用方法的有效性.     

一种基于多QoS注册中心和模型异构的WEB服务选择算法

多QoS注册中心并且QoS模型异构给服务选择带来巨大困难。借鉴多属性群决策(MAGDM)理论的基本思想,该文提出一种解决上述难题的多注册中心和模型异构的Web服务选择算法(MRHQ_WSSA)。MRHQ_ WSSA算法能综合评估各QoS注册中心的QoS信息,从而获得QoS综合最优的服务组合计划。MRHQ_WSSA算法包括5个步骤:用户偏好规格化、群偏好确定、加权规格化决策矩阵、确定群理想方案、计算群贴近度。最后通过实验验证算法的优势和有效性。     

一种基于TOPSIS的软件质量评价方法

为了对软件质量进行科学、定量的度量和评价,根据TOPSIS的价值函数模型,针对软件的特点,提取了8个反映软件质量的指标因素,使用均值法确定指标的权重,建立了一种基于TOPSIS的软件系统质量综合评价模型。实例分析证明,该方法克服了传统评价指标的单一性缺陷,有利于确定影响软件质量的因素及其影响程度,是一种综合、有效评价软件的质量的方法。     

二元语义方法在仿真系统可信性评估中的应用

针对仿真系统可信性评估中所涉及的不确定性和模糊性因素,提出了基于二元语义的评估方法。将专家针对各指标和因素给出的语言信息用二元语义的方式来表示,结合最优化模型的群决策方法,对因素层的评价信息进行集结,依此作为各指标的群体评价值,利用LOWA算子对指标层的权重信息进行集结,采用加权平均算子对指标层进行集结,得到二元语义形式的仿真系统可信性综合评价值。最后通过实例分析证明该方法的实用性和可操作性。     

贝叶斯网络在软件可信性评估指标体系中的应用

软件可信性是软件的重要属性,软件可信性评估模型是近年来国内外的热门研究方向.本文提出了一种基于贝叶斯网络的软件可信性评估指标体系模型,与一般的概率分析相比,它在模型的适应性、概率分析的全面性以及对可能结果的有效判断上有明显的优势.     

软件可信性的灰色聚类评估算法研究

在对软件可信性认识具有明显灰性的前提下,对软件可信性定量评估用普通的方法更是难以解决。因此,结合灰色聚类评估和AHP法建立了灰色聚类评估指标体系,提出了软件可信性的灰色聚类评估算法,并实例演示。实验表明,该算法具有一定的可行操作性和实用性。     

区间数TOPSIS法在战场目标优选中的应用

针对作战指挥决策的实际特点,运用区间数和TOPSIS方法探索战场目标优选问题.通过对影响目标优选因素的全面分析,构建了战场目标优选的评价指标体系.在以区间数形式给出各指标评价值的基础上,应用TOPSIS法建立了目标优选的评估模型,并通过实例对该模型的有效性和实用性进行了验证.该方法能够有效结合定性与定量分析,充分综合各指标评价信息,为战场目标优选提供了一种较为有效的方法和途径.     

基于AHP与模糊综合评判的大学生就业发展趋势预测模型

本文应用AHP与模糊综合评判法建立了对高校毕业生就业发展趋势预进行测评估的模型,并通过案例验证了该方法的可行性、实用性和有效性,对政府及高校解决就业难的问题提供决策支持及建议具有重要意义。     

机载大规模复杂系统软件开发技术研究

针对综合模块化航空电子系统中机载软件规模、复杂度大幅上升的趋势,对传统机载软件研制方法不能满足机载大规模复杂软件研制的问题进行了分析。针对机载综合化大规模软件,为解决软件的可信性、确定性、健壮性和连续性,提出"需求管理、模型开发、仿真验证、产品复用、工具支撑、过程管理"为核心的软件开发方法。经过国产机载嵌入式操作系统等机载大规模软件研制实践,可有效提高软件研制质量。该方法对同等软件的研制具有极强的参考价值。     

软件结构脆弱性分析

文章首先应用系统工程定性定量的方法,以语言性质为基础,通过语义关系量化软件的动态运行过程,在整体上以软件元素及其关系架构起软件的系统关系结构,其次对软件结构的脆弱性进行数学建模,以变异S-粗集的演算对软件运行过程的迁移特性进行分析,建立软件元素运行过程的迁移方程式组,通过推导得到软件结构的随机概率特征值,度量出软件结构的脆弱性,然后给出了软件脆弱度的主动控制方法,以及软件攻击面和可信性的计算方法,并提出制定完备编程规范的工程规则.最后测试了两个开源软件对该方法进行验证,并系统地分析了实验过程和相关数据.     

丘陵地区电波传输模型的研究与工程应用

结合ITU-R P.526建议书,并利用Bullington法和Epstein-Peterson法,针对丘陵地区多刃峰绕射的特点,建立了调频广播的电波传输模型.通过ICS telecom软件计算仿真并通过谷歌地图和实际收测数据进行比较,证明了该电波传输模型对整体掌控调频广播覆盖效果具有一定的参考价值.     

基于马尔可夫的检查点可信评估方法

为了发现软件的脆弱点,通过动态监测行为,对软件及其模块在一段时间内运行的可信状况进行研究,提出了基于马尔可夫的检查点可信评估模型。模型通过在软件行为轨迹中织入若干检查点来反映软件运行的行为表现,然后对检查点可信程度进行等级划分,通过马尔可夫模型及检查点权重反映检查点可信情况,最后综合每个检查点的可信情况得到软件整体的可信性。实验结果表明该模型能够有效反映软件中各部分可信情况,验证了模型的合理性和有效性。