排序方式: 共有70条查询结果,搜索用时 0 毫秒
21.
针对编队协同作战中因资源配置不合理而导致出现冲突的问题,运用基于约束满足的方法,建立了多实体资源受限优化配置模型,并采用基于规则的启发式算法对模型进行求解和仿真计算,结果表明该方法简单、可行。 相似文献
22.
时下,能源问题是人们茶余饭后议论的热门话题,也是大家关心的焦点问题。能源关系到千家万户的切身利益,能源作为一种不可再生资源,越来越吃紧,求大于供,形成空前压力。日前,国务院总理温家宝向全国发出了“提倡节约型社会”的号召,一场节能战斗正在全国各地打响。汽车作为能源的消耗大户,汽车业如何开发、研制、生产节能型汽车就显得尤为重要了。专家预计,随着时间的推移,节能环保型汽车必将主宰未来汽车市场消费主流。一、国际国内环境需要节能环保型汽车主宰汽车市场消费主流。1、产业政策的引导因素。自我国《汽车产业发展》发布以来,其… 相似文献
23.
彭彪 《海军工程大学学报》2005,17(4):47-49
基于经典弹性理论,利用Euler方程组推导了橡胶筒承受径向载荷时的位移解析解,推导过程中未采用体积不可压缩假设.有限元计算表明,该解析解是正确的. 相似文献
24.
中继卫星在地球同步静止轨道上运行,既能直视中、低轨道用户航天器,又能直视地面站,是沟通用户航天器与地面站的桥梁。中继卫星调度问题是一类非常重要的调度问题。基于约束满足理论,通过分析中继卫星调度问题的特点与约束条件,建立了中继卫星调度问题的CSP模型。利用卫星工具箱STK进行模拟仿真,对CSP模型进行了求解。结果表明,所建立的CSP模型是合理的。 相似文献
25.
26.
解释布尔公式不可满足的原因在很多领域都具有实际的应用需求,而最小不可满足子式能够为诸如电路的自动综合等应用领域中的不可满足原因提供最精确的解释。因此,将两种能够高效求解最小不可满足子式的算法——分支-限界算法与贪心遗传算法,集成到解码电路的自动综合工具中。采用通信领域的标准编码电路作为测试集,将两种算法进行对比。实验结果表明,在运行时间与每秒剔除的短句数方面,贪心遗传算法优于分支-限界算法;不可满足子式在解码电路的自动综合过程中发挥重要作用。 相似文献
27.
28.
讨论了不可延伸承诺体制的定义问题,分析了传统基于离散对数承诺体制的可延伸性,首次将Diffie-Hellman密钥协商方案用于随机挑战的生成以阻止知识证明的可延伸性,进而构造出一种新的基于Diffie-Hellman密钥协商的不可延伸的承诺体制. 相似文献
29.
求解布尔不可满足子式在超大规模集成电路设计与验证领域都具有非常重要的理论与应用价值,帮助EDA工具迅速定位错误与不一致。针对求解不可满足子式的非完全方法,提出了消解悖论与悖论解析树的概念,在此基础上提出一种启发式局部搜索算法。该算法根据公式的消解规则,采用局部搜索过程直接构造证明不可满足性的悖论解析树,而后递归搜索得到不可满足子式;算法中融合了布尔推理技术、动态剪枝方法及蕴含消除方法以提高搜索效率。基于随机测试集进行了实验对比,结果表明提出的算法优于同类算法。 相似文献
30.
为了准确预测备件需求数量,针对具体的保障对象和保障环境特点,需要选择合适的评价保障指标。本文针对单舰船在海上执行训练任务时的随舰备件保障问题,在分析影响随舰备件配置各因素的基础上,通过比较分析各评价保障指标的适用特点,选择满足率作为随舰备件的评价保障指标。从而给出了基于满足率模型的随舰单备件配置方法,能够为部队装备保障人员制定合理的保障方案提供决策依据。 相似文献