【摘要】本发明公布了一种改进的基于符号执行的软件静态测试方法及工具，有如下步骤：1、第一阶段分析。其中包括：1.1)将被测代码输入测试工具中；1.2)根据C语言文法自定义一个关键词列表进行词法分析；1.3)根据C语言文法自定义函数结构模块及

【摘要】微信 一种基于槽切铣削轮廓复制的刀具磨损测量方法，属于刀具磨损测量领域。其特征在于：将要加工的工件材料和复印材料安装在同一台数控机床工作台上；实验前先将刀具初始轮廓复制在复印材料上，即将刀具在复印材料上采用槽切铣削方式进给预设距离；

【摘要】1.本外观设计产品的名称：涡旋式压缩机(35)。2.本外观设计产品的用途：车用空调涡旋式压缩机。3.本外观设计的设计要点：在整体的造型设计上。4.最能表明设计要点的图片或者照片：主视图最能体现设计要点。 ：【专利类型】外观设计【申请

【摘要】一种水溶性、水溶性荧光银纳米材料的制备方法，由2nm左右的颗粒组成的有色溶液，材料尺寸均一。制备方法为：取硝酸银溶于水中，使硝酸银的质量百分浓度为0.1％到4％；取聚甲基丙烯酸钠(分子量2000-10000)，溶于步骤一溶液中，超声

【摘要】本实用新型是光纤线路保护系统带内管理设备，其特征是业务光的信号与合波器和光模块串接，合波器的光信号输出端与光选择器件的光信号输入端相接，光选择器件的设备主用、备用光输出接口通过光开关连接分波器，分波器输出业务光，分波器与光模块相接，

【摘要】本发明公开了一种制备米诺膦酸的方法，先将化合物Ⅱ和化合物Ⅲ缩合成化合物Ⅳ，再将化合物Ⅳ与2-氨基吡啶闭环，得到化合物Ⅴ，化合物Ⅴ水解成化合物Ⅵ，最后再膦酸化成化合物Ⅰ。本发明避免了使用氰化钠或者溴等剧毒化学试剂，反应条件温和可控，反