用于基因调节网络建模的概率布尔型基因网络结构分析

基于Iyla Shumlevieh提出的概率布尔型网络(PBN)模型，讨论了概率布尔型网络PBN的结构分析问题．依据PBN网络模型中任意两基因之间量化了的相互影响，对基因调节网络图进行分割，得到各自独立的子网络．同时，依据一定规则找到对网络的稳定性起决定作用的关键基因，通过对关键基因的状态分析，并扩展到整个网络，最终确定PBN的状态．     

基于概率时间自动机的模型检测反例表示研究

近年来,概率系统在实际中应用越来越广泛,其中模型检测基于概率系统的反例生成问题,已引起人们的广泛关注,现有的工作主要围绕模型检测Markov链反例生成展开.概率时间自动机(PTA)是Markov链的不确定性和系统时钟的扩展,针对模型检测PTA的反例表示问题,首先将PTA的语义表示为Markov决策过程(MDP),通过策略解决MDP不确定性,将MDP转换为离散时间Markov链(DTMC);然后将DTMC转换为带权有向图,则PTA中最小反例问题转化为带权有向图中最短路径问题;最后采用正则表达式表示求得的反例.     

一阶非线性随机系统的学习优化控制

文章研究了一阶连续时间非线性随机系统的优化控制问题,通过勒贝格采样方法将其建模为半Markov决策过程,采用基于事件驱动和Q学习方法,给出了折扣和平均优化准则下统一的优化算法;仿真实验表明,该算法处理一阶非线性随机系统的最优控制问题,可以获得较好的优化效果。     

概率布尔网络动态特性及其结构分析

从网络灵敏度和概率布尔网络基因状态间的转化2个方面分析、研究了概率布尔网络的动态特性,把网络灵敏度的概念从布尔网络引入到概率布尔网络中,得出了概率布尔网络灵敏度的计算方法.最后从网络结构方面进一步分析概率布尔网络的动态特性,把概率布尔网络分解为基础布尔网络,从而利用结构简单明了的布尔网络分析结构更为复杂的概率布尔网络及其稳态分布,并以实例说明该方法.     

基于Markov网络的检索模型

基于Markov网络的信息检索模型提出一种贝叶斯网络推广的检索模型，该模型利用词项在文档集中的共现信息来构造Markov网络，通过该索引项子Markov网络来加载附加查询证据源，计算文档与查询之间的相关性概率，由此概率进行文档排序. 实验结果表明,本文提出的Markov网络模型比其他传统的检索方法具有更优的检索性能.     

基于博弈论的网络控制模型及稳定性分析

为了提高网络的可控可管性,解决实际网络管理中不同博弈理论集成所面临的动态决策和系统控制问题,分析了基于典型博弈理论的网络控制模型的基本特性,讨论了主从博弈、非合作博弈和合作博弈3种典型博弈问题的相关性,提出了以非合作博弈为基础的网络控制模型,包括资源最优控制层面和服务最优控制层面,分别实现对网络设备资源和网络服务请求的控制.该模型在博弈求解中考虑了时间变量的影响以及博弈实体在博弈过程中动态关系的变化轨迹,从所有博弈者的动态策略及目标状态的基本关系来解决网络博弈问题,最终形成一个能整合网络各要素的控制系统,并通过建立该网络控制模型的基本状态空间方程证明了该模型协同控制均衡态的稳定性.     

用动态Bayesian网络建立宏观经济系统模型

针对限制动态 Bayesian网络方法应用的 Markov假设和转移概率时不变假设 ,研究了如何利用部分观测信息建立宏观经济系统的 Markov模型以及如何建立转移概率具有时变特性的宏观经济系统模型。对不满足 Markov假设的演化过程 ,通过在模型中添加隐藏变量建立 Markov模型 ,并对 EM- EA算法进行扩展 ,使之用于带隐藏变量的动态 Bayesian网络的学习。对不满足时不变性的转移概率 ,应用多项式拟合方法直接从数据构造时变转移概率模型。理论分析表明了论文方法的正确性和可行性     

基于离散Markov决策过程的发电公司多阶段决策

采用离散时间Markov决策过程(DTMDP)对以多阶段总利润最优为目标的发电公司决策问题进行研究．市场环境下，发电公司根据自身条件，其竞争策略可以是价格的接受者，也可以是价格的制定者．考虑了发电公司不同策略情况下市场均衡状态间的转换概率，分别给出了发电公司作为价格接受者和价格制定者时的多阶段决策模型．通过算例验证了所提模型的有效性和可行性．     

布尔控制网络的能观测性综合问题

能观测性是布尔控制网络的一个基本性质,用来描述是否可以通过系统的输入–输出值确定其初始状态．基于矩阵半张量积和图论技术,研究了布尔控制网络的能观测性综合问题．用实例说明了带有外部输入的状态反馈控制器有时可使不能观测的布尔控制网络变为能观测的,有时不能;也可使能观测的布尔控制网络变为不能观测的．最后,证明了如果存在标准状态反馈控制器使布尔控制网络变为能观测的,则一定存在带有外部输入的状态反馈控制器使布尔控制网络变为能观测的,反之不成立．     

基于Markov过程的集束型设备预防维护策略

