卢正才

作品数：4被引量：23H指数：2
导出分析报告
供职机构：清华大学更多>>
发文主题：可靠性贝叶斯网络分群加速度计算量更多>>
发文领域：自动化与计算机技术航空宇航科学技术电子电信更多>>
发文期刊：《计算机仿真》《清华大学学报（自然科学版）》更多>>
所获基金：国防科技技术预先研究基金国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
线性时序逻辑转换Büchi自动机的按需即时算法被引量：2
《清华大学学报（自然科学版）》2014年第2期281-288,共8页单来祥 覃征 卢欣晔 卢正才 
国防"十二五"预研基金重点项目(9140A1550212JW01047);高等学校博士学科点专项科研基金优先发展领域课题(20120002130007)
将线性时序逻辑公式转换成Büchi自动机是显式模型检测中的关键环节,Tableau规则是常用转换算法。该文提出了基于Tableau规则的改进算法,将线性时序逻辑公式转换成基于迁移的Büchi自动机。通过在状态和迁移中加入∪公式的满足信息,实...
关键词：线性时序逻辑 基于迁移的Büchi自动机 按需即时 
证据合成的一般框架及高度冲突证据合成方法被引量：20
《清华大学学报（自然科学版）》2011年第11期1701-1705,1716,共6页卢正才 覃征 
国防"十一五"预研基金项目(402040202)
针对D-S证据理论在合成高度冲突证据时会得到有悖常理的无效结果的问题,提出了有效解决冲突须同时修正证据源和合成规则的原则,并给出了证据合成的一般框架;在此框架下,提出了一种新的证据合成方法。该方法首先对证据源进行两级可靠性...
关键词：信息融合 证据理论 证据冲突 合成规则 
载人飞船温度控制系统故障可靠性数字仿真被引量：1
《计算机仿真》2000年第3期58-60,共3页卢正才 赵新国 
根据载人飞船环控生保系统实验的各种故障信息，运用演绎法建立了以飞船密闭舱内大气温度超限为顶事件的故障树，并采用Ｍｏｎｔｅ—Ｃａｒｌｏ方法来获取系统工作的可靠性诸参量。最后通过仿真实验结果．对一些参数进行了讨论。
关键词：载人飞船 温度控制系统 故障 可靠性 数字传真 
复杂系统大型故障树的计算机辅助建树与自动分析
《指挥技术学院学报》1999年第6期68-71,共4页卢正才 沈怀荣 赵新国 
故障树分析法是分析复杂系统安全性，可靠性的有效方法。针对复杂系统建树难分析繁等问题，采用面向对 方法建立了故障树逻辑模型，实现了计算机辅助建树和自动分析。
关键词：故障树 故障树分析法 可靠性 面向对象 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部