可数

更新时间:-- | 阅读量: 329

本文证明了 Ｈｏｒｎ函数的极大可满足性即使是限制在如下两种情况中的任何一种也是 ＭＡＸ ＳＮＰ困难的，第一种情况是每个公式都是二次的，第二种是公式中每一个非单位子句有且只有一个补元，这意味着在这档两种...

《数学理论与应用》 1999年03期 关键词: "近似度"," 复杂性"," Horn公式"," MAXSNP-困难的" 收藏

本文给出了用定义法证明二元函数可微性的四则运算法则与复合运算法则。

《阴山学刊（自然科学版）》 2006年01期 关键词: "二元函数"," 可微"," 四则运算"," 复合运算" 收藏

[英]/Mak KH…//Eur Heart J.-2009,30.-857～865高体重指数(BMI),尤其是肥胖无疑将增加罹患2型糖尿病、高血压和心血管疾病风险,并与其预后不良有关。然而亦有荟萃...

《国际老年医学杂志》 2010年03期 关键词: 收藏

<p>可靠性是分析产品使用年限的一门全新学科，可以明确地反映出产品质量。<br/></p>

《天津中德职业技术学院学报》 2015年4期 关键词: "半导体集成电路","可靠性测试","数据处理方法" 收藏

<p>利用Benford 法则对1996-2013 年各地区农林牧渔产值的数据质量进行可靠性研究，认为数据首位数字的可靠性存疑。</p>

《统计与管理》 2015年10期 关键词: "Benford","法则　数据删除　统计量" 收藏

设L 是希尔伯特空间H 上的一个CSL ，A lg L 是相应地CSL 代数。一族线性映射δ = {δn,δn:A lg L → A lg L,n ∈ N} 在Ω ∈ A lg L Jordan 高阶...

《六盘水师范学院学报》 2015年5期 关键词: "Jordan","导子","CSL代数","CDCSL代数","套代数","von","Neumann代数" 收藏

<p>随着人口老龄化进程加剧和新型农村社会养老保险制度全面覆盖，农村老年人群与养老需求激增，农村养老金收支失衡与不可持续风险快速加大。</p>

《中国管理科学》 2015年9期 关键词: "农村养老金","可持续性","仿真","精算模型","参数调整" 收藏

针对某地铁列车车载状态数据，阐述了实现数据提取和可视化的构成要素和实现策略，基于VC++和MATLAB 联合编程，解决了大容量车载数据快速解码问题，实现了交互性全数据报表化，特性参数图形化表达等功能，...

《科技创新与应用》 2015年11期 关键词: "地铁列车","数据后处理","可视化","状态分析" 收藏

摘 要:EQ-代数是一种重要的逻辑代数,它与剩余格有密切的关系,但也存在本质的差别,研究EQ-代数对经典逻辑和模糊逻辑有重要 意义。 继Vilem Nover提出了EQ-代数并在EQ-代数中引入滤子后...

《科技资讯》 2015年8期 关键词: "关键词","EQ-代数","模糊集","模糊准滤子" 收藏

本文以改进的Boussinesq 方程为理论控制方程，采用MIKE21-BW 数值模型对赤道几内亚巴塔港防波堤延长的四种设计方案进行可行性数值模拟对比研究。通过计算4 种方案在设计高水位、W 向波浪作...

《港工技术》 2015年5期 关键词: "赤道几内亚巴塔港","防波堤","MIKE21","泊稳波高","优化设计" 收藏