论文研究 FPGA密码芯片差分功耗分析仿真研究.pdf

尝试将模型推理引入一类典型的SQL查询语句（等式比较SQL查询语句）的开发过程中;以便使这类SQL查询语句的开发过程有章可循，减少盲目的直觉推理尝试，保证SQL查询语句的正确性。提出了一种固定形式的一阶谓词逻辑表达式，描述了这种一阶谓词逻辑表达式与等式比较SQL查询语句的对应关系;总结了开发过程的三个步骤;形成了一种开发等式比较SQL查询语句的模型推理方法;并且按照由简单到复杂的顺序给出了两个应用实例。