排序方式: 共有68条查询结果,搜索用时 15 毫秒
61.
讨论了在小样本条件下,如何检验不同方差的二维正态分布的方差问题,绘制了拒真概率α和纳伪概率β相等时的临界值曲线.模拟表明该方法对武器检验具有一定的意义. 相似文献
62.
随着寄存器传输级甚至行为级的硬件描述语言应用越来越广泛,基于一阶逻辑的可满足性模理论(Satisfiability Modulo Theories,SMT)逐渐替代布尔可满足性(Boolean Satisfiability,SAT),在VLSI形式化验证领域具有更加重要的应用价值。而极小不可满足子式能够帮助EDA工具迅速定位硬件中的逻辑错误。针对极小SMT不可满足子式的求解问题,采用深度优先搜索与增量式求解策略,提出了深度优先搜索的极小SMT不可满足子式求解算法。与目前最优的宽度优先搜索算法对比实验表明:该算法能够有效地求解极小不可满足子式,随着公式的规模逐渐增大时,深度优先搜索算法优于宽度优先搜索算法。 相似文献
63.
讲政治,是对党员干部党性锤炼的根本要求,它不是抽象的理论问题,也不是一句空洞的口号,有着实实在在的内容,贵在积极实践,难在长期历练。作为一名党员干部,铸牢"讲政治"的坚强党性,重在强化五种意识。一、强化"一心向党、铁心跟党"的归属意识。坚持党对军队的绝 相似文献
64.
65.
66.
67.
从语言基础、母语对英语表达的影响等方面分析了大学英语写作中普遍存在的问题 ;就如何避免写作中的语言错误 ,学会用英语的思维方式来构思提出了几点建议 相似文献
68.