欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
针对具有全称量词及蕴含运算查询构造困难的问题，用数学中集合论工具，分析了这两类查询的本质，得到了关于这两类查询应满足的集合条件的两个定理．应用这两个定理，推导出了实现几类复杂查询的统一查询模式．推出的查询集合条件简单明了，从而使具有全称量词和蕴含运算命题查询的构造更容易理解．典型应用示例验证了基于集合分析数据查询方法的有效性．
英文摘要：
It is difficult to construct data queries with proposition of universal quantifier or implications. The essences of the enquiries were analyzed by set theory. Two theorems related to the filter condition of these queries were derived, by which the unified query patterns for these complex queries were achieved. The introduced query set was simple, which makes the construction of query with universal quantifier or implication operation not only simplified but also understood more easily. Typical examples of applications verified the effectiveness of the method.
同期刊论文项目
同项目期刊论文
An Improved Algebraic Criterion for Global Exponential Stability of Recurrent Neural Networks with T
Noise-Induced Stabilization of the Recurrent Neural Networks with Mixed Time-Varying Delays and Mark
期刊信息
位置：