为了更好地保障集束型晶圆制造设备运行的可靠性,同时考虑维护的经济性,建立了基于Markov过程的预防性维护策略.根据集束型设备的特点,采用大修和小修相结合的预防性维护方式,同时考虑随机失效和退化失效两种失效形式,建立了状态转移模型.依据Markov理论求得设备各状态的稳态概率及状态转移概率.再根据Markov决策理论及策略迭代算法求得最佳维护策略.实验结果表明,所提出的预防性维护策略有效可行.     

多目标准则下的折扣非时齐马氏决策规划：分层序列法

建立了多目标准则下的折扣非时齐马氏决策模型，并将其（ｉ）阶段最优问题转化为一等价非时齐马氏决策模型的最优问题。     

A two-level hierarchical Markov decision model with considering interaction between levels

Decision in reality often have the characteristic of hierarchy because of the hierarchy of an organization’s structure. In this paper, we propose a two-level hierarchic Markov decision model that considers the interactions of agents in different levels and different time scales of levels. A backward induction algo-rithm is given for the model to solve the optimal policy of finite stage hierarchic decision problem. The proposed model and its algorithm are illustrated with an example about two-level hierar-chical decision problem of infrastructure maintenance. The optimal policy of the example is solved and the impacts of interactions between levels on decision making are analyzed.     

一种0-1型双层线性规划的分支-定界法

针对上下层变量都是0-1变量的双层线性规划问题,在通过对其模型结构特点研究的基础上,结合双层线性规划问题的定界理论,给出了一种便于求解、结构简单的定界函数和寻找问题全局最优解且基于深度优先的搜索准则,由此提出了一个求解0-1型双层线性规划的分支-定界法.提出的算法具有全局收敛性,并通过算例说明了算法的求解过程.     

智能化决策支持系统中的建模问题

以社会经济发展战略决策支持系统为背景,从过程控制的观点论述了描述对象系统行为的具有积分约束条件的最优控制模型及其解的两种最优控制律的理论意义和实用方面的局限性,随之展示出富有实效的数字仿真模型的多种选择可能性,指出建立仿真模型体系乃是一类决策支持系统的根本性工作,强调了人工智能的引进旨在运用作为知识(机器蕴涵的认知系统)的系统模型使决策支持过程自动化.     

基于概率群集的多战机协同空战决策算法

为解决多战机在无中心控制条件下的自主协同空战决策问题,提出了一种基于概率群集的分布式协同算法.以导弹为Agent构建协同分布式决策模型,并基于概率群集将离散的组合优化问题映射为概率分布空间上的一个凸优化问题;通过定义Agent的贡献度扩展概率群集架构.上述2种方法分别解决了模型中存在较大局部最优值区域和由于异构Agent间的非线性协同导致系统无法准确收敛的问题.实验结果表明,所提算法与传统算法相比具有更好的鲁棒性、可扩展性,收敛速度也有一定提高.     

非时齐折扣马氏决策规划（二）：矩最优准则

本文讨论一类非时齐折扣马氏决策规划的总折扣报酬的k（≥1）矩和矩最优问题,得到k矩和矩最优策略存在的一个充要条件;并将k矩最优问题化为同类型的一个马氏决策规划的一阶矩最优问题,从而也解决了这类模型的k矩最优策略的结构问题.     

油田开发系统规划的策略

依据石油开发系统的特点，引入状态方程和多变量控制方法，分析了油田开发系统的投入产出问题，提出了油田开发最优规划方法，建立了多输入多输出油田开发优化模型，提出了多输入多输出油田开发最优决策准则。在确定开发方案时，应选取影子价格较小值的油井进行开采。     

一类群决策问题的最优分配解法

在群决策中存在着多个决策者根据自己的知识、经验和偏好独立选择决策方法 ,对决策方案集作出决策后 ,应综合确定群体决策方案的多人多指标群决策问题 .针对这类决策问题具有决策信息量较少 ,而决策一致性较差的特点 ,分析了总体偏差法、足码法及其相关改进方法的优缺点 ,提出了一种多人综合评价的最优分配解法 .该方法通过建立决策方案集与决策名次之间的关联矩阵 ,并根据关联矩阵对方案集进行分类 ,在此基础上构造最优决策模型 ,利用整数规划中的最优分配解法求解最优模型 ,从而得到方案集的综合排序 .该方法简单实用 ,并且克服了总体偏差法、足码法及其相关方法的不足     

需求区间型运输问题的模糊优化模型

为解决需求区间型运输问题,将弹性需求区间转化为三角模糊数,建立该问题的模糊优化模型;根据运输问题的特点,将模糊优化模型转化为两个等价的运输问题,给出模糊最优判决λ＊的一个定理,并给出此类运输问题的一种简便求解方法;最后,通过实例验证方法的有效性.     

需求区间型运输问题的模糊优化模型

为解决需求区间型运输问题,将弹性需求区间转化为三角模糊数,建立该问题的模糊优化模型;根据运输问题的特点,将模糊优化模型转化为两个等价的运输问题,给出模糊最优判决λ＊的一个定理,并给出此类运输问题的一种简便求解方法;最后,通过实例验证方法的有效性.