基于滑动窗口的云服务可信评估模型优化

随着云服务的需求日益增强,云服务市场得到了快速的发展,但也产生了云服务的可信问题.国内外针对这个问题提出了各类的云服务可信评估模型,使用直接间接可信,用户评价、偏好相似度等因素参与云服务可信评估的流程中,然而现有研究中的云服务可信评估模型在流程中针对信任评估中并不能满足像是缓慢增加和快速下降等基本性质.本文引入云服务可信滑动窗口的方式加强整个云服务可信评估的流程,通过滑动窗口满足了缓慢增长等性质解决了问题,而后通过模拟实验验证了确实能够有效解决该问题.     

基于云模型的网络风险评估技术研究

在网络安全问题的研究中,由于网络入侵行为具有不确定性(模糊性和随机性),云模型把模糊性和随机性有效集成在一起.为保护网络的安全性,提出了一种基于云模型的网络风险评估方法.给出了形式化描述及评估过程,并提出了一种改进的逆向云生成算法.模型通过对系统资源监控,并对得到的数据进行处理,然后输入到云控制器,云控制器根据设定的规则做出评估结果.实验结果表明了方法可以有效评估网络的风险等级,最大限度的保留了评估过程中固有的不确定性,比传统基于模糊集理论的评估方法具有更高的可信度,提高了评估结果的科学性和准确性.     

基于云模型的可信软件可靠性度量模型

针对可信软件可靠性定性评估问题,将云模型理论与GB/T16260中软件可靠性度量指标相结合,提出了一种基于云模型的软件可靠性度量模型.模型根据可靠性度量指标提取样本信息,通过云发生器生成云模型,运用合并云算法将多个属性云合并为一个综合云模型,使用带权重的欧氏距离云决策算法确定综合云模型的可靠性等级.通过某安全关键软件验证,该模型能够更加客观、真实地反映软件的可靠性.     

一种改进灰云模型的效能评估方法

云模型能够较好地实现定性属性值和定量属性值的转换,现已发辰成较为系统的云理论.将云模型应用到白化权函数中,构造出了灰云模型,克服了传统白化权函数过于僵化的缺点,改进了原有的灰色评估法白化权值的确定方法.通过在球栽雷达模拟训练系统效能评估中应用,证明了方法的可行性,为该方法的进一步应用提供有益的探索和尝试.     

云理论在C4ISR系统作战效能评估中的应用

利用云理论构建了C4ISR系统作战效能评估模型,介绍了利用云理论实现评估的具体步骤,并通过实例验证了该模型的可行性.此方法简单易行,可操作性强,为C4ISR系统作战效能评估提供了有效的方法.     

基于云模型的电力生产管理软件可信评估方法

随着电力生产管理软件的规模和复杂度不断增加,对此类软件可信性的评估越来越重要。通过对电力生产管理软件质量特性的分析,确定电力生产管理软件可信性的二级评估指标,然后,利用云模型定性与定量之间的转换关系,提出基于云模型理论的电力生产管理软件可信性评估方法,通过评估因素的云模型化和云合并算法,以云模型数字特征图的形式给出最终软件可信评估等级。经过实例证实,该方法的评价结果直观,更加符合实际情况。     

基于云理论和粗集的复杂电磁环境评估模型

复杂电磁环境评估是一个复杂的多指标综合体系,包含许多随机和模糊因素。运用云理论和粗集理论确定了评估模型中各指标基本评定值,增强了模型的可信度和可操作性。较准确的反映了电磁环境的复杂度,为以后评估复杂电磁环境提供了准确的依据和方法。     

基于云贝叶斯网络的目标威胁评估方法

将云模型和贝叶斯网络相结合,形成云贝叶斯网络,并建立了基于云贝叶斯网络的威胁评估模型.首先,根据实际应用背景确定贝叶斯网络结构,并对连续型观测节点进行云模型转换;然后,将观测变量值输入云贝叶斯网络,推理得到目标属于各个威胁等级的概率;最后,为消除目标信息的不确定性对总的威胁度的影响,进行了多次重复推理,通过概率合成公式求得最终的威胁程度.以联合防空作战为背景,仿真实现了空中目标的威胁评估,验证了该方法的有效性.     

基于云模型的道路交通拥塞程度评估

