间接使用扩展规则求解#SAT问题

针对求解#SAT问题时算法时间会随着子句集的规模迅速增加的问题,提出一种间接应用扩展规则的MCEHST算法。该算法首先求出子句集的所有极小碰集,然后应用扩展规则计算这些极小碰集所能扩展出的极大项的数量,即模型数。实验结果表明:MCEHST算法运行时间随子句集规模增加的速度要比CDP和CER算法慢;当子句的长度较短、子句数较多时,MCEHST算法的时间效率较高。     

SUS301L不锈钢电阻点焊工艺研究

研究了SUS301L不锈钢电阻点焊的工艺。结果表明：选用中等偏硬一些的焊接规范。可以获得较理想的点焊接头，接头的外观、平滑度及熔核尺寸和力学性能满足了相关标准的要求；待焊表面涂抹专用密封胶后．可形成结合线伸入缺陷，但对接头组织和力学性能影响不大。     

SUS304不锈钢MAG焊接头组织与性能

通过金相观察、力学性能和耐晶间腐蚀性能试验，研究了SUS304不锈钢MAG焊接头组织与性能。结果表明，接头的抗拉强度不低于母材，而且塑性良好。焊缝为奥氏体组织，呈较为粗大的柱状晶形态，且与母材熔合良好；过热区的晶粒长大不严重。焊态时，焊接接头的腐蚀速率与母材相当，经敏化处理，接头的腐蚀速率大大增加。     

《FPGA应用设计》教学方法探讨

《FPGA应用设计》这门课程具有很强的专业性和应用性,传统教学方法不利于学生理解知识,影响学习的积极性。以项目的方式组织课程知识点,将理论教学与实践教学紧密结合,有助于提高学生的主动性,培养学生将所学知识应用于实践的创新能力。     

流动警务室的造型与结构设计

大连流动警务室采用纯电动流动警务室,本文介绍了该警务室的设计原则,对流动警务室的造型及技术参数、结构以及关键技术进行了详细的论述。     

一种基于动态ID的RFID安全认证协议

随着物联网的发展,射频识别技术得到了越来越广泛的应用,随之而来的安全问题成为了一个研究热点。本文针对使用射频识别技术时,标签和阅读器之间的无线信道易受攻击的情况,提出一种轻量级的安全认证协议。该协议采用了动态ID技术,在保证安全性的基础上,能有效地降低认证过程中的计算量,适用于有低成本要求的射频识别应用领域。     

SUS301L不锈钢电阻点焊工艺研究

研究了SUS301L不锈钢电阻点焊的工艺。结果表明:选用中等偏硬一些的焊接规范,可以获得较理想的点焊接头,接头的外观、平滑度及熔核尺寸和力学性能满足了相关标准的要求;待焊表面涂抹专用密封胶后,可形成结合线伸入缺陷,但对接头组织和力学性能影响不大。     

SUS304不锈钢MAG焊接头组织与性能

通过金相观察、力学性能和耐晶间腐蚀性能试验,研究了SUS304不锈钢MAG焊接头组织与性能。结果表明,接头的抗拉强度不低于母材,而且塑性良好。焊缝为奥氏体组织,呈较为粗大的柱状晶形态,且与母材熔合良好;过热区的晶粒长大不严重。焊态时,焊接接头的腐蚀速率与母材相当,经敏化处理,接头的腐蚀速率大大增加。     

“项目导入式”在线虚拟仿真实验教学的研究与实践

利用现代化教学手段全程在线开展实验教学,对实践类课程是史无前例的挑战。以工程应用为背景,开展“项目导入式”在线虚拟仿真教学,践行OBE教育理念,将项目贯穿于教学过程始终,优化重组教学内容,从教学模式、教学设计、考核评价三个方面在教学实践中实施,实现了“以教为主”到学生“以学为主”的转变。实践证明,学生的实践操作、应用技能和创新能力得到提高,激发学生学习积极性成效显著。