共找到 相关的 本期刊
共找到 相关的 34篇文献
本文证明了 Ｈｏｒｎ函数的极大可满足性即使是限制在如下两种情况中的任何一种也是 ＭＡＸ ＳＮＰ困难的，第一种情况是每个公式都是二次的，第二种是公式中每一个非单位子句有且只有一个补元，这意味着在这档两种情况下没有多项式的近似算法，除非Ｐ＝ＮＰ...
[英]/Mak KH…//Eur Heart J.-2009,30.-857～865高体重指数(BMI),尤其是肥胖无疑将增加罹患2型糖尿病、高血压和心血管疾病风险,并与其预后不良有关。然而亦有荟萃分析发现,低BMI也与心血管疾病死亡风险...
利用Benford 法则对1996-2013 年各地区农林牧渔产值的数据质量进行可靠性研究，认为数据首位数字的可靠性存疑。
设L 是希尔伯特空间H 上的一个CSL ，A lg L 是相应地CSL 代数。一族线性映射δ = {δn,δn:A lg L → A lg L,n ∈ N} 在Ω ∈ A lg L Jordan 高阶可导，如果对所有n ∈ N, Σi + ...
随着人口老龄化进程加剧和新型农村社会养老保险制度全面覆盖，农村老年人群与养老需求激增，农村养老金收支失衡与不可持续风险快速加大。
针对某地铁列车车载状态数据，阐述了实现数据提取和可视化的构成要素和实现策略，基于VC++和MATLAB 联合编程，解决了大容量车载数据快速解码问题，实现了交互性全数据报表化，特性参数图形化表达等功能，以列车车载数据为例详细分析了列车故障提取...
摘 要:EQ-代数是一种重要的逻辑代数,它与剩余格有密切的关系,但也存在本质的差别,研究EQ-代数对经典逻辑和模糊逻辑有重要 意义。 继Vilem Nover提出了EQ-代数并在EQ-代数中引入滤子后,许多学者针对EQ-代数中滤子理论,做了...
本文以改进的Boussinesq 方程为理论控制方程，采用MIKE21-BW 数值模型对赤道几内亚巴塔港防波堤延长的四种设计方案进行可行性数值模拟对比研究。通过计算4 种方案在设计高水位、W 向波浪作用下各测点的泊稳波高，为防波堤结构进行优...
010-56259535
关注中教数据库
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
个人中心
退出