本文通过对我国现有的道路交通拥塞状态进行了分析发现道路交通拥塞状态是处于一个相对模糊和随机的动态数据模型。根据这两个特性,本文提出了基于云模型的道路交通拥塞程度评估模型。本文通过对云模型的理论分析,改进了逆向云生成算法,构建了一套基于云模型的道路交通拥塞程度评估模型,并进行了仿真实验。     

基于云模型的电网统计数据质量评估方法研究

针对电网统计数据的质量评估问题,提出一种基于云模型的质量评估方法。利用云模型对评语进行软划分,借助逆向云发生器将评估结果转化为云模型,并由此构造一个评价综合云。最后通过基于云模型的相似度算法计算评价综合云与各评价等级云的相似度,借以确定统计数据所隶属的评价等级。通过实例分析,验证了该方法的可行性与有效性,同时能够较好地避免常规方法在定性评价时的主观随意性缺陷。     

基于泛关系模型表示的层次化模型管理框架

针对常见模型表示方法缺少对多阶段建模过程支持,造成不同建模阶段模型难以统一管理、共享和重用的问题,提出基于泛关系模型表示的层次化模型管理框架。分析现有模型表示方法特点和多阶段建模过程中模型表示及管理需求,采用泛关系模型表示建立概念模型和数学模型表示方法之间映射关系,建立一体化模型表示方法和层次化模型管理框架; 研究层次化模型管理框架中概念层模型和泛关系层模型的模型库设计逻辑,并基于泛关系理论,研究了物理层模型的动态生成方法,实现了不同建模阶段模型的一体化表示和统一管理。     

多学科协同设计模型感知研究*

为了解决多学科异构系统中产品设计模型之间设计修改的感知问题, 针对设计模型和分析模型提出由模型寻找到协同适应的模型感知应用方法,阐述了各学科之间协同感知过程、感知之后映射关系更新和分析模型修改的实现流程,将传统的人与人感知模式转变为模型到模型感知模式。通过分析模型修改方法实现设计模型到分析模型的感知处理,重新处理分析模型。最后通过感知表达方法实现分析模型到设计模型的感知表达,将分析结果可视化反映到设计模型上。     

传染病传播模型研究

用数学模型帮助发现传染病的传播机理,预测传染病的流行趋势已成为共识.主要简述了传染病模型的发展历程.传染病的数学模型研究分为两类:决定性模型和网络动力学模型.虽然决定论模型目前仍然具有非常重要的学术地位,但随着人工智能计算机技术的发展,目前网络动力学模型成为了新的研究热点.决定性模型主要介绍了SIS和SIR模型,网络动力学模型主要介绍了目前流行病数学模型中研究较多、应用较广的模型,包括元胞自动机、人工神经网络、无尺度网络模型.介绍了各种模型的研究方法,并且探讨了今后的研究热点,以利用其模拟结果可以更好地为传染病防治决策提供支持.     

城市微观交通流模型综述

车辆跟驰模型和换车道模型是微观交通流模型研究的基础。对GM模型、线性模型、安全距离模型、AP模型、模糊推理模型和神经网络的车辆跟驰模型进行了详细的评述,并提出了现有的车辆跟驰模型存在的问题。并且对判断性换车道模型和强制性换车道模型进行了详细地论述,同时对其进行了评价。     

基于三层植物模型的大规模植物模拟方法*

针对在大规模植物模拟中基于三维几何网格模型的植物模拟方法内存消耗大,以及基于二维平面模型的植物模拟方法近视点模糊缺陷问题,提出了一种基于三层植物模型的大规模植物模拟方法。该方法将大规模植物分为三层：精度高的几何网格模型层、精度适中的Impostor模型层和精度低的Billboard模型层。根据植物到视点的距离,动态加载相应层中的模型,即当植物距视点较近时,加载精度高的几何网格模型层中的模型;当植物距视点较远时,加载精度适中的Impostor模型层中的模型;当植物距视点很远时,加载精度低的Billboard模型层中的模型。最后,利用Ogre图形引擎对三种植物模拟方法进行了渲染效果对比实验。由实验结果可知,该方法可以在低内存消耗情况下,取得与基于三维几何网格模型的植物模拟方法一样的逼真感,取得与基于二维平面模型的植物模拟方法相近的渲染速度。     

