工业互联网是工业生产与互联网相结合的产物,是一个开放的、全球化的网络。它打破了传统的工业生产系统相对封闭的环境,使其不可避......

本文研究了弱对称Markov积分半群的表示.利用积分的方法,获得了弱对称Markov积分半群的Kendall和Karlin-McGregor表示,推广了转移......

本文研究了一类重组细胞恒化培养的连续时间Markov链模型．首先利用累积母函数表示出数字特征所满足的矩方程，然后通过对数正态分布近......

对连续时间Markov链的一元PH分布研究作了推广.根据Ramaswami提出的连续时间Markov链的一元Log-PH分布的概念,对一元Log-PH分布进......

在传统的数据库恶意事务修复方案的基础上，采用Petri网模型分析事务撤销冲突和操作执行序列异常检测；进而结合可生存性DBMS特征提出......

在航天器发射工程中,存在组织过程可靠性评估难以量化的问题。基于航天器发射组织过程的时间特性呈现多个子过程并发执行且子过程......

针对当前缺少对微服务组合平台的服务质量(QoS)指标进行分析验证的问题,提出一种基于模型检测的形式化验证方法,对影响微服务平台......

组件故障和接口故障是造成基于组件的软件系统故障的主要原因,已有的可用性研究很少同时考虑这两类故障及修复.分析了软件系统的可......

从连续时间Markov链(CTMC)性能势的角度,借助于定义的折扣Poisson方程,给出了CTMC基于性能势的灵敏度公式及折扣代价准则(简称折扣......