【摘 要】
：
本文首先构造了随机均匀产生的d-SAT问题的概率模型；然后给出了SAT问题的解的个数的均值的计算公式.使用矩方法研究了解空间的元素满足方程的概率以及在临界点方程有解的概率
论文部分内容阅读
本文首先构造了随机均匀产生的d-SAT问题的概率模型；然后给出了SAT问题的解的个数的均值的计算公式.使用矩方法研究了解空间的元素满足方程的概率以及在临界点方程有解的概率的极限性质.最后确定了n/m=γd=(ln2)/(ln22-1)是其解的平均个数的临界点，并且当n/m=γd时，方程有解的概率随着m→∞而趋于0.
其他文献
本文分析了苯乙烯技术的发展前景，提出我国苯乙烯技术发展的意义和建议。
对有摩擦时Diesel循环进行了有限时间热力学分析.导出功率和压缩比、效率和压缩比的新关系式，进而得到功率效率关系，并进行了计算和讨论，给出一些有益的结论.
目的:观察大鼠急性酒精性肝损伤后肝组织和胃黏膜乙醇脱氢酶(ADH)活性及不同时间点血浆乙醇浓度的变化,探讨枳棋云母汤对急性酒精性肝病的保护作用.方法:60只SD大鼠随机分为
采用sQL Anywhere5.0计知识库.PowerBuilder6.5编程实现了电力设备故障诊断模糊专家系统，其知识的表示采用了模糊产生式表示法，引进了模糊匹配与加权模糊逻辑进行模糊推理，实现
组织因子(tissue factor,TF)与肿瘤的血栓形成、血管新生、侵袭和转移等密切相关.本文就TF在肿瘤中的作用作一综述.
文章在对框架技术进行研究的基础上,论述了设计框架所要解决的问题,并提出了相应的解决方法,最后设计并实现了一个证券交易系统客户子系统的框架。
目的:研究雪莲注射液细菌内毒素检查BET的干扰实验,寻求使用鲎试剂检测雪莲注射液中细菌内毒素的方法。方法:按照《中国药典》2010年版二部收载的细菌内毒素检查方法进行试验
提出两级加载条件下考虑加载历史影响的蠕变损伤演变方程和剩余寿命估算方法.分析结果表明,高-低加载时,由于硬化严重,损伤演变速率减缓,使寿命分数之和大于1;而在低-高加载
采用阳极氧化法,制备了二维有序纳米孔铝膜,经场发射扫描电子显微镜(EFSEM)测试,孔呈六角形,其膜孔直径为15～20nm,面密度为5.4×1010个/cm2.作者还讨论了形成孔的条件.
箱形截面钢桥墩广泛地用于高架桥中 ,通常 ,这些箱形截面的钢板具有较高的宽厚比 ,这就使得桥墩在大地震时很容易遭到破坏。为了改善这种钢桥墩的抗震性能 ,提出了一种通过能