欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
对Lukasiewicz逻辑系统，利用序结构知识和赋值函数保并、交、补、蕴涵运算的性质研究了命题的积分真度，推出了若干关于积分真度的等式与不等式，修正完善了积分真度的交推理规则，给出了积分真度的等式与不等式的一些应用，使较复杂的积分真度计算得以简化，或进行较合理的估值。
英文摘要：
In this paper, some equalities and inequalities about integration truth degrees of formulae in the Lukasiewicz logic system are deduced by means of properties of order structures and evaluation functions that preserve meets, unions, complements and implications. The rule of meet deductions for integration truth degrees is thus reasonable modified and improved. Some related applications of equalities and inequalities about integration truth degrees are also given to reasonablely simplify computing or estimating integration truth degrees of formulae.
同期刊论文项目
同项目期刊论文
Global Synchronization for Discrete-Time Stochastic Complex Networks With Randomly Occurred Nonlinea
On synchronization of discrete-time Markovian jumping stochastic complex networks with mode-dependen
A note on control of a class of discrete-time stochastic systems with distributed delays and nonline
Robust H-infinity control for a class of nonlinear discrete time-delay stochastic systems with missi
An Extended Kalman Filtering Approach to Modeling Nonlinear Dynamic Gene Regulatory Networks via Sho
Stability and Synchronization of Discrete-Time Markovian Jumping Neural Networks With Mixed Mode-Dep
On delay-dependent robust exponential stability of stochastic neural networks with mixed time delays
期刊信息
位置：