论文研究NTCIP协议一致性测试工具研究及实现 .pdf

SATA conformance testing and debugging

2008年9月杭数字化变电站与IEC61850高级论坛PPT

首先分析了本体创建的一般过程,定义了一组时间关系的表示函数及通用的时间限制性公理;在此基础上设计一个面向带时间特征的概念属性逻辑关系一致性分析算法;最后,直接针对本体概念的时间属性,设计了一个时间属性

条件风险价值(CVaR)是常用的风险衡量标准之一。 本文表明,如果存在种群的一阶矩,则CVaR的最佳估计量具有很强的一致性。 随后,我们进行数值模拟以检验结论。 我们使用结果对深圳A股进行实证分析。

在本文中,我们集中于具有缺失响应的半参数变量误差模型:,yi是随机缺失的响应变量,是设计点,ζi是在测量误差为μi时观察到的潜在变量,未知斜率需要估计参数ß和非参数分量g(·)。 在这里,我们选择两种

基于GEMS的三级Cache一致性协议的设计和实现，武越川，李艳华，分析了cache一致性协议的工作机理，定义了cache在不同事件驱动下的状态转换过程和相关的操作，在MOESI基础上设计了一个三级独

论文研究-区间数判断矩阵的一致性检验及排序方法 .pdf,

Raft是一种用来管理日志复制的一致性算法。它和Paxos的性能和功能是一样的，但是它和Paxos的结构不一样；这使得Raft更容易理解并且更易于建立实际的系统。为了提高理解性，Raft将一致性算法分

近年来,人们设计各类算法来实现协同编辑中的文本一致性维护,而关于Word中图文混排的研究相对较少。对Word中的图片对象和文字对象重新建模、分别存储,以行作为单位设置文档中对象的摆放位置,并通过算法消

为了保证构件在动态演化时的行为一致性,提出了一种基于进程代数的构件模型,形式化描述了构件及其对外交互协议,引入了对外主动请求接口和内部连接,并给出了行为一致性验证的规则和相关定理;然后给出了验证算法;