由范全润老师承担的国家自然科学基金项目：（布尔可满足性的分治判定方法研究），批准号：（61841205）和陈文国老师承担的国家自然科学基金项目：（双弹簧结构振动阈值传感器的设计及其接触增强机制研究），批准号：（51605107）经国家自然科学基金委员会审核完毕，准予结题。