面向随机模型检验的模型抽象技术

随机模型检验是经典模型检验理论的延伸和推广,由于其结合了经典模型检验算法和线性方程组求解或线性规划算法等,并且运算处理的是关于状态的概率向量而非经典模型检验中的位向量,所以状态爆炸问题在随机模型检验中更为严重.抽象作为缓解状态空间爆炸问题的重要技术之一,已经开始被应用到随机模型检验领域并取得了一定的进展.以面向随机模型检验的模型抽象技术为研究对象,首先给出了模型抽象技术的问题描述,然后按抽象模型构造技术分类归纳了其研究方向及目前的研究进展,最后对比了目前的模型抽象技术及其关系,总结出其还未能给出模型抽象问题的满意答案,并指出了有效解决模型抽象问题未来的研究方向.     

Model predictive control based on an integrator resonance model applied to an open water channel

This paper describes a new simplified model for controller design of open water channels that are relatively short, flat and deep: the integrator resonance model (IR model). The model contains an integrator and the first resonance mode of a long reflecting wave. The paper compares the integrator resonance model to the simplified models: integrator delay, integrator delay zero and filtered integrator delay and to the high-order linearized Saint-Venant equations model. Results of using the integrator resonance model in a model predictive controller applied in closed loop on a high-order non-linear Saint-Venant model of the first pool of the laboratory canal at Technical University of Catalonia, Barcelona are compared to the results of using the other simplified models in MPC. This comparison shows that the IR model has less model mismatch with the high order model regarding the relevant dynamics of these typical channels compared to the other simplified models. It is demonstrated that not considering the resonance behavior in the controller design may result in poor performance of the closed loop behavior. In order to demonstrate the validity of the simulation model used in this study, the controller using the IR model is also tested on the actual open water channel and compared to the results of the high-order non-linear Saint-Venant simulation model. The results of this comparison show a close resemblance between simulation model and real world system.     

细粒度的基于角色的访问控制模型

RBAC模型是一种被广泛应用的访问控制模型。但是,RBAC模型是在角色级管理和控制权限,不能满足用户获得角色的部分权限和角色权限的部分继承等安全需求。针对这个问题,在RBAC模型中增加权限的重要程度要素,提出了FGRBAC模型（Fine-Grained Role-Based Access Control Model--细粒度的基于角色的访问控制模型）,并给出了在FGRBAC模型中求用户权限和角色权限的算法。FGRBAC模型不仅可以使用户获得角色的部分权限、父角色可以继承子角色的部分权限,而且RBAC模型可被看成是FGRBAC模型的一种特例。因此,FGRBAC模型不仅具有RBAC模型的所有优点,而且比RBAC模型具有更好的灵活性和实用性。     

ER模型与多维模型互相转换的研究

ER模型是管理信息系统中广泛使用的模型，但是它不能满足OLAP的需要；多维模型广泛应用在数据仓库的设计中，而企业数据通常又由ER模型定义。因此数据仓库设计的一个关键问题是如何建立ER模型与多维模型之间的关联。该文首先对ER模型与多维模型作了详细比较，然后结合实际应用，提出了ER模型与多维模型进行互相转化的条件和方法，从而将这两种模型有效地统一到了数据仓库设计过程中。     

一种通用访问控制管理模型

目前的访问控制管理模型都是针对某种特定的访问控制模型提出的,不能适应多访问控制模型共存于一个大型系统的情况,一个管理模型不能同时适用于多访问控制模型的主要原因是管理者管理范围定义包含了某种访问控制模型中特有的组件.通过使用各种访问控制模型中共有的主体和权限来定义管理模型中的管理范围,将管理模型与访问控制模型之间的关系抽象为一个用于计算策略相关管理范围的函数,提出了一种能够用来管理不同访问控制模型的通用访问控制管理模型,为了便于模型实际使用,在模型中引入管理空间的概念与实际组织结构相对应,形成分布式访问控制管理结构,同时模型严格区分了管理空间的直接管理者和间接管理者在管理权限上的不同,使得管理者具有一定的自治性.最后讨论了管理模型中的管理规则和语义,证明了模型的完备性,并讨论和分析了针对不同访问控制模型的policy*算法.