摘要：在许多分析验证研究中,经常要对问题中的多项式组进行求解。当多项式方程组规模较大时,求解比较困难,大大限制了分析研究的效率。针对该问题设计了一种算法,将具有一定格式的多项式转化为合取范式形式,使多项式求解问题转化为SAT求解问题。利用SAT求解器Mini Sat对二元域上的多项式组进行求解,使得密码分析过程更加高效。实验结果表明:该算法能正确地将多项式进行转化,并能快速利用Mini Sat求出结果。

摘要：为了快速检测并区分未知大分子(如毒品、爆炸物、化学战剂、DNA残片、酶等),并解决在高压电路中提取极弱电信号时,使用变压器导致的电路系统设计复杂、体积庞大的问题,设计了结构紧凑、装配简便、操作简便的双模式离子迁移谱仪。谱仪的正负迁移管能够检测具备正、负离子亲和力的大分子。采用了交流耦合的方式来提取Faraday盘上的10-13 C弱电信号。谱仪仅需要12V直流电源及标准的TLL脉冲便可以被驱动且易于控制。实验表明:该谱仪能够长时间稳定地工作,能够检测到多种复杂分子。以国际上常用的参考分子三硝基甲苯(TNT)来衡量,则仪器的检测灵敏度好于1ng TNT。当单侧迁移区长度为50mm时,其TNT的分辨率可达到21,当单侧迁移区长度为90mm时,其TNT的分辨率为32。