橡胶筒承受径向载荷时的位移解析解

基于经典弹性理论,利用Euler方程组推导了橡胶筒承受径向载荷时的位移解析解,推导过程中未采用体积不可压缩假设.有限元计算表明,该解析解是正确的.     

中继卫星调度问题的CSP模型

中继卫星在地球同步静止轨道上运行,既能直视中、低轨道用户航天器,又能直视地面站,是沟通用户航天器与地面站的桥梁。中继卫星调度问题是一类非常重要的调度问题。基于约束满足理论,通过分析中继卫星调度问题的特点与约束条件,建立了中继卫星调度问题的CSP模型。利用卫星工具箱STK进行模拟仿真,对CSP模型进行了求解。结果表明,所建立的CSP模型是合理的。     

一种Fuzzy优化模型及其满意解

本文给出了一种目标函数和约束条件都具有模糊性的优化模型。采用求条件极值的方法,得到了求这一模型的满意解。     

应用不可满足子式的解码电路综合优化方法

解释布尔公式不可满足的原因在很多领域都具有实际的应用需求,而最小不可满足子式能够为诸如电路的自动综合等应用领域中的不可满足原因提供最精确的解释。因此,将两种能够高效求解最小不可满足子式的算法——分支-限界算法与贪心遗传算法,集成到解码电路的自动综合工具中。采用通信领域的标准编码电路作为测试集,将两种算法进行对比。实验结果表明,在运行时间与每秒剔除的短句数方面,贪心遗传算法优于分支-限界算法;不可满足子式在解码电路的自动综合过程中发挥重要作用。     

让幸福指数大起来

幸福指数就是指把主观幸福感作为一项指标．通过运用专门的测量工具去获得人们主观幸福感的数量化结果。幸福就是快乐的感觉。因此，对个人来讲，幸福指数就是通常所说的快乐系数，即人们将要满足的需求减去将来无法满足的需求的结果同现在满足需求的比值。幸福与痛苦总是相对的，一个人是否幸福的衡量标准不在于地位的高低、掌握知识的深浅、占有财富的多寡，而在于人生幸福指数的大小。而幸福指数的大小，     

一种新的不可延伸的承诺体制设计

讨论了不可延伸承诺体制的定义问题,分析了传统基于离散对数承诺体制的可延伸性,首次将Diffie-Hellman密钥协商方案用于随机挑战的生成以阻止知识证明的可延伸性,进而构造出一种新的基于Diffie-Hellman密钥协商的不可延伸的承诺体制.     

求解布尔不可满足子式的消解悖论算法

求解布尔不可满足子式在超大规模集成电路设计与验证领域都具有非常重要的理论与应用价值,帮助EDA工具迅速定位错误与不一致。针对求解不可满足子式的非完全方法,提出了消解悖论与悖论解析树的概念,在此基础上提出一种启发式局部搜索算法。该算法根据公式的消解规则,采用局部搜索过程直接构造证明不可满足性的悖论解析树,而后递归搜索得到不可满足子式;算法中融合了布尔推理技术、动态剪枝方法及蕴含消除方法以提高搜索效率。基于随机测试集进行了实验对比,结果表明提出的算法优于同类算法。     

基于人工势场的潜艇搭载AUV回收路径规划

紧密结合未来无人作战侦察对潜艇搭载自主水下航行器(AUV)水下自主回收的需求,对水平面内基于水声定位的AUV的自主回收对接技术进行了研究。运用了基于人工势场的导引方法规划了AUV的回坞路径,然后基于AUV的运动方程设计了滑模跟踪控制律来解决AUV在复杂的回收环境下的避障问题,并通过引入"填平势场"来引导AUV走出局部极小点。最后采用了REMUS AUV的模型参数对水下回收进行了仿真试验研究,仿真结果验证了方法的有效性。     

基于多目标问题的装备维修保障资源调度研究

针对战时装备维修保障资源调度面临维修保障资源需求量不确定、调度时间不确定、调度路径可靠性不确定的问题,通过引入三角模糊数,将不确定信息量化,构建了以维修保障资源调度时间最短、维修保障资源调度路径可靠性最高和维修保障资源调度成本最小为目标的多目标调度模型,并给出了确定各目标相对重要度的方法,然后通过极大极小法将多目标模型转换为单目标模型,并结合LINGO软件对模型进行求解得出维修保障资源的最优调度方案。最后,引入算例进行了分析计算,结果证明了该模型的有效性,对于战时开展装备维修保障资源调度具有一定参考价值。     

舰船随舰备件配置方法

为了准确预测备件需求数量,针对具体的保障对象和保障环境特点,需要选择合适的评价保障指标。本文针对单舰船在海上执行训练任务时的随舰备件保障问题,在分析影响随舰备件配置各因素的基础上,通过比较分析各评价保障指标的适用特点,选择满足率作为随舰备件的评价保障指标。从而给出了基于满足率模型的随舰单备件配置方法,能够为部队装备保障人员制定合理的保障方案提供决策依据。