退出
我的积分:
中文文献批量获取
外文文献批量获取
马占有; 李健祥; 李召恺; 郭昊;
北方民族大学计算机科学与工程学院;
模型检测; 带成本的广义可能性决策过程; 广义可能性计算树逻辑; 期望成本;
机译:基于广义可能性测度的定量计算树逻辑模型检查
机译:基于可能性测度的计算树逻辑模型检查
机译:计算树逻辑中的循环检测
机译:模型检查操作系统过程中死锁检测方法使用动态模型生成和计算树逻辑规范
机译:通过数值模型中的释放能量计算来分析不稳定矿井破坏的可能性。
机译:使用逻辑模型树从EEG信号中检测癫痫发作
机译:基于广义系统的定量计算树逻辑模型检测 可能性措施
机译:逻辑流程模型在计算机辅助过程分析与管理系统中的应用
机译:一种用于检测至少一个引起压力波非随机持续变化的物体的方法。一种计算机分析方法,用于分析检测到的地震或声波信号,以便检测至少一个在频带F中引起信号非随机持续变化的物体。检测至少一个引起感兴趣的地震或声音信号的物体。一种计算机系统,分析检测到的信号,以便检测至少一个引起感兴趣的信号的物体。计算机模块,分析检测到的信号,以便检测至少一个物体引起感兴趣的信号,该设备程序可以被机器读取。检测至少一个物体引起感兴趣的地震或声音的方法是一种有序的方法和计算机程序
机译:用于检测,评估和分析组织中的已测量变量的计算机系统具有中央计算机,外围计算机在其中接收,评估或转发由指定成本点产生的工作过程数据
机译:自然语言分析设备,自然语言过程分析,自然语言过程分析表达;关系数据库的咨询过程。在居民计算机分析中自然语言系统中概念模型的使用,概念模型的创建过程和元知识的创建过程
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。