Nuclear Power Plants; Algorithms; Data Acquisition; Reactor Instrumentation; Signals; Validation;
机译:一种基于工具的方法来检查事故报告中的逻辑一致性
机译:MTraceCheck:在硅后验证中验证内存一致性模型的不确定行为
机译:单功能和双功能两组分信号模块之间动力学行为的比较
机译:BISCC:使用内置状态一致性检查,对混合信号/ RF系统进行高效的从硅前到后验证
机译:阿尔茨海默氏病中蛋白质信号传导模块改变的功能蛋白质组学分析。
机译:趋化因子受体CCR7使用具有偏向功能的独特信号传导模块来调节树突状细胞。
机译:基于PAPAPHASE信号压缩模块的全核特性结构组织功能控制系统
机译:用于一致性检查的信号验证算法和冗余测量的顺序概率比测试:主题报告