An Integer Programming Approach for System-Reliability Design

来源 :2001年全国理论计算机科学学术会议 | 被引量 : 0次 | 上传用户：aheoo

【出处】

：

2001年全国理论计算机科学学术会议

【发表日期】

：

2001年6期

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

并行编译中数据分布的线性划分模式计算

本文主要讨论了在分布存储器环境中如何运用基于超平面的线性划分技术对串行程序中循环引用的数据进行无通信划分技术,并给出完整的算法表述.

会议

数据分布线性划分模式计算

利用SWARM平台建立复杂适应系统模型

本文介绍了复杂适应系统理论及Swarm软件平台的逻辑结构并且通过“生命游戏”模型实例分析了复杂适应系统模型结构.

会议

复杂适应系统Swarm平台Agent系统遗传算法

一类灰色混杂自动机及其白化方法

本文将引入分布参数系统的不完全确定的混杂自动机描述——灰色混杂自动机的概念,并研究在某些约束条件下灰色混杂自动机的白化方法.

会议

灰色混杂自动机白化方法

谓词转换器的相容性

本文在Dijkstra的卫式语言的基础上,定义了一种特殊的语言,称为弱随机卫式语言,并讨论了该语言所决定的谓词转换器的相容性.

会议

谓词转换器弱随机卫式语言不确定算子

中介逻辑谓词演算系统MFM

本文以中介逻辑谓词演算系统MF为基础,构造了基于命题联结词＾、V、→、ヲ和ヘ的新中介逻辑谓词演算系统MF,并证明了其可靠性和完备性.

会议

中介逻辑谓词演算系统数据库理论

数据仓库的模糊条件析取研究

本文扩展了数据仓库数据析取的功能,提出了模糊条件析取方式.详细分析了模糊条件析取中模糊语言变量的表示.研究了利用扩展SQL语句的模糊功能以模糊语言作为析取条件进行的析取方法,并给出模糊条件析取的实现算法.

会议

数据仓库模糊条件析取模糊语言变量

层次有穷状态机与多并发语义模型结合方法研究

本文提出扩充FSM的层次性和异构性,探讨了如何由FSM和各种并发模型构造HHNSM及HHNSM具有的特点.

会议

有穷状态机并发语义模型HHNSM

移动Agent系统的联盟形成

移动Agent联盟形成过程中需要考虑通讯和合作问题.本文相给出了一种移动Agent的系统联盟形成模型,利用令牌传输技术,令牌服务的循环信道作为通信路径,保证联盟内部的协调、决策、组织完整.

会议

移动Agent系统联盟形成令牌传输技术

递归领域和项重写系统等价性

本文讨论了递归领域的概念及其于递归领域的项重写系统等价性的归纳证明方法.

会议

递归领域项重写系统等价性

用好硫酸生产中高含尘电除尘器之浅见

本文探讨在硫酸生产中当原料矿粒度很细,粉尘粒度非常小时采用高含尘除尘器技术是可行的,可以考虑将旋风除尘器去消以及减少动力消耗、降低成本.

会议

硫酸生产电除尘器酸洗净化工艺除尘效率

An Integer Programming Approach for System-Reliability Design

其他学术论文