为了增强计算树逻辑在时序上的表达能力，以广义可能性测度、决策过程和计算
2021-05-12 15:26
针对现实生活中信息的时间性和模糊性，在模糊描述逻辑和时态
2013-09-16 14:01
线性时态逻辑Petri 网结合了Petri 网和时序逻辑的优点，清晰简洁的描述并发系统事件间的时序和因果关系，包括系统的活性和安全性。其中自动机的体积是
2009-08-31 16:14
本文提出了一个基于可能性计算模型的定量风险评估方法，设计并实现了一个计算机辅助评估系统,它利用业务事务价值和可能性
2009-07-07 13:20
从光流场的角度出发，建立了一种广义运动模糊模型，并依据该模型推导出前向运动模糊核，为高速铁路前向运动视频图像去
2018-01-12 14:46
正则模型是非正规模态逻辑的模型，通过定义正则模型的不相交并、C2t-互模拟、生成子模型、C2t-超滤扩张等
2017-12-29 10:25
机器人是一种拥有无尽可能性的技术，尤其是当搭配了智能技术时。近段时间创造了许多变革性应用的大模型有望成为机器人的智慧大脑，帮助机器人感知和理解这个世界并制定决策和进行规划。
2024-01-26 14:47
大神们，我在用matlab进行gamma可能性分析时，不知如何计算gamma值的SD SE，见笑了，实在没查到资料，望了解的可以解答一下，多谢多谢！
2019-02-23 09:28
现有模型检测工具的形式化规范语言。如计算树逻辑（computation tree logic，简称CTL）和线性时序
2018-01-26 14:48
航空发动机T-S模型模糊广义预测控制算法设计 The Design of Fuzzy Generalized Predictive Control Algorithm for T-S Model in Aviation Engine
2009-03-16 12